From jomi at das.ufsc.br Wed Feb 1 17:53:16 2012 From: jomi at das.ufsc.br (Jomi Fred Hubner) Date: Wed, 1 Feb 2012 14:53:16 -0200 Subject: 2nd CFP: ProMAS 2012 @ AAMAS Message-ID: <3F7F6184-4F55-41E2-B13A-E85E16A20775@das.ufsc.br> --------------- Call for Papers --------------- Tenth International Workshop on Programming Multi-Agent Systems (ProMAS'12) ProMAS'12 is a satellite workshop at AAMAS 2012 Valencia, Spain, 4-5 June 2012 Over the last decade, the ProMAS workshop series has provided a venue for state-of-the-art research in programming languages and tools for the development of multi-agent systems. With the increasing commercial application of multi-agent systems, the need for development tools and platforms capable of supporting "professional" or "industrial strength" MAS development has only increased. Such languages and tools must be developed in a way that is principled and and at the same time practical, and ProMAS aims to address both theoretical and practical issues related to developing and deploying multi-agent systems. Now in its 10th edition, ProMAS has proved to be an invaluable venue for bringing together leading researchers from both academia and industry to discuss key issues in the design of programming languages and tools for multi-agent systems. In particular, the workshop promotes the discussion and exchange of techniques, concepts, requirements and principles central to multi-agent programming technology. These include the theory and application of agent programming languages, how to effectively implement a multi-agent system specification or design, the verification and analysis of agent systems, as well as the implementation of social structures in agent-based systems (e.g., organisations, coordination, and communication in multi-agent systems). We encourage the submission of papers describing proposals for programming languages and tools that provide specific programming constructs to facilitate the implementation of multi-agent system concepts (e.g., mental attitudes, distribution, and social interaction). We also welcome submissions describing significant multi-agent applications, as well as agent programming tools that allow the integration of agents with legacy systems. We are particularly interested in approaches or applications that show clearly the added-value of multi-agent programming, and explain why and how this technology should be adopted by designers and programmers both in academia and industry. Topics of Interest ------------------ Specific topics of interest include, but are not limited to: - Programming languages, models and abstractions for MAS - Extensions of traditional languages for multi-agent programming - Programming mobile agents - Semantics for multi-agent programming languages - Computational complexity of MAS - Algorithms, techniques, or protocols relevant to multi-agent programming (e.g., coordination, cooperation, negotiation) - Agent communication issues in multi-agent programming - Programming social, organizational, and normative aspects of MAS - Interoperability and standards for MAS - Safety and security for mobile MAS deployment - Fault tolerance and load balancing for mobile MAS - Generic tools and infrastructures for multi-agent programming - High-level executable multi-agent specification languages - Formal methods and tools for specification and verification of MAS - Agent/environment/interaction/organization development tools and platforms - Benchmarks and testbeds for comparing multi-agent programming languages and tools - Applications of multi-agent programming languages including: legacy systems, pervasive applications, multi-robot systems, autonomous software (e.g., UAVs), (Semantic) Web and Grid-based applications, and deployed (industrial-strength) multi-agent systems - Integration of multi-agent and mainstream technologies Important Dates --------------- Paper submission deadline: 28 February 2012 Notification of acceptance/rejection: 27 March 2012 Camera-ready copies due: 10 April 2012 Workshop Date: 4-5 June 2012 Submission Details ------------------ Authors should submit their papers via the easychair conference management system: Papers should be formatted using Springer LNCS style and should be less than 16 pages in length. Publication ----------- Accepted papers will be appear in informal proceedings to distributed among participants during the workshop. As was the case with previous editions of the ProMAS workshop, we are planning to publish extended versions of selected and invited papers as a volume of the Lecture Notes in Computer Science series by Springer-Verlag. Organising Committee -------------------- - Mehdi Dastani (Utrecht University, Netherlands) - Brian Logan (University of Nottingham, UK) - Jomi Hubner (Federal University of Santa Catarina, Brazil) Steering Committee ------------------ - Rafael H. Bordini (Federal University of Rio Grande do Sul, Brazil) - Mehdi Dastani (Utrecht University, Netherlands) - Juergen Dix (Clausthal University of Technology, Germany) - Amal El Fallah Seghrouchni (University of Paris VI, France) Programme Committee ------------------- Natasha Alechina (University of Nottingham, UK) Lacramioara Astefanoaei (Laboratoire d'Informatique de Grenoble, France) Matteo Baldoni (University of Torino, Italy) Olivier Boissier (Ecole des Mines de St Etienne, France) Juan Botia Blaya (University of Murcia, Spain) Lars Braubach (University of Hamburg, Germany) Rem Collier (University College Dublin, Ireland) Louise Dennis (University of Liverpool, UK) Vladimir Gorodetsky (Russian Academy of Sciences, Russia) Francisco Grimaldo (Universitat de València) James Harland (RMIT, Australia) Koen Hindriks (Delft University of Technology, The Netherlands) Benjamin Hirsch (Technical University of Berlin, Germany) Max Knobbout (Utrecht University, The Netherlands) Joao Leite (University Nova de Lisboa, Portugal) Viviana Mascardi (Genova University, Italy) Philippe Mathieu (Univ. Lille 1, France) John-Jules Meyer (Utrecht University, The Netherlands) Jorg Muller (Clausthal University of Technology, Germany) Peter Novák (Czech Technical University, Czech Republic) Alexander Pokahr (University of Hamburg, Germany) Alessandro Ricci (University of Bologna, Italy) Birna van Riemsdijk (Delft University of Technology, The Netherlands) Ralph Ronnquist (Intendico, Australia) Sebastian Sardina (RMIT University, Australia) Ichiro Satoh (NII, Japan) Michael Ignaz Schumacher (University of Applied Sciences Western Switzerland, Sierre, Switzerland) Kostas Stathis (Royal Holloway, University of London, UK) Bas Steunebrink (University of Lugano, Switzerland) Pankaj Telang (CISCO) John Thangarajah (RMIT, Australia) Wamberto Vasconcelos (University of Aberdeen, UK) Jørgen Villadsen (DTU Informatics, Denmark) Neil Yorke-Smith (American University of Beirut, Lebanon and SRI International, USA) Yingqian Zhang (Delft University of Technology, The Netherlands) From geoff at cs.miami.edu Wed Feb 1 18:16:51 2012 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Wed, 1 Feb 2012 12:16:51 -0500 (EST) Subject: LPAR-18 participation Message-ID: <20120201171651.6BCA91214B7@mcclellan.cs.miami.edu> ========================== LPAR-18 PARTICIPATION ========================== ============================================================ The 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning Merida, Venezuela - March 11-15, 2012 www.LPAR-18.info ============================================================ 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 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 edition will be held in Merida, Venezuela. LPAR-18 includes ... + IWIL-2012 - The 9th International Workshop on the Implementation of Logics + APS-6 - The 6th International Workshop on Analytic Proof Systems + Invited speakers - Elvira Albert, Complutense University of Madrid (Spain) - Kenneth McMillan, Microsoft Research (USA) - Aart Middeldorp, University of Innsbruck (Austria) - Boris Motik, University of Oxford (UK) + Accepted papers The programme includes 25 regular papers and 6 tool/system descriptions ----------------------------------------------------------------------------- REGISTRATION Registration for LPAR-18 is now open online, from the registration page on the LPAR-18 web site - www.LPAR-18.info. The early registration deadline is 16th February. ----------------------------------------------------------------------------- From cp2012a at gmail.com Wed Feb 1 17:58:42 2012 From: cp2012a at gmail.com (Association ConstraintProgramming) Date: Wed, 1 Feb 2012 16:58:42 +0000 Subject: CFP: 18th International Conference on Principles & Practice of Constraint Programming Message-ID: With apologies for multiple copies: Call for Papers CP 2012 Eighteenth International Conference on Principles and Practice of Constraint Programming October 8-12, 2012 Quebec City, Canada Deadline for abstract submission: April 19, 2012 Deadline for Paper Submissions: April 23, 2012 http://www.cp2012.org/ -------- SCOPE -------- The CP conference is the annual international conference on constraint programming. It is concerned with all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, and agreement technologies. CP 2012 includes a technical program, where presentations of research papers as well as invited talks aim at describing the best results and techniques in the state-of-the-art of constraint programming. One day of Workshops precedes the conference. Tutorials and the Doctoral Program will form part of the main conference. Papers are solicited from all disciplines concerned with constraints. ------------------ APPLICATION TRACK ------------------ Reports on successful applications of constraint technology are particularly encouraged and are subject to special Applications track acceptance criteria. ------------------------ MULTIDISCIPLINARY TRACK ------------------------ Beside the application track, this year, for the first time a track on "Multidisciplinary papers: cross-cutting methodology and challenging applications" welcomes papers that link CP technology with other techniques like (this is not an exhaustive list) machine learning, data mining, game theory, simulation, knowledge compilation, visualization, control theory and robotics. In addition challenging application fields with a high social impact are especially welcome: some examples (not an exhaustive list) are CP for life sciences, CP for sustainability, CP for energy efficiency, CP for the web, CP for social sciences, CP for finance, CP for verification. ------------------------ CONFERENCE PROCEEDINGS ------------------------ The conference proceedings will be published by Springer Verlag in the Lecture Notes in Computer Science series. Full paper submissions are limited to 15 LNCS pages, while Short paper submissions are limited to 8 pages. Short papers will be reviewed to the same standards of quality as full papers, but will naturally contain less quantity of new material. Short papers will have the same status as long papers and be eligible for the best paper prize. ------------------------------------ POST-CONFERENCE JOURNAL PUBLICATION ------------------------------------ Selected papers submitted to the main conference and application track which receive excellent reviews from the referees will be invited to submit a revised paper for fast track review in the Constraints journal. Selected papers submitted to the Multidisciplinary track, which receive excellent reviews from the referees, and which fit the scope of the Artificial Intelligence journal, will be invited to submit a revised paper for fast track review in the AI journal. Further information is provided on the conference webpage. ----------------- IMPORTANT DATES ----------------- Deadline for abstract submission: April 19, 2012 Deadline for Paper Submissions: April 23, 2012 Provisional Reviews to authors: May 25, 2012 Authors feedback due: May 27, 2012 Notification of Acceptance: June 3, 2012 Camera Ready Manuscript due: July 1, 2012 -------------- ORGANIZATION -------------- CONFERENCE CHAIRS Gilles Pesant Claude-Guy Quimper PROGRAM CHAIR Michela Milano DOCTORAL PROGRAM CHAIRS Michele Lombardi Stanislav Zivny WORKSHOP CHAIR Meinolf Sellmann PUBLICITY CHAIRS Ian Miguel Thierry Moisan SPONSORSHIP CHAIR Louis-Martin Rousseau SENIOR PROGRAM COMMITTEE Christian Bessiere David Cohen Amnon Meisels Pierre Flener Alan Frisch Enrico Giunchiglia Carla Gomes John Hooker Laurent Michel Jean-Charles Regin Thomas Schiex Peter Stuckey Pascal Van Hentenryck Mark Wallace Toby Walsh MULTI-DISCIPLINARY TRACK CHAIR Barry O'Sullivan APPLICATION TRACK CHAIR Helmut Simonis -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sebastian.sardina at rmit.edu.au Thu Feb 2 06:33:30 2012 From: sebastian.sardina at rmit.edu.au (Sebastian Sardina) Date: Thu, 2 Feb 2012 16:33:30 +1100 Subject: Postdoc position - Seeking Expression of Interest - KR & Agents - RMIT University, Melbourne, Australia Message-ID: ================================================================================ KR & Agent Postdoc Position: RMIT University Melbourne Australia Seeking Expressions of Interest ================================================================================ We will be soon advertising a postdoctoral position between 2-3 years, starting early to mid 2012, working within the Intelligent Agents Group at RMIT University in Melbourne, and the Artificial Intelligence Laboratory at University of New South Wales in Sydney. The project will also involve collaboration with staff from "La Sapienza" University in Rome, Italy. The specific position is as a postdoc on the ARC grant ``Optimisation of embedded virtual complex systems by re-using a library of available components''. This project involves developing principled representation and reasoning mechanisms for tackling the so-called behaviour composition problem in ways amenable for practical implementation. In a nutshell, the behaviour composition problem involves automatically synthesising a controller-coordinator that can implement a given desired but non-existing target complex behaviour (e.g., a home entertainment system) by using a set of available existing behaviour modules (e.g., video cameras, TVs, lights, music and game devices, etc.). A behaviour here refers to the operational logic of a system and is general represented as a transition system. This composition synthesis problem is important in that it can be recast in a variety of forms within several sub-areas of Artificial Intelligence and Computer Science, including robot ecologies and intelligent spaces, agent programming and multi-agent system, web-service composition, automated planning, among others. In particular, this project aims at developing a framework for behaviour composition that will cater for: (a) unsolvable problem instances where no perfect controller exists; (b) difficult instances where sub-optimal solutions may suffice; and (c) relevant domain specific information that is not being considered by any approach to date. We are looking for a person with an excellent record of working on practical knowledge representation and reasoning problems, producing high quality publications with good impact. We are looking for expertise in areas of artificial intelligence such as automated planning, optimisation, knowledge representation and reasoning, intelligent agents, verification, and synthesis. The person should be able to work well in a team, but should also be able to take a lead role in driving forward the research. RMIT has a large computer science department with a well established and internationally recognised research group in the area of Intelligent Agents. Melbourne is a hub for a significant amount of research and development in Intelligent Agents and their applications and is the home of "Agents Victoria" a group of industry, government and university groups, involved in agent research and applications. UNSW is ranked among the top 100 for Computer Science in the Academic Ranking of World Universities. It is a partner in the ARC Centre of Excellence for Autonomous Systems (CAS) which is the second largest robotics research group in the world with a leading reputation for both fundamental research and the application of this to industry. More information can be found in the following link: http://www.cs.rmit.edu.au/agents/www/positions/2012-DP110101668/ Please email expressions of interest to Sebastian Sardina . Please put POSTDOC in the subject header. Some URLs: http://www.cs.rmit.edu.au/agents http://www.cs.rmit.edu.au http://www.cse.unsw.edu.au/ http://cgi.cse.unsw.edu.au/~aishare/ Some references: Nitin Yadav and Sebastian Sardina. Decision theoretic behavior composition. In Tumer, Yolum, Sonenberg, and Stone, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), pages 575-582, Taipei, Taiwan, May 2011. ACM Press. Ströder, T., Pagnucco, M. Realising Deterministic Behavior from Multiple Non-Deterministic Behaviors, In Proceedings of the Twentyfirst International Joint Conference on Artificial Intelligence (IJCAI'09), pp. 936 -- 941, Pasedena, USA, July 2009. Sebastian Sardina, Fabio Patrizi, and Giuseppe De Giacomo. Behavior composition in the presence of failure. In Gerhard Brewka and Jerome Lang, editors, Proceedings of Principles of Knowledge Representation and Reasoning (KR), pages 640-650, Sydney, Australia, September 2008. AAAI Press From fabrizio.riguzzi at unife.it Thu Feb 2 13:38:58 2012 From: fabrizio.riguzzi at unife.it (Fabrizio Riguzzi) Date: Thu, 2 Feb 2012 13:38:58 +0100 Subject: Call for papers 18th International Conference on Inductive Logic Programming Message-ID: CFP - ILP 2012 the 18th International Conference on Inductive Logic Programming Dubrovnik, Croatia, September 17-19, 2012 http://ida.felk.cvut.cz/ilp2012 KEY DATES: May 7: Abstracts of long papers due May 11: Long papers due June 4: Notification for long papers July 3: Short/published papers due July 24: Notification for short/published papers September 17-19: Conference INVITED SPEAKERS: Luc de Raedt: Declarative Modelling for Machine Learning Ben Taskar: Geometry of Diversity and Determinantal Point Processes: Representation, Inference and Learning CALL FOR PAPERS The ILP conference series, started in 1991, is the premier international forum on learning from structured data. Originally focusing on the induction of logic programs, it broadened its scope and attracted a lot of attention and interest in recent years. Authors are invited to submit papers presenting original results on all aspects of learning in logic, multi-relational learning and data mining, statistical relational learning, graph and tree mining, relational reinforcement learning, and other forms of learning from structured data. Typical, but not exclusive, topics of interest for submissions include: - theoretical aspects: learning scenarios, data/model representation frameworks, their computational and/or statistical properties, etc. - algorithmic and implementation aspects: sclability, efficiency, parallelism, management of algorithms and/or discovered patterns, discovery workflows, etc. - applications of learning from relational data in areas of science (bioinformatics, cheminformatics, medical informatics, etc.), natural language processing (computational linguistics, text and web mining etc.), engineering, the arts, etc. We solicit three kinds of papers: 1) Long papers describing original mature work containing appropriate experimental evaluation and/or representing a self-contained theoretical contribution. Long papers will be reviewed by 3 members of the program committee. Authors will be notified prior to the conference on acceptance/rejection for the Springer post-conference proceedings. Authors of accepted papers will be assigned a standard time slot for presentation. 2) Short papers describing original work in progress, brief accounts of original ideas without conclusive experimental evaluation, and other relevant work of potentially high scientific interest but not yet qualifying for the long paper category. The PC chairs will accept/reject short papers on the grounds of relevance. Authors of accepted short papers will be assigned a reduced time slot for presentation. Each short paper will be reviewed by 3 members of the program committee on the basis of both the manuscript and its presentation, and the authors of selected papers will be invited to submit a long version for the Springer post-conference proceedings; the paper will be finally accepted if satisfactorily addressing the reviewer's requirements. 3) Papers relevant to the conference topics and recently published or accepted for publication by a first-class conference such as ECML/PKDD, ICML, KDD, ICDM etc. or journal such as MLJ, DMKD, JMLR etc. The PC chairs will accept/reject such papers on the grounds of relevance and quality of the original publication venue. Authors of accepted papers will be assigned a reduced time slot for presentation. These papers will not appear in the Springer post-conference proceedings. Submissions in category 1 or 2 must not have been published or be under review for a journal or for another conference with published proceedings. They should be submitted in the Springer LNCS format. Long (short) papers must not exceed 12 (6) pages. Papers in category 3 should be submitted in their original format and the authors should indicate the original publication venue. A special issue of the Machine Learning journal is planned following the conference, with papers selected by the PC from all the three categories above, significantly revised and/or extended to meet the MLJ criteria, and re-reviewed by the PC. Program Chairs Fabrizio Riguzzi, University of Ferrara, Italy Filip Železný, Czech Technical University in Prague, Czech Republic Local Organizers Nada Lavrač, Jozef Stefan Institute, Slovenia Tina Anžič, Jozef Stefan Institute, Slovenia Program Committee Érick Alphonse, France Dalal Alrajeh, UK Annalisa Appice, Italy Ivan Bratko, Slovenia Rui Camacho, Portugal James Cussens, UK Saso Dzeroski, Slovenia Floriana Esposito, Italy Nicola Fanizzi, Italy Daan Fierens, Belgium Nuno Fonseca, Portugal Tamás Horváth, Germany Katsumi Inoue, Japan Nobuhiro Inuzuka, Japan Andreas Karwath, Germany Kristian Kersting, Germany Ross King, Wales Ekaterina Komendantskaya, UK Stefan Kramer, Germany Nada Lavrac, Slovenia Francesca Alessandra Lisi, Italy Donato Malerba, Italy Stephen Muggleton, UK Ramon Otero, Spain Aline Paes, Brasil David Page, USA Bernhard Pfahringer, NZ Ganesh Ramakrishnan, India Jan Ramon, Belgium Oliver Ray, UK Chiaki Sakama, Japan José Santos, UK Vitor Santos Costa, Portugal Michèle Sebag, France Jude W. Shavlik, USA Takayoshi Shoudai, Japan Aswhin Srinivasan, India Prasad Tadepalli, USA Alireza Tamaddoni-Nezhad, UK Tomoyuki Uchida, Japan Christel Vrain, France Stefan Wrobel, Germany Akihiro Yamamoto, Japan Gerson Zaverucha, Brazil From rseba at disi.unitn.it Thu Feb 2 17:36:17 2012 From: rseba at disi.unitn.it (Roberto Sebastiani) Date: Thu, 2 Feb 2012 17:36:17 +0100 Subject: SAT 2012: Final Call for Papers Message-ID: <20120202163617.GA14138@disi.unitn.it> [ We apologize if you receive multiple copies of this CFP. ] ------------------------------------------------------------------------- 15th International Conference on THEORY AND APPLICATIONS OF SATISFIABILITY TESTING --- SAT 2012 --- Trento, Italy, June 17-20th, 2012 http://sat2012.fbk.eu/ ------------------------------------------------------------------------- AIM and SCOPE ============= The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the primary annual meeting for researchers studying the propositional satisfiability problem. Importantly, here SAT is interpreted in a rather broad sense: besides plain propositional satisfiability, it includes the domains of MaxSAT and Pseudo-Boolean (PB) constraints, Quantified Boolean Formulae (QBF), Satisfiability Modulo Theories (SMT), Constraints Programming (CSP) techniques for word-level problems and their propositional encoding. To this extent, many hard combinatorial problems can be encoded as SAT instances, in the broad sense mentioned above, including problems that arise in hardware and software verification, AI planning and scheduling, OR resource allocation, etc. The theoretical and practical advances in SAT research over the past twenty years have contributed to making SAT technology an indispensable tool in these domains. SAT 2012 will take place in Trento, Italy, a cosmopolitan city set in a spectacular mountain scenery, and home to a world-class university and research centres. RELEVANT TOPICS =============== The topics of the conference span practical and theoretical research on SAT (in the broader sense above) and its applications, and include, but are not limited to: * Theoretical issues - Combinatorial Theory of SAT - Proof Systems and Proof Complexity in SAT - Analysis of SAT Algorithms * Solving: - Improvements of current solving procedures - Novel solving procedures, techniques and heuristics - Incremental solving * Beyond solving: - Functionalities (e.g., proofs, unsat-cores, interpolants,...) - Optimization * Applications - SAT techniques for other domains - Novel Problem Encodings - Novel Industrial Applications of SAT A more detailed description can be found on the web site. INVITED SPEAKERS ================ We are honored to announce the following invited speakers at SAT 2012: * Aaron Bradley, Boulder, USA. "SAT-based Verification with IC3: Foundations and Demands" * Donald Knuth, Stanford, USA. "Satisfiability and The Art of Computer Programming" The presence of both speakers has been confirmed, although the titles of the talks may be provisional. AFFILIATED EVENTS ================= SAT 2012 is co-located with the 2nd International SAT/SMT Summer School (June 12-15), http://satsmtschool2012.fbk.eu/. SAT 2012 will also host related events like workshops (June 16) and various competitive events. PAPER SUBMISSION ================ Papers must be edited in LATEX using the LNCS format and be submitted electronically as PDF files via EasyChair. We envisage three categories of submissions: REGULAR PAPERS. Submissions, not exceeding fourteen (14) pages, should contain original research, and sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data available with their submission. Submissions reporting on case studies in an industrial context are strongly invited, and should describe details, weaknesses and strength in sufficient depth. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. TOOL PRESENTATIONS. Submissions, not exceeding six (6) pages, should describe the implemented tool and its novel features. A demonstration is expected to accompany a tool presentation. Papers describing tools that have already been presented in other conferences before will be accepted only if significant and clear enhancements to the tool are reported and implemented. EXTENDED ABSTRACTS/POSTERS. Submissions, not exceeding two (2) pages, briefly introducing work in progress, student work, or preliminary results. These papers are expected to be presented as posters at the conference. Further information about paper submission, including a more detailed description of the scope and specification of the three submission categories, will be made available at SAT 2012 web page. The review process will be subject to a rebuttal phase. IMPORTANT DATES: ================ Abstract Submission: 05/02/2012 Paper Submission: 12/02/2012 Rebuttal phase: 28-30/03/2012 Final Notification: 12/04/2012 Final Version Due: 04/05/2012 SAT/SMT School: 12-15/06/2012 Workshops: 16/06/2012 Conference: 17-20/06/2012 PROCEEDINGS =========== The proceedings of SAT 2012 will be published by Springer-Verlag in the LNCS series. PROGRAM CHAIRS ============== Alessandro Cimatti -- FBK-Irst, Trento, Italy Roberto Sebastiani -- DISI, University of Trento, Italy PROGRAM COMMITTEE ================= Dimitris Achlioptas -- UC Santa Cruz, USA Fahiem Bacchus -- University of Toronto, Canada Paul Beame -- University of Washington, USA Armin Biere -- Johannes Kepler University, Austria Randal Bryant -- Carnegie Mellon University, USA Uwe Bubeck -- University of Paderborn, Germany Nadia Creignou -- Aix-Marseille Université, France Leonardo DeMoura -- Microsoft Research, USA John Franco -- University of Cincinnati, USA Malay Ganai -- NEC, USA Enrico Giunchiglia -- Università di Genova, Italy Youssef Hamadi -- Microsoft Research, UK Zyiad Hanna -- Jasper, USA Holger Hoos -- University of British Columbia, Canada Marijn Heule -- Johannes Kepler University, Austria Kazuo Iwama -- Kyoto University, Japan Oliver Kullmann -- Swansea University, UK Daniel Le Berre -- Université d’Artois, France Ines Lynce -- Instituto Superior Técnico, Portugal Panagiotis Manolios -- Northeastern University, USA Joao Marques-Silva -- University College Dublin, Ireland David Mitchell -- Simon Fraser University, Canada Alexander Nadel -- Intel, Israel Jussi Rintanen -- The Austrailan National University, Australia Lakhdar Sais -- Université d’Artois, France Karem Sakallah -- University of Michigan, USA Bart Selman -- Cornell University, USA Laurent Simon -- Université Paris 11, France Carsten Sinz -- Karlsruhe Institute of Technology, Germany Niklas Sorensson -- Chalmers University, Sweden Ofer Strichman -- Technion, Israel Stefan Szeider -- Vienna University of Technology, Austria Allen Van Gelder -- University of California, Santa Cruz, USA Toby Walsh -- University of New South Wales, Australia Xishun Zhao -- Sun Yat-Sen University, China From T.Baarslag at tudelft.nl Thu Feb 2 18:49:33 2012 From: T.Baarslag at tudelft.nl (Tim Baarslag) Date: Thu, 02 Feb 2012 18:49:33 +0100 Subject: The 3rd International Automated Negotiating Agents Competition (ANAC 2012) - Call for participation Message-ID: <4F2ACCAD.1090300@tudelft.nl> The 3rd International Automated Negotiating Agents Competition (ANAC 2012) In conjunction with AAMAS 2012. June 4-8, 2012, Valencia, Spain http://anac2012.ecs.soton.ac.uk CALL FOR PARTICIPATION (Please see the section 'Changes with respect to ANAC 2011' for the updated part of this call for participation.) After the successes of the previous two years, we would like to invite you to participate in the third Automated Negotiating Agents Competition (ANAC). This competition brings together researchers from the negotiation community and provides a unique benchmark for evaluating practical negotiation strategies in multi-issue domains. In particular, the goals include of the competition include: (i) to encourage the design of practical negotiation agents that can proficiently negotiate against unknown opponents and in a variety of circumstances, (ii) to provide a benchmark for objectively evaluating different negotiation strategies, (iii) to explore different learning and adaptation strategies and opponent models, and (iv) to collect state-of-the-art negotiating agents and negotiation scenarios, and making them available to the wider research community. ENTRANTS The aim for the entrants to the competition is to develop an autonomous negotiation agent as well as submit a negotiation scenario. Performance of the agents will then be evaluated in a tournament setting, where each agent is matched with all other submitted agents, and each pair of agents will negotiate in each submitted negotiation scenario. Negotiations are repeated several times to obtain statistically significant results. The winning agent will be the one with the highest overall score. A negotiation scenario consists of a specification of the objectives and issues to be resolved by means of negotiation. This includes the preferences of both negotiating parties about the possible agreements. The preferences of a party are modelled using linearly additive, multi-issue utility functions. RULES OF ENCOUNTER Negotiations are bilateral and based on the alternating-offers protocol. Offers are exchanged in real time with a deadline after 3 minutes. This means that the number of offers exchanged within a certain time period varies and depends on the computation required by the agents. If no agreement is reached by the deadline, or if either agent chooses to terminate the negotiation before the deadline, both agents receive their utility of conflict. In addition, there will be a discount factor in about half of the domains, where the value of an agreement decreases over time. The challenge for an agent is to negotiate without any knowledge of the opponent's preferences and strategy. Although each agent participates in many negotiation sessions, against different opponents, and in a wide variety of negotiation scenarios, agents cannot learn between negotiations. This means that negotiation agents only have the opportunity to adapt and learn from the offers they receive within a single negotiation session. CHANGES WITH RESPECT TO ANAC 2011 This year's competition introduces, for the first time, a private reservation value as part of the tournament. The reservation value of an agent is the utility of conflict, and is achieved if either the agent fails to reach an agreement by the deadline, or if one of the agents terminates the negotiation. The reservation values can be different for each agent and for each negotiation scenario. An agent only knows its own reservation value, and not that of its opponent. The reservation value is discounted in the same way that an agreement would be. This makes it rational, in certain circumstances, for an agent to terminate an agreement early, in order to take the reservation value with a smaller loss due to discounting. GENIUS The negotiation tournament is run using the java-based GENIUS negotiation platform, which has been developed to facilitate research in the area of bilateral multi-issue negotiation. It has an open architecture that allows for easy development and integration of existing negotiating agents using design patterns. GENIUS can be used to simulate individual negotiation sessions as well as tournaments between negotiating agents in various negotiation scenarios. The core functionality of the system includes: (1) specification of negotiation domains and preference profiles; (2) simulation of a bilateral negotiation between agents; and (3) analysis of the negotiation outcomes and negotiation dynamics. It furthermore allows the specification of negotiation domains and preference profiles by means of a graphical user interface. This year's competition will use version 3.2.1 of the GENIUS platform. The platform, together with the agents and scenarios from the previous competitions are available at: http://mmi.tudelft.nl/genius To learn more about the 2012 negotiation tournament see: http://anac2012.ecs.soton.ac.uk/ QUALIFYING ROUND AND FINALS There will be an initial qualifying rounds, and the top 8 performing agents will continue to the finals, which will be held at the AAMAS conference. It is expected that teams that make it through to the finals will have a representative attending the AAMAS 2011 conference. Each team in the final will have the opportunity to give a brief presentation describing their agent. PRIZES There is a generous total reward of US$1500 which will be divided between the top performing entrants. More details about the prizes will be announced on the ANAC 2012 website: http://anac2012.ecs.soton.ac.uk/ IMPORTANT DATES * 18 March, 2012. The deadline for submitting agents and domains for the qualifying round. * 15 April 2012. Announcement of the 8 finalists. * June 4-8, 2012. Final competition and presentations at the International Workshop on Agent-based Complex Automated Negotiations (ACAN 2012). ACAN 2012 will have a special session for presentations for ANAC teams. CONTACT For any questions, or if you would like to unsubscribe to any future e-mails, the main local contact is: Colin R. Williams crw104 at ecs.soton.ac.uk LOCAL ORGANISERS * Colin R. Williams, University of Southampton * Valentin Robu, University of Southampton * Enrico Gerding, University of Southampton * Nicolas R. Jennings, University of Southampton ORGANISING COMMITTEE * Takayuki Ito, Nagoya Institute of Technology * Catholijn Jonker, Delft University of Technology * Sarit Kraus, University of Maryland and Bar-Ilan University * Koen Hindriks, Delft University of Technology * Raz Lin, Bar-Ilan University * Tim Baarslag, Delft University of Technology SPONSORS Makoto Lab., Inc. --- Tim Baarslag T.Baarslag at tudelft.nl PhD Researcher Man-Machine Interaction Group Delft University of Technology -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From invitation at iarianews.org Fri Feb 3 22:12:19 2012 From: invitation at iarianews.org (ACCESS 2012) Date: Fri, 03 Feb 2012 16:12:19 -0500 Subject: 3rd CfP: ACCESS 2012 || June 24-29, 2012 - Venice, Italy Message-ID: <1328303539416.3591@iarianews.org> INVITATION: ================= Note that the submission deadline is February 16, 2012. Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ACCESS 2012. In addition, authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ACCESS 2012 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ACCESS 2012, The Third International Conference on Access Networks June 24-29, 2012 - Venice, Italy General page: http://www.iaria.org/conferences2012/ACCESS12.html Call for Papers: http://www.iaria.org/conferences2012/CfPACCESS12.html - regular papers - short papers (work in progress) - posters Submission page: http://www.iaria.org/conferences2012/SubmitACCESS12.html Submission deadline: February 16, 2012 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Please note the Poster and Work in Progress options. The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html ACCESS 2012 Topics (topics and submission details: see CfP on the site) NEXTACCESS: Next generation access technologies Interactivity, unlimited access and full-scale media support; Energy-aware and efficiency-oriented technologies; Sustainable access network business (standard DSL vs. fiber vs. wireless access); 3G/4G wireless technologies; Multiservice access (DSL, fiber, WiMAX, POTS); FTTH; Ethernet P2P vs. xPON; FTTx with VDSL2, or Ethernet, or DOCSIS 3.0; Radio extension, 802.xx (Wi-Fi, WiMax, etc.); LTE, LTE-advanced; IMT-advanced networks; Mesh and relay networks (IEEE 802.11s, IEEE802.16j, etc.); Quality of experience (QoE) FEMTO: Femtocells-based access Femtocells architectures; Femtocells requirements ands specifications; Femtocells protocols; Femtocells services and applications; Traffic and QoS in Femtocells; Performance analysis in Femtocells; Femtocells control and management; Interoperability of Femtocells devices; Femtocells operation optimization; Femtocells specific solutions for mobility; OFDMA Femtocells: interference avoidance; Macrocell-Femto cell interference issues and mitigation; Macrocell-Femto cell handover strategies; WiMAX Fentocells; Standardization of Femtocells BROADBAND: Broadband wireless Internet access New architectures, technologies, protocols for broadband wireless access; QoS in mobile and broadband wireless access networks; Broadcast and multicast support; Physical and data link layer issues; Medium access control, SLA and QoS; Radio resource management and call admission control; Space-time coding for broadband wireless Internet; Modulation, coding and antennas (MIMO); Spectrum management; Scalability and reliability issues; Wireless mesh networks; Capacity planning and traffic engineering; Security and privacy issues; Interoperability aspects (fixed/mobile LANs/MANs, WANs); Experiences/lessons from recent deployments OPTICAL: Optical access networks Optical access network architecture design; Optical access network components and systems; New PON developments and testbeds; WDM and OFDM PON technologies; MAC and bandwidth allocation; RoF network architecture and MAC; RoF components and systems; Signal processing for new modulation formats; Optical spectral management; Multimode fiber technology and applications; Performance monitoring and diagnosis; Deployment and economic analysis MOBILE WIRELESS: Mobile wireless access Mobile Broadband Wireless Access; Wireless/Mobile Access Protocols; Wireless/Mobile Web Access; Ubiquitous and mobile access; Mobile/vehicular environment access; Multi-Homing and Vertical Handoff; Localization and tracking; Context-aware services and applications; Context-aware protocols and protocol architectures; Interactive applications; Mobile and Wireless Entertainment; Mobile Info-services; Wireless ad hoc and sensor networks DYNAMIC: Dynamic and cognitive access Dynamic spectrum access; Architectures and platforms for dynamic spectrum access networks; Spectrum sensing, measurement and models; Efficient and broadband spectrum sensing; Interference metrics and measurements; New spectrum protocols and models; Cognitive radio (cross-layer optimization); Multiple access schemes for cognitive radio networks; Radio resource management and dynamic spectrum access networks; Dynamic spectrum auction and economics; Business model, pricing, and regulations for dynamic spectrum HOWAN: Hybrid optical and wireless access networks Multi-hop wireless mesh networks; Passive optical networks; Node architecture and design of hybrid optical and wireless networks; Emerging wireless/optical applications QoS management for hybrid access networks; PON and WDM-PON network experiments; Radio over Fiber (RoF); FTTx network architecture and applications; Routing and multicast over hybrid optical and wireless networks; Service resilience and availability of hybrid optical and wireless networks; Applications and evolutions of hybrid access networks; Network design, control, and performance in HOWANs; Capacity analysis, flow and congestion control in HOWANs; Optimization of hybrid optical and wireless networks; Evolution of HOWAN access networks Broadband wireless access in HOWANs; Security and privacy in HOWANs; New services and applications; Test-bed and prototype implementation; Standardization issues COPPER: Copper Access Ubiquity via phone lines; Speed reaching 100 Mbps; DSL broadband access; Dynamic and joint optimization of resources (frequency, amplitude, space, and time); Attenuation and crosstalk bottlenecks; Management and control for the multi-user twisted pair networks GIGATERA: Giga/Tera Access Multi-antenna technologies (MIMO, Beamforming, Antenna Selection, etc); RF/Antenna propagation (RF beamforming, Tera-Hz signal generation, Propagation); Interoperability aspects (fixed/mobile LANs/MANs, WANs); Signal processing for millimeter and Tera-Hz wireless systems; NLOS avoidance techniques; Cooperative networks, repeaters and relaying; Error correction, equalization; Space division multiple access; Coexistence and interoperability; OFDM versus single-carrier systems; MIMO in mm-wave and Tera-Hz systems; OFDMA processing; Spread spectrum techniques; High-efficiency medium access control (MAC) protocol; Neighbor discovery in directional wireless networks CONTROL: Access Control Foundations for access control; Models for access control; Mechanisms for access control; Policy-driven and role-driven access control; Delegation and identity management; Privacy-drive control; Access control for advanced applications (cloud, autonomic, sensor, social networks, etc.); Standards for accesses control NEUTRAL: Neutral Access Networks Open access networks; Network neutrality; Operator-neutral residential access technologies; Operator-neutral nomadic access technologies; Operator-neutral mobile access technologies; Operator-neutral CPEs; Internet access regulation; NANs design and management; Multi-gateway traffic management; QoS management in shared infrastructures; Routing and multicast in NANs; Broadband business models for NANs; Broadband pricing models for NANs; Broadband market analysis for NANs; IP traffic models for NANs; Edge routers for NANs; Identity management in NANs; NANS and Digital divide; NANs and Digital inclusion; Inclusive services and applications; NAN testbeds and case studies LEGAL: Legal aspects on network and service access Network neutrality principle; Security and privacy rights; Institutional implications; Accessibility and social affordability; User responsibility Committee: http://www.iaria.org/conferences2012/ComACCESS12.html ==================== To stop receiving notices about ACCESS, please reply with "DROP ACCESS 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 invitation at iariaprogram.org Sat Feb 4 01:52:02 2012 From: invitation at iariaprogram.org (INTERNET 2012) Date: Fri, 03 Feb 2012 19:52:02 -0500 Subject: 3rd CfP: INTERNET 2012 || June 24-29, 2012 - Venice, Italy Message-ID: <1328316722586.2400@iariaprogram.org> INVITATION: ================= Note that the submission deadline is February 16, 2012. Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to INTERNET 2012. In addition, authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== INTERNET 2012 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS INTERNET 2012, The Fourth International Conference on Evolving Internet June 24-29, 2012 - Venice, Italy General page: http://www.iaria.org/conferences2012/INTERNET12.html Call for Papers: http://www.iaria.org/conferences2012/CfPINTERNET12.html - regular papers - short papers (work in progress) - posters Submission page: http://www.iaria.org/conferences2012/SubmitINTERNET12.html Submission deadline: February 16, 2012 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Please note the Poster and Work in Progress options. The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html INTERNET 2012 Topics (topics and submission details: see CfP on the site) Advanced Internet mechanisms Access: call admission control vs. QoE vs. structural QoS / capability-based access control vs. role-based access control vs. attribute-based access control; Routing and pricing models: BGP, pricing peering agreements using microeconomics, topological routing vs. table-based routing vs. network coding, power-efficient routing; Optimization in P2P/CDN networks: peer placement for streaming P2P, analysis of P2P networks; Traffic engineering: estimating traffic matrices, constrained routing, exponentially bounded burstness; Behavioral traffic recognition: identifying applications from traffic behavior; Traffic analysis: methods for analysis and visualization of multidimensional measurements, characterizing protocols; Software defined radio networks: low power signal processing methods, applications of machine learning; Cognitive radio: medium access, spatiotemporality, complexity, spectrum sharing and leasing, channel selection, multi-stage pricing, cyclostationary signatures, frame synchronization; Streaming video: learning from video, techniques for in-network modulation; Location: statistical location, partial measurements, delay estimation Graph theory/topology/routing Internet support Information theory: distributed network coding, Shannon's entropy, Nash equilibrium; Optimization: LP, NLP, NeuroP, quadratic, convex programming, compressed sensing; Graph theory: random graphs, spectra graph theory, percolations and phase transitions, methods from statistical physics, geometric random graphs; Algebraic techniques: tensor analysis, matrix decomposition; Processing: signal processing techniques, equalization, point-process, source coding vs. network coding, recoverability; Statistical machine learning: probabilistic graphical models, classification, clustering, regression, classification, neural networks, support vector machines, decision forests; Game Theory/Microeconomic theory: social choice theory, equilibria, arbitrage and incentive oriented distributed mechanism design, cooperative games, and games on graphs; Stochastic network calculus; Fractal behavior and stability mechanisms; Kolmogorov complexity for performance evaluation; Complexity theory Internet security mechanisms Cryptography: design and analysis of cryptographic algorithms, applied cryptography, cryptographic protocols and functions; Specification, validation design of security and dependability: security and trust models, semantics and computational models for security and trust, business models in security management, security policies models, security architectures, formal methods for verification and certification, multi-level security specification; Vulnerabilities, attacks and risks: methods of detection, analysis, prevention, intrusion detection, tolerance, response and prevention, attacks and prevention of on-line fraud, denial of services attacks and prevention methods; Access Control: authentication and non-repudiation, accounting and audit, anonymity and pseudonymity; identity and trust management, biometric methods; Anti-malware techniques: detection, analysis, prevention; Cyber-crime response: anti-phishing, anti-spam, anti-fraud methods Internet trust, security, and dependability levels Network and transport level security; Network edge security controls: firewalls, packet filters, application gateways; Wireless and mobile network security: risks of wireless insecurity, wireless vulnerabilities and intrusion detection, WLAN and WMAN MAC layer security technologies, key management mechanisms and protocols, security in ad hoc, sensor, mesh and personal communication networks; Security of Internet protocols: routing security, naming, network management, signaling security, transport layer security; Network security policies: specification, implementation, deployment and management; Security of P2P and overlay/middleware systems; Security for multiple domains, large-scale systems and critical infrastructures; Applications and high level services security: Web-based applications and services, VoIP, multimedia streaming services, VoD and IPTV, collaborative applications (conferencing), electronic commerce and eBusiness, eVoting, grid computing, security of eGovern ment; Intellectual property protection: digital rights management, licensing, metering, watermarking, information hiding, implementations; Security services integration in complex architectures; Tradeoffs between security and efficiency, usability, reliability and cost. Internet performance Performance degradation and anomaly detection mechanisms; User-oriented performance metrics; Network and service provider-oriented performance metrics; Hybrid (chip and network) performance calculi; Intrusive and non-intrusive performance measurement mechanisms; Mechanisms for performance degradation-tolerant applications; Mechanisms for application performance and network performance; Performance enhancement mechanisms; Performance and traffic entropy algorithms; Performance prediction algorithms Internet AQM/QoS Buffer sizing, majorization, QoS routing, finite buffer queue vs. infinite buffer queue and performance; Control theoretic framework for modeling of TCP and AQM schemes; Discrete mathematics to model buffer occupancy at queues of a network (given workloads); Game theoretic modeling of AQMs (mathematics to model selfish traffic); Fairness models (proportional fairness, max-min fairness, low state global fairness); Optimization framework for congestion control, fairness and utility maximization; Modeling and simulation of large network scenarios using queuing theory Internet monitoring and control Visualization mechanisms; Sub-network/device isolation mechanisms; Control feedback mechanisms (limited feedback, delay and disruption tolerance, optimal and adaptive feedback); Optimal control; Adaptive behavior control; Network resiliency; Self-adaptable and tunable performance; Mechanisms for anticipative measurements and control Internet and wireless Capacity of wireless networks; Potential based routing; Algebraic techniques to mine patterns from wireless networks; QoS/QoE translation; Wireless ad hoc / mesh networks: MAC protocols, routing, congestion control, P2P CDNs on wireless meshes Internet and data streaming/mining algorithms Mathematics for clustering massive data streams; Randomized algorithms etc and impossibility results; Dimension reduction in metric spaces; Tensor and multidimensional algebraic techniques; Non linear dimension reduction; Optimal collector positioning; Data fusion and correlation algorithms Internet and sensor-oriented networks/algorithms Optimal sensor placement; Inference models for sensing; Congestion control; Resource allocation; Mathematics to model different diffusion processes and applications to routing; Algorithms for data fusion; Algorithms for computing dormant/active sending periods; Energy-driven adaptive communication protocols Internet challenges Future Internet architecture and design; Next generation Internet infrastructure; Internet cross-layer design and optimization; Internet security enforcement and validation; Future cross-Internet computing; Configurable Internet protocols; Internet-scale overlay content hosting; Internet citizen-centric services; End-user customizable Internet; Mobile Internet; Internet imaging; Internet coding; Internet resilience; Internet QoS/QoE; Context-aware, ambient, and adaptive Internet; Virtualization and Internet; Privacy Enhancing Technologies - PETs Committee: http://www.iaria.org/conferences2012/ComINTERNET12.html ==================== To stop receiving notices about INTERNET, please reply with "DROP INTERNET 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 ams at cwi.nl Sat Feb 4 13:55:17 2012 From: ams at cwi.nl (ams at cwi.nl) Date: Sat, 4 Feb 2012 13:55:17 +0100 Subject: CMCS 2012: Call for Participation and Short Contributions Message-ID: <20120204125517.GA5794@doorgang.cwi.nl> ------------------------------------------------------------------------------ CMCS 2012 call for participation and short contributions ------------------------------------------------------------------------------ The 11th International Workshop on Coalgebraic Methods in Computer Science 31 March - 1 April 2012, Tallinn, Estonia co-located with ETAPS 2012 www.coalg.org/cmcs12 Aims and scope -------------- In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields such as reactive and interactive system theory, object-oriented and concurrent programming, formal system specification, modal and description logics, artificial intelligence, dynamical systems, control systems, category theory, algebra, analysis, etc. The aim of the CMCS workshop series is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. The topics of the workshop include, but are not limited to: * the theory of coalgebras (including set theoretic and categorical approaches); * coalgebras as computational and semantic models (for programming languages, dynamical systems, etc.); * coalgebras in (functional, object-oriented, concurrent) programming; * coalgebras and data types; * (coinductive) definition and proof principles for coalgebras (with bisimulations or invariants); * coalgebras and algebras; * coalgebraic specification and verification; * coalgebras and (modal) logic; * coalgebra and control theory (notably of discrete event and hybrid systems). Registration ------------ Registration is handled via the ETAPS website; please visit http://www.etaps.org/2012/registration Keynote Speaker --------------- Samson Abramsky, Oxford University, UK Invited Speakers ---------------- Marcello Bonsangue, Leiden University, The Netherlands Pawel Sobocinski, University of Southampton, UK Submission of Short Contributions --------------------------------- Submission is electronic via the easychair system at http://www.easychair.org/conferences/?conf=cmcs2012 following the submission guidelines below. Submission of regular papers is closed. The submission deadline for short contributions is February 20, 2012 (but see below under 'Important Dates'). Short contributions will be bundled in a technical report. They should be no more than two pages in LNCS format and may describe work in progress, summarise work submitted to a conference or workshop elsewhere, or in some other way appeal to the CMCS audience. Important dates --------------- * 20 February 2012: submission deadline for short contributions * 25 February 2012: author notification for short contributions * 26 February 2012: ETAPS normal registration deadline * 31 March - 1 April 2012: the workshop We continue to accept short contributions (with notfication one week after submisssion) until Februrary 27 based on avaliability of slots. However, please note that the ETAPS normal registration deadline is February 26. Invited Papers -------------- Samson Abramsky and Jonathan Zvesper. From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference Pawel Sobocinski. Relational Presheaves as Labelled Transition Systems Marcello Bonsangue, Jan Rutten and Joost Winter. Defining context-free power series coalgebraically Accepted Regular Papers ----------------------- Alexander Kurz, Daniela Petrisan, Paula Severi and Fer-Jan de Vries. An Alpha-Corecursion Principle for the Infinitary Lambda Calculus Bart Jacobs, Alexandra Silva and Ana Sokolova. Trace Semantics via Determinization Celia Picard and Ralph Matthes. Permutations in Coinductive Graph Representation Dusko Pavlovic. Coalgebraic Man in the Middle Eleftherios Matsikoudis and Edward Lee. From Transitions to Executions Giorgio Bacci and Marino Miculan. Structural operational semantics for continuous state probabilistic processes Jiri Adamek, Stefan Milius and Lawrence Moss. On Finitary Functors and Their Presentations Johannes Marti and Yde Venema. Lax Extensions of Coalgebra Functors Toby Wilkinson. Internal Models for Coalgebraic Modal Logics Vincenzo Ciancia and Yde Venema. Stream automata are coalgebras Programme Committee ------------------- Luis Barbosa, University of Minho, Braga, Portugal Filippo Bonchi, LIP ENS-Lyon, France Josee Desharnais, Université Laval, Canada Mai Gehrke, Radboud University Nijmegen, The Netherlands H. Peter Gumm, University of Marburg, Germany Ichiro Hasuo, University of Tokyo, Japan Patricia Johann, University of Strathclyde, Glasgow, Scotland, UK Ekaterina Komendantskaya, University of Dundee, Scotland, UK Dexter Kozen, Cornell University, Ithaca, NY, USA Dorel Lucanu, Alexandru Ioan Cuza University, Iasi, Romania Stefan Milius, Technical University of Braunschweig, Germany Larry Moss, Indiana University, Bloomington, USA Prakash Panangaden, McGill University, Montreal, Canada Dirk Pattinson, Imperial College London, UK (co-chair) Dusko Pavlovic, Royal Holloway, London, UK Daniela Petrisan, University of Leicester, UK Grigore Rosu, University of Illinois at Urbana-Champaign, USA Jan Rutten, CWI and Radboud University Nijmegen, The Netherlands Luigi Santocanale, University of Provence, Marseille, France Lutz Schröder, DFKI GmbH, Bremen, Germany (co-chair) Alexandra Silva, Radboud University Nijmegen, The Netherlands Ana Sokolova, University of Salzburg, Austria Sam Staton, University of Cambridge, UK Yde Venema, University of Amsterdam, The Netherlands Steering Committee ------------------ Jiri Adamek, Technical University of Braunschweig, Germany Corina Cirstea, University of Southampton, UK H. Peter Gumm (chair), University of Marburg, Germany Bart Jacobs, Radboud University Nijmegen, The Netherlands Alexander Kurz, University of Leicester, UK Marina Lenisa, University of Udine, Italy Ugo Montanari, University of Pisa, Italy Larry Moss, Indiana University, Bloomington, USA Dirk Pattinson, Imperial College London, UK John Power, University of Bath, UK Horst Reichel, Technical University of Dresden, Germany Jan Rutten, CWI and Radboud University Nijmegen, The Netherlands Lutz Schröder, DFKI GmbH and University of Bremen, Germany Publicity Chair --------------- Alexandra Silva, Radboud University Nijmegen, The Netherlands . From kulicki at l3g.pl Mon Feb 6 21:55:19 2012 From: kulicki at l3g.pl (Piotr Kulicki) Date: Mon, 6 Feb 2012 21:55:19 +0100 Subject: CFP Well-founded Everyday Ontologies - Design Implementations & Applications workshop at FedCSIS Conference Message-ID: <017401cce511$a33c3b20$6501a8c0@gagatek> First Call for Papers WELL-FOUNDED EVERYDAY ONTOLOGIES - DESIGN, IMPLEMENTATIONS & APPLICATIONS (WEO-DIA) http://www.fedcsis.org/weo-dia The workshop is associated with the 7th International Symposium: Advances in Artificial Intelligence and Applications (AAIA'12), that is a part of Federated Conference on Computer Science and Information Systems (FedCSIS), to be held in Wrocław, Poland, 9-12 September 2012, under auspices of Polish Ministry of Science and Higher Education (Please distribute, accepting our apologies for cross-posting) -------------------------------- Workshop description -------------------------------- Nowadays, computational ontologies are commonly used as conceptual models of information systems (IS) created in different domains, such as: engineering, law, social sciences, biomedicine, humanities, business enterprise, geography, library science etc. They are used both in the design and the exploitation phases of the IS's life. However, what can be largely observed, the main drawback of the majority of such ontologies is their insufficient ontic expressiveness and lack of a good foundations. Thus, the question arises: is the ontological engineering mature enough to apply the sophisticated theoretical solutions and propose methodologies and tools enabling to create both practical and expressive ontologies for everyday use? We call such ontologies shortly: "well-founded". The aim of the workshop is to gather researchers and practitioners interested in answering the posed question. Particularly, we single out three main scientific areas, for which research feedback is expected. The first domain of interest addresses the design and application of ontological structures that are strongly influenced by philosophy, but are still reasonably applicable. The area includes foundational approach driven ontology creation strategies for concrete domains and applications. The linguistic investigations concerning national and multi-language semantic lexicons provide, among other resources, also the top-level ontologies. The second considered research area addresses the problem of using such ontologies (possibly accompanied by other linguistic resources) to build well-founded and tractable domain conceptual models. Most ontology-building approaches proposed by computer engineers employ algorithimcs (i.e. data mining, machine learning etc.). Even though they benefit from the automation at the same time they suffer from the bad (ontic) quality of obtained ontologies. Thus, issues concerned with bridging the gap between bottom-up automatically engineered ontologies and foundational/top-level manually created ones, constitute the third scientific area we are strongly interested in. ------------------- Paper publication ------------------- a) Accepted and presented papers will be published in the Conference Proceedings and included in the IEEE XploreR database. They will be also submitted for indexation in: DBLP Computer Science Bibliography, Google Scholar, Inspec, Scirus, SciVerse Scopus and Thomson Reuters - Conference Proceedings Citation Index b) Authors should submit draft papers (as Postscript, PDF of MSWord file) that should not exceed 8 pages (IEEE style). c) Extended versions of selected papers presented during the conference will be published as a Special Issue of LNCS Transactions on Computational Collective Intelligence journal (http://www.springer.com/computer/lncs/transactions+cci?SGWID=0-173802-0-0-0). d) Papers submitted for WEO-DIA will take part in a competition for Professor Zdzislaw Pawlak Best Paper Awards http://www.fedcsis.org/?q=node/47 ------------------------ Important dates ----------------------- a) Paper submission: April 22, 2012 b) Author notification: June 17, 2012 c) Final submission and registration: July 8, 2012 d) Workshop date: September 9, 2012, Wrocław, Poland ------------------------------------------------- Organizers and Program Committee members ------------------------------------------------- Garbacz, Paweł, (Co-Chair), John Paul II Catholic University of Lublin, Poland, Józefowska, Joanna, (Co-Chair), Poznań University of Technology, Poland, Katarzyniak, Radosław (Co-Chair), Wrocław University of Technology, Poland, Blomqvist, Eva, Linköping University, Sweden Borgo, Stefano, Laboratory for Applied Ontology, Italy Budzyńska, Katarzyna, Cardinal Stefan Wyszyński University in Warsaw, Poland Carrara, Massimiliano, Universita di Padova, Italy Cybulka, Jolanta, Poznań University of Technology, Poland, Goczyła, Krzysztof, Gdańsk University of Technology, Poland Kaczmarek, Janusz, Łódź University, Poland Kulicki, Piotr, John Paul II Catholic University of Lublin, Poland, Ławrynowicz, Agnieszka, Poznań University of Technology, Poland Martinek, Jacek, Poznań University of Technology, Poland Mizoguchi, Riichiro, Osaka University, Japan Morshed, Ahsan, Food and Agricultural Organization of UN (FAO), Italy Nalepa, Grzegorz J., AGH University of Science and Technology, Poland Palma, Raúl , Poznań Supercomputing and Networking Center, Poland Soldatova, Larisa N., The University of Wales, Aberystwyth, United Kingdom Vacura, Miroslav, University of Economics, Prague, Czech Republic Węcel, Krzysztof, Poznań University of Economics, Poland -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From oshani at csail.mit.edu Mon Feb 6 23:37:35 2012 From: oshani at csail.mit.edu (Oshani Seneviratne) Date: Mon, 6 Feb 2012 17:37:35 -0500 Subject: CFP - 11th International Semantic Web Conference (ISWC 2012) Message-ID: *Call for Papers: The 11th International Semantic Web Conference (ISWC 2012) * http://iswc2012.semanticweb.org November 11 - 15, 2012 Boston, USA We invite submissions to ISWC 2012, the 11th International Semantic Web Conference, to be held November 11 - 15, 2012 in Boston, USA. ISWC is the major international forum where the latest research results and technical innovations on all aspects of the Semantic Web are presented. We invite submissions to the following tracks: *Research Papers* http://iswc2012.semanticweb.org/call-research-papers The ISWC research track solicits the submission of original research papers dealing with analytical, theoretical, empirical, and practical aspects of all areas of Semantic Web research. Abstracts: June 1 2012 (11:59pm Hawaii time) Full Paper Submissions: June 8 2012 (11:59pm Hawaii time) Author Rebuttals: July 9-11, 2012 Notifications: July 26, 2012 Camera-Ready Versions: September 4, 2012 *Semantic Web In Use * http://iswc2012.semanticweb.org/call-semantic-web-use-track-papers Submissions to the ISWC In-Use track presents papers describing innovative use of Semantic Web technologies in real-life applications. Full Paper Submissions: June 15, 2012 (11:59pm Hawaii time) Notification:s July 26, 2012 Camera-ready Versions: September 4, 2012 *Evaluations and Experiments* http://iswc2012.semanticweb.org/call-evaluations-and-experiments Submissions are invited from experimental evaluations in semantic web / linked data research that consolidates research material to gain new scientific insights and results by providing a place for in-depth experimental studies of significant scale. Abstracts: July 6 2012 (11:59pm Hawaii time) Full Paper Submissions: July 13 2012 (11:59pm Hawaii time) Notifications: August 15, 2012 Camera-Ready Versions: September 4, 2012 *Industry Track *http://iswc2012.semanticweb.org/call-industry-track-presentations Submissions are invited from representatives of companies, institutions, or governmental bodies who use Linked Data and Semantic Web technologies in their everyday operations and products, describing the competitive advantages delivered by these technologies. Full Paper Submissions: July 30, 2012 Notifications: August 20, 2012 *Doctoral Consortium *http://iswc2012.semanticweb.org/call-doctoral-consortium-submissions The Doctoral Consortium provides an opportunity for doctoral students to present their current progress on Semantic Web research and get advice on their work. Submissions: TBD Notifications: TBD Camera-ready Versions: TBD *Posters and Demos* http://iswc2012.semanticweb.org/call-posters-and-demos We invite submissions that present the latest developments in the field and showcase Semantic Web systems. Submissions: August 2, 2012 (11:59pm Hawaii time) Notifications: August 24, 2012 Camera-ready due: September 10, 2012 (11:59pm Hawaii time) *Tutorials* http://iswc2012.semanticweb.org/call-tutorial-proposals ISWC will host a number of tutorials on topics that are hands-on guidance on using key Semantic Web technologies. Submissions: May 6, 2012 Notifications: May 20, 2012 *Workshops* http://iswc2012.semanticweb.org/call-workshop-proposals ISWC will host a number of workshops on hot topics related to the general theme of the conference. Submission due: April 15, 2012 Notification: May 13, 2012 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sender at ekimelu.com Tue Feb 7 00:44:52 2012 From: sender at ekimelu.com (sender at ekimelu.com) Date: Mon, 06 Feb 2012 23:44:52 -0000 Subject: Special Issue on Smart Cities Message-ID: <20120206234452.32057.17818@chaiten.ccurico.local> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From iccs12.agadir at gmail.com Tue Feb 7 02:27:10 2012 From: iccs12.agadir at gmail.com (M Nemiche) Date: Tue, 7 Feb 2012 02:27:10 +0100 Subject: CALL FOR PAPERS (ICCS12- November 5-6, 2012-Agadir, Morocco) Message-ID: Apologies if you receive multiple copies. ___________________ICCS’12 || CALL FOR PAPERS____________________ | International Conference on Complex Systems | | ICCS'12 is an IEEE technically co-sponsored conference | | November 5-6, 2012 | | Agadir, Morocco | | http://iccs12.org | | Submission deadline: April 30, 2012 | ________________________________________________________________ An International Conference on Complex Systems (ICCS'12) will be organized by Ibn Zohr University in Agadir, Morocco on November 5-6, 2012. The city of Agadir is considered one of the most attractive touristic areas on the African continent. Agadir enjoys clement weather year-round, including the month of November. ICCS'12 will provide a high-level, international forum for scientists, researchers, industrial professionals, and students who will present state-of-the-art research results, address new challenges, and discuss trends in Computational Intelligence, Cybernetics, General Systems Theory, and their applications in diverse fields. The topics of interest include, but are not limited to: - Fuzzy Set Theory and Fuzzy Systems - Fractals, Chaos Theory and Chaotic Systems - Artificial Neural Networks - Genetic and Evolutionary Algorithms - Adaptive Agents and Multi-agent Learning - Multi-agent Social Simulation and Cognitive Modeling with Agents - Agent-Based Modeling and Simulation - Agent and Multi-agent Architectures - Game Theory, Strategic Decision-Making in Competitive Environments - Modeling and Control Systems - Diagnosis and Fault-tolerant Control Systems - Hardware-Software Co-Design, Embedded Systems - Complex Biomedical Engineering - Complex Dynamic Systems and Globalization - General System Theory and Methodology - Complex Social and Ecological Systems - Economical, Political and Juridical Systems - Socio-Cultural and Behavioral Modeling - Mathematical Methods in Cybernetics and Systems Theory - Sociocybernetics and Mathematical Sociology INVITED SESSIONS http://iccs12.org/invited.html KEYNOTE SPEAKERS http://iccs12.org/keynotes.html PROCEEDINGS, SPECIAL ISSUES All presented papers will be published in IEEE Xplore Digital Library and extended versions of selected papers will be published in special issues of international journals. GENERAL CHAIRS - M. Essaaidi,President - IEEE Morocco Section [essaaidi at ieee.org ; Phone: +212 (0) 661 725 992] - M. Nemiche, Ibn Zohr University, Agadir, Morocco [nemiche at uv.es] TECHNICAL PROGRAM COMMITTEE http://iccs12.org/committees.html CONTACT M. Nemiche nemiche at uv.es DEADLINES Paper Submission: April 30, 2012 Acceptance notification to authors: June 30, 2012 Final version and registration: July 28, 2012 ICCS'12 Conference: November 5-6, 2012 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ispa2012 at piojito.arcos.inf.uc3m.es Tue Feb 7 11:21:49 2012 From: ispa2012 at piojito.arcos.inf.uc3m.es (ISPA2012) Date: Tue, 7 Feb 2012 11:21:49 +0100 Subject: ISPA-2012 and MUE 2012: Call for Posters (Febrary 29, 2012) Message-ID: <20120207102149.GA31927@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 in conjunction with the The 6th FTRA International Conference on Multimedia and Ubiquitous Engineering (MUE 2012) http://www.arcos.inf.uc3m.es/mue2012 Madrid, Spain, 10-13 July 2012 =================================================================== CALL FOR POSTERS =================================================================== Authors are invited to submit posters to the ISPA 2012 and MUE 2012 conferences. Posters will provide a forum to exchange and discuss the ongoing work, experiences, new ideas, proposals, applications, and research results. The areas of interest match that of the conferences and include the following topics: - Parallel and distributed algorithms and applications - Architectures and virtualization - Multimedia modeling and processing - Cloud, Grid, and Cluster computing - Middleware and tools - Network and pervasive computing - Ubiquitous computing services and applications - Multimedia services and applications - Multimedia and ubiquitous security - Personal multimedia and ubiquitous computing - Reliability, fault-tolerance, and security - Database, data-mining, and data management - Performance simulations and evaluations Posters are intended to present finished and preliminary work. For preliminary work, initial results are expected to be presented. We specially encourage submissions by students (that is, for which a student is the first author of the poster). IMPORTANT DATES =============== Submission Deadline: February, 29, 2012 Acceptance notification: March 15, 2012 Short paper camera ready: April 15, 2012 Conference dates: July, 10-13, 2012 SUBMISSION GUIDELINES =================== Poster proposals must be submitted as a single PDF file with no more than 2 pages. The two pages shall contain an abstract describing the research content of the poster, along with the title, authors, institutional affiliations and contact information. Authors should follow the IEEE CS proceedings paper format. If accepted, these short papers will be published in the IEEE proceedings of the conference. At least one author should register to the conference and present the poster throughout the entire poster session. POSTER PRESENTATION =================== Authors of accepted posters will have the chance to present the poster to conference attendees during a special poster session included in the main program. Well-crafted posters will tell the story well by themselves, but authors of posters are expected to be available to describe and discuss the work presented in the poster during the session. At least one of the poster authors must be registered at the conference and attend to the poster session. The poster dimensions are A1 (707 mm by 1000 mm). Poster boards will be available for authors. You may choose a layout consisting of several individual sheets of paper, or a monolithic large sheet. BEST POSTER AWARD =================== A Best Poster Award will be given to the author(s) of the best poster presented at the conference. TECHNICAL COMMITTEE ==================== TBA =================================================================== From walid.chainbi at gmail.com Tue Feb 7 18:11:31 2012 From: walid.chainbi at gmail.com (Walid Chainbi) Date: Tue, 7 Feb 2012 18:11:31 +0100 Subject: AWS'2012: [Deadline Extended]: International Workshop on the Adaptation of Web Services Message-ID: ------------------------------------------------------------------- AWS'2012: Deadline Extended to February 29 ----------------------------------------------------------------------------- International Workshop on the Adaptation of Web Services (AWS'2012) August 27-29, 2012, Niagara Falls, Ontario, Canada http://www.uc.rnu.tn/aws2012.html in conjunction with ANT’2012 conference AIMS AND SCOPE ********************* Service-Oriented Computing (SOC) is a computing paradigm that utilizes Web services as the basic constructs to support the development of rapid, low-cost and easy composition of distributed applications even in heterogeneous environments. With the advent of SOC, computing environments have become open, and components are no longer under a single organization’s control. Consequently, Web services based applications are becoming difficult to adapt. Moreover, with the rapid growth of communication and information technologies, adaptation has gained a significant attention as it becomes a key feature of Web services allowing them to operate and evolve in highly dynamic environments. Adaptation mechanisms refer to different instantiations including configuration, healing, optimization, and protection. The primary objective of this workshop is to investigate ideas that may contribute to the adaptation of Web services. Theoretical as well as practical aspects are welcome. The workshop organizer welcomes participation and contributions from those working or interested in the intersection of technologies such as agent technology and autonomic computing with SOC. TOPICS OF INTEREST ************************** The topics of interest for AWS’2012 include, but are not limited to: • Adaptation solutions to Web services • Applications of adaptive Web services • Engineering of adaptive Web services • Optimization of Web services • Configuration of Web services • Healing of Web services • Protection of Web Services • Self-* Web services • Agents vs. Web services • Agents for Web services • Design and management of self-* Web services. SUBMISSION PROCEDURE AND FORMATTING GUIDELINES ************************************************************************* Authors should submit their contributions electronically in PDF format by the deadline given below. Please use AWS 2012 online submission system ( https://www.easychair.org/conferences/?conf=aws2012 ) and register as a new member: You just need to click on "I have no EasyChair Account" and complete the registration form. A password will be sent by e-mail shortly. Using that password, log-in and proceed to the New Submission page, where the detailed instructions can be found. If you encounter any problem with submission, please contact the workshop chair for assistance. All papers accepted for the workshop will be included in the ANT-2012 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given in ANT-2012 Website. The number of pages for AWS papers is limited to 6 pages. The selective outstanding papers presented at the workshop, after further revision, will be considered for publication in journals special issues. All workshop published papers will be indexed by Scopus (http://www.scopus.com) and Engineering Village (Ei) ( http://www.engineeringvillage.com). This includes EI Compendex ( http://www.ei.org/compendex). All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/). WORKSHOP CHAIR *********************** Dr. Walid Chainbi Sousse National School of Engineers, University of Sousse / SOIE E-mail: Walid.Chainbi at gmail.com PROGRAM COMMITTEE ***************************** Walt Truszkowski, NASA Goaddard Space Flight Center (USA) Roy Sterritt, University of Ulster (Northern Ireland) Huaglory Tianfield, Glasgow Caledonian University (UK) Jeffrey Kephart, IBM T.J. Watson Research Center (USA) Rainer Unland, University of Duisburg-Essen (Germany) Christoph Reich, Hochschule Furtwangen University (Germany) Giovanni Russello, Create-net (Italy) ALi A. Ghorbani, University of New Brunswick (Canada) David Chess, Thomas J. Watson Research Center, IBM Research Division (USA) Manish Parashar, Rutgers, The State University of New Jersey (USA) Hamid Motahari, Hewlett Packard Laboratories, Palo Alto (USA) Mohand-Said Hacid, University Claude Bernard Lyon 1 (France) IMPORTANT DATES *********************** • February, 29, submission due (Extended). • April, 10, notification of acceptance. • May, 10, camera-ready due. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fcalimeri at gmail.com Wed Feb 8 19:40:41 2012 From: fcalimeri at gmail.com (Francesco Calimeri) Date: Wed, 8 Feb 2012 19:40:41 +0100 Subject: CFP: 6th International Conference on Web Reasoning and Rule Systems Message-ID: [Apologies for cross-postings] CALL FOR PAPERS RR 2012 The 6th International Conference on Web Reasoning and Rule Systems Vienna, Austria, 10-12 September 2012 http://www.rr-conference.org/RR2012/ The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning Web Reasoning and Rule Systems. == Highlights in 2012 == In addition to regular papers, RR 2012 solicits the submission of TECHNICAL COMMUNICATIONS (TCs) that report about some interesting recent work, preliminary result, or inspiring viewpoint. Selected TCs will be invited for a full presentation like regular papers. RR 2012 is co-located with a number of interesting events: - 8th Reasoning Web Summer School 4-8 September, http://reasoningweb.org/2012/ - COMMA 2012: 4th Int. Conf. on Computational Models of Argument 10-12 September, http://www.kr.tuwien.ac.at/events/comma2012/ - DEXA 2012: 23rd Int. Conf. on Database and Expert Systems Applications 03-07 September, http://www.dexa.org/ - 2nd Workshop "Datalog 2.0" 11-13 September, http://www.dbai.tuwien.ac.at/event/datalog-2.0/ The Reasoning Web Summer School is a great opportunity particularly for young researchers to combine with attendance of the conference. Submissions by summer school participants are particularly encouraged. == Topics == RR welcomes original research from all areas of Web Reasoning. Topics of particular interest are: - Semantic Web, Rule and Ontology Languages, and related logics - Reasoning, Querying, Searching and Optimization - Incompleteness, Inconsistency and Uncertainty - Non-monotonic, Commonsense, and Closed-World Reasoning for the Web - Dynamic information, Stream Reasoning and Complex Event Processing - Decision Making, Planning, and Intelligent Agents - Reasoning, Machine Learning, Knowledge Extraction and IR Technologies - Large-scale data management and reasoning on the Web of Data - Data Integration, Dataspaces and Ontology-Based Data Access - Non-Standard Reasoning - Algorithms for distributed, parallelized, and scalable reasoning - System Descriptions and Experimentation - Applications and Experience Papers == Submissions == The conference proceedings will be published by Springer within the Lecture Notes in Computer Science (LNCS) series. Submissions must be prepared in Springer's LaTeX style llncs (http://bit.ly/oPRW8y). There are two submission formats: - Full papers (up to 15 pages) Original research works in the above areas - Technical Communications (up to 4 pages) Results and ideas with interest to the RR audience, including reports about recent own publications, position papers, and presentations of preliminary results All accepted works will be included in the proceedings, with Technical Communications clearly marked as such. All full papers and selected Technical Communications will be invited to give a talk at the conference. All accepted works will have the opportunity to present a poster. Submissions can be made in EasyChair: http://www.easychair.org/conferences/?conf=rr2012 == Important Dates == Abstract submission: May 14, 2012 Full papers submission: May 23, 2012 Notification of acceptance: June 22, 2012 == Invited Speakers == - Gerhard Brewka, University of Leipzig - Tommaso Di Noia, Politecnico di Bari * additional invited speakers will be announced soon == Program Committee == - Darko Anicic, Karlsruhe Institute of Technology - Jean-François Baget, LIRMM Montpellier - Chitta Baral, Arizona State University - Salem Benferhat, University of Artois - Fernando Bobillo, University of Zaragoza - Gerhard Brewka, University of Leipzig - François Bry, Ludwig-Maximilians University Munich - Diego Calvanese, Free University of Bozen-Bolzano - Vinay Chaudhri, SRI International U.S.A. - Kendall Clark, Clark & Parsia LLC Washington DC - Tommaso Di Noia, Technical University of Bari - Francesco M Donini, University of Tuscia - Thomas Eiter, TU Vienna - Michael Fink, TU Vienna - Birte Glimm, Ulm University - Claudio Gutierrez, Universidad of Chile - Andreas Harth, Karlsruhe Institute of Technology - Aidan Hogan, National University of Ireland Galway - Giovambattista Ianni, University of Calabria - Yevgeny Kazakov, University of Oxford - Michael Kifer, Stony Brook University - Clemens Kupke, University of Oxford - Georg Lausen, University of Freiburg - Domenico Lembo, Unversity of Rome "La Sapienza" - Francesca Alessandra Lisi, University of Bari - Thomas Lukasiewicz, University of Oxford - Wolfgang May, University of Göttingen - Alessandra Mileo, National University of Ireland Galway - Ralf Moeller, Hamburg University of Technology - Marie-Laure Mugnier, University of Montpellier II - Magdalena Ortiz, TU Vienna - Jeff Z. Pan, University of Aberdeen - Rafael Peñaloza, TU Dresden - Axel Polleres, Siemens AG Österreich - Andrea Pugliese, University of Calabria - Guilin Qi, Nanjing University China - Riccardo Rosati, Unversity of Rome "La Sapienza" - Sebastian Rudolph, Karlsruhe Institute of Technology - Steven Schockaert, Ghent University - Mantas Simkus, TU Vienna - Sergio Tessaris, Free University of Bozen - Andrei Voronkov, University of Manchester == Organization == General chair: - Pascal Hitzler, Wright State University Program chairs: - Markus Krötzsch, University of Oxford - Umberto Straccia, ISTI-CNR Local Chair: - Thomas Eiter, TU Vienna Doctoral Consortium Chair: - Alessandra Mileo, National University of Ireland Galway Sponsorship Chair: - Marco Maratea, University of Genova Publicity Chair: - Francesco Calimeri, University of Calabria From frank.loebe at informatik.uni-leipzig.de Thu Feb 9 00:47:19 2012 From: frank.loebe at informatik.uni-leipzig.de (Frank Loebe) Date: Thu, 9 Feb 2012 00:47:19 +0100 Subject: FINAL REMINDER: Feb 12: FOIS 2012 submission deadline (strict) (Formal Ontology in Information Systems, Jul 24-27, Graz, Austria) In-Reply-To: <006001cce6bb$01ac6590$050530b0$@informatik.uni-leipzig.de> References: <006001cce6bb$01ac6590$050530b0$@informatik.uni-leipzig.de> Message-ID: <006601cce6bb$ff196930$fd4c3b90$@informatik.uni-leipzig.de> (apologies for cross-posting) ... (deadline approaching) ----------------------------------------------------------------- FINAL REMINDER of ------------- Call for Papers | FOIS 2012 | Jul 24-27, Graz, Austria ------------- >>> EXTENDED, STRICT DEADLINE APPROACHING <<< Conference paper submission: Sunday, Feb 12, 2012 <-- [1] http://purl.org/icbofois2012 ------------------------------------------------ TITLE AND CO-LOCATION ------------------------------------------------ Seventh International Conference on Formal Ontologies in Information Systems (FOIS 2012) July, 24-27, 2012 in Graz, Austria held together with the Third International Conference on Biomedical Ontology (ICBO 2012) ------------------------------------------------ IMPORTANT DATES ------------------------------------------------ We are calling for papers to be considered for inclusion in FOIS 2012. Conference paper submission: Feb 12, 2012 <-- APPROACHING Conference paper notification: Mar 16, 2012 <- updated! Camera-ready conference papers: Mar 31, 2012 <- updated! For the submission categories poster and workshop paper see the conference website [1]. (Their corresponding initial deadlines are between Mar 15 and May 01, 2012.) ------------------------------------------------ AUTHOR INSTRUCTIONS FOR CONFERENCE PAPERS ------------------------------------------------ Submitted papers must not exceed 14 pages, including the bibliography and an abstract of no more than 300 words. Papers should be submitted electronically as PDF files prepared in accordance with the IOS formatting guidelines [2]. Submissions should be made via Easychair at the following address: [3] https://www.easychair.org/account/signin.cgi?conf=fois2012 Proceedings will be published by IOS Press and will be available at the time of the conference. Please note that at least one author must register for the conference in order for an accepted paper to be published in the proceedings. ------------------------------------------------ KEYNOTE SPEAKERS ------------------------------------------------ Steven R. Ray (Carnegie Mellon Silicon Valley, California, USA) Laure Vieu (CNRS-IRIT, Toulouse, France) Edward N. Zalta (Stanford University, California, USA) ------------------------------------------------ CONFERENCE ORGANISATION ------------------------------------------------ Conference chair: Michael Gruninger (University of Toronto, Canada) Program chairs: Maureen Donnelly (University at Buffalo, USA) Giancarlo Guizzardi (Fed. Univ. of Espirito Santo, Brazil) Local organization: Stefan Schulz (Graz University, Austria) ------------------------------------------------ FURTHER INFORMATION ------------------------------------------------ For further information on FOIS, the flagship conference of the International Association for Ontology and its Applications (IAOA) [4], please consult the website of FOIS 2012 [1] or the conference series website [5] for past conferences. ------------------------------------------------ LINKS ------------------------------------------------ [1] http://purl.org/icbofois2012 == http://www.kr-med.org/icbofois2012 FOIS and ICBO 2012 website [2] http://www.iospress.nl/authco/instruction_crc.html IOS Press formatting guidelines [3] https://www.easychair.org/account/signin.cgi?conf=fois2012 Submission at EasyChair [4] http://www.iaoa.org International Association for Ontology and its Applications [5] http://www.formalontology.org/ FOIS conference series ----------------------------------------------------------------- From J.M.Broersen at uu.nl Thu Feb 9 13:38:48 2012 From: J.M.Broersen at uu.nl (Jan Broersen) Date: Thu, 9 Feb 2012 13:38:48 +0100 Subject: 2nd CFP: 11th International Conference on Deontic Logic in Computer Science (DEON 2012) Message-ID: <4F33BE58.6070508@uu.nl> DEON 2012 11th International Conference on Deontic Logic in Computer Science 16-18 July 2012 University of Bergen, Bergen, Norway http://www.infomedia.uib.no/deon2012/ The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organization theory and law. In addition to these general themes, DEON2012 will encourage a special focus on the topic: Deontic Logic and Social Choice There have been nine previous DEON conferences: Amsterdam, December 1991; Oslo, January 1994; Sesimbra, January 1996; Bologna, January 1998; Toulouse, January 2000; London, May 2002; Madeira, May 2004; Utrecht, July 2006, Luxembourg, July 2008, Fiesole July 2010. Selected papers from the conference will be published in a special issues of Journal of Logic and Computation, and/or the Journal of Applied Logic General Themes ============== The Program Committee invites papers concerned with the following topics: - the logical study of normative reasoning, including formal systems of deontic logic, defeasible normative reasoning, logics of action, logics of time, and other related areas of logic - the formal analysis of normative concepts and normative systems - the formal specification of aspects of norm-governed multi-agent systems and autonomous agents, including (but not limited to) the representation of rights, authorization, delegation, power, responsibility and liability - normative aspects of protocols for communication, negotiation and multi-agent decision making - the formal representation of legal knowledge - the formal specification of normative systems for the management of bureaucratic processes in public or private administration - applications of normative logic to the specification of database integrity constraints Deontic Logic and Social Choice =============================== DEON2012's special theme is "Deontic Logic and Social Choice". Topics of interest in this special theme include, but are not limited to: - Normative system selection and optimization - Merging and aggregation of norms - Compliance and enforcement strategies for norms - Game theoretic aspects of deontic reasoning - Norms, culture and and shared values - Violation detection and norm creation mechanisms - Simulation of dynamics in normative systems - Emergence of norms - Norm change We welcome both theoretical work (formal models, representations, logics, specifications, verification) and implementation-oriented work (architectures, programming languages, design models, simulations, prototype systems) on these specific topics. Submission Details ================== Authors are invited to submit an original, previously unpublished, research paper pertaining to any of these topics. The paper should be in English, and should be no longer than 15 pages when formatted according the LNCS specifications (http://www.springer.de/comp/lncs/authors.html). The first page should contain the full name and contact information for at least one of the authors, and it should contain an abstract of no more than ten lines. Authors should submit their papers electronically using the submission system at http://www.easychair.org/conferences/?conf=deon2012 Each submitted paper will be carefully peer-reviewed by a panel of PC member based on originality, significance, technical soundness, and clarity of exposition and relevance for the conference. For each accepted paper, at least one author is required to register for the conference and should plan to present the paper. Publication =========== The selected papers will be published in book form in the Springer Lecture Notes in Computer Science (LNCS) series (confirmed). Copies of the conference proceedings, will be provided to all participants. Important Dates =============== Abstract Submission Deadline: March 5, 2012 Paper Submission Deadline: March 12, 2012 Notification: April 16, 2012 Camera Ready: April 23, 2012 Program Chairs ============== Thomas Ågotnes, University of Bergen Jan Broersen, Utrecht University Dag Elgesem, University of Bergen From martin.lange at uni-kassel.de Thu Feb 9 14:16:53 2012 From: martin.lange at uni-kassel.de (Martin Lange) Date: Thu, 09 Feb 2012 14:16:53 +0100 Subject: PhD studentship in computational logic / formal methods at the University of Kassel, Germany Message-ID: <4F33C745.2050104@uni-kassel.de> One full-time PhD studentship is available at the the School of Electrical Engineering and Computer Science of the University of Kassel, Germany. The positions are funded by the ERC project "Model Checking Unleashed" and are initially available for two years with the possibility of extension for another year. There are no teaching obligations. Starting date is negotiable but the position must be taken up no later than December, 1st, 2012 in order to enjoy the full three years of funding. The project investigates applications of logical methods to various computational problems from diverse areas like database theory, graph theory, bio-informatics, computational linguistics, etc. but also in the classical domain of model checking, namely formal methods. Applicants must have an MSc / diploma in computer science, mathematics, or related areas, or should be very close to completion thereof. They should have a good background in theoretical computer science, with strong interest in logic, algorithmics, and/or possible application areas as mentioned above. The project is run at the Formal Methods and Software Verification group (FMV). Working language is English. Knowledge of German is not a requirement for these positions. Further information about the FMV group is available here: http://cms.uni-kassel.de/unicms/index.php?id=31745 For informal enquiries please contact Martin Lange via . @uni-kassel.de or +49/0 561 8046261. Applications must be directed to the HR department of the University of Kassel, for instance via pvabt3 at uni-kassel.de . They should contain a CV and names of 1-2 references, and must state the reference number for this announcement which is 17867. Deadline for applications is March, 8th, 2012. The official announcement for this position is available here (in German): http://www.uni-kassel.de/intranet/aktuelles/stellenangebote/stellenausschreibung-details/tx_ukstellenausschreibung/17868.html -- ---------------------------------------------------------------- Prof. Dr. Martin Lange http://www.uni-kassel.de/~mlange Elect. Engineering& Comp. Science martin.lange at uni-kassel.de University of Kassel, Germany +49/0 561 804 6261 From xrambous at aurora.fi.muni.cz Thu Feb 9 15:14:24 2012 From: xrambous at aurora.fi.muni.cz (TSD 2012) Date: Thu, 09 Feb 2012 15:14:24 +0100 Subject: TSD 2012 - First Call for Papers Message-ID: ********************************************************* TSD 2012 - FIRST CALL FOR PAPERS ********************************************************* Fifteenth International Conference on TEXT, SPEECH and DIALOGUE (TSD 2012) Brno, Czech Republic, 3-7 September 2012 http://www.tsdconference.org/ The conference is organized by the Faculty of Informatics, Masaryk University, Brno, and the Faculty of Applied Sciences, University of West Bohemia, Pilsen. The conference is supported by International Speech Communication Association. Venue: Brno, Czech Republic THE SUBMISSION DEADLINES: March 15 2012 ............ Submission of abstracts March 22 2012 ............ Submission of full papers Submission of abstract serves for better organization of the review process only - for the actual review a full paper submission is necessary. TSD SERIES TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. TSD Proceedings are regularly indexed by Thomson Reuters Conference Proceedings Citation Index. Moreover, LNAI series are listed in all major citation databases such as DBLP, SCOPUS, EI, INSPEC or COMPENDEX. The TSD 2012 conference will be accompanied by a one-day satellite workshop Hybrid Machine Translation The workshop is organized in cooperation with the PRESEMT EU project Consortium, submissions from other EU machine translation and other projects are more than welcomed. The MT workshop submissions will undergo two separate review processes - the best papers which will succeed in both review processes (by the TSD 2012 Conference PC and MT Workshop 2012 PC) will be published in the TSD 2012 Springer Proceedings, all other accepted MT workshop papers will be published in a separate proceedings with ISBN. The MT workshop will take place on September 3 2012 in the conference venue. TOPICS Topics of the conference will include (but are not limited to): Corpora and Language Resources (monolingual, multilingual, text and spoken corpora, large web corpora, disambiguation, specialized lexicons, dictionaries) Speech Recognition (multilingual, continuous, emotional speech, handicapped speaker, out-of-vocabulary words, alternative way of feature extraction, new models for acoustic and language modelling) Tagging, Classification and Parsing of Text and Speech (morphological and syntactic analysis, synthesis and disambiguation, multilingual processing, sentiment analysis, credibility analysis, automatic text labeling, summarization, authorship attribution) Speech and Spoken Language Generation (multilingual, high fidelity speech synthesis, computer singing) Semantic Processing of Text and Speech (information extraction, information retrieval, data mining, semantic web, knowledge representation, inference, ontologies, sense disambiguation, plagiarism detection) Integrating Applications of Text and Speech Processing (machine translation, natural language understanding, question-answering strategies, assistive technologies) Automatic Dialogue Systems (self-learning, multilingual, question-answering systems, dialogue strategies, prosody in dialogues) Multimodal Techniques and Modelling (video processing, facial animation, visual speech synthesis, user modelling, emotions and personality modelling) Papers on processing of languages other than English are strongly encouraged. PROGRAM COMMITTEE Hynek Hermansky, USA (general chair) Eneko Agirre, Spain Genevieve Baudoin, France Jan Cernocky, Czech Republic Radovan Garabik, Slovakia Alexander Gelbukh, Mexico Louise Guthrie, GB Jan Hajic, Czech Republic Eva Hajicova, Czech Republic Patrick Hanks, GB Ludwig Hitzenberger, Germany Jaroslava Hlavacova, Czech Republic Ales Horak, Czech Republic Eduard Hovy, USA Ivan Kopecek, Czech Republic Steven Krauwer, The Netherlands Siegfried Kunzmann, Germany Natalija Loukachevitch, Russia Vaclav Matousek, Czech Republic Diana McCarthy, UK Hermann Ney, Germany Elmar Noeth, Germany Karel Oliva, Czech Republic Karel Pala, Czech Republic Nikola Pavesic, Slovenia Vladimir Petkevic, Czech Republic Fabio Pianesi, Italy Maciej Piasecki, Poland Adam Przepiorkowski, Poland Josef Psutka, Czech Republic James Pustejovsky, USA Leon Rothkrantz, The Netherlands Milan Rusko, Slovakia Pavel Skrelin, Russia Pavel Smrz, Czech Republic Petr Sojka, Czech Republic Stefan Steidl, Germany Georg Stemmer, Germany Marko Tadic, Croatia Tamas Varadi, Hungary Zygmunt Vetulani, Poland Taras Vintsiuk, Ukraine Yorick Wilks, GB Victor Zakharov, Russia KEYNOTE SPEAKERS Ruslan Mitkov, University of Wolverhampton, UK Walter Daelemans, University of Antwerp, Belgium FORMAT OF THE CONFERENCE The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. Social events including a trip in the vicinity of Brno will allow for additional informal interactions. SUBMISSION OF PAPERS Authors are invited to submit a full paper not exceeding 8 pages formatted in the LNCS style (see below). Those accepted will be presented either orally or as posters. The decision about the presentation format will be based on the recommendation of the reviewers. The authors are asked to submit their papers using the on-line form accessible from the conference website. Papers submitted to TSD 2012 must not be under review by any other conference or publication during the TSD review cycle, and must not be previously published or accepted for publication elsewhere. As reviewing will be blind, the paper should not include the authors' names and affiliations. Furthermore, self-references that reveal the author's identity, e.g., "We previously showed (Smith, 1991) ...", should be avoided. Instead, use citations such as "Smith previously showed (Smith, 1991) ...". Papers that do not conform to the requirements above are subject to be rejected without review. The authors are strongly encouraged to write their papers in TeX or LaTeX formats. These formats are necessary for the final versions of the papers that will be published in the Springer Lecture Notes. Authors using a WORD compatible software for the final version must use the LNCS template for WORD and within the submit process ask the Proceedings Editors to convert the paper to LaTeX format. For this service a service-and-license fee of CZK 1500 will be levied automatically. The paper format for review has to be either PDF or PostScript file with all required fonts included. Upon notification of acceptance, presenters will receive further information on submitting their camera-ready and electronic sources (for detailed instructions on the final paper format see http://www.springer.de/comp/lncs/authors.html#Proceedings). Authors are also invited to present actual projects, developed software or interesting material relevant to the topics of the conference. The presenters of the demonstration should provide the abstract not exceeding one page. The demonstration abstracts will not appear in the conference proceedings. IMPORTANT DATES March 15 2012 ............ Submission of abstracts March 22 2012 ............ Submission of full papers May 15 2012 .............. Notification of acceptance May 31 2012 .............. Final papers (camera ready) and registration July 26 2012 ............. Submission of demonstration abstracts July 31 2012 ............. Notification of acceptance for demonstrations sent to the authors September 3-7 2012 ....... Conference date Submission of abstracts serves for better organization of the review process only - for the actual review a full paper submission is necessary. The accepted conference contributions will be published in proceedings that will be made available to participants at the time of the conference. OFFICIAL LANGUAGE The official language of the conference is English. ACCOMMODATION The organizing committee will arrange discounts on accommodation in the 3-star hotel at the conference venue. The current prices of the accommodation will be available at the conference website. ADDRESS All correspondence regarding the conference should be addressed to Vendula Halkova, TSD 2012 Faculty of Informatics, Masaryk University Botanicka 68a, 602 00 Brno, Czech Republic phone: +420-5-49 49 18 63 fax: +420-5-49 49 18 20 email: tsd2012 at tsdconference.org The official TSD 2012 homepage is: http://www.tsdconference.org/ LOCATION Brno is the second largest city in the Czech Republic with a population of almost 400.000 and is the country's judiciary and trade-fair center. Brno is the capital of South Moravia, which is located in the south-east part of the Czech Republic and is known for a wide range of cultural, natural, and technical sights. South Moravia is a traditional wine region. Brno had been a Royal City since 1347 and with its six universities it forms a cultural center of the region. Brno can be reached easily by direct flights from London, Moscow, Saint Petersburg, Eindhoven, Rome and Prague and by trains or buses from Prague (200 km) or Vienna (130 km). For the participants with some extra time, nearby places may also be of interest. Local ones include: Brno Castle now called Spilberk, Veveri Castle, the Old and New City Halls, the Augustine Monastery with St. Thomas Church and crypt of Moravian Margraves, Church of St. James, Cathedral of St. Peter & Paul, Cartesian Monastery in Kralovo Pole, the famous Villa Tugendhat designed by Mies van der Rohe along with other important buildings of between-war Czech architecture. For those willing to venture out of Brno, Moravian Karst with Macocha Chasm and Punkva caves, battlefield of the Battle of three emperors (Napoleon, Russian Alexander and Austrian Franz - Battle by Austerlitz), Chateau of Slavkov (Austerlitz), Pernstejn Castle, Buchlov Castle, Lednice Chateau, Buchlovice Chateau, Letovice Chateau, Mikulov with one of the largest Jewish cemeteries in Central Europe, Telc - a town on the UNESCO heritage list, and many others are all within easy reach. From kuhntobias at gmail.com Thu Feb 9 15:57:43 2012 From: kuhntobias at gmail.com (Tobias Kuhn) Date: Thu, 09 Feb 2012 09:57:43 -0500 Subject: CNL 2012: Second Call for Papers / Extended Deadline / Confirmation by Springer Message-ID: <4F33DEE7.8070605@gmail.com> --------------------------------------------------------------------- Second Call for Papers: - DEADLINE EXTENDED to 6 April - CONFIRMATION BY SPRINGER to publish proceedings within LNAI *** THIRD WORKSHOP ON CONTROLLED NATURAL LANGUAGE (CNL 2012) *** 29-31 August 2012 Zurich, Switzerland http://attempto.ifi.uzh.ch/site/cnl2012/ --------------------------------------------------------------------- A controlled natural language (CNL) is based on natural language but comes with restrictions on vocabulary, grammar, and/or semantics. The general goal is to reduce or eliminate ambiguity and complexity. Some of these languages are designed to improve communication among humans, especially for non-native speakers of the respective natural language. In other cases, the restrictions on the language are supposed to make it easier for computers to analyze such texts in order to improve computer-aided, semi-automatic, or automatic translations into other languages. A third group of CNL has the goal to enable reliable automated reasoning on seemingly natural texts. Such languages have a direct mapping to some sort of formal logic and should improve the accessiblity of formal knowledge representations or specifications for people unfamiliar with formal notations. All these types of CNL are covered by this workshop. Topics ------ Possible topics for CNL 2012 include: - CNL for knowledge representation - CNL for question answering - CNL for specifications - CNL for business rules - CNL for interactive systems - CNL for machine translation - CNL for improved understandability of texts - design of CNLs - CNL applications - CNL evaluation - usability and acceptance of CNL - CNL grammars and lexica - reasoning in CNL - spoken CNL - CNL in the context of the Semantic Web and Linked Open Data - CNL in the government - CNL in industry - CNL use cases - theoretical properties of CNL Important Dates --------------- Submission deadline (extended): 6 April 2012 Notification of acceptance: 25 May 2012 Deadline for revised papers: 18 June 2012 Workshop: 29-31 August 2012 Submissions and Proceedings --------------------------- We invite researchers to submit papers with novel contributions in the area of CNL. These research papers should be formatted according to the Springer LNCS format and should not exceed 15 pages (but shorter papers are highly welcome too). Papers should be submitted in PDF format via the EasyChair conference system: http://www.easychair.org/conferences/?conf=cnl2012 Accepted papers will be included in the printed workshop proceedings to be published by Springer within the LNAI series. Authors of accepted papers will be invited to present their research at the workshop. Unlike the previous CNL workshops, the final papers will be reviewed and published before the workshop (there are no extended abstracts anymore). Venue ----- The workshop will take place at the Department of Informatics and the Institute of Computational Linguistics of the University of Zurich in Switzerland. Organization Committee ---------------------- - Tobias Kuhn (Yale University, USA), kuhntobias at gmail.com - Norbert E. Fuchs (University of Zurich, Switzerland), fuchs at ifi.uzh.ch Program Committee ----------------- - Johan Bos (University of Groningen, Netherlands) - Peter E. Clark (Vulcan Inc, USA) - Rogan Creswick (Galois, USA) - Danica Damljanovic (University of Sheffield, UK) - Brian Davis (DERI / National University of Ireland) - Norbert E. Fuchs (University of Zurich, Switzerland) - Normunds Gruzitis (University of Latvia) - Stefan Hoefler (University of Zurich, Switzerland) - Kaarel Kaljurand (University of Zurich, Switzerland) - Peter Koepke (University of Bonn, Germany) - Tobias Kuhn (Yale University, USA) - Hans Leiss (University of Munich, Germany) - Reinhard Muskens (Tilburg University, Netherlands) - Gordon Pace (University of Malta) - Richard Power (The Open University, UK) - Laurette Pretorius (University of South Africa) - Mike Rosner (University of Malta) - Aarne Ranta (Chalmers University, Sweden) - Rolf Schwitter (Macquarie University, Australia) - Geoff Sutcliffe (University of Miami, USA) - Silvie Spreeuwenberg (LibRT, Netherlands) - Uta Schwertel (imc, Germany) - Yorick Wilks (University of Sheffield, UK) - Adam Wyner (University of Liverpool, UK) From icnc-fskd-cfp at cqupt.edu.cn Thu Feb 9 18:33:19 2012 From: icnc-fskd-cfp at cqupt.edu.cn (ICNC FSKD) Date: Fri, 10 Feb 2012 01:33:19 +0800 Subject: IT Workshop Submission Deadline 8 March: IEEE Xplore/EI Compendex/ISI Message-ID: <528809587.23750@localhost.com> Dear Colleague, We cordially invite you to submit a paper to the Workshop on Information Technology (WIT 2012), a part of the 9th FSKD conference to be jointly held from 29-31 May 2012, in Chongqing, China. Topics of WIT 2012 include (but are not limited to): Communications and Networking, Automation and Control, Computer applications, Software Engineering, Information Security, etc.. The submission deadline is 8 March 2012. Renowned as the Mountain City, Chongqing is a magnet for visitors from home and abroad for its cultural heritage and numerous attractions. There are many karst caves, hot springs, and gorges in the area. Major tourist spots in and near Chongqing include Dazu Grottoes (rock carvings began in the Tang Dynasty 650 A.D.), Three Gorges, Jinyun Mountain Natural Reserve, Hongya Cave, Shibaozhai, Wulong Karst, etc.. All papers in the conference proceedings will be indexed by both EI Compendex and ISTP as with the past FSKD conferences. Extended versions of selected best papers will appear in an FSKD special issue of Computers & Mathematics with Applications, an SCI-indexed journal. The conference is technically co-sponsored by the IEEE Circuits and Systems Society. The registration fee of US-D430 includes proceedings, lunches, dinners, banquet, coffee breaks, and all technical sessions. Please submit your paper online at http://icnc-fskd.cqupt.edu.cn/Submission.htm (During your electronic submission, select “FSKD’12” for Conference and “Information Technology for Knowledge Discovery” for Category). Join us at this major event in beautiful Chongqing !!! Organizing Committee icnc-fskd at cqupt.edu.cn P.S.: Kindly forward to your colleagues and students in your school/department. If you wish to unsubscribe, in which case we apologize, please reply with " unsubscribe event at tu-clausthal.de " in your email subject. Thanks. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From henning at ruc.dk Fri Feb 10 17:01:00 2012 From: henning at ruc.dk (Henning Christiansen) Date: Fri, 10 Feb 2012 17:01:00 +0100 Subject: Constraint Solving and Language Processing, 7th Intl. workshop, CFP Message-ID: <05B4456B-2270-4C63-B0CD-9D59AE5ED60A@ruc.dk> First CALL FOR PAPERS Constraint Solving and Language Processing - CSLP 2012 - Seventh International Workshop University of Orléans, Orléans, France September 13-14, 2012 http://www.univ-orleans.fr/lifo/evenements/CSLP2012/ INTRODUCTION The Constraint Solving and Language Processing (CSLP) workshop considers the role of constraints in the representation of language and the implementation of language processing from an interdisciplinary perspective. This theme should be interpreted inclusively: contributions from linguistics, computer science, psycholinguistics and related areas are welcome, and an interdisciplinary perspective is of particular interest. Constraints are widely used in linguistics, computer science, and psychology. How they are used, however, varies widely according to the research domain: knowledge representation, cognitive modelling, problem solving mechanisms, etc. These different perspectives are complementary, each one adding a piece to the puzzle. For example, linguistics proposes in-depth descriptions implementing constraints in order to filter out structures by means of description languages, constraint ranking, etc. The constraint programming paradigm, on the other hand, shows that constraints have to be taken as a systematic whole and can thus play a role in building the structures (or can even replace structures). Finally, psycholinguistics experiment have been made, investigating the role of constraint systems for cognitive processes in comprehension and production, as well as addressing how they can be acquired. TOPICS CSLP is open to submissions on topics including, but not limited to: * Constraints in human language comprehension and production * Context modelling and discourse interpretation * Acquisition of constraints * Constraints and learning * Cross-theoretical view of the notion of constraint * New advances in constraint-based linguistic theories * Constraint satisfaction (CS) technologies for NLP * Linguistic analysis and linguistic theories biased towards CS or constraint logic programming (CLP) * Application of CS or CLP for NLP * CS and CLP for other than textual or spoken languages, e.g., sign languages and biological, multimodal human-computer interaction, visual languages * Probabilistic constraint-based reasoning for NLP and context comprehension PREVIOUS EDITIONS Six CSLP workshops have been organized in the past in: Karlsruhe, Germany (2011), Hamburg, Germany (2008), Roskilde, Denmark (2007), Sydney, Australia (2006), Sitges, Spain (2005), Roskilde, Denmark (2004). IMPORTANT DATES Submission Deadline: June 10, 2012 Notification: August 1st, 2012 Camera-ready Version: September 1st, 2012 Workshop Dates: September 13-14, 2012 SUBMISSIONS Papers must be submitted electronically as PDF files and be prepared using the Springer LNAI/LNCS format. Detailed formatting instructions can be found at: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 Papers should present original, unpublished work. Simultaneous submission to other venues with published proceedings is prohibited. CSLP accepts two kinds of submissions: - full papers (12 pages including references) reporting completed, significant research, - short papers (6 pages including references) reporting ongoing work and partial results. Each submission will be reviewed by three program committee members. Accepted long papers will be presented within 20 min talks plus 10 min for questions. Accepted short papers will be presented within 10 min talks plus 5 min for questions. Both paper types will be published in the workshop proceedings. Since reviewing will be blind, the submission should not include the authors' names and affiliations. Other identifying information such as obvious self-references (e.g., "We showed in [12] ...") and financial or personal acknowledgements should be omitted in the submitted papers whenever feasible. Papers have to be submitted via the easychair conference management system using the following link: http://www.easychair.org/conferences/?conf=cslp2012 A volume at an international publisher will be considered for selected and revised papers, if number and quality of submissions permits. KEYNOTE SPEAKER To be announced PROGRAM COMMITEE Philippe Blache, CNRS - Université de Provence, France Adriane Boyd, Universität Tübingen, Germany Aoife Cahill, ETS Princeton, USA Henning Christiansen, Roskilde University, Denmark Berthold Crysmann, CNRS - Paris 7, France Verónica Dahl, Simon Fraser University, Canada Helen de Hoop, Radboud University Nijmegen, Netherlands Eric De La Clergerie, INRIA - Paris 7, France Denys Duchier, Université d'Orléans, France Claire Gardent, CNRS - LORIA, France Barbara Hemforth, Université Paris Descartes, France Maria Dolores Jiménez-López, Universitat Rovira i Virgili, Spain Laura Kallmeyer, Heinrich Heine Universität, Düsseldorf, Germany Ruth Kempson, King's College London, UK Stephan Kepser, Codecentric AG Düsseldorf, Germany Patrick McCrae, Langtec Hamburg, Germany Wolfgang Menzel, Universität Hamburg, Germany Detmar Meurer, Universität of Tübingen, Germany Véronique Moriceau, Université Paris XI, France Jean-Philippe Prost, Université de Montpellier, France Adam Przepiórkowski, IPIPAN, Warsaw, Poland Christian Rétoré, Université de Bordeaux, France Frank Richter, Universität Tübingen, Germany Sylvain Salvati, INRIA - Université de Bordeaux, France Sylvain Schmitz, ENS Cachan, France Kiril Simov, Bulgarian Academy of Sciences, Bulgaria Jesse Tseng, CNRS - Université de Toulouse, France Jørgen Villadsen, Technical University of Denmark LOCAL ORGANIZING COMMITEE Chairs: Denys Duchier (LIFO - University of Orléans) Yannick Parmentier (LIFO - University of Orléans) Members: Guillaume Cleuziou (LIFO - University of Orléans) Thi-Bich-Hanh Dao (LIFO - University of Orléans) Abdelali Ed-Dbali (LIFO - University of Orléans) Matthieu Exbrayat (LIFO - University of Orléans) Matthieu Lopez (LIFO - University of Orléans) Lionel Martin (LIFO - University of Orléans) Simon Petitjean (LIFO - University of Orléans) Jacques-Henri Sublemontier (LIFO - University of Orléans) All the information about the Conference is available at the CSLP workshop website: http://www.univ-orleans.fr/lifo/evenements/CSLP2012/ E-mail: cslp2012 at easychair.org Henning Christiansen professor of Computer Science, ph.d. Research group PLIS: Programming, Logic and Intelligent Systems Department of Communication, Business and Information Technologies Roskilde University P.O.Box 260, DK-4000 Roskilde, DENMARK http://www.ruc.dk/~henning -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From K.V.Hindriks at tudelft.nl Sat Feb 11 14:31:00 2012 From: K.V.Hindriks at tudelft.nl (Koen Hindriks - EWI) Date: Sat, 11 Feb 2012 13:31:00 +0000 Subject: CFP PRIMA 2012 Malaysia Conference on Principles and Practice of Multi-Agent Systems Message-ID: (apologies for cross-posting) PRIMA 2012 The 15th International Conference on Principles and Practice of Multi-Agent Systems Kuching, Sarawak, Malaysia September 3-7, 2012 http://www.prima2012.org/ Co-located with PRICAI 2012, DC 2012 and PKAW 2012 Paper submission: March 30, 2012 Author notification: May 28, 2012 Camera-ready papers: June 15, 2012 Agent computing is an exciting, transformational approach to developing computer systems that can rapidly and reliably solve real-world problems that usually demand human knowledge and expertise. The value, power and flexibility of agent and multi-agent systems has been demonstrated in application areas such as logistics, manufacturing, simulation, robotics, decision support, entertainment, and especially in online market environments. As one of the largest and fastest growing research fields of Computer Science, agent research today includes a wealth of topics. The PRIMA 2012 Program Committee invites submissions of original, unpublished, theoretical and applied work on any such topic, and encourages reports on the development of prototype and deployed agent systems, and of experiments that demonstrate novel agent system capabilities. PRIMA 2012 proceedings will be published by Springer as a volume in the LNAI series and proceedings will be available at the conference. Submitted papers should be 12-15 pages in Springer LNCS format and must be in a form suitable for "double-blind" review. Each submission will be subject to peer review in two rounds coordinated by an international Senior Program Committee, and authors will be able to provide a short "rebuttal" of the reviews before final decisions are made. A broad range of agent topics are of interest, but all papers should clearly identify how their scientific or technical contributions advance the state-of-the-art of agent computing practice or have a strong potential to do so. Submitted papers should not be under review or submitted for publication elsewhere during the review period. Springer LNCS Author Instructions: http://www.springer.de/comp/lncs/authors.html Submission: http://www.easychair.org/conferences/?conf=prima2012 Enquiries: prima2012-pc-chairs at cse.unsw.edu.au ---------------------------------------------------------------------------------------------- Organization General Chairs Sandip Sen (University of Tulsa, USA) Toshiharu Sugawara (Waseda University, Japan) Local Arrangements Chairs Dickson Lukose (MIMOS Berhad, Malaysia) Cheah Wai Shiang (Universiti Malaysia Sarawak, Malaysia) Sponsorship Chairs Longbing Cao (University of Technology, Sydney, Australia) Matthias Klusch (DFKI Saarbruecken, Germany) Sarvapali Ramchurn (University of Southampton, UK) Jie Zhang (Nanyang Technological University, Singapore) Program Chairs Iyad Rahwan (Masdar Institute, UAE and MIT, USA) Wayne Wobcke (University of New South Wales, Australia) Senior Program Committee Stephen Cranefield (University of Otago, New Zealand) Frank Dignum (Utrecht University, The Netherlands) Guido Governatori (NICTA, Australia) Katsutoshi Hirayama (Kobe University, Japan) Kate Larson (University of Waterloo, Canada) Rey-Long Liu (Tzu Chi University, Taiwan) Alessio Lomuscio (Imperial College London, UK) Andrea Omicini (University of Bologna, Italy) Jeremy Pitt (Imperial College London, UK) David Pynadath (University of Southern California, USA) Alex Rogers (University of Southampton, UK) Paolo Torroni (University of Bologna, Italy) Tutorial Chair Edith Elkind (Nanyang Technological University, Singapore) Workshop Chairs Sherief Abdallah (British University in Dubai, UAE and University of Edinburgh, UK) Hiromitsu Hattori (Kyoto University, Japan) Publicity Chairs Jacob Crandall (Masdar Institute, UAE and MIT, USA) Koen Hindriks (Delft University of Technology, The Netherlands) ---------------------------------------------------------------------------------------------- Topics Foundations of Agents and Multi-Agent Systems Logics of Agency Logics of Multi-Agent Systems Normative Systems Computational Game Theory Uncertainty in Agent Systems Agent and Multi-Agent Learning Agent and Multi-Agent System Architectures Agent Programming Languages and Platforms Multi-Agent System Languages and Platforms BDI Architectures and Extensions Normative Multi-Agent Systems Agent-Oriented Software Engineering AOSE Methodologies Tools for Agent and Multi-Agent System Development Formal Specification and Verification Deployed System Case Studies Agent-Based Modelling and Simulation Simulation Languages and Platforms Artificial Societies Virtual Environments Workflow Simulation Emergent Behaviour Modelling System Dynamics Application Case Studies Collaboration/Coordination/Communication Agent Communication Languages and Protocols Distributed Problem Solving Teamwork Models Coalition Formation Argumentation, Negotiation, Bargaining Auctions and Mechanism Design Trust and Reputation Computational Voting Theory Hybrid Technologies Agents in Planning Agent-Based Scheduling Agent-Based Optimization Distributed Constraint Satisfaction Agents and Data Mining Semantic Web Agents Agents and Grid Computing Agents and Service Oriented Computing Agents and Pervasive Computing Robotics and Multi-Robot Systems Application Domains Healthcare Transport/Logistics Emergency/Disaster Management Energy/Utility Management Sustainability/Resource Management Games/Entertainment eBusiness/eCommerce/eGovernment eResearch/eLearning Security/Surveillance Smart Cities Applications Adaptive Personal Assistants Embodied Conversational Agents Virtual Characters Multi-Modal User Interfaces Autonomous Systems Mobile Agents Human-Robot Interaction Social Recommender Systems ---------------------------------------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tb at imm.dtu.dk Sat Feb 11 22:11:08 2012 From: tb at imm.dtu.dk (Thomas Bolander) Date: Sat, 11 Feb 2012 22:11:08 +0100 Subject: CFP: AiML 2012 Message-ID: <08815137-B1EB-4F74-A816-ABE442A7CEA8@imm.dtu.dk> AiML-2012: FINAL CALL FOR PAPERS 9-TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC COPENHAGEN, 22-25 AUGUST, 2012 http://hylocore.ruc.dk/aiml2012.html Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2012 is the ninth conference in the series. TOPICS We invite submission on all aspects of modal logic, including: - history of modal logic - philosophy of modal logic - applications of modal logic - computational aspects of modal logic (complexity and decidability of modal and temporal logics, modal and temporal logic programming, model checking, model generation, theorem proving for modal logics) - theoretical aspects of modal logic (algebraic/categorical perspectives on modal logic, coalgebraic modal logic, completeness and canonicity, correspondence and duality theory, many-dimensional modal logics, modal fixed point logics, model theory of modal logic, proof theory of modal logic) - specific instances and variations of modal logic (description logics, modal logics over non-boolean bases, dynamic logics and other process logics, epistemic and deontic logics, modal logics for agent-based systems, modal logic and game theory, modal logic and grammar formalisms, provability and interpretability logics, spatial and temporal logics, hybrid logic, intuitionistic logic, substructural logics, computationally light fragments of all such logics) Papers on related subjects will also be considered. CONFERENCE LOCATION Advances in Modal Logic 2012 will be held at the IDA conference centre in downtown Copenhagen: http://ida.dk/sites/moedecenter/english/Sider/EnglishForside.aspx This is in easy walking distance from Copenhagen Central Station and a number of reasonably priced hotels. PAPER SUBMISSIONS There will be two types of submissions to AiML-2012: (1) Full papers for publication in the proceedings and presentation at the conference. (2) Abstracts for short presentation only. Both types of papers should be submitted electronically using the EasyChair submission page at http://www.easychair.org/conferences/?conf=aiml2012 At least one author of each accepted paper of abstract must register for, and attend, the conference to present his or her work. (1) FULL PAPERS. Authors are invited to submit, for presentation at the conference and publication in the proceedings, full papers reporting on original research and not submitted elsewhere. The proceedings of AiML'2012 will be published by College Publications (http://www.collegepublications.co.uk) in a volume to be made available at the conference. The submissions should be at most 15 pages, with an optional technical appendix of up to 5 pages, together with a plain-text abstract of 100-200 words. The submissions must be typeset in LaTeX, using a style file and template that will be provided on the AiML'2012 website. (2) ABSTRACTS. These should be at most 5 pages. They may describe preliminary results, work in progress etc., and will be subject to light reviewing. The accepted abstracts will be made available at the conference, and the authors will have the opportunity to make short presentations (of up to 15 minutes) on them. SPECIAL SESSION ON HYBRID LOGIC. Hybrid logic is an extension of modal logic allowing to refer explicitly to states of the model in the syntax of formulas. There will be a special session of AiML devoted to papers on hybrid logic. The scope of the special session is standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but also other extensions of modal logic can be considered. SPECIAL SESSION IN HONOUR OF LARISA MAKSIMOVA. There will be a special session of AiML devoted to papers and talks in honour of Larisa Maksimova, in recognition of her many outstanding contributions to modal logic. SPECIAL SESSION ON MODALITIES FOR TYPES. Recent years have witnessed significant growth of interest in constructive type-theoretical modalities, in particular modalities ensuring productivity and type safety of (co-)recursive definitions in reactive programming. Some earlier examples include the use of modalities for staged computation, metaprogramming or in computational lambda-calculus. In order to boost interaction between programming, type-theoretical and modal communities, AiML 2012 will host a special session on these topics. Papers for this session should be submitted to the EasyChair site along with others. Papers for the special sessions should be submitted to the EasyChair site along with others. INVITED SPEAKERS Lev Beklemishev (Moscow State University) Johan van Benthem (University of Amsterdam and Stanford University) Lars Birkedal (IT University of Copenhagen, Denmark) Patrick Blackburn (Roskilde University) Balder ten Cate, (UC Santa Cruz) Larisa Maksimova (Novosibirsk State University) PROGRAMME COMMITTEE Carlos Areces (FaMAF, Universitad Nacional de Cordoba, Argentina) Philippe Balbiani (IRIT, Toulouse, France) Lev Beklemishev (Moscow State University, Russia) Guram Bezhanishvili (New Mexico State University, USA) Nick Bezhanishvili (Imperial College London, UK) Patrick Blackburn (Roskilde University, Denmark) Thomas Bolander (Technical University of Denmark) Torben Brauner (Roskilde University, Denmark) Giovanna Corsi (Università di Bologna, Italy) Giovanna D'Agostino (Università di Udine, Italy) Stephane Demri (LSV, ENS Cachan, France) Melvin Fitting (Lehman College, CUNY, USA) Robert Goldblatt (Victoria University of Wellington, New Zealand) Valentin Goranko (Technical University of Denmark) Rajeev Gore (Australian National University, Australia) Andreas Herzig (IRIT, Toulouse, France) Ian Hodkinson (Imperial College London, UK) Wiebe van der Hoek (University of Liverpool, UK) Rosalie Iemhoff (University of Utrecht, The Netherlands) Alexander Kurz (University of Leicester, UK) Tadeusz Litak (University of Leicester, UK) Hiroakira Ono (Japan Advanced Institute of Science and Technology) Martin Otto (Technical University of Darmstadt, Germany) Alessandra Palmigiano (ILLC, University of Amsterdam, The Netherlands) Renate Schmidt (University of Manchester, UK) Lutz Schröder (DFKI GmbH and University of Bremen, Germany) Valentin Shehtman (Moscow State University, Russia) Dimiter Vakarelov (Sofia University, Bulgaria) Yde Venema (ILLC, University of Amsterdam, The Netherlands) Heinrich Wansing (Ruhr University Bochum, Germany) Frank Wolter (University of Liverpool, UK) Michael Zakharyaschev (Birkbeck College, London, UK) PROGRAMME COMMITTEE CO-CHAIRS Silvio Ghilardi (Università degli Studi di Milano, Italy) Lawrence Moss (Indiana University, USA) ORGANIZING COMMITTEE CO-CHAIRS Thomas Bolander (Technical University of Denmark) Torben Brauner (Roskilde University, Denmark) IMPORTANT DATES Full papers submission deadline: 30 March 2012 Full papers acceptance notification: 18 May 2012 Short presentations submission deadline: 1 June, 2012 Short presentations acceptance notification: 18 June, 2012 Final version of full papers and abstracts due: 15 June 2012 Conference: 22-25 August, 2012. FURTHER INFORMATION. Please see http://hylocore.ruc.dk/aiml2012/ ENQUIRIES. E-mail enquiries should be directed respectively to the PC co-chairs, sent to aiml2012 at easychair.org From mascardi at disi.unige.it Sun Feb 12 12:51:21 2012 From: mascardi at disi.unige.it (Viviana Mascardi) Date: Sun, 12 Feb 2012 12:51:21 +0100 Subject: Second CFP: DALT@AAMAS'12 In-Reply-To: <4F0CA03D.2040803@disi.unige.it> References: <4F0CA03D.2040803@disi.unige.it> Message-ID: <4F37A7B9.7020603@disi.unige.it> [Please accept our apologies if you receive multiple postings.] 10th International Workshop on Declarative Agent Languages and Technologies (DALT 2012) 4 or 5 June 2012 (to be confirmed) Valencia, Spain (held in conjunction with AAMAS 2012) URL: http://www.di.unito.it/~baldoni/DALT-2012/ ---------------------------------------------------------------------- SECOND CALL FOR PAPERS ---------------------------------------------------------------------- The workshop on Declarative Agent Languages and Technologies (DALT), in its tenth edition this year, is a well-established forum for researchers interested in sharing their experiences in combining declarative and formal approaches with engineering and technology aspects of agents and multiagent systems. Building complex agent systems calls for models and technologies that ensure predictability, allow for the verification of properties, and guarantee flexibility. Developing technologies that can satisfy these requirements still poses an important and difficult challenge. Here, declarative approaches have the potential of offering solutions satisfying the needs for both specifying and developing multiagent systems. Moreover, they are gaining more and more attention in important application areas such as the semantic web, service-oriented computing, security, and electronic contracting. DALT 2012 will be held as a satellite workshop of AAMAS 2012, the 11th International Joint Conference on Autonomous Agents and Multiagent Systems, in June 2011 in Valencia, Spain. Following the success of nine previous editions, DALT will again aim at providing a discussion forum to both (i) support the transfer of declarative paradigms and techniques to the broader community of agent researchers and practitioners, and (ii) to bring the issue of designing complex agent systems to the attention of researchers working on declarative languages and technologies. DALT 2012 will have as a special interest topics those future trends of the web, where declarative languages and technologies for multiagents systems will play an effective role: in particular, social computing (models of social interactions, trust, commitments, and contracts; social environments based on declarative technologies) and its related semantic issues (explicit representation of knowledge and mechanisms for allowing societies of agents to reason on that). ---------------------------------------------------------------------- TOPICS OF INTEREST ---------------------------------------------------------------------- DALT topics of interest include, but are not limited to: DALT 2012 special topic: declarative approaches for agent-based social computing * models of social interactions among agents * models of buiness interactions among agents * models of trust, commitments, and reputation for agents * declarative description of contracts and negotiation policies * social environments based on declarative technologies * Semantic Web-aware declarative agents General themes: * specification of agents and multi-agent systems * declarative approaches to engineering agent-based systems Formal techniques: * (constraint) logic programming approaches to agent systems * distributed constraint satisfaction * modal and epistemic logics for agent modeling * game theory and mechanism design for multi-agent systems * semantics of agent communication * model checking agents and multi-agent systems * agent communication and coordination languages * protocol specification, verification, and reasoning Declarative models: * declarative models of agent beliefs, goals and capabilities * declarative models of bounded rationality * declarative approaches for agent-based grid computing * declarative paradigms for the combination of heterogeneous agents * declarative approaches to organizations and electronic institutions * agent-inspired declarative approaches to Web services and service-oriented computing Applications of declarative techniques to: * multi-agent systems for service-oriented computing * agent-based grid computing * security and trust in multi-agent systems * e-health, e-commerce, e-learning, sociotechnical systems, social networks, virtual organizations. Evaluation of declarative approaches: * experimental analysis of declarative agent technologies * industrial experiences with declarative agent technologies ---------------------------------------------------------------------- SUBMISSION INSTRUCTIONS ---------------------------------------------------------------------- We welcome and encourage the submission of high-quality, original papers, which are not being submitted simultaneously for publication elsewhere. Papers should be written in English, formatted according to the Springer LNCS style, and not exceed 16 pages. Paper submission is electronic via the conference website. ---------------------------------------------------------------------- WORKSHOP PROCEEDINGS ---------------------------------------------------------------------- Printed copies of the proceedings will be available at the workshop. Assuming a sufficient number of high-quality submissions, we are again going to consider the publication of formal post-proceedings with an international publisher. The post-proceedings of DALT 2003 (LNAI 2990), DALT 2004 (LNAI 3476), DALT 2005 (LNAI 3904), DALT 2006 (LNAI 4327), DALT 2007 (LNAI 4897), DALT 2008 (LNAI 5397), DALT 2009 (LNAI 5948), and DALT 2010 (LNAI 6619) have been published by Springer-Verlag in the Lecture Notes in Artificial Intelligence series. ---------------------------------------------------------------------- IMPORTANT DATES ---------------------------------------------------------------------- Paper submission deadline: 28 February 2012 Notification of acceptance/rejection: 27 March 2012 Camera-ready copies due: 10 April 2012 Workshop Date: 4 or 5 June 2012 ---------------------------------------------------------------------- WORKSHOP ORGANISERS ---------------------------------------------------------------------- Matteo Baldoni (University of Torino, Italy) Louise Dennis (University of Liverpool, UK) Viviana Mascardi (University of Genova, Italy) Wamberto Vasconcelos (University of Aberdeen, UK) From yevgeny.kazakov at uni-ulm.de Mon Feb 13 11:42:41 2012 From: yevgeny.kazakov at uni-ulm.de (Yevgeny Kazakov) Date: Mon, 13 Feb 2012 11:42:41 +0100 Subject: [DL] First CfP: 25th International Workshop on Description Logics (DL 2012), Rome, June 7-10, 2012 Message-ID: Apologies for multiple postings. Please forward to interested parties. =============================================================================== CALL FOR PAPERS 25th International Workshop on Description Logics (DL 2012) Rome, Italy, June 7-10, 2012 Co-located with KR 2012, NMR 2012, AI*IA 2012, KiBP 2012, CILC 2012 http://dl.kr.org/dl2012 =============================================================================== The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences. The workshop will be held in the conference rooms of Sapienza Università di Roma (Via Caserta 6, Rome), from June 7th to June 10th, 2012. In this year, DL workshop will share a joint session together with the International Workshop on Non-Monotonic Reasoning (NMR 2012). IMPORTANT DATES Paper submission deadline: March 10, 2012 Notification of acceptance: April 22, 2012 Camera ready papers due: May 4, 2012 Workshop: June 7-10, 2012 WORKSHOP SCOPE We invite contributions on all aspects of description logics,such as: * foundations of description logics, including expressive power, decidability and complexity of reasoning, novel inference problems, and reasoning techniques for solving these problems; * extensions of description logics, including, but not limited to, closed-world and non-monotonic reasoning, defaults, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, and query languages; * integration of description logics with other formalisms, such as object-oriented representation languages, database query languages, constraint-based programming, logic programming, and rule-based systems; * use of description logics in applications or areas such as ontology engineering, ontology languages, databases, semi-structured data, document management, natural language, learning, planning, semantic web, and grid computing; * building systems based on description logics, with special emphasis on optimization and implementation techniques; and * tools that exploit description logic reasoning, such as ontology editors, database schema design, query optimization, and data integration tools. SUBMISSION DETAILS Papers may be no longer than 11 pages including title, (optional) abstract and references, and must be formatted in Springer LNCS style (http://www.springer.com/comp/lncs/Authors.html). If necessary, detailed proofs of technical results can be included in a clearly-labelled appendix in the same format. The material in the appendix may be read at the discretion of the programme committee and will not be published. Papers must be submitted in PDF format via EasyChair (https://www.easychair.org/conferences/?conf=dl2012). The workshop proceedings will be made available electronically in the CEUR Workshop Proceedings series (http://www.CEUR-ws.org/). Accepted submissions will be selected for either oral or poster presentation, which will be clearly distinguished in the proceedings; however, all accepted papers can be 11 pages long. BEST STUDENT PAPER AWARD The best student paper will be selected among the ones written solely by students (i.e. persons not holding a PhD as of March 10, 2012). Authors of such papers are requested to indicate their eligibility upon submission at easychair. INVITED SPEAKERS * Serge Abiteboul, Collège de France, INRIA & ENS Cachan, France * Piero Bonatti, Università degli Studi di Napoli Federico II, Italy * Alan Rector, University of Manchester, U.K. ORGANIZATION * Domenico Lembo, Sapienza Università di Roma, Italy (Workshop Chair) * Yevgeny Kazakov, University of Ulm, Germany (Program co-Chair) * Frank Wolter, University of Liverpool, U.K. (Program co-Chair) RESOURCES * Information about submission, registration, travel information, etc., is available on the DL 2012 homepage: http://dl.kr.org/dl2012 * Enquiries about the DL 2012 workshop can be made by contacting the organizing committee: dl2012 at easychair.org or dl2012 at dis.uniroma1.it * The official Description Logic home page is at http://dl.kr.org/ From sescobar at dsic.upv.es Mon Feb 13 18:57:00 2012 From: sescobar at dsic.upv.es (Santiago Escobar) Date: Mon, 13 Feb 2012 11:57:00 -0600 Subject: CfP: UNIF 2012 References: <0588EFDF-9263-47A2-B564-47EAE9F02BC6@dsic.upv.es> Message-ID: <9EA8B0B5-C6ED-4D39-A717-4F8B75F4FBD1@dsic.upv.es> Call for Papers UNIF 2012 The 26th International Workshop on Unification http://unif2012.cs.man.ac.uk July 1st, 2012, Manchester, UK Satellite event of IJCAR 2012 UNIF 2012 is the 26th event in a series of international meetings devoted to unification theory and its applications. UNIF 2012 is a satellite event of the the 6th International Joint Conference on Automated Reasoning (IJCAR 2012) which is part of the Alan Turing Year 2012, and collocated with The Alan Turing Centenary Conference. Previous editions of UNIF have taken place mostly in Europe, but also in USA and Japan. For more details on previous UNIF workshops, please see the UNIF homepage at . The aim of UNIF 2012, as that of the previous meetings, is to bring together researchers interested in unification theory and related topics, to present recent (even unfinished) work, and discuss new ideas and trends in this and related fields. This includes scientific presentations, but also descriptions of applications and software using unification as a strong component. A non-exhaustive list of topics of interest includes: unification algorithms, calculi and implementations, equational unification and unification modulo theories, unification in modal, temporal and description logics, admissibility of inference rules, narrowing, matching algorithms, constraint solving, combination problems, disunification, higher-order unification, type checking and reconstruction, typed unification, complexity issues, query answering, implementation techniques and applications of unification. Submissions and Publication: Before the workshop, authors are invited to submit an extended abstract (max. 5 pages) to be formatted in LNCS style through the EasyChair submission site: https://www.easychair.org/account/signin.cgi?conf=unif2012 Accepted abstracts will be presented at the workshop and included in the preliminary proceedings, available at the workshop. We envisage publication of a special issue of a journal dedicated to UNIF after the event. Important Dates: # Submission: April 27 # Notification: May 18 # Final version: June 1 # Workshop: July 1 Programme Committee: # Franz Baader, TU Dresden, Germany # Christoph Benzmueller, Free University Berlin, Germany # Santiago Escobar, Universitat Politecnica de Valencia, Spain (co-chair) # Maribel Fernandez, King's College London, UK # Silvio Ghilardi, Universita degli Studi di Milano, Italy # Rosalie Iemhoff, Utrecht University, The Netherlands # Konstantin Korovin, University of Manchester, UK (co-chair) # Jordi Levy, IIIA - CSIC, Spain # Christopher Lynch, Clarkson University, USA # George Metcalfe, Vanderbilt University, USA # Paliath Narendran, University at Albany, USA # Vladimir Rybakov, Manchester Metropolitan University, UK (co-chair) For more information, please contact any of the three chairs Santiago Escobar, Konstantin Korovin, Vladimir Rybakov From esslli2012stus at loriweb.org Tue Feb 14 12:46:46 2012 From: esslli2012stus at loriweb.org (ESSLLI 2012 Student Session) Date: Tue, 14 Feb 2012 12:46:46 +0100 Subject: 2nd CfP: ESSLLI 2012 Student Session In-Reply-To: <4EE9E448.8080204@loriweb.org> References: <4EE9E448.8080204@loriweb.org> Message-ID: <4F3A49A6.9060009@loriweb.org> ** APOLOGIES FOR MULTIPLE POSTINGS** *** PLEASE DISTRIBUTE TO STUDENTS *** Second Call for Papers *ESSLLI 2012 STUDENT SESSION* Held during The 24th European Summer School in Logic, Language and Information Opole, Poland, August 6-17, 2012 Deadline for submissions: March 20, 2012 http://loriweb.org/ESSLLI2012StuS/ *ABOUT:* The Student Session of the 24th European Summer School in Logic, Language, and Information (ESSLLI) will take place in Opole, Poland on August 6-17, 2012. We invite submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation. Submissions will be reviewed by several experts in the field, and accepted papers will be presented orally or as posters and will appear in the student session proceedings. This is an excellent opportunity to receive valuable feedback from expert readers and to present your work to a diverse audience. ESSLLI 2012 will feature a wide range of foundational and advanced courses and workshops in all areas of Logic, Language, and Computation. Consult the main ESSLLI website (link below) for further information. *SPRINGER PRIZES FOR BEST PAPER AND BEST POSTER* In 2012, Springer has again continued its generous support for the Student Session by offering EUR 1000 in prizes. These include a a EUR 500 for Best Paper and EUR 500 for Best Poster. The prizes are awarded best on the reviews of the submission as well as the oral presentation. *INSTRUCTIONS FOR AUTHORS:* Authors must be students, i.e., may not have received the Ph.D. degree before August 2012. All submissions must be in PDF format and be submitted to the conference EasyChair website. Submissions may be singly or jointly authored. No one may submit more than one singly and one jointly authored paper. There are two types of papers. Long papers of up to 8 pages will be considered for both oral presentation and the poster session. Short papers of up to 4 pages will be considered as submissions for the poster session. Submissions must be anonymous, without any identifying information, and must be must be received by *March 20, 2012*. More detailed guidelines regarding submission can be found on the Student Session website: http://loriweb.org/ESSLLI2012StuS/ Links to previous years' proceedings are also available there. Please direct inquiries about submission procedures or other matters relating to the Student Session to esslli2012stus at loriweb.org. For general inquiries about ESSLLI 2012, please consult the main ESSLLI 2012 page, http://esslli2012.pl/. Kind regards, The ESSLLI 2012 Students Session Organization Committee, Rasmus K. Rendsvig (Roskilde University) (chair) Anders Johannsen (University of Copenhagen) Dominik Klein (Tilburg University) Margot Colinet (Université de Paris 7) Matthijs Westera (Universiteit van Amsterdam) Maxim Haddad (University of Osnabrück) Niels Beuck (Hamburg University) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bsl at Cs.Nott.AC.UK Tue Feb 14 19:21:37 2012 From: bsl at Cs.Nott.AC.UK (Brian Logan) Date: Tue, 14 Feb 2012 18:21:37 +0000 Subject: CfP: 10th International Workshop on Programming Multi-Agent Systems (ProMAS'12) Message-ID: CALL FOR PAPERS Tenth International Workshop on Programming Multi-Agent Systems (ProMAS'12) ProMAS'12 is a satellite workshop at AAMAS 2012 Valencia, Spain, 4-5 June 2012 Over the last decade, the ProMAS workshop series has provided a venue for state-of-the-art research in programming languages and tools for the development of multi-agent systems. With the increasing commercial application of multi-agent systems, the need for development tools and platforms capable of supporting "professional" or "industrial strength" MAS development has only increased. Such languages and tools must be developed in a way that is principled and and at the same time practical, and ProMAS aims to address both theoretical and practical issues related to developing and deploying multi-agent systems. Now in its 10th edition, ProMAS has proved to be an invaluable venue for bringing together leading researchers from both academia and industry to discuss key issues in the design of programming languages and tools for multi-agent systems. In particular, the workshop promotes the discussion and exchange of techniques, concepts, requirements and principles central to multi-agent programming technology. These include the theory and application of agent programming languages, how to effectively implement a multi-agent system specification or design, the verification and analysis of agent systems, as well as the implementation of social structures in agent-based systems (e.g., organisations, coordination, and communication in multi-agent systems). We encourage the submission of papers describing proposals for programming languages and tools that provide specific programming constructs to facilitate the implementation of multi-agent system concepts (e.g., mental attitudes, distribution, and social interaction). We also welcome submissions describing significant multi-agent applications, as well as agent programming tools that allow the integration of agents with legacy systems. We are particularly interested in approaches or applications that show clearly the added-value of multi-agent programming, and explain why and how this technology should be adopted by designers and programmers both in academia and industry. TOPICS OF INTEREST Specific topics of interest include, but are not limited to: - Programming languages, models and abstractions for MAS - Extensions of traditional languages for multi-agent programming - Programming mobile agents - Semantics for multi-agent programming languages - Computational complexity of MAS - Algorithms, techniques, or protocols relevant to multi-agent programming (e.g., coordination, cooperation, negotiation) - Agent communication issues in multi-agent programming - Programming social, organizational, and normative aspects of MAS - Interoperability and standards for MAS - Safety and security for mobile MAS deployment - Fault tolerance and load balancing for mobile MAS - Generic tools and infrastructures for multi-agent programming - High-level executable multi-agent specification languages - Formal methods and tools for specification and verification of MAS - Agent/environment/interaction/organization development tools and platforms - Benchmarks and testbeds for comparing multi-agent programming languages and tools - Applications of multi-agent programming languages including: legacy systems, pervasive applications, multi-robot systems, autonomous software (e.g., UAVs), (Semantic) Web and Grid-based applications, and deployed (industrial-strength) multi-agent systems - Integration of multi-agent and mainstream technologies IMPORTANT DATES Paper submission deadline: 28 February 2012 Notification of acceptance/rejection: 27 March 2012 Camera-ready copies due: 10 April 2012 Workshop Date: 4-5 June 2012 SUBMISSION DETAILS Authors should submit their papers via the easychair conference management system: Papers should be formatted using Springer LNCS style and should be less than 16 pages in length. PUBLICATION Accepted papers will be appear in informal proceedings to distributed among participants during the workshop. As was the case with previous editions of the ProMAS workshop, we are planning to publish extended versions of selected and invited papers as a volume of the Lecture Notes in Computer Science series by Springer-Verlag. ORGANISING COMMITTEE - Mehdi Dastani (Utrecht University, Netherlands) - Brian Logan (University of Nottingham, UK) - Jomi Hubner (Federal University of Santa Catarina, Brazil) STEERING COMMITTEE - Rafael H. Bordini (Federal University of Rio Grande do Sul, Brazil) - Mehdi Dastani (Utrecht University, Netherlands) - Juergen Dix (Clausthal University of Technology, Germany) - Amal El Fallah Seghrouchni (University of Paris VI, France) PROGRAMME COMMITTEE Natasha Alechina (University of Nottingham, UK) Lacramioara Astefanoaei (Laboratoire d'Informatique de Grenoble, France) Matteo Baldoni (University of Torino, Italy) Olivier Boissier (Ecole des Mines de St Etienne, France) Juan Botia Blaya (University of Murcia, Spain) Lars Braubach (University of Hamburg, Germany) Rem Collier (University College Dublin, Ireland) Louise Dennis (University of Liverpool, UK) Vladimir Gorodetsky (Russian Academy of Sciences, Russia) Francisco Grimaldo (Universitat de València) James Harland (RMIT, Australia) Koen Hindriks (Delft University of Technology, The Netherlands) Benjamin Hirsch (Technical University of Berlin, Germany) Max Knobbout (Utrecht University, The Netherlands) Joao Leite (University Nova de Lisboa, Portugal) Viviana Mascardi (Genova University, Italy) Philippe Mathieu (Univ. Lille 1, France) John-Jules Meyer (Utrecht University, The Netherlands) Jorg Muller (Clausthal University of Technology, Germany) Peter Novák (Czech Technical University, Czech Republic) Alexander Pokahr (University of Hamburg, Germany) Alessandro Ricci (University of Bologna, Italy) Birna van Riemsdijk (Delft University of Technology, The Netherlands) Ralph Ronnquist (Intendico, Australia) Sebastian Sardina (RMIT University, Australia) Ichiro Satoh (NII, Japan) Michael Ignaz Schumacher (University of Applied Sciences Western Switzerland, Sierre, Switzerland) Kostas Stathis (Royal Holloway, University of London, UK) Bas Steunebrink (University of Lugano, Switzerland) Pankaj Telang (CISCO) John Thangarajah (RMIT, Australia) Wamberto Vasconcelos (University of Aberdeen, UK) Jørgen Villadsen (DTU Informatics, Denmark) Neil Yorke-Smith (American University of Beirut, Lebanon and SRI International, USA) Yingqian Zhang (Delft University of Technology, The Netherlands) From cfp at grid.chu.edu.tw Wed Feb 15 13:27:07 2012 From: cfp at grid.chu.edu.tw (cfp at grid.chu.edu.tw) Date: Wed, 15 Feb 2012 20:27:07 +0800 Subject: Joint CFP (three co-located conferences, Fukuoka, Japan, September 04-07, 2012) Message-ID: <201202151227.q1FCR7Zm011330@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From christian.guttmann at gmail.com Wed Feb 15 13:45:18 2012 From: christian.guttmann at gmail.com (Christian Guttmann) Date: Wed, 15 Feb 2012 16:45:18 +0400 Subject: CFP: MATES 2012 - The Tenth German Conference on Multi-Agent System Technologies Message-ID: <4F3BA8DE.8080001@gmail.com> =========================================================================== Call For Papers MATES 2012 - The Tenth German Conference on Multi-Agent System Technologies "Research and Innovation for a Smarter Society" October, 10th-12th, 2012. Trier, Germany http://mates2012.uni-trier.de =========================================================================== The German conference on Multi-Agent system TEchnologieS (MATES) provides an interdisciplinary forum for researchers, users (members of business and industry) and developers of intelligent agents and multi-agent systems. The thematic focus of this MATES 2012 is on technologies that enable societies and organisations to be more resilient, inter-connected and collaborative. The conference investigates technologies for truly open distributed systems --- covering a wide spectrum of approaches from self-organization and autonomous systems to agreement computing. Advances in research work, as well as prototyped or fielded systems of intelligent agents will be presented and discussed. The conference covers the whole range from theory to application of agent- and multi-agent technologies in order to promote theory and application of agents and multi-agent systems. The conference features an exhibition of practical applications with an advanced concept of agency. Integral part of the technical program will be an exhibition of a variety of tools for the development, and prototypes of all kinds of practical applications of agent and multi-agent technology at the conference venue. The conference will also host a doctoral consortium. For the tenth time the German special interest group on Distributed Artificial Intelligence jointly with the steering committee of MATES organizes this international conference in order to promote theory and application of agents and multi-agent systems. Building on the sequence of agent-related events in Germany in the past such as VDI 1998 (Chemnitz), VertIS 2001 (Bamberg), and KI 2002 (Aachen), the MATES conference series (from 2003 to 2011) now is exclusively devoted to agents and multi-agent systems, and the cross-fertilization between agent theory and application. This year is also the 20th year of the German special inerest group on Distributed Artificial Intelligence – another reason for an inspiring conference on agents! The conference language is English. Salve – welcome to Trier! The conference takes place in Germany’s oldest city - close to Saarbrücken, Frankfurt/Main and Luxemburg as well as the well-known Leibniz Center for Informatics (Schloss Dagstuhl). The MATES series has been ranked by the Computing Research & Education initiative as a CORE B conference. The proceedings will be published as Springer LNCS. Contact: mates2012 at easychair.org TOPICS OF INTEREST MATES 2012 welcomes contributions from the field of agent-oriented computing and agent technologies. We solicit both basic as well as applied research papers on recent advances in the area of intelligent agents and multi-agent systems in general. Also papers reporting on the successful application of agent technologies in any kind of domain are very welcome. MATES 2012 encourages submissions from recent and emerging areas of interest such as a Autonomic Computing, Self-organisation and Agreement Technologies. Additionally, we encourage the submission of elaborated vision and challenge papers that discuss mid-term and long-term directions for research and application. The topics of interest for MATES-2012 include, but are not limited to, the following: • Agent-based simulation and analysis of social networks • Agents and communities • Large-scale agent-based simulation of cities, economies, etc. • Adaptive agents and multi-agent learning • Advanced theories of collaboration: Modelling and formation of teams, coalitions, groups, and organizations • Agents and autonomic computing • Agent and multi-agent architectures • Agents and peer-to-peer computing • Agents and pervasive computing • Agents for Ambient Intelligence • Agent-based service discovery, matchmaking, brokering, and composition • Agent communication languages • Agents for e-business and e-government • Agent technologies in the context of service-oriented computing and architectures • Agent to non-agent interoperability • Agents in novel applications • Application of agent-technologies in industrial practice • Artificial social systems: Conventions, norms, institutions; trust and reputation • Autonomous robots and robot teams • Commitment, delegation, responsibility, and obligations in artificial and hybrid societies • Complex systems and their management • Coordination, negotiation, argumentation, and conflict resolution • Deployed agent-based business applications • Hybrid human and agent societies • User modelling and interface agents • Embodied conversational actors and believable agents • Mobile agents • Model-driven design of multi-agent systems • Multi-agent-based simulation • Multi-agent planning and scheduling • Multi-agent platforms and tools • Multi-agent (social) simulation and (cognitive) modelling with agents • Practical aspects of programming agent systems: Robustness, fault tolerance, scalability and performance measurement • Roles and structures, adaptive learning and cognition in organizational models • Semantics of the dynamics of organizational models • (Semantic) web services and agents • Standards for agents and multi-agent systems SUBMISSION DETAILS Paper submissions to MATES-2012 will be handled using the EasyChair system at this link: www.easychair.org/conferences/?conf=mates2012. Submissions must comply with the following requirements: * For preparation of papers to be submitted please follow the instructions for authors available at the Springer LNCS Web page: http://www.springer.de/comp/lncs/authors.html. * The length of each paper including figures and references shall not exceed 14 pages. * All papers must be written in English and submitted in PDF format. * Papers that have been accepted or are under review by other conferences or journals are not eligible for submission. However, we encourage interdisciplinary contributions submitted or presented in part to a forum outside of agent technology. Submissions not conforming to the above instructions may be rejected without review. Please notice that the submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will attend the conference to present the work. MATES 2012 will include a doctoral mentoring program: This program will provide an opportunity for students to interact closely with established researchers in their fields, to receive feedback on their work and to get advice on managing their careers. The Doctoral Mentoring Program will: * Match each student with an established researcher who will act as a mentor. * Allow students an opportunity to present their work to a friendly audience of other students, as well as mentors. * Provide students with contacts and networking opportunities. IMPORTANT DATES Abstracts due: April 21, 2012 Full papers due: April 28, 2012 Notification: June 19, 2012 Doctoral mentoring: July 13, 2012 Camera-ready submission: July 13, 2012 Early registration: August 5, 2012 Conference: October 10-12, 2012 CONFERENCE CHAIRS * Christian Guttmann (EBTIC - Etisalat BT Innovation Centre, Abu Dhabi, UAE) * Ingo J. Timm (U Trier, Germany) STEERING COMMITTEE * Matthias Klusch (DFKI, Germany) * Winfried Lamersdorf (U Hamburg, Germany) * Jörg P. Müller (TU Clausthal, Germany) * Paolo Petta (U Vienna, Austria) * Rainer Unland (U Duisburg-Essen, Germany) * Gerhard Weiss (Maastricht U, The Netherlands) -- Christian Guttmann, PhD iCare Theme Leader http://events.kustar.ac.ae/EBTIC/Staff/Christian_Guttmann.html EBTIC (Etisalat BT Innovation Centre) Khalifa University Abu Dhabi Campus PO Box 127788 Abu Dhabi UAE Tel: +97124018125 From tb at imm.dtu.dk Thu Feb 16 07:17:59 2012 From: tb at imm.dtu.dk (Thomas Bolander) Date: Thu, 16 Feb 2012 07:17:59 +0100 Subject: CFP: 8th Scandinavian Logic Symposium Message-ID: <947A19E6-3B9B-421B-9148-0901571FABAD@imm.dtu.dk> 8th SCANDINAVIAN LOGIC SYMPOSIUM 20-21 August 2012 at Roskilde University, DENMARK First Announcement and Call for Papers The 8th Scandinavian Logic Symposium will be held at Roskilde University, Trekroner, Denmark, 20-21 August 2012. After a gap of fifteen years, the Scandinavian Logic Symposium is back. The Symposium is the first major initiative of the newly revived Scandinavian Logic Society (SLS, http://scandinavianlogic.org/) and will be held at Roskilde University (RUC), Denmark. As with previous editions of this conference, the aim of the programme is to reflect current activity in logic in our part of the world. So we hope that participants from Scandinavia, the Baltic countries and Northwestern Russia will take the opportunity to contribute a talk and to meet with fellow logicians from the area. But needless to say, we also extend a warm welcome to logicians from further afield and plan to present a varied and interesting collection of invited and contributed talks. Related events: A post-SLS tutorial day will be organized on August 22 Also note that Advances in Modal Logic (AiML) will be held on 22-25 August 2012, Copenhagen, Denmark. URL: http://hylocore.ruc.dk/aiml2012/ . TOPICS The scope of SLS 2012 is broad, ranging over the whole area of mathematical and philosophical logic, and logical methods in computer science. Suitable topics include (but are not limited to) Proof Theory and Constructivism, Model Theory (including Finite Model Theory), Set Theory, Computability Theory, Categorical Logic, Logic and Provability, Logic and Computer Science, Logic and Linguistics, Modal, Hybrid, Temporal and Description Logic, Logics of Games, Dynamics and Interaction, and Philosophical Logic. PREVIOUS SCANDINAVIAN LOGIC SYMPOSIA: 7th Scandinavian Logic Symposium: Uppsala in 1996 6th Scandinavian Logic Symposium: Telemark in 1982 5th Scandinavian Logic Symposium: Aalborg in 1979 4th Scandinavian Logic Symposium: Jyväskylä in 1976 3rd Scandinavian Logic Symposium: Uppsala in 1973 2nd Scandinavian Logic Symposium: Oslo in 1971 1st Scandinavian Logic Symposium: Åbo in 1968 The proceedings of several of these meetings have been published in book form. INVITED SPEAKERS To be announced PROGRAM COMMITTEE Co-chairs: Neil Jones (Copenhagen) and Erik Palmgren (Stockholm) Members: Torben Brauner (Roskilde) Peter Dybjer (Chalmers) Lars Kristiansen (Oslo) Øystein Linnebo (Birkbeck) Sara Negri (Helsinki) Dag Normann (Oslo) Asger Törnquist (Vienna) Jouko Väänänen (Helsinki) ORGANISING COMMITTEE Patrick Blackburn (RUC), Klaus Frovin Jørgensen (RUC), Stig Andur Petersen (RUC) SUBMISSIONS Abstracts of talks should be submitted by May 1, 2012 using the EasyChair system https://www.easychair.org/conferences/?conf=sls2012 The abstracts may not exceed 3 pages (including bibliography) and should be in PDF format. LOCATION Roskilde University (RUC) is situated at Trekroner, a small town 20 minutes by train from Central Copenhagen, and five minutes by train from Roskilde. ACCOMMODATION Most people who work at RUC and almost all the RUC students live in Copenhagen. Getting to RUC is an easy train journey from the centre of Copenhagen. We anticipate that most conference attendees will book hotels in central Copenhagen, where there are many hotels in many price ranges. Hotel accommodation can also be found in Roskilde, though there the options are more limited. REGISTRATION The conference website will be found at: http://scandinavianlogic.weebly.com/ Details concerning registration will be posted there in due course. From griggio at fbk.eu Thu Feb 16 10:39:10 2012 From: griggio at fbk.eu (Alberto Griggio) Date: Thu, 16 Feb 2012 10:39:10 +0100 Subject: Announcement: 2nd International SAT/SMT Summer School Message-ID: <20120216093910.8543D3E42D1@zelos.fbk.eu> [ Apologies for multiple copies ] ------------------------------------------------------------------------- CALL FOR PARTICIPATION AT THE Second International SAT/SMT Summer School Trento, Italy, June 12-15th, 2012 http://satsmtschool2012.fbk.eu/ ------------------------------------------------------------------------- NEWS: Registration and grant application are now open! The full details are available at the school website (http://satsmtschool2012.fbk.eu). Grant application deadline: 15th March 2012 Registration deadline: 6th June 2012 ABOUT: The SAT/SMT Summer School 2012 (2nd edition) aims at providing graduate students and researchers from universities and industry with a comprehensive overview of the research in SAT, SMT, and their application. The lectures cover the foundational and practical aspects of SAT and SMT solvers, as well as their application to verification, planning, scheduling, and optimization problems. This second edition follows the Summer School of 2011 organized by Vijay Ganesh at MIT, and is co-located with the SAT 2012 conference. The school will take place in Trento, Italy, from June 12th to June 15th 2012. The program will feature four lectures per day, with the first two days dedicated to SAT and SMT foundations, and the last two to applications on various domains. List of speakers: - Armin Biere (Johannes Kepler University, Linz, Austria) - Leonardo de Moura (Microsoft Research Redmond, USA) - Bruno Dutertre (SRI International, USA) - Martin Fr�nzle (Carl von Ossietzky Universit�t Oldenburg, Germany) - John Franco (University of Cincinnati, USA) - Silvio Ghilardi (Universit� di Milano, Italy) - Patrice Godefroid (Microsoft Research Redmond, USA) - Holger Hoos (University of British Columbia, Vancouver, Canada) - Tomi Janhunen (Aalto University, Finland) - Pete Manolios (Northeastern University, USA) - Joao Marques-Silva (University College Dublin, Ireland) - Ken McMillan (Microsoft Research Redmond, USA) - Jussi Rintanen (Austrialian National University, Australia) - Fabio Somenzi (University of Colorado, Boulder, USA) - Gunnar St�lmarck (Prover Technology and Gain Sweden AB, Sweden) - Cesare Tinelli (University of Iowa, USA) A more detailed program is available at the school website (http://satsmtschool2012.fbk.eu). The school organizers, Alberto Griggio and Stefano Tonetta From woltran at dbai.tuwien.ac.at Thu Feb 16 12:12:17 2012 From: woltran at dbai.tuwien.ac.at (Stefan Woltran) Date: Thu, 16 Feb 2012 12:12:17 +0100 (CET) Subject: COMMA 2012 - Second Call for Papers Message-ID: =============================================================================== CALL FOR PAPERS (2nd) CALL FOR INNOVATIVE APPLICATIONS CALL FOR DEMONSTRATIONS 4th International Conference on COMPUTATIONAL MODELS OF ARGUMENT (COMMA 2012) Vienna, Austria, September 10-12, 2012 www.kr.tuwien.ac.at/comma2012/ =============================================================================== AIMS AND SCOPE Argumentation is an exciting research topic in artificial intelligence, with a broad spectrum of research activities ranging from theory to applications. The International Conference on Computational Models of Argument (COMMA) is a regular forum for presentation and exchange of the latest research results related to computational aspects of argumentation. After the successful editions in Liverpool (2006), Toulouse (2008) and Desenzano del Garda (2010), COMMA 2012 will be held in Vienna in September 2012. TOPICS Topics include, but are not limited to: * Formal, semi-formal and informal models for argumentation * Dialogue based on argumentation * Strategies in argumentation * Argumentation and game theory * Argumentation and probability * Argumentation and narrative * Analogical argumentation * Computational properties of argumentation * Reasoning about action and time with argumentation * Decision making based on argumentation * Argumentation in agent and multi-agent systems * Argumentation for coordination and coalition formation * Argumentation-based negotiation * Argumentation, trust and reputation * Argumentation and human-computer interaction * Systems for learning through argument * Implementation of argumentation systems * Tools for supporting argumentation SPECIAL TRACK: INNOVATIVE APPLICATIONS Next to papers about theoretical results (in the conference's regular track), we encourage the submission of original papers about innovative applications, e.g., in law, medicine, e-democracy, risk assessment, intelligent user interfaces, recommender systems. Innovative applications papers will be assessed in an equally rigorous reviewing procedure as regular track papers. DEMONSTRATIONS As in the previous edition, a session will be organized for the demonstration of innovative working applications and tools. Systems of interest include (but are not limited to): * Innovative applications in law, medicine, e-democracy, risk assessment, intelligent user interfaces, recommender systems * Argumentation-based reasoners * Systems for generating arguments from knowledge bases * Systems for editing, presenting and judging arguments and counterarguments * Collaborative and social systems based on argumentation * Simulations of dialogue-based argumentation * Argumentation-based agents and multi-agent systems * Decision support systems based on argumentation All those intending to demonstrate a system should notify the demonstrations coordinator (Adam Wyner). Where a demonstration is not connected to a paper in a track, a two page extended abstract about the system should be submitted for review directly to the demonstrations coordinator following the conference style. Accepted extended abstracts will be published in the conference proceedings. For those demonstrations that are connected to a paper in the standard track or innovative applications track, no separate statement about the demonstration should be submitted. SUBMISSIONS We invite submission of original and unpublished work. Parallel submissions to journals or other conferences or workshops with published proceedings is not permitted. Paper submission will be managed through EasyChair and will be open between March 1 and March 30. If you want your paper to be considered for the innovative applications track, please submit your paper via Easychair and also send a message to the program chair (b.verheij at ai.rug.nl). Extended abstracts for demonstrations should be sent directly to the demonstration coordinator of the conference, Adam Wyner (adam at wyner.info). IMPORTANT DATES Paper submission deadline: March 30, 2012 (standard track and innovative applications track) Demonstration submission deadline: April 15, 2012 Notification of acceptance: May 23, 2012 Final version of accepted papers: June 20, 2012 PROCEEDINGS The proceedings for the conference will be published by IOS Press in the "Frontiers in Artificial Intelligence and Applications" series. The length of each submission should not exceed 12 pages. Authors should prepare their submission following the instructions by IOS Press available from the conference website. BEST STUDENT PAPER AWARD A best student paper award will be awarded. INVITED SPEAKERS * Trevor Bench-Capon (University of Liverpool, United Kingdom) * Erik Krabbe (University of Groningen, The Netherlands) * Keith Stenning (University of Edinburgh, United Kingdom) ORGANISING COMMITTEE * Program Chair: Bart Verheij (University of Groningen, The Netherlands) * Conference Chairs: Stefan Szeider and Stefan Woltran (Vienna University of Technology, Austria) * Demonstrations coordinator: Adam Wyner (University of Liverpool, United Kingdom) From amal.zouaq at gmail.com Thu Feb 16 14:27:14 2012 From: amal.zouaq at gmail.com (Amal Zouaq) Date: Thu, 16 Feb 2012 08:27:14 -0500 Subject: CFP VORTE 2012 - The 7th International Workshop on Vocabularies, Ontologies and Rules for the Enterprise Message-ID: Apologies for cross-posting. CALL FOR PAPERS The 7th International Workshop on Vocabularies, Ontologies and Rules for the Enterprise (VORTE 2012) Co-located with the 16th IEEE International EDOC Conference Beijing, China, 10th-11th September, 2012 WORKSHOP DESCRIPTION The VORTE series of workshops is devoted to the topics of vocabularies, ontologies and rules in the context of enterprise systems. The complexity of enterprise systems, the increasing needs for advanced collaboration between various systems within one institution or among many collaborating parties and the velocity of organizational, policy, structural and market changes strongly call for immediate mobilization of the research community to develop more flexible and reliable technologies for the advancement of enterprise systems. Trying to respond to this urgent research need, the VORTE series of workshops has been established in order to bring together researchers and practitioners that are looking into the topics of ontologies and rules in enterprise system development from different yet complementary perspectives. The major objective is to provide a research forum for exchanging ideas and results covering the use of ontologies and rules in various stages of the lifecycle of enterprise systems. Examples of topics covered by VORTE research contributions include the development and adaptation of foundational, business and domain ontologies for the enterprise, the use of ontologies and rules in all aspects of enterprise modelling such as business process management and services, the enhancement of rules and services with formal semantics, and the evaluation of such systems and approaches. The workshop is also a forum for the discussion of ontology-based knowledge management issues, interoperability issues and ontology engineering issues, and covers various application domains relevant for organizations (such as e-government and e-commerce). The workshop also welcomes contributions on open linked data initiatives for the enterprise and empirical studies on the use of ontologies and rules in the enterprise system development lifecycle. TOPICS Vocabularies and Ontologies for the enterprise: - Ontology-driven representation of products, services, functionalities, design, processes; - Ontologies for the know-how; - Ontologies for corporate knowledge; - Upper-level ontologies in the enterprise; Knowledge management: - Ontology and ontological methodologies in knowledge management and integration; - Adaptation of ontologies for companies and organizations; - Ontology engineering, learning and maintenance within organizations; - Ontology integration and alignment within organizations; - Ontology effectiveness and evaluation in organizations; Conceptual and Enterprise Modeling: - Ontological Foundations for Conceptual Modeling and Meta-modeling - Ontology Design and maintenance for Conceptual Model Integration; - Ontology-Based Conceptual Modeling Tools and Environments - Ontologies and Enterprise Architecture Modeling - Ontologies and Business Process Modeling - Ontologies and Goal-Based Modeling - Ontologies and Business Rules Enterprise Semantic Interoperability: - Web services, Semantic services - Composition and Modularity - Merging, Mapping and Alignment - Ontology Language Interoperability - Open linked data publishing and exploitation Problems and case studies in ontology application: - Practical issues in using ontologies in enterprises - Real cases of successful/unsuccessful use of ontology in business - From legacy systems to the new ontology-driven systems SUBMISSION AND PUBLICATION We solicit two types of papers: - Short papers (4 pages) discussing controversial issues in the field or describing interesting or thought-provoking ideas that are not yet fully developed; and - Full papers (8-10 pages) describing more mature results All submissions MUST conform to the two-column format of IEEE Computer Society conference proceedings ( http://www2.computer.org/portal/web/cscps/formatting) and include the author's name, affiliation, and contact details. Papers must be submitted as PDF files using EasyChair at http://www.easychair.org/conferences/?conf=vorte2012 All papers must not have been previously published or submitted elsewhere. The papers accepted for the EDOC 2012 Workshops will be published after the workshop with an ISBN in the IEEE Xplore Digital Library. At least one of the authors for each accepted paper must register for the main conference (there will be no workshop-only registration at EDOC 2012) and present their papers at the workshop. Post-conference Journal Publication For previous editions of the workshop, special issues have been published in journals such as Applied Ontology (2007), IJBPIM (2007), Elsevier's Information Systems (2008, 2010), and Journal of Research Practice in Information Technology (2009). This year, authors of selected papers will be invited to submit extended versions for consideration for a special issue of the Applied Ontology Journal http://www.iospress.nl/journal/applied-ontology/. KEYNOTE TBA IMPORTANT DATES Workshop paper submissions: April 1, 2012 Workshops paper acceptance notifications: May 28, 2012 Camera-ready papers due: June 15, 2012 Workshop: September 10 or 11, 2012? COMMITTEES Workshop Chairs: João Paulo A. Almeida, Federal University of Espírito Santo, Brazil, jpalmeida at ieee.org Roberta Ferrario, Institute of Cognitive Sciences and Technology, Laboratory for Applied Ontology, CNR, Trento, Italy, roberta.ferrario at cnr.it Amal Zouaq, Royal Military College of Canada, Athabasca University, Queen’s University, Canada, azouaq at rmc.ca Steering Committee: Dragan Gasevic, Athabasca University, Canada Giancarlo Guizzardi, Federal University of Espírito Santo (UFES), Vitória, Brazil Gerd Wagner, Institute of Informatics, Brandenburg University of Technology at Cottbus, Germany Program Committee: Uwe Assmann, TU Dresden, Germany Colin Atkinson, University of Mannheim, Germany Ebrahim Bagheri, Athabasca University, Canada Emanuele Bottazzi, Institute of Cognitive Sciences and Technologies, CNR, Trento, Italy Marco Brambilla, Politecnico di Milano, Italy Christoph Bussler, Merced Systems, Inc., USA Robert Colomb, The University of Queensland, Australia Oscar Corcho, Universidad Politécnica de Madrid, Spain Jens Dietrich, Massey University, New Zealand Sergio España, Polytechnic University of Valencia Joerg Evermann, Memorial University of Newfoundland, Canada Ricardo Falbo, Federal University of Espirito Santo, Brazil Luís Ferreira Pires, University of Twente, The Netherlands Adrian Giurca, Brandenburg University of Technology at Cottbus, Germany Guido Governatori, NICTA, Australia Pierre Grenon, European Bioinformatics Institute, Cambridge, UK Giancarlo Guizzardi, Federal University of Espirito Santo, Brazil Brian Henderson Sellers, University of Technology Sydney, Australia Heinrich Herre, University of Leipzig, Germany Florian Matthes, University of Munich, Germany Alex Norta, University of Helsinki, Finland Andreas Opdahl, University of Bergen, Norway Jeffrey Parsons, Memorial University of Newfoundland, Canada Adrian Paschke, Free University Berlin, Germany Florian Probst, SAP Research Darmstadt, Germany Christophe Roche, University of Savoie, France Michael Rosemann, Queensland University of Technology, Australia Csaba Veres, University of Bergen, Norway Gerd Wagner, Brandenburg University of Technology at Cottbus, Germany Kewen Wang, Griffith University, Australia Ron Weber, Monash University, Australia Hans Weigand, Faculty of Economics of Tilburg University, Netherlands LINKS VORTE2012 web site: http://nemo.inf.ufes.br/vorte2012 EDOC2012 web site: http://edocconference.org EasyChair submissions: http://www.easychair.org/conferences/?conf=vorte2012 Formatting guidelines: http://www2.computer.org/portal/web/cscps/formatting -- Amal Zouaq Professeure adjointe | Assistant Professor Département de mathématiques et d'informatique| Department of Mathematics and Computer Science Collège militaire royal du Canada | Royal Military College of Canada CP 17000, Succursale Forces, Kingston ON CANADA K7K 7B4 amal.zouaq at rmc.ca Office | Bureau Girouard 320 Telephone | Téléphone 613-541-6000 # 6478 Fax | Télécopieur 613-541-6584 http://azouaq.athabascau.ca/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From gini at cs.umn.edu Fri Feb 17 04:01:16 2012 From: gini at cs.umn.edu (Maria Gini) Date: Thu, 16 Feb 2012 21:01:16 -0600 Subject: call for European Cognitive Systems and Robotics research groups to host a US PhD student for an extended research visit in Summer 2012 Message-ID: <20120217030116.GA17828@cs.umn.edu> Following the success of a similar program in Summer 2011, European Cognitive Systems and Robotics research groups are invited to apply to host a US PhD student for an extended (6-8 weeks) research visit to work on a research project of mutual interest. The main goal is to build a bridge for long term collaborations. Students will be funded by the National Science Foundation, which will cover their travel costs and a stipend of up to $2500/month. Eligibility is for full-time graduate students studying in the US, with preference given to students who are US citizens or permanent residents. Consideration in the selection process will be given to progress in degree, evidence of research excellence, and benefits expected from participation. Expected number of awards: 9 Applications from potential hosts will be reviewed on a rolling base. The application is very simple to minimize the burden. Please submit, preferably by == March 1, 2011 ==, by email to gini at cs.umn.edu: 1. name of the faculty who will host the student; 2. address of the Lab/Department and University; 3. a short resume/CV of the faculty host or a link to a web page; 4. a list of potential research projects or links to relevant web pages. There is no need for prior arrangements between student and host, but a desirable student can be indicated in the application. For more information please visit http://www.cs.umn.edu/~gini/europe2012/ or contact Maria Gini, Dept of Computer Science & Eng., University of Minnesota, email: gini at cs.umn.edu From wjamroga at in.tu-clausthal.de Fri Feb 17 08:12:56 2012 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Fri, 17 Feb 2012 08:12:56 +0100 Subject: Logical Aspects of Multi-Agent Systems (LAMAS 2012): 2nd CfP Message-ID: <4F3DFDF8.7000201@in.tu-clausthal.de> ************************************************************************ * LAMAS 2012: 5TH WORKSHOP ON LOGICAL ASPECTS OF MULTI-AGENT SYSTEMS * * Satellite workshop of AAMAS 2012, June 5, 2012, Valencia, Spain * * * * website: http://icr.uni.lu/lamas2012/ * * * * FIRST CALL FOR PAPERS * ************************************************************************ OBJECTIVES AND TOPICS OF THE WORKSHOP: LAMAS is a scientific network spanning an interdisciplinary community of researchers working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, etc. The LAMAS workshop is the pivotal event of the network and it provides a platform for presentation, exchange, and publication of ideas in all these areas, including: - Logical systems for specification, analysis, and reasoning about MAS - Modeling MAS with logic-based models - Deductive systems and decision procedures for logics for MAS - Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS - Logic-based tools for MAS - Applications of logics in MAS SUBMISSIONS: Authors are invited to submit papers in the following three categories: - Regular papers of 10 to 15 pages, describing original unpublished research. Position papers and reports of advanced work in progress can also be submitted in this category. - System descriptions of up to 12 pages, describing new systems or significant upgrades of existing ones. - Extended abstracts of 2 to 5 pages reporting relevant work in progress or work that has been published or accepted for publication in the last 12 months. Submissions should be anonymous, subject to double-blind reviewing procedure. They must be in pdf and prepared according to the Springer LNCS format. For templates and instructions for authors, see http://www.springer.de/comp/lncs/authors.html . The submission site is http://www.easychair.org/conferences/?conf=lamas2012 . All the accepted papers will appear in the informal workshop proceedings produced together with the AAMAS proceedings. Furthermore, post-proceedings of LAMAS 2012 are envisaged (as a journal special issue or a Springer LNCS/FoLLI sub-series volume) if the amount of quality submissions is sufficient. INVITED SPEAKERS: Wiebe van der Hoek, University of Liverpool Alessio Lomuscio, Imperial College London IMPORTANT DATES: Paper submission: March 10, 2012 (firm deadline, no extensions) Authors notification: April 5, 2012 Camera-ready deadline: April 15, 2012 Workshop: June 5, 2012 PROGRAM COMMITTEE: Thomas Agotnes, University of Bergen Natasha Alechina, University of Nottingham Thomas Bolander, Technical University of Denmark Nils Bulling, Clausthal University of Technology Hans van Ditmarsch, University of Sevilla Juergen Dix, Clausthal University of Technology Barbara Dunin-Keplicz, University of Warsaw Valentin Goranko, Technical University of Denmark Andreas Herzig, University of Toulouse Wojtek Jamroga, University of Luxembourg Joao Leite, New University of Lisbon Alessio Lomuscio, Imperial College London John-Jules Meyer, Utrecht University Wojciech Penczek, Polish Academy of Sciences, Warsaw Ram Ramanujam, IMSc Chennai Dirk Walther , Universidad Politécnica de Madrid ORGANIZATION AND CONTACT: The workshop is organized by Valentin Goranko, Technical University of Denmark, and Wojtek Jamroga, University of Luxembourg. Contact email: lamas at uni.lu . -- Dr. habil. Wojciech Jamroga Faculty of Science, Technology and Communication University of Luxembourg http://icr.uni.lu/wjamroga/ From J.T.Jeuring at uu.nl Fri Feb 17 11:15:00 2012 From: J.T.Jeuring at uu.nl (Johan Jeuring) Date: Fri, 17 Feb 2012 11:15:00 +0100 Subject: Conference on Intelligent Computer Mathematics, last call for papers Message-ID: <62A40529-FAEE-4C62-A211-A0D6922EC15E@uu.nl> CICM 2012 - Conference on Intelligent Computer Mathematics July 9-13, 2012 at Jacobs University, Bremen, Germany http://www.informatik.uni-bremen.de/cicm2012/ Call for Papers ---------------------------------------------------------------- As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction, mathematical publishing and novel user interfaces individually have long and successful histories, we are now seeing increasing opportunities for synergy among these areas. The Conference on Intelligent Computer Mathematics offers a venue for discussing these areas and their synergy. The conference will be organized by Serge Autexier and Michael Kohlhase at Jacobs University in Bremen and consist of five tracks: Artificial Intelligence and Symbolic Computation (AISC) Co-Chairs: John A. Campbell, Jacques Carette Calculemus Chair: Gabriel Dos Reis Digital Mathematical Libraries (DML) Chair: Petr Sojka Mathematical Knowledge Management (MKM) Chair: Makarius Wenzel Systems and Projects Chair: Volker Sorge The overall programme will be organized by the General Program Chair Johan Jeuring. Invited talks will be given by: Yannis Haralambous, Département Informatique, Télécom Bretagne Conor McBride, Department of Computer and Information Sciences, University of Strathclyde Cezar Ionescu, Potsdam Institute for Climate Impact Research ---------------------------------------------------------------- Important dates ---------------------------------------------------------------- Abstract submission: 20 February 2012 Submission deadline: 26 February 2012 Reviews sent to authors: 23 March 2012 Rebuttals due: 30 March 2012 Notification of acceptance: 6 April 2012 Camera ready copies due: 20 April 2012 Conference: 9-13 July 2012 ---------------------------------------------------------------- Tracks ---------------------------------------------------------------- *** AISC *** Symbolic computation can be roughly described as the study of algorithms which operate on expression trees. Another way to phrase this is to say that the denotational semantics of expressions trees is not fixed, but is rather context dependent. Expression simplification is probably the archetypal symbolic computation. Mathematically oriented software (such as the so-called computer algebra systems) have been doing this for decades, but not long thereafter, systems doing proof planning and theorem discovery also started doing the same; some attempts at knowledge management and 'expert systems' were also symbolic, but less successfully so. More recently, many different kinds of program analyses have gotten `symbolic', as well as some of the automated theorem proving (SMT, CAV, etc). But a large number of the underlying problems solved by symbolic techniques are well known to be undecidable (never mind the many that are EXP-time complete, etc). Artificial Intelligence has been attacking many of these different sub-problems for quite some time, and has also built up a solid body of knowledge. In fact, most symbolic computation systems grew out of AI projects. These two fields definitely intersect. One could say that in the intersection lies all those problems for which we have no decision procedures. In other words, decision procedures mark a definite phase shift in our understanding, but are not always possible. Yet we still want to solve certain problems, and must find 'other' means of (partial) solution. This is the fertile land which comprises the core of AISC. Rather than try to exhaustively list topics of interest, it is simplest to say that AISC seeks work which advances the understanding of Solving problems which fundamentally involve the manipulation of expressions, but for which decision procedures are unlikely to ever exist. *** Calculemus *** Calculemus is a series of conferences dedicated to the integration of computer algebra systems (CAS) and systems for mechanised reasoning, the interactive theorem provers or proof assistants (PA) and the automated theorem provers (ATP). Currently, symbolic computation is divided into several (more or less) independent branches: traditional ones (e.g., computer algebra and mechanised reasoning) as well as newly emerging ones (on user interfaces, knowledge management, theory exploration, etc.) The main concern of the Calculemus community is to bring these developments together in order to facilitate the theory, design, and implementation of integrated systems for computer mathematics that will routinely be used by mathematicians, computer scientists and engineers in their every day business. The topics of interest of Calculemus include but are not limited to: * Theorem proving in computer algebra (CAS) * Computer algebra in theorem proving (PA and ATP) * Case studies and applications that both involve computer algebra and mechanised reasoning * Representation of mathematics in computer algebra * Adding computational capabilities to PA and ATP * Formal methods requiring mixed computing and proving * Combining methods of symbolic computation and formal deduction * Mathematical computation in PA and ATP * Theory, design and implementation of interdisciplinary systems for computer mathematics * Theory exploration techniques * Input languages, programming languages, types and constraint languages, and modeling languages for mechanised mathematics systems (PA, CAS, and ATP). * Infrastructure for mathematical services *** DML *** Mathematicians dream of a digital archive containing all peer-reviewed mathematical literature ever published, properly linked, validated and verified. It is estimated that the entire corpus of mathematical knowledge published over the centuries does not exceed 100,000,000 pages, an amount easily manageable by current information technologies. Following success of DML 2008, DML 2009 DML 2010, and DML 2011 track objectives are to formulate the strategy and goals of a global mathematical digital library and to summarize the current successes and failures of ongoing technologies and related projects as EuDML, asking such questions as: * What technologies, standards, algorithms and formats should be used and what metadata should be shared? * What business models are suitable for publishers of mathematical literature, authors and funders of their projects and institutions? * Is there a model of sustainable, interoperable, and extensible mathematical library that mathematicians can use in their everyday work? * What is the best practice for * retrodigitized mathematics (from images via OCR to MathML or TeX); * retro-born-digital mathematics (from existing electronic copy in DVI, PS or PDF to MathML or TeX); * born-digital mathematics (how to make needed metadata and file formats available as a side effect of publishing workflow [CEDRAM/Euclid model])? DML is an opportunity to share experience and best practices between projects in any area (MKM, NLP, OCR, pattern recognition, whatever) that could change the paradigm for searching, accessing, and interacting with the mathematical corpus. The track is trans/interdisciplinary and contributions from any kind of people on any aspect of the DML building are welcome. *** MKM *** Mathematical Knowledge Management is an interdisciplinary field of research in the intersection of mathematics, computer science, library science, and scientific publishing. The objective of MKM is to develop new and better ways of managing sophisticated mathematical knowledge, based on innovative technology of computer science, the Internet, and intelligent knowledge processing. MKM is expected to serve mathematicians, scientists, and engineers who produce and use mathematical knowledge; educators and students who teach and learn mathematics; publishers who offer mathematical textbooks and disseminate new mathematical results; and librarians and mathematicians who catalog and organize mathematical knowledge. The conference is concerned with all aspects of mathematical knowledge management. A non-exclusive list of important topics includes: * Representations of mathematical knowledge * Authoring languages and tools * Repositories of formalized mathematics * Deduction systems * Mathematical digital libraries * Diagrammatic representations * Mathematical OCR * Mathematical search and retrieval * Math assistants, tutoring and assessment systems * MathML, OpenMath, and other mathematical content standards * Web presentation of mathematics * Data mining, discovery, theory exploration * Computer algebra systems * Collaboration tools for mathematics * Challenges and solutions for mathematical workflows *** Systems and Projects *** The Systems and Projects track of the Conferences on Intelligent Computer Mathematics is a forum for presentation of systems and new and ongoing projects in all areas and topics related to the CICM conferences: * AI and Symbolic Computation * Deduction and Computer Algebra * Mathematical Knowledge Management * Digital Mathematical Libraries The track aims to provide an overview of the latest developments and trends within the CICM community as well as to exchange ideas between developers and introduce systems to an audience of potential users. We solicit submissions for two page abstracts in the categories of system descriptions and project presentations. System description should present * newly developed systems, * systems that have not previously been presented to the CICM community, or * significant updates to existing systems. Project presentation should describe * projects that are new or about to start, * ongoing projects that have not yet been presented to the CICM community. * significant new developments in ongoing previously presented projects. All submissions should contain links to demos, downloadable systems, or project pages. Availability of such accompanying material will be a strong prerequisite for acceptance. Accepted abstracts will be published in the CICM proceedings in Springer's LNAI series. Author's are expected to present their abstracts in 5-10 minute teaser talks followed by an open demo/poster session. System papers must be accompanied by a system demonstration, while project papers must be accompanied by a poster presentation. ---------------------------------------------------------------- Submitting ---------------------------------------------------------------- Submissions to tracks A to D must not exceed 15 pages and will be reviewed and evaluated with respect to relevance, clarity, quality, originality, and impact. Shorter papers, e.g., for system descriptions, are welcome. Authors will have an opportunity to respond to their papers' reviews before the programme committee makes a decision. Submissions to the Systems & Projects track must not exceed four pages. The accepted abstracts will be presented at CICM in a fast presentation session, followed by an open demo/poster session. System papers must be accompanied by a system demonstration, and project papers must be accompanied by a poster presentation. The four pages of the abstract should be new material, accompanied by links to demos/downloads/project-pages and [existing] system descriptions. Availability of such accompanying material will be a strong prerequisite for acceptance. Accepted conference submissions from all tracks will be published as a volume in the series Lecture Notes in Artificial Intelligence (LNAI) by Springer. In addition to these formal proceedings, authors are permitted and encouraged to publish the final versions of their papers on arXiv.org. Work-in-progress submissions are intended to provide a forum for the presentation of original work that is not (yet) in a suitable form for submission as a full or system description paper. This includes work in progress and emerging trends. Their size is not limited, but we recommend 5 - 10 pages. The programme committee may offer authors of rejected formal submissions to publish their contributions as work-in-progress papers instead. Depending on the number of work-in-progress papers accepted, they will be presented at the conference either as short talks or as posters. The work-in-progress proceedings will be published as a technical report. All papers should be prepared in LaTeX and formatted according to the requirements of Springer's LNCS series (the corresponding style files can be downloaded from http://www.springer.de/comp/lncs/authors.html). By submitting a paper the authors agree that if it is accepted at least one of the authors will attend the conference to present it. Electronic submission is done through easychair (http://www.easychair.org/conferences/?conf=cicm2012). ---------------------------------------------------------------- Program Committees ---------------------------------------------------------------- General chair: Johan Jeuring (Utrecht University and Open Universiteit the Netherlands) AISC track John A. Campbell; University College London, UK; Co-chair Jacques Carette; McMaster University, Canada; Co-chair Serge Autexier; DFKI Bremen, Germany Jacques Calmet; University of Karlsruhe, Germany Jacques Fleuriot; University of Edinburgh, UK Andrea Kohlhase; International University Bremen, Germany Erik Postma; Maplesoft Inc., Canada Alan Sexton; University of Birmingham, UK Chung-chieh Shan; Cornell University, USA. Stephen Watt; University of Western Ontario, Canada Calculemus track Gabriel Dos Reis; Texas A&M University, USA; Chair Andrea Asperti; University of Bologna, Italy Laurent Bernardin; Maplesoft, Canada James Davenport; University of Bath, UK Ruben Gamboa; University of Wyoming, USA Mark Giesbrecht; University of Waterloo, Canada Sumit Gulwani; Microsoft Research, USA John Harrison; Intel, USA Joris van der Hoeven; École Polytechnique, France Hoon Hong; North Carolina State University, USA Loïc Pottier; INRIA, France Wolfgang Windsteiger; RISC, Austria DML track Petr Sojka; Masaryk University, Brno, CZ; Chair José Borbinha; Technical University of Lisbon, PT Thierry Bouche; University Grenoble, FR Michael Doob; University of Manitoba, Winnipeg, CA Thomas Fischer; Goettingen University, DE Yannis Haralambous; Télécom Bretagne, FR Václav Hlaváč; Czech Technical University, Prague, CZ Michael Kohlhase; Jacobs University Bremen, DE Janka Chlebíková; Portsmouth University, UK Enrique Maciás-Virgós; University of Santiago de Compostela, ES Bruce Miller; NIST, USA Jiří Rákosník; Academy of Sciences, Prague, CZ Eugenio Rocha; University of Aveiro, PT David Ruddy; Cornell University, US Volker Sorge; University of Birmingham, UK Masakazu Suzuki; Kyushu University, JP MKM track Makarius Wenzel; University of Paris-South, France; Chair David Aspinall; University of Edinburgh, Scotland Jeremy Avigad; Carnegie Mellon University, USA Mateja Jamnik; University of Cambridge, UK Cezary Kaliszyk; University of Tsukuba, Japan Manfred Kerber; University of Birmingham, UK Christoph Lüth; DFKI Bremen, Germany Adam Naumowicz; University of Białystok, Poland Jim Pitman; University of California, Berkeley, USA Pedro Quaresma; Universidade de Coimbra, Portugal Florian Rabe; Jacobs University Bremen, Germany Claudio Sacerdoti Coen; University of Bologna, Italy Enrico Tassi; INRIA Saclay, France Freek Wiedijk; Radboud University Nijmegen, The Netherlands Systems & Projects track Volker Sorge; University of Birmingham, UK; Chair Josef Baker; University of Birmingham, UK John Charnley; Imperial College, UK Manuel Kauers; RISC, Austria Koji Nakagawa; Kyushu University, Japan Piotr Rudnicki; University of Alberta, Canada Josef Urban; Radboud University Nijmegen, The Netherlands Richard Zanibbi; Rochester Institute of Technologies, USA From womo2012 at easychair.org Fri Feb 17 12:08:56 2012 From: womo2012 at easychair.org (WoMO 2012) Date: Fri, 17 Feb 2012 12:08:56 +0100 Subject: CfP: WoMO 2012 - 6th Int'l Workshop on Modular Ontologies Message-ID: ======================================================== 6th Int'l Workshop on Modular Ontologies (WoMO) Graz, Austria, July 24, 2012 held in conjunction with FOIS 2012 --- First Call for Papers --- ======================================================== Submission deadline: May 11, 2012 ======================================================== http://www.informatik.uni-bremen.de/~ts/womo2012 MODULARITY, studied for years in software engineering, allows mechanisms for easy and flexible reuse, generalization, structuring, maintenance, design patterns, and comprehension. In formal and applied ontology, modularity is central to reducing the complexity of designing and understanding ontologies, and to facilitating ontology verification, reasoning, development, maintenance and integration. Recent research on ontology modularity shows substantial progress in foundations of modularity, techniques of modularization and modular development, distributed reasoning and empirical evaluation. These results provide a solid foundation and exciting prospects for further research and development. The workshop continues a series of successful events that have been an excellent venue for practitioners and researchers to discuss latest and current work; the most recent WoMOs were held at FOIS 2010 and ESSLLI 2011. TOPICS include, but are not limited to: - What is modularity?: kinds of modules and their properties; modules vs. contexts; design patterns; granularity of representation; - Logical/foundational studies: conservativity; modular ontology languages; reconciling inconsistencies across modules; formal structuring of modules; heterogeneity; - Algorithmic approaches: distributed and incremental reasoning; modularization and module extraction; sharing, linking, reuse; privacy; evaluation of modularization approaches; complexity of reasoning; implemented systems; - Applications: semantic web; life sciences; bio-ontologies; natural language processing; space and time; ambient intelligence; social intelligence; collaborative ontology development and ontology versioning. IMPORTANT DATES Paper Submission: May 11, 2012 Notification: June 12, 2012 Camera ready: July 1, 2012 Workshop: July 24, 2012 SUBMISSION GUIDELINES: We welcome submissions on modularity in a broad sense. The workshop is open to papers of theoretical or practical nature. Submissions should be of up to 11 pages in length, formatted according to Springer LNCS style (see http://www.springer.com/comp/lncs/Authors.html ), prepared in PDF format and submitted no later than May 11, 2012, through the EasyChair Submission System (see http://www.easychair.org/conferences/?conf=womo2012 ). Submitted papers will be peer-reviewed by members of the program committee. Accepted papers will be made available in the proceedings to be published electronically in the CEUR Workshop Proceedings series (see http://www.ceur-ws.org ). (Find the WoMO 2010 and 2011 proceedings here http://www.booksonline.iospress.nl/Content/View.aspx?piid=16268 and http://www.booksonline.iospress.nl/Content/View.aspx?piid=20369 ) WORKSHOP CHAIRS: Thomas Schneider, University of Bremen, Germany Dirk Walther, Technical University of Madrid (UPM), Spain PROGRAM COMMITTEE: TBA INVITED SPEAKERS: TBA From datalog2.0.announce at gmail.com Fri Feb 17 17:17:58 2012 From: datalog2.0.announce at gmail.com (Datalog 2.0 Workshop) Date: Fri, 17 Feb 2012 17:17:58 +0100 Subject: Datalog 2.0 Workshop - 2nd Call for Papers Message-ID: [This information is being posted to multiple lists - we apologise if you get it several times.] THE 2nd WORKSHOP ON THE RESURGENCE OF DATALOG IN ACADEMIA AND INDUSTRY September 11-13, 2012, Vienna, Austria http://www.dbai.tuwien.ac.at/datalog2.0 CALL FOR PAPERS and INDUSTRY CASE DESCRIPTIONS The "2nd Workshop on the Resurgence of Datalog in Academia and Industry" (Datalog 2.0, 2012) will be held in Vienna, Austria, on September 11-13, 2012, and co-located with the ``International Conference on Web Reasoning and Rule Systems" (RR 2012) and the ``International Conference on Computational Models of Argument" (COMMA 2012). This will be the first open version of the workshop, second in total. The previous edition was held in Oxford, UK, during March 2010. It was based on invitations only. Datalog 2.0 is a workshop for Datalog researchers, implementors, and users. Its main aim is to bring everyone up-to-date and map out directions for future research. Over the past few years, Datalog has resurrected as a lively topic with applications in many different areas of computer science, as well as industry. Due to this renewed interest and increased level of activity in the area, we have decided to open the workshop for submissions this year. We have chosen an attractive location: Vienna is certainly a metropolis with unique charm and one of the most beautiful cities in Europe. But more importantly, we want to offer an exciting scientific atmosphere, and receive high level research contributions. We solicit original submissions on the foundational aspects of Datalog, as well as on its applications in other areas of computer science and in industry. Potential areas of application for Datalog may include (among others): Data management, data mining, description logics, cloud computing, distributed computing, knowledge representation, logic programming, privacy and security, probabilistic reasoning, program analysis, programming languages, semantic web, social networks, streaming, verification, web services. Paper submissions must be in electronic form using Portable Document Format (.pdf). Papers should be formatted according to the Springer LaTeX2e style llncs for Lecture Notes in Computer Science. The length should not exceed 12 pages. Papers longer than 12 pages risk rejection without consideration of their merits. In addition, the authors may include an unbounded-length appendix (e.g. for proof details), with the understanding that the appendix is read at the reviewers' discretion. The proceedings of the workshop will be published by Springer-Verlag in the LNCS series. We also intend to have a track that discusses the influence of Datalog in industry and practice. The scope is broad and may range from business case descriptions to applications of Datalog in R&D. Groups or individuals that feel interested in presenting their experiences in this track, please send an e-mail to the chairs of the workshop with a summary of their proposal. In case of acceptance, the authors will be invited to provide a 5 page extended abstract to be included in the workshop proceedings. Important Dates: Paper submission DEADLINE: March 20th, 2012 Notification: June 5th, 2012 Invited Speakers: Thomas Eiter (TU Wien) Yuri Gurevich (Microsoft Research) Phokion Kolaitis (UC Santa Cruz) Oege de Moor (Oxford U.) Marie-Laure Mugnier (U. of Montpellier) Invited Tutorials: Todd J. Green (UC Davis, LogicBlox) Axel Polleres (Siemens AG Austria) General Chair: Georg Gottlob (Oxford U.) Program Chairs: Pablo Barcelo (U. of Chile) Reinhard Pichler (TU Wien) Program Committee: Chitta Baral (Arizona State U.) Piero Bonatti (U. of Napoli) Loreto Bravo (U. of Concepcion) Andrea Cali (U. London, Birbeck) Diego Calvanese (Free U. of Bozen-Bolzano) Jurgen Dix (TU Clausthal) Tim Furche (Oxford U.) Claudio Gutierrez (U. of Chile) Georg Lausen (U. Freiburg) Nicola Leone (U. of Calabria) Y. Annie Liu (SUNY, Stony Br.) Boon Thau Loo (U. of Pennsylvania) Raghu Ramakrishnan (Yahoo!) Sebastian Rudolph (Karlsruhe IT) Tuncay Tekle (LogicBlox) Miroslaw Truszczynski (U. Kentucky) Stijn Vansummeren (U. Libre Bruxelles) Victor Vianu (UC San Diego) Stefan Woltran (TU Wien) Peter Wood (U. London, Birbeck) Local organizers: Markus Pichlmair (TU Wien) Reinhard Pichler (TU Wien) From K.V.Hindriks at tudelft.nl Mon Feb 20 10:34:34 2012 From: K.V.Hindriks at tudelft.nl (Koen Hindriks - EWI) Date: Mon, 20 Feb 2012 09:34:34 +0000 Subject: CFP Autonomous Robots and Multirobot Systems @ AAMAS 2012 Message-ID: (apologies for cross-postings) CALL FOR PAPERS Autonomous Robots and Multirobot Systems (ARMS) 2012 A full-day workshop to be held as part of AAMAS-2012 and to accompany the AAMAS Special Track on Robotics June 2012, Valencia, Spain Website: http://mmi.tudelft.nl/arms2012/ ------------------------------------------------------------------------ Important Dates ---------------------- Paper submission deadline: February 28, 2012 Notification of acceptance: March 27, 2012 Submission of camera-ready version: April 10, 2012 Overview ------------- Robots are agents, too. Indeed, agent researchers are sometimes inspired by robots, sometimes use robots in motivating examples, and sometimes make contributions to robotics. Both practical and analytical techniques in agent research influence, and are influenced by, research into autonomous robots and multi-robot systems. Areas of particular recent cross-fertilization include (but are not limited to): - motion planning and path planning for single/multiple mobile robots - market-based for coalition formation and task allocation - machine learning in robotics - multi-robot teams and swarms - human-agent-robot teamwork - analysis of large-scale multi-robot systems and swarms - decision-theoretic single- and multi-robot planning - imitation and learning by demonstration/example - formal methods and control architectures - Canonical robotics problems, such as robotic soccer, coverage, foraging, or patrolling Despite the rich cross-fertilization between AAMAS and robotics research areas, roboticists and agents researchers have only a few opportunities to meet and interact. The recently established robotics track at AAMAS is one such opportunity. The goal of the proposed workshop is to extend and widen this opportunity, by offering a forum where researchers in this area of research can interact and present promising innovative research directions, and new results. The workshop is coordinated and associated with the AAMAS robotics track. Submissions and Publication ---------------------------------------- ARMS is *not* an archival publication forum. Papers appearing in the ARMS proceedings may be resubmitted elsewhere and only will appear in an archival publication if you choose so. Therefore, papers appearing in ICRA, IROS and other archival forums are welcome at ARMS. Accepted ICRA papers and regular-length papers that have been accepted for AAMAS in short-paper form will be fast-tracked through the review process. To make sure your paper is fast-tracked, please specify the status of the submission by a footnote in the paper, and/or in writing to the chairs. The submission website is http://www.easychair.org/conferences/?conf=arms2012. Contributions are sought in all areas of robotics, in particular as related to autonomous agents research, but not necessarily so. Theoretical papers are welcome, as long as they clearly address challenges in robotics. Empirical studies should ideally present experiments with real robots, though physical simulation studies are also acceptable. Papers that focus on mechanical aspects and low-level control should be make an effort to relate to the agents community. Submissions should follow Springer's LNCS format (see http://www.springer.de/comp/lncs/authors.html) and should not exceed 20 pages in length. Program Committee ------------------------------- Eric Matson Purdue University, USA Ayanna Howard Georgia Tech, USA Pedro Lima Instituto Superior Tecnico, Portugal Daniele Nardi Sapienza Università di Roma, Italy Erol Sahin Middle East Technical University, Turkey Paul Scerri Carnegie Mellon, USA Alfons Salden Almende BV, The Netherlands Naomi Leonard Princeton University, USA Laura Barbulescu Carnegie Mellon University, USA Lucia Pallottino University of Pisa, Italy Tatsushi Nishi Osaka University, Japan Joost Broekens Delft University, The Netherlands Peter Stone The University of Texas at Austin, USA Bikramjit Banerjee The University of Southern Mississippi, USA M Bernardine Dias Carnegie Mellon, USA Prashant Doshi The University of Georgia, USA ------------------------------- The contact organizers are Gal Kaminka (galk at cs.biu.ac.il) Koen Hindriks (k.v.hindriks at tudelft.nl) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Mon Feb 20 15:08:02 2012 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Mon, 20 Feb 2012 09:08:02 -0500 (EST) Subject: The Alan Turing Centenary Conference Message-ID: <20120220140802.D05011214E5@mcclellan.cs.miami.edu> THE TURING CENTENARY CONFERENCE Manchester, UK, June 22-25, 2012 http://www.turing100.manchester.ac.uk/ First announcement and call for submissions Features: (1) Ten Turing Award winners, a Templeton Award winner and Garry Kasparov as invited speakers (2) 20,000 pounds worth best paper award program, including 5,000 pounds best paper award (3) Three panels and two public lectures (4) Turing Fellowship award ceremony (5) and many more ... For more details please check http://www.turing100.manchester.ac.uk/. SPEAKERS Confirmed invited speakers: - Fred Brooks (University of North Carolina) - Rodney Brooks (MIT) - Vint Cerf (Google) - Ed Clarke (Carnegie Mellon University) - Jack Copeland (University of Canterbury, New Zealand) - George Francis Rayner Ellis (University of Cape Town) - David Ferrucci (IBM) - Tony Hoare (Microsoft Research) - Garry Kasparov (Kasparov Chess Foundation) - Don Knuth (Stanford University) - Yuri Matiyasevich (Institute of Mathematics, St. Petersburg) - Roger Penrose (Oxford) - Adi Shamir (Weizmann Institute of Science) - Michael Rabin (Harvard) - Leslie Valiant (Harvard) - Manuela M. Veloso (Carnegie Mellon University) - Andrew Yao (Tsinghua University) Confirmed panel speakers: - Ron Brachman (Yahoo Labs) - Steve Furber (The University of Manchester) - Carole Goble (The University of Manchester) - Pat Hayes (Institute for Human and Machine Cognition, Pensacola) - Bertrand Meyer (Swiss Federal Institute of Technology) - Moshe Vardi (Rice University) SUBMISSIONS: Submissions are welcome in all areas related to the work of Alan Turing in computer science, mathematics, cognitive science and mathematical biology. A non-exclusive list of topics is shown below: - computation theory - logic in computation - artificial intelligence - social aspects of computation - models of computation - program analysis - mathematics of evolution and emergence - knowledge processing - natural language processing - cryptography - machine learning See http://www.turing100.manchester.ac.uk/index.php/submission for more details. BEST PAPER AWARDS: A subset of poster session submissions will be selected as candidates for best paper awards: - The best paper award of 5,000 pounds - The best young researcher best paper award of 3,000 pounds - The second best paper award of 2,500 pounds - The second best young researcher best paper award of 1,500 pounds - Sixteen (16) awards of 500 pounds each See http://www.turing100.manchester.ac.uk/index.php/submission/bestpaper for more details. REGISTRATION: The number of participants is limited. Register early to avoid disappointment! DATES: February 23: Paper submission opens March 1: Registration opens March 15: Extended abstract submission deadline March 29: Poster session notification and selection of candidates for the best paper awards April 20: Full versions of papers selected for the best paper awards May 1: Final versions of poster session papers May 21: Best paper award decisions May 28: Final versions of papers selected for the best paper awards June 22-25: Conference CHAIRS: Honorary Chairs: Rodney Brooks (MIT) Roger Penrose (Oxford) Conference Chairs: Matthias Baaz (Vienna University of Technology) Andrei Voronkov (The University of Manchester) Turing Fellowships Chair: Barry Cooper (University of Leeds) Programme Chair Andrei Voronkov (The University of Manchester) From farwer at mac.com Mon Feb 20 15:52:29 2012 From: farwer at mac.com (=?iso-8859-1?Q?Bertie_M=FCller?=) Date: Mon, 20 Feb 2012 14:52:29 +0000 Subject: 2nd CfP LAM'12 (Logics, Agents, and Mobility) Message-ID: *** 2st CALL FOR PAPERS *** 5th International Workshop on LOGICS, AGENTS, and MOBILITY (LAM’12), 25 or 26 June 2012, Hamburg, Germany, organised as satellite workshop at the 33rd Conference on Theory and Application of Petri Nets and Concurrency. Organisers: Berndt “Bertie” Müller (Farwer), University of Glamorgan Michael Köhler-Bussmeier, University of Hamburg Workshop Homepage: http://lam12.wordpress.com * Workshop Purpose * The aim of this series of workshops is to bring together active researchers in the areas of logics and other formal frameworks that can be used to describe and analyse dynamic or mobile systems. The main focus is on the field of logics and calculi for mobile agents, and multi-agent systems, but contributions in the area of modelling and implemantation of location-based, or resource-based applications are equally welcome. Many notions used in the theory of agents are derived from philosophy, logics, and linguistics (belief, desire, intention, speech act, etc.), and interdisciplinary discourse has proved fruitful for the advance of this domain. The workshop intends to encourage discussion and work across the boundaries of the traditional disciplines. Outside of academia, distributed systems are a reality and agent programming is beginning to establish itself as a serious contender amongst more traditional programming paradigms. For example, the deployment of large-scale pervasive infrastructures (mobile ad-hoc networks, mobile devices, RFIDs, etc.) raises a number of challenges for the modelling and programming of large-scale, open and highly-dynamic distributed systems. Logics and type systems with temporal or other kinds of modalities (e.g., relating to location, resource and/or security-awareness) play a central role in the semantic characterisation and verification of mobile agent systems. Recently, logics have handling some of these aspects have been introduced, but many open problems and research questions remain to be answered. The workshop is intended to showcase results and current work in the areas outlined above with a focus on logics and other formalisms assisting the specification, implementation, and verification of dynamic, mobile systems. * Scope of Interest * The main topics of interest include - specification and reasoning about agents, MAS, and mobile systems - modal and temporal logics - model-checking - treatment of location and resources in logics - location-based computation and planning (mobile apps, games, etc.) - security - type systems and static analysis - logic programming - concurrency theory with a focus on mobility or dynamics in agent systems. * Previous Workshops * LAM’08: 4–8 August 2008 at ESSLI in Hamburg, Germany LAM’09: 10 August 2009 at LICS in Los Angeles, USA LAM’10: 15 July 2010 at LICS in Edinburgh, Scotland, UK LAM’11: 10 September 2011 at CONCUR in Aachen, Germany * Format of the Workshop * The workshop will be held as a one day event after the main conference. There will be a short introduction and brief survey of the field by the organisers as an introduction to the workshop. The workshop will contain invited talks, contributed talks, and will offer opportunities for discussion. The latter will give the participants a chance to discuss informally research directions, open problems, and possible co-operations. * Invited Speakers * [To be announced.] * Submission details * Authors are invited to submit a full paper of original work in the areas mentioned above. The workshop chair should be informed of closely related work submitted to a conference or journal in advance of submission. One author of each accepted paper will be expected to present it at the LAM’12 workshop. Submissions should not exceed 15 pages, preferably using the LaTeX article or LNCS class. The following formats are accepted: PDF, PS. Please send your submission electronically via EasyChair: http://www.easychair.org/conferences/?conf=lam12 The submissions will be reviewed by the workshop’s program committee and additional reviewers. Accepted papers will appear in electronic proceedings and authors will be encouraged to re-submit papers to formal proceedings to be published as a separate publication, e.g. as a special journal issue. *Important Dates * Submission Deadline: 20 March 2012 Notification of acceptance/rejection: 1 May 2012 Final version of papers due: 1 June 2012 Workshop: 25/26 June 2012 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rudolph at kit.edu Mon Feb 20 22:19:21 2012 From: rudolph at kit.edu (Sebastian Rudolph) Date: Mon, 20 Feb 2012 22:19:21 +0100 Subject: 1st CfP: FCA4AI Workshop at ECAI, August 2012, Montpellier, France Message-ID: With apologies for cross-posting. -------------------------------------------------------------------- Call for Papers -------------------------------------------------------------------- --FCA4AI-- "What can FCA do for Artificial Intelligence?'' Workshop at ECAI 2012 August 27, 2012 (tentative) Montpellier, France http://www.fca4ai.hse.ru -------------------------------------------------------------------- =GENERAL= Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA gives rise to versatile data structures such as concept lattices and systems of dependencies (implications) which can be used for a plethora of AI needs, involving learning, knowledge discovery, knowledge representation and reasoning, ontology engineering, as well as information retrieval and text processing. Consequently, FCA and AI are intimately related in terms of the pursued goals and employed methods. Recent years have been witnessing increased scientific activity around FCA. In particular, a strand of work has emerged that is aimed at extending the possibilities of FCA w.r.t. knowledge processing, such as work on pattern structures, relational context analysis and exploration-based ontology completion. These extensions are aimed at enabling FCA to deal with more complex than just binary data, from the data analysis and knowledge discovery point of view but also from the perspective of knowledge representation as employed in, e.g., ontology engineering. All these works extend the capabilities of FCA and open up new chances and challenges for AI activities in the framework of FCA. Accordingly, in this workshop, we will be interested in two main issues: - How can FCA support AI activities such as knowledge processing (knowledge discovery, knowledge representation and reasoning), learning (clustering, pattern and data mining), natural language processing, and information retrieval? - How can FCA be extended in order to help AI researchers to solve new and complex problems in their domain? =TOPICS OF INTEREST= The workshop's topics of interest include but are not limited to: - Concept lattices and related structures: description logics, pattern structures, relational structures. - Knowledge discovery and data mining with FCA: association rules, itemsets and data dependencies, attribute implications, data pre-processing, redundancy and dimensionality reduction, classification and clustering. - Knowledge engineering and ontology engineering: knowledge representation and reasoning. - Scalable algorithms for concept lattices and artificial intelligence ``in the large'' (distributed aspects, big data). - Applications of concept lattices: semantic web, information retrieval, visualization and navigation, pattern recognition. The workshop will include time for audience discussion toward a better understanding of the issues, challenges, and ideas being presented. =IMPORTANT DATES= Submission deadline: May 25, 2012 Notification: June 30, 2012 Final version: July 25, 2012 Workshop: August 27, 2012 =SUBMISSION DETAILS= The workshop welcomes submissions in pdf format in Springer's LNCS style. Submissions can be - technical papers not exceeding 8 pages, - system descriptions or position papers on work in progress not exceeding 4 pages Submissions are via EasyChair at https://www.easychair.org/conferences/?conf=fca4ai2012 The workshop proceedings will be published as CEUR proceedings. In addition, the organizers will apply for a special issue of an international journal where extended versions of selected papers of the workshop shall be published. =WORKSHOP CHAIRS= - Sergei O. Kuznetsov Higher School of Economics, Moscow, Russia - Amedeo Napoli LORIA-INRIA, Vandoeuvre les Nancy, France - Sebastian Rudolph Karlsruhe Institute of Technology, Germany =PROGRAM COMMITTEE= - Mathieu D'Aquin Open University, Milton Keynes, UK - Franz Baader Technische Universität Dresden, Germany - Radim Belohlavek Palacky University, Olomouc, Czech Republic - Claudio Carpineto Fondazione Ugo Bordoni, Roma, Italy - Felix Distel Technische Universität Dresden, Germany - Sébastien Ferré IRISA Rennes, France - Bernhard Ganter Technische Universität Dresden, Germany - Pascal Hitzler Wright State University, Dayton, Ohio, USA - Marianne Huchard LIRMM Montpellier, France - Dmitry I. Ignatov Higher School of Economics, Moscow, Russia - Mehdi Kaytoue Universidade Federal Minas Gerais, Belo Horizonte, Brazil - Markus Krötzsch University of Oxford, UK - Sergei A. Obiedkov Higher School of Economics, Moscow, Russia - Uta Priss Ostfalia University of Applied Sciences, Wolfenbüttel, Germany - Baris Sertkaya SAP Dresden, Germany, - Gerd Stumme Universität Kassel, Germany - Petko Valtchev Université du Québec à Montréal, Montréal, Canada _________________________________________________ PD Dr. Sebastian Rudolph senior researcher & project leader at AIFB Karlsruhe Institute of Technology (KIT) rudolph at kit.edu phone +49 721 608 - 47362 www.sebastian-rudolph.de fax +49 721 608 - 45998 From woltran at dbai.tuwien.ac.at Tue Feb 21 09:23:57 2012 From: woltran at dbai.tuwien.ac.at (Stefan Woltran) Date: Tue, 21 Feb 2012 09:23:57 +0100 (CET) Subject: NMR 2012 - Second Call for Papers Message-ID: =============================================================================== CALL FOR PAPERS NMR 2012 14th International Workshop on Non-Monotonic Reasoning (NMR 2012) http://www.dbai.tuwien.ac.at/NMR12/ Co-located with KR 2012, DL 2012, KiBP 2012, CILC 2012, AI*IA 2012 Rome, Italy June 8-10, 2012 =============================================================================== AIMS AND SCOPE The NMR workshop series is the premier specialized forum for researchers in non-monotonic reasoning and related areas. This will be the 14th workshop in the series. Its aim is to bring together active researchers in the broad area of non-monotonic reasoning, including belief revision, reasoning about actions, argumentation, declarative programming, preferences, non-monotonic reasoning for ontologies, uncertainty, and other related topics. In this year, NMR will share a joint session together with the International Workshop on Description Logics (DL 2012). TOPICS NMR 2012 welcomes the submission of papers broadly centered on issues and research in non-monotonic reasoning. We welcome papers of either a theoretical or practical nature. Topics of interest include (but are not limited to): - abductive reasoning and diagnosis - algorithms and complexity analysis - argumentation and argument-based non-monotonic logics - answer set programming - belief revision and information fusion - belief updating and inconsistency handling - declarative programming for non-monotonic reasoning - default reasoning - empirical studies of reasoning strategies - foundations of non-monotonic reasoning - hybrid approaches (nonmonotonic reasoning combined with other computing paradigms) - implementations and systems - non-monotonic logics in multi-agent interaction, including negotiation and dispute resolution - non-monotonic reasoning for ontologies - reasoning and decision-making under uncertainty - reasoning with preferences - representing actions and planning - similarity-based reasoning SUBMISSIONS Papers must describe original research and should not exceed 9 pages in AAAI style (http://www.aaai.org/Publications/Author/author.php) including references, figures, and appendixes if any. The best paper among the ones written solely by students (i.e. persons not holding a PhD as of March 10th, 2012) will be awarded a prize of 400 Euros. Authors of such papers are requested to indicate their eligibility upon submission at Easychair. Short Papers (max. 4 pages) presenting implemented systems related to NMR are also welcome! Paper submission will be handled electronically by means of the Easychair system. Papers must be submitted in PDF only. The submission page is available at http://www.easychair.org/conferences/?conf=nmr2012 NMR does not ask authors to sign over the copyright of their papers. Copyright therefore lies with the authors, and as far as NMR is concerned, they are free to submit to other conferences and workshops as well. IMPORTANT DATES Submission deadline: March 10, 2012 Notification: April 22, 2012 Camera-ready articles due: May 4, 2012 Workshop: June 8-10, 2012 PROCEEDINGS The workshop contributions will be published electronically. LOCATION The workshop will be held in the conference rooms of Sapienza Università di Roma. WORKSHOP CO-CHAIRS Riccardo Rosati (Sapienza Università di Roma, Italy) Stefan Woltran (Vienna University of Technology, Austria) PROGRAMME COMMITTEE Katie Atkinson (University of Liverpool) Marcello Balduccini (Kodak Research Labs) Christoph Beierle (FernUniversitaet in Hagen) Trevor Bench-Capon (University of Liverpool) Guido Boella (Universita' degli Studi di Torino) Richard Booth (University of Luxembourg) Gerhard Brewka (University of Leipzig) Jan Broersen (Universiteit Utrecht) John Cantwell (KTH, Stockholm) Claudette Cayrol (Université Paul Sabatier) Nadia Creignou (University Marseille) Marina De Vos (University of Bath) Jim Delgrande (Simon Fraser University) Juergen Dix (TU Clausthal, Germany) Sylvie Doutre (University of Toulouse) Conrad Drescher (University of Oxford) Ulle Endriss (University of Amsterdam) Wolfgang Faber (University of Calabria) Michael Fink (Vienna University of Technology) Giorgos Flouris (FORTH-ICS, Greece) Martin Gebser (University of Potsdam, Germany) Guido Governatori (National ICT Australia) Sven-Ove Hansson (KTH Stockholm) Zhisheng Huang (Free University of Amsterdam) Matti Järvisalo (University of Helsinki) Gabriele Kern-Isberner (Technische Universitaet Dortmund) Frederic Koriche (Université Montpellier II) Thomas Lukasiewicz (Oxford University) Tommie Meyer (Meraka Institute, Pretoria) Alessandra Mileo (DERI Galway) David Mitchell (Simon Fraser University) Nir Oren (University of Aberdeen) Maurice Pagnucco (University of New South Wales) Laurent Perrussel (Université de Toulouse 1) Reinhard Pichler (Vienna University of Technology) Henri Prade (Université Paul Sabatier) Ken Satoh (National Institute of Informatics, Japan) Steven Schockaert (Cardiff University) Guillermo Simari (Universidad Nacional del Sur) Terrance Swift (Stony Brook University) Michael Thielscher (The University of New South Wales) Francesca Toni (Imperial College London) Mirek Truszczynski (University of Kentucky) Joost Vennekens (K.U. Leuven) Bart Verheij (University of Groningen) Renata Wassermann (Universidade de São Paulo) Simon Wells (University of Dundee) Emil Weydert (University of Luxembourg) CONTACT nmr12 at dbai.tuwien.ac.at From tkren at kr.tuwien.ac.at Tue Feb 21 17:58:19 2012 From: tkren at kr.tuwien.ac.at (Thomas Krennwallner) Date: Tue, 21 Feb 2012 17:58:19 +0100 Subject: 8th Reasoning Web Summer School (RW 2012) - Call for Applications Message-ID: <20120221165819.GL16068@kr.tuwien.ac.at> CALL FOR APPLICATIONS/PARTICIPATION REASONING WEB 2012 The 8th Reasoning Web Summer School (RW 2012) Vienna, Austria, September 03-08, 2012 http://www.reasoningweb.org/2012/ co-located with the - 6th Int'l Conference on Web Reasoning and Rule Systems (RR 2012), September 10-12, 2012 http://www.rr-conference.org/RR2012/ - 4th Int'l Conference on Computational Models of Argument (COMMA 2012), September 10-12, 2012 http://www.kr.tuwien.ac.at/events/comma2012/ - 2nd Datalog 2.0 Workshop, September 11-13, 2012 http://www.dbai.tuwien.ac.at/event/datalog-2.0/ - 23rd Int'l Conference on Database and Expert Systems Applications (DEXA 2012), September 03-07, 2012 http://www.dexa.org/ The Reasoning Web Summer School 2012 is primarily intended for postgraduate (PhD or MSc) students, postdocs, and other young researchers investigating aspects related to Reasoning on the Semantic Web and related issues. The Summer School will also be open to senior researchers wishing to learn about Semantic Web issues related to their own fields of research. For further details please visit http://www.reasoningweb.org/2012/ As in the previous years, we managed again to attract a distinguished group of expert lecturers, the majority of which will - apart from their lectures - also be present for the duration of the school to interact with students. Interaction with senior researchers and establishing contacts within young researchers is a main focus of the school, which will be supported through social activities and an interactive, amicable atmosphere. This year's summer school will be co-located with a number of related conferences and workshop, viz. Int'l Conference on Web Reasoning and Rule Systems 2012, the Int'l Conference on Computational Models of Argument 2012, the Int'l Conference on Database and Expert Systems Applications 2012, and the 2nd Datalog 2.0 Workshop 2012 (dates and links are given above). This will be a great opportunity to attend major conferences and workshops in the area directly subsequent to the school. As a further highlight, we want to point out the opportunity of PhD students to present their research at the RR 2012 Doctoral Consortium. More details are given on the RR 2012 website: http://www.rr-conference.org/RR2012/ == IMPORTANT DATES == Application deadline: May 4, 2012 Notifications: May 21, 2012 == CONFIRMED LECTURES == - Federation and Navigation in SPARQL 1.1 Marcelo Arenas (PUC Chile) and Jorge Pérez (U Chile) - Semantic Wikis: Approaches, Applications, and Perspectives François Bry (U Munich), Sebastian Schaffert (Salzburg Research), Denny Vrandečić (KIT), and Klara Weiand (U Munich) - Reasoning & Web Search Sergio Flesca (U Calabria) and Tim Furche (U Oxford) - Linked Data Stream Processing Manfred Hauswirth, Danh Le Phuoc, and Josiane Xavier Parreira (DERI, NUI Galway) - Query Processing and Reasoning for Linked Geospatial Data Manolis Koubarakis (U Athens) - OWL 2 Profiles: An Introduction to Lightweight Ontology Languages Markus Krötzsch (U Oxford) - Reasoning and Query Answering in Description Logics Magdalena Ortiz and Mantas Simkus (TU Vienna) - Reasoning with Uncertain and Inconsistent Ontologies for the Semantic Web Guilin Qi (South Eastern U, China) - Argumentation and the Web Francesca Toni (Imperial College) - Datalog and Its Extensions for the Semantic Web Georg Gottlob, Giorgio Orsi, Andreas Pieris (U Oxford) and Mantas Simkus (TU Vienna) == APPLICATIONS == The number of attendees will be limited, applications for participation have to be submitted via Easychair using the "Application" category: https://www.easychair.org/conferences/?conf=reasoningweb2012 The program of the school will include a poster session, where students can present and discuss their ongoing research with lecturers and colleagues. Applicants who wish to participate in the poster session shall tick the "Participation in poster session" group and include a poster title and abstract with their application submission. Applications must be submitted in PDF format not exceeding 2 pages (min. font size 11pt) and contain the following information: - Name, contact details - Affiliation - Motivation for participation - Summary of profile - Willing to present a poster? (if yes, add a poster title and abstract) - Supervisor (if applicable) - Publications (if applicable) == GRANTS == The organizing committee is considering to offer scholarships to participants to partially cover registration and/or accommodation fees, depending on available sponsorships. Details will be announced soon. == REGISTRATION == Details of the registration process will be announced on the summer school website, after the application deadline. As in previous years we will keep the registration fee moderate. == LECTURE NOTES == The course material used during the summer school will be published with Springer's Lecture Notes in Computer Science (LNCS) series. A copy of the proceedings will be included in the registration fees. == PROGRAM COMMITTEE == - Grigoris Antoniou (FORTH Crete) - Abraham Bernstein (U Zuerich) - François Bry (U Munich) - Thomas Eiter (TU Vienna, chair) - Birte Glimm (U Ulm) - Claudio Gutierrez (UC Santiago) - Axel Polleres (Siemens) == CONTACT == For further information including sponsorship opportunities, please contact the local organizers: - Thomas Eiter - Thomas Krennwallner From Wiebe.Van-Der-Hoek at liverpool.ac.uk Tue Feb 21 20:46:10 2012 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van der Hoek, Wiebe) Date: Tue, 21 Feb 2012 19:46:10 +0000 Subject: final call for submissions LOFT 2012 Message-ID: <89EC131E-DF87-4118-89FA-5573ACE4449B@liverpool.ac.uk> *****FINAL AND LAST CALL FOR SUBMISSIONS**** LOFT10 2012 Tenth Conference on Logic and the Foundations of Game and Decision Theory University of Sevilla, Spain, June 18-20, 2012 http://personal.us.es/hvd/loft/ AIMS OF THE CONFERENCE This is the tenth in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences. The previous nine conferences took place in Marseille (France), January 1994, Torino (Italy), December 1996, December 1998, July 2000 and July 2002, Leipzig (Germany), July 2004, Liverpool (UK), July 2006, Amsterdam (The Netherlands), July 2008 and Toulouse (France), July 2010. Among the topics of particular relevance are: (*) Modal logics for games and protocols: epistemic and deontic logic, multi-agent logic, temporal logic, dynamic logic, probabilistic and multivalued logic, logic of belief revision. (*) Foundations of game and decision theory: epistemic foundations of solution concepts, information processing and communication in games, belief formation and revision in games. (*) Learning and information-processing models: economic aspects of information processing, learning in game-theoretic contexts, inductive learning and inductive decision making. (*) Bounded rationality approaches to game and decision theory. INVITED SPEAKERS * Walter Carnielli, University of Campinas, Brazil * Vincent Conitzer, Duke University, USA * Branden Fitelson, Rutgers University, USA * Aviad Heifetz, Open University of Israel * Andrés Perea, University of Maastricht, Netherlands SUBMISSION INFORMATION: The three-day conference will give opportunity for paper presentations and discussions. Potential contributors should submit an extended abstract of approximately 5 - 10 pages in PDF format through http://www.easychair.org/conferences/?conf=loft2012 The deadline for submission is March 1, 2012, and authors will be notified of acceptance decisions by April 9, 2012. PUBLICATION OF CONTRIBUTED PAPERS: A selection of papers presented at LOFT10 will be published in two special issues: one in the Journal of Philosophical Logic and one in the International Game Theory Review. For a list of publications based on previous LOFT conferences see http://www.econ.ucdavis.edu/faculty/bonanno/loft.html Program Chairs: Giacomo Bonanno, University of California Davis, U.S.A. Hans van Ditmarsch, University of Sevilla, Spain Wiebe van der Hoek, University of Liverpool, United Kingdom Program Committee: Mario Benevides Adam Brandenburger Jan Broersen Edith Elkind Ulle Endriss Luis Farinas Del Cerro Yossi Feinberg Marcelo Finger Spyros Galanis Olivier Gossner Paul Harrenstein Martin van Hees Francisco Hernandez Quiroz Andreas Herzig Willemien Kets Jerome Lang Martin Meier Yoram Moses Amparo Marmol Conde Manuel Ojeda Aciego David Pearce Sophie Pinchinat Bryan Renne Olivier Roy Dov Samet Elias Tsakas Tero Tulenheimo Heinrich Wansing Local Organization Committee: Hans van Ditmarsch, University of Sevilla Angel Nepomuceno, University of Sevilla Francisco Salguero, University of Sevilla Fernando Soler, University of Sevilla Fernando Velazquez Quesada, University of Sevilla Important Dates: Deadline for submission: 1 March, 2012 Notification to authors: 9 April, 2012 Conference: 18-20 June 2012 ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Head of Department of Computer Science University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44 151) 7954292, (+44) 7970247480 fax (+44 151) 79 54235 Liverpool L69 3BX, United Kingdom Wiebe.Van-Der-Hoek at liverpool.ac.uk -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rcra.aixia at gmail.com Wed Feb 22 00:23:38 2012 From: rcra.aixia at gmail.com (RCRA) Date: Wed, 22 Feb 2012 00:23:38 +0100 Subject: RCRA 2012: preliminary call for papers Message-ID: [Apologies for multiple copies] * ______________________________________________________________________ * The RCRA group (Knowledge Representation & Automated Reasoning) of the AI*IA (Italian Association for Artificial Intelligence) http://rcra.aixia.it organises the 19th RCRA workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA 2012) in association with AI*IA 2012 Rome, Italy, 14-16 June 2012 RCRA group web site: http://rcra.aixia.it/ Workshop web site: http://rcra.aixia.it/rcra2012 e-mail: rcra2012 at gmail.com * ______________________________________________________________________ * This event follows the series of the RCRA (Knowledge Representation and Automated Reasoning) annual meetings, held since 1994. The success of the previous events shows that RCRA is becoming a major forum for exchanging ideas and proposing experimentation methodologies for algorithms in Artificial Intelligence. * ______________________________________________________________________ * The workshop will take place in Rome, Italy from 14 to 16 June 2012, in association with AI*IA 2012. RCRA 2012 will be held just after KR 2012 (http://kr.org/KR2012), DL 2012 (http://www.dis.uniroma1.it/~dl2012), NMR 2012 (http://www.dbai.tuwien.ac.at/NMR12) and CILC 2012 (http://www.dis.uniroma1.it/~cilc2012), all in Rome. As in previous editions (http://rcra.aixia.it/publications), authors of papers orally presented at the workshop will have the opportunity to participate to the selection of a special issue that will appear on an international journal. HISTORY OF THE WORKSHOP SERIES RCRA 2011 in association with IJCAI 2011, Barcelona, Spain - http://rcra.aixia.it/rcra2011 RCRA 2010 in association with CPAIOR 2010, Bologna, Italy - http://rcra.aixia.it/rcra2010 RCRA 2009 in association with AI*IA 2009, Reggio Emilia, Italy - http://rcra.aixia.it/rcra2009 Previous editions: http://rcra.aixia.it/workshops IMPORTANT DATES * Abstract submission: 31 March 2012 * Submissions to the RCRA workshop: 5 April 2012 * Notification of acceptance/reject: 5 May 2012 * Final version due: 31 May 2012 * RCRA workshop: 14-16 June 2012 AIMS AND SCOPE Many problems in Artificial Intelligence show an exponential explosion of the search space. Although stemming from different research areas in AI, such problems are often addressed with algorithms that have a common goal: the effective exploration of huge state spaces. Many algorithms developed in one research area are applicable to other problems, or can be hybridised with techniques in other areas. Artificial Intelligence tools often exploit or hybridise techniques developed by other research communities, such as Operations Research. In recent years, research in AI has more and more focussed on experimental evaluation of algorithms, the development of suitable methodologies for experimentation and analysis, the study of languages and the implementation of systems for the definition and solution of problems. Scope of the workshop is fostering the cross-fertilisation of ideas stemming from different areas, proposing benchmarks for new challenging problems, comparing models and algorithms from an experimental viewpoint, and, in general, comparing different approaches with respect to efficiency, problem modelling, and ease of development. Topics of interest include, but are not limited to: * Experimental evaluation of algorithms for o knowledge representation o automated reasoning o planning o scheduling o machine learning o model checking o boolean satisfiability (SAT) o constraint programming o constraint satisfaction o quantified boolean formulae and quantified constraints o modal logics o logic programming o disjunctive logic programming o temporal reasoning o combinatorial optimization * Definition and construction of benchmarks * Experimentation methodologies * Metaheuristics * Algorithm hybridisation * Static analysis of combinatorial problems * Languages and systems for definition and solution of problems * Comparisons between systems and algorithms * Application experiences WORKSHOP CHAIRS * Toni Mancini, Sapienza University, Rome, Italy * Angelo Oddi, ISTC-CNR, Rome, Italy WORKSHOP PROGRAM COMMITTEE * To be announced soon HOST ORGANIZATION Sapienza University, Rome Dipartimento di Ingegneria Informatica, Automatica e Gestionale "A. Ruberti" (formerly, DIS: Dipartimento di Informatica e Sistemistica) Via Ludovico Ariosto 25, 00185 Rome, Italy. SUBMISSIONS Authors are invited to submit either original papers, or papers that appear on conference proceedings. Publications showing negative results are welcome, provided that the approach was original and very promising in principle, the experimentation was well-conducted, the results obtained were unforeseeable and gave important hints in the comprehension of the target problem, helping other researchers to avoid unsuccessful paths. At the time of submission, authors are requested to clearly specify whether their submission is original or already published. Workshop submissions must be in PDF format, do not exceed 15 pages, and should be written in LaTeX, using the RCRA 2012 style available on the workshop web site. RCRA 2012 will use EasyChair for the submission of contributions. Details will be available on the web-site soon. Submissions will be reviewed by at least three members of the program committee. SELECTION FOR THE POST-PROCEEDINGS Few weeks after the workshop, authors of papers orally presented at the workshop will have the opportunity to participate to the selection for the post-proceedings by submitting an extended version of their work. As in previous editions (http://rcra.aixia.it/publications), workshop post-proceedings will appear in a special issue of an international journal, provided that a sufficient amount of high quality papers is collected. All candidate articles must be original: they cannot have already been published in journals, and must contain significant additional material with respect to any formal publication. Such papers will go through a second formal selection process, and will be reviewed by at least three reviewers. The selection process will be kept very short, and at most one re-submission stage will be allowed. Hence, authors are invited to work on their paper mainly before the workshop date. From konieczny at cril.fr Tue Feb 21 22:18:48 2012 From: konieczny at cril.fr (=?iso-8859-1?Q?S=E9bastien_Konieczny?=) Date: Tue, 21 Feb 2012 22:18:48 +0100 Subject: [BNC@ECAI12] Workshop on Belief change, Non-monotonic reasoning and Conflict resolution - First Call For Papers Message-ID: <273CC097-4C16-4643-8A6C-EE7B3027A903@cril.fr> BNC at ECAI'12 Belief change, Non-monotonic reasoning and Conflict resolution *** First Call For Papers *** http://cair.meraka.org.za/~bnc2012 Montpellier, France *** Aims and Scope Belief change, non-monotonic reasoning and conflict resolution are well established research areas in Artificial Intelligence. In recent years these topics have become important for designing robots and infobots with convincing reasoning and adaptation capabilities. The main aim of this workshop is to bring together active researchers on these topics, including work on belief revision, belief merging, reasoning about action, logic programming, inconsistency management, judgment aggregation, negotiation, and other related topics. Papers on emerging research in this area are especially welcome. Numerous recent papers use techniques from belief change to define conflict resolution methods. In particular, several negotiation and judgment aggregation methods are closely related to work in belief revision or belief merging. Combining ideas from these research topics is one of the aims of this workshop. Hence we especially encourage submission of survey papers or position papers on these questions. A further important trend is the study of the applicability of well known belief change operators and techniques for particular languages that are largely used in applications, such as Horn logics, description logics, or argumentation frameworks. New developments towards such applicative contexts are also highly welcome. *** Topics Topics of interest include, but are not limited to: - Argumentation - Belief change - Belief revision and update - Belief merging - Conflict resolution - Inconsistency management - Judgment aggregation - Logic Programming - Negotiation - Non-monotonic reasoning - Reasoning about action and change *** Submission instructions Papers submitted to BNC'12 must be no longer than 7 pages in the ECAI format (http://people.cs.kuleuven.be/~luc.deraedt/ecai2012-style.zip) and the pdf file should be submitted on EasyChair: http://www.easychair.org/conferences/?conf=bncecai2012 *** Important dates Submission deadline : 25 May 2012 Notification: 22 June 2012 Final version deadline: 6 July 2012 *** Workshop chairs: - Sébastien Konieczny (CRIL-CNRS, France) - konieczny at cril.fr - Thomas Meyer (CAIR, UKZN and CSIR Meraka) - tommie.meyer at meraka.org.za From ams at cwi.nl Wed Feb 22 14:44:26 2012 From: ams at cwi.nl (ams at cwi.nl) Date: Wed, 22 Feb 2012 14:44:26 +0100 Subject: CMCS 2012: Final Call for Short Contributions Message-ID: <20120222134426.GA15672@doorgang.cwi.nl> ------------------------------------------------------------------------------ CMCS 2012 call for short contributions ------------------------------------------------------------------------------ The 11th International Workshop on Coalgebraic Methods in Computer Science 31 March - 1 April 2012, Tallinn, Estonia co-located with ETAPS 2012 www.coalg.org/cmcs12 Aims and scope -------------- In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields such as reactive and interactive system theory, object-oriented and concurrent programming, formal system specification, modal and description logics, artificial intelligence, dynamical systems, control systems, category theory, algebra, analysis, etc. The aim of the CMCS workshop series is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. The topics of the workshop include, but are not limited to: * the theory of coalgebras (including set theoretic and categorical approaches); * coalgebras as computational and semantic models (for programming languages, dynamical systems, etc.); * coalgebras in (functional, object-oriented, concurrent) programming; * coalgebras and data types; * (coinductive) definition and proof principles for coalgebras (with bisimulations or invariants); * coalgebras and algebras; * coalgebraic specification and verification; * coalgebras and (modal) logic; * coalgebra and control theory (notably of discrete event and hybrid systems). Registration ------------ Registration is handled via the ETAPS website; please visit http://www.etaps.org/2012/registration Keynote Speaker --------------- Samson Abramsky, Oxford University, UK Invited Speakers ---------------- Marcello Bonsangue, Leiden University, The Netherlands Pawel Sobocinski, University of Southampton, UK Submission of Short Contributions --------------------------------- Submission is electronic via the easychair system at http://www.easychair.org/conferences/?conf=cmcs2012 following the submission guidelines below. Submission of regular papers is closed. The submission deadline for short contributions is February 20, 2012 (but see below under 'Important Dates'). Short contributions will be bundled in a technical report. They should be no more than two pages in LNCS format and may describe work in progress, summarise work submitted to a conference or workshop elsewhere, or in some other way appeal to the CMCS audience. Important dates --------------- * 23 February 2012: submission deadline for short contributions * 25 February 2012: author notification for short contributions * 26 February 2012: ETAPS normal registration deadline * 31 March - 1 April 2012: the workshop We continue to accept short contributions (with notfication one week after submisssion) until Februrary 27 based on avaliability of slots. However, please note that the ETAPS normal registration deadline is February 26. Invited Papers -------------- Samson Abramsky and Jonathan Zvesper. From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference Pawel Sobocinski. Relational Presheaves as Labelled Transition Systems Marcello Bonsangue, Jan Rutten and Joost Winter. Defining context-free power series coalgebraically Accepted Regular Papers ----------------------- Alexander Kurz, Daniela Petrisan, Paula Severi and Fer-Jan de Vries. An Alpha-Corecursion Principle for the Infinitary Lambda Calculus Bart Jacobs, Alexandra Silva and Ana Sokolova. Trace Semantics via Determinization Celia Picard and Ralph Matthes. Permutations in Coinductive Graph Representation Dusko Pavlovic. Coalgebraic Man in the Middle Eleftherios Matsikoudis and Edward Lee. From Transitions to Executions Giorgio Bacci and Marino Miculan. Structural operational semantics for continuous state probabilistic processes Jiri Adamek, Stefan Milius and Lawrence Moss. On Finitary Functors and Their Presentations Johannes Marti and Yde Venema. Lax Extensions of Coalgebra Functors Toby Wilkinson. Internal Models for Coalgebraic Modal Logics Vincenzo Ciancia and Yde Venema. Stream automata are coalgebras Programme Committee ------------------- Luis Barbosa, University of Minho, Braga, Portugal Filippo Bonchi, LIP ENS-Lyon, France Josee Desharnais, Université Laval, Canada Mai Gehrke, Radboud University Nijmegen, The Netherlands H. Peter Gumm, University of Marburg, Germany Ichiro Hasuo, University of Tokyo, Japan Patricia Johann, University of Strathclyde, Glasgow, Scotland, UK Ekaterina Komendantskaya, University of Dundee, Scotland, UK Dexter Kozen, Cornell University, Ithaca, NY, USA Dorel Lucanu, Alexandru Ioan Cuza University, Iasi, Romania Stefan Milius, Technical University of Braunschweig, Germany Larry Moss, Indiana University, Bloomington, USA Prakash Panangaden, McGill University, Montreal, Canada Dirk Pattinson, Imperial College London, UK (co-chair) Dusko Pavlovic, Royal Holloway, London, UK Daniela Petrisan, University of Leicester, UK Grigore Rosu, University of Illinois at Urbana-Champaign, USA Jan Rutten, CWI and Radboud University Nijmegen, The Netherlands Luigi Santocanale, University of Provence, Marseille, France Lutz Schröder, DFKI GmbH, Bremen, Germany (co-chair) Alexandra Silva, Radboud University Nijmegen, The Netherlands Ana Sokolova, University of Salzburg, Austria Sam Staton, University of Cambridge, UK Yde Venema, University of Amsterdam, The Netherlands Steering Committee ------------------ Jiri Adamek, Technical University of Braunschweig, Germany Corina Cirstea, University of Southampton, UK H. Peter Gumm (chair), University of Marburg, Germany Bart Jacobs, Radboud University Nijmegen, The Netherlands Alexander Kurz, University of Leicester, UK Marina Lenisa, University of Udine, Italy Ugo Montanari, University of Pisa, Italy Larry Moss, Indiana University, Bloomington, USA Dirk Pattinson, Imperial College London, UK John Power, University of Bath, UK Horst Reichel, Technical University of Dresden, Germany Jan Rutten, CWI and Radboud University Nijmegen, The Netherlands Lutz Schröder, DFKI GmbH and University of Bremen, Germany Publicity Chair --------------- Alexandra Silva, Radboud University Nijmegen, The Netherlands . From bsl at Cs.Nott.AC.UK Wed Feb 22 17:33:05 2012 From: bsl at Cs.Nott.AC.UK (Brian Logan) Date: Wed, 22 Feb 2012 16:33:05 +0000 Subject: ProMAS 2012 submission deadline extended ... Message-ID: <5D050101-1B1D-4045-A374-D9428CF05A20@Cs.Nott.AC.UK> ProMAS 2012 SUBMISSION DEADLINE EXTENDED Tenth International Workshop on Programming Multi-Agent Systems (ProMAS'12) ProMAS'12 is a satellite workshop at AAMAS 2012 Valencia, Spain, 5 June 2012 In response to a number of requests, the paper submission deadline has been extended to the *11th of March 2012* Over the last decade, the ProMAS workshop series has provided a venue for state-of-the-art research in programming languages and tools for the development of multi-agent systems. With the increasing commercial application of multi-agent systems, the need for development tools and platforms capable of supporting "professional" or "industrial strength" MAS development has only increased. Such languages and tools must be developed in a way that is principled and and at the same time practical, and ProMAS aims to address both theoretical and practical issues related to developing and deploying multi-agent systems. Now in its 10th edition, ProMAS has proved to be an invaluable venue for bringing together leading researchers from both academia and industry to discuss key issues in the design of programming languages and tools for multi-agent systems. In particular, the workshop promotes the discussion and exchange of techniques, concepts, requirements and principles central to multi-agent programming technology. These include the theory and application of agent programming languages, how to effectively implement a multi-agent system specification or design, the verification and analysis of agent systems, as well as the implementation of social structures in agent-based systems (e.g., organisations, coordination, and communication in multi-agent systems). We encourage the submission of papers describing proposals for programming languages and tools that provide specific programming constructs to facilitate the implementation of multi-agent system concepts (e.g., mental attitudes, distribution, and social interaction). We also welcome submissions describing significant multi-agent applications, as well as agent programming tools that allow the integration of agents with legacy systems. We are particularly interested in approaches or applications that show clearly the added-value of multi-agent programming, and explain why and how this technology should be adopted by designers and programmers both in academia and industry. TOPICS OF INTEREST Specific topics of interest include, but are not limited to: - Programming languages, models and abstractions for MAS - Extensions of traditional languages for multi-agent programming - Programming mobile agents - Semantics for multi-agent programming languages - Computational complexity of MAS - Algorithms, techniques, or protocols relevant to multi-agent programming (e.g., coordination, cooperation, negotiation) - Agent communication issues in multi-agent programming - Programming social, organizational, and normative aspects of MAS - Interoperability and standards for MAS - Safety and security for mobile MAS deployment - Fault tolerance and load balancing for mobile MAS - Generic tools and infrastructures for multi-agent programming - High-level executable multi-agent specification languages - Formal methods and tools for specification and verification of MAS - Agent/environment/interaction/organization development tools and platforms - Benchmarks and testbeds for comparing multi-agent programming languages and tools - Applications of multi-agent programming languages including: legacy systems, pervasive applications, multi-robot systems, autonomous software (e.g., UAVs), (Semantic) Web and Grid-based applications, and deployed (industrial-strength) multi-agent systems - Integration of multi-agent and mainstream technologies IMPORTANT DATES Paper submission deadline: 11 March 2012 Notification of acceptance/rejection: 6 April 2012 Camera-ready copies due: 18 April 2012 Workshop Date: 5 June 2012 SUBMISSION DETAILS Authors should submit their papers via the easychair conference management system: Papers should be formatted using Springer LNCS style and should be less than 16 pages in length. PUBLICATION Accepted papers will be appear in informal proceedings to distributed among participants during the workshop. As was the case with previous editions of the ProMAS workshop, we are planning to publish extended versions of selected and invited papers as a volume of the Lecture Notes in Computer Science series by Springer-Verlag. ORGANISING COMMITTEE - Mehdi Dastani (Utrecht University, Netherlands) - Brian Logan (University of Nottingham, UK) - Jomi Hubner (Federal University of Santa Catarina, Brazil) STEERING COMMITTEE - Rafael H. Bordini (Federal University of Rio Grande do Sul, Brazil) - Mehdi Dastani (Utrecht University, Netherlands) - Juergen Dix (Clausthal University of Technology, Germany) - Amal El Fallah Seghrouchni (University of Paris VI, France) PROGRAMME COMMITTEE Natasha Alechina (University of Nottingham, UK) Lacramioara Astefanoaei (Laboratoire d'Informatique de Grenoble, France) Matteo Baldoni (University of Torino, Italy) Olivier Boissier (Ecole des Mines de St Etienne, France) Juan Botia Blaya (University of Murcia, Spain) Lars Braubach (University of Hamburg, Germany) Rem Collier (University College Dublin, Ireland) Louise Dennis (University of Liverpool, UK) Vladimir Gorodetsky (Russian Academy of Sciences, Russia) Francisco Grimaldo (Universitat de València) James Harland (RMIT, Australia) Koen Hindriks (Delft University of Technology, The Netherlands) Benjamin Hirsch (Technical University of Berlin, Germany) Max Knobbout (Utrecht University, The Netherlands) Joao Leite (University Nova de Lisboa, Portugal) Viviana Mascardi (Genova University, Italy) Philippe Mathieu (Univ. Lille 1, France) John-Jules Meyer (Utrecht University, The Netherlands) Jorg Muller (Clausthal University of Technology, Germany) Peter Novák (Czech Technical University, Czech Republic) Alexander Pokahr (University of Hamburg, Germany) Alessandro Ricci (University of Bologna, Italy) Birna van Riemsdijk (Delft University of Technology, The Netherlands) Ralph Ronnquist (Intendico, Australia) Sebastian Sardina (RMIT University, Australia) Ichiro Satoh (NII, Japan) Michael Ignaz Schumacher (University of Applied Sciences Western Switzerland, Sierre, Switzerland) Kostas Stathis (Royal Holloway, University of London, UK) Bas Steunebrink (University of Lugano, Switzerland) Pankaj Telang (CISCO) John Thangarajah (RMIT, Australia) Wamberto Vasconcelos (University of Aberdeen, UK) Jørgen Villadsen (DTU Informatics, Denmark) Neil Yorke-Smith (American University of Beirut, Lebanon and SRI International, USA) Yingqian Zhang (Delft University of Technology, The Netherlands) From gregory.bonnet at unicaen.fr Wed Feb 22 18:02:34 2012 From: gregory.bonnet at unicaen.fr (=?windows-1252?Q?Gr=E9gory_Bonnet?=) Date: Wed, 22 Feb 2012 18:02:34 +0100 Subject: CFP : 1st Workshop on Rights and Duties of Autonomous Agents (RDA2) at ECAI 2012 Message-ID: <4F451FAA.2010000@unicaen.fr> With apologies for multiple posting. Please forward to interested parties. -------------------------------------------------------------------- Call for Papers -------------------------------------------------------------------- --RDA2-- "Rights and Duties of Autonomous Agents'' Workshop at ECAI 2012 August 27 or 28, 2012 Montpellier, France https://rda2-2012.greyc.fr/ -------------------------------------------------------------------- The autonomous decision capability embedded in software or robot agents is one of the major issues of Artificial Intelligence. It is a core property for AI applications such as e-commerce, serious games, ambient computing, social or collective robotics, companion robots, unmanned vehicles. Autonomous agents decide and act in a given context or environment and under domain constraints, and possibly interact with other agents or human beings e.g. to share tasks or to execute tasks on behalf of others. It is thus important to define regulation and control mechanisms to ensure sound and consistent behaviours both at the agent’s individual level and at the multi-agent level. Organisation models, conversation policies, normative systems, constraints, logical frameworks address the problem of how agents’ autonomous behaviours should be controlled, paving the way for formal or pragmatic definitions of agents’ Rights and Duties. The issue is all the more important as autonomous agents may encounter new situations, evolve in open environments, interact with agents based on different design principles, act on behalf of human beings and share common resources. For instance: should an autonomous agent take over the control from a human operator? under which circumstances? The aim of this workshop is to promote discussions and exchanges on the different issues raised by autonomous agents’ Rights and Duties and models that can be proposed to represent and reason on Rights and Duties. TOPICS OF INTEREST We encourage contributions from the following research and application areas: • Autonomous agents and privacy protection • Rights and duties for learning agents • Authority sharing between autonomous agents and human users or operators • Rights and duties of autonomous agents towards other agents; towards human users or operators • Rights and duties of human users or operators towards autonomous agents (especially robots) • Consistency, conflicts among rights and duties in multi-agent and human/agent systems • Mutual intelligibility, explanations • Rights and duties vs failures • Rights and duties of autonomous agents and ethical issues • Control of autonomous agents within organisations, institutions, normative systems • Sociology and law in the modelling of rights and duties: authority, power, dependence, penalty, contracts • Trust and reputation for autonomous agents regulation • Emergence and evolution of rights and duties • Knowledge representation and models for rights and duties • Reasoning on rights and duties • Validation of rights and duties in autonomous agents IMPORTANT DATES June 1st 2012: workshop paper submission deadline June 28th 2012: notification to authors July 9th 2012: camera ready copy submission August 27 or 28, 2012: workshop date SUBMISSION DETAILS Papers must not exceed SIX (6) pages in pdf format, using the ECAI formatting style: http://people.cs.kuleuven.be/%7Eluc.deraedt/ecai2012-style.zip Submissions are via EasyChair at: https://www.easychair.org/conferences/?conf=rda22012 The workshop proceedings will be published as CEUR proceedings. In addition, the organizers will apply for a special issue of an international journal where extended versions of selected papers of the workshop shall be published. For further information on the workshop: https://rda2-2012.greyc.fr/ -- Grégory Bonnet Assistant Professor (MAD Team - GREYC) www.gregory.bonnet.free.fr From emil.weydert at uni.lu Wed Feb 22 18:30:12 2012 From: emil.weydert at uni.lu (emil.weydert at uni.lu) Date: Wed, 22 Feb 2012 18:30:12 +0100 Subject: Workshop: Dynamics Of Argumentation, Rules, and Conditionals (DARC) Message-ID: <4F452624.9040200@uni.lu> Workshop: Dynamics Of Argumentation, Rules, and Conditionals (DARC) Luxembourg, April 2-3 2012 http://icr.uni.lu/darc/Home.html The DARC workshop wants to bring together people interested in the dynamics of formal argumentation - understood in a broad sense - to exchange ideas, techniques, and results. DARC is associated to the DYNARG project in Luxembourg. The event is open to all researchers working, planning to work, or just interested in these topics. There is no registration fee. Invited speakers are: - Alexander Bochman (Holon Institute of Technology) - João Leite (University of Lisbon) In recent years, argumentation theory has become increasingly important in computer science and artificial intelligence, generating not only an impressive amount of theoretical work but also serving a growing number of practical applications. The understanding, modeling, and realization of these complex argumentative processes requires an interdisciplinary, dynamic perspective, which integrates and extends existing work in argumentation theory and knowledge representation. This can be done on an abstract level, as Dung and his followers did, or on an interpreted level, that is within a specific, typically defeasible inference system where arguments take the form of trees of conditional reasons. Relevant areas are the dynamics of rule-based reasoning, logic-programming, and default inference with conditionals in the epistemic or normative context. If you are interested to attend then please send an email to all the organizers richard.booth/at/uni.lu emil.weydert/at/uni.lu tjitze.rienstra/at/uni.lu. Additionally, if you would like to present your work at DARC then please send us also an abstract. Depending on the number of quality submssions, we may split the presentations into shorter/longer ones. Topics of interest include: - Dynamic aspects of abstract argumentation, e.g., adding/removal of arguments and/or attacks - Dynamics in instantiated argumentation systems - Modeling change via negotiation and/or dialogue - Belief change for rule-based agents - Dynamics of conditional knowledge - Dynamics of conditional norms - Dynamics of default rules - Updates in logic programming - Revision and contraction in Horn Logic Location: University of Luxembourg Venue: Salle Paul Feidert, Campus Kirchberg 6 rue Richard Coudenhove-Kalergi L-1359 - Luxembourg Date: April 2-3, 2012 Organized by: ICR (Individual and Collective Reasoning Group) Computer Science and Communications Research Unit (CSC) University of Luxembourg Organizers: Richard Booth Emil Weydert Tjitze Rienstra . From pmt6sbc at maths.leeds.ac.uk Thu Feb 23 21:41:33 2012 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Thu, 23 Feb 2012 20:41:33 GMT Subject: [CiE 2012] Call for Informal Presentations for Turing Centenary Conference in Cambridge Message-ID: <201202232041.q1NKfX6Y016309@maths.leeds.ac.uk> ********************************************************************** CALL FOR INFORMAL PRESENTATIONS: TURING CENTENARY CONFERENCE http://www.cie2012.eu Computability in Europe 2012: How the World Computes University of Cambridge Cambridge, 18-23 June 2012 CiE 2012 is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, artificial intelligence, philosophy and computational aspects of physics, biology, linguistics, economics and the wider scientific world. CiE 2012 is planned to be an event worthy of the remarkable scientific career it commemorates, and will be the largest ever conference centred on the Computability Theoretic legacy of Turing and his contemporaries. PLENARY SPEAKERS include: Andrew Hodges (Oxford, Special Invited Lecture), Ian Stewart (Warwick, Special Public Lecture), Dorit Aharonov (Jerusalem), Veronica Becher (Buenos Aires), Lenore Blum (Carnegie Mellon, The 2012 APAL Lecture), Rodney Downey (Wellington), Yuri Gurevich (Microsoft, The EACSL Lecture), Juris Hartmanis (Cornell), Richard Jozsa (Cambridge, jointly organised lecture with King's College), Stuart Kauffman (Vermont/ Santa Fe), James Murray (Oxford/Princeton, Microsoft Research Lecture), Stuart Shieber (Harvard), Paul Smolensky (Johns Hopkins) and Leslie Valiant (Harvard, jointly organised lecture with King's College). SUBMISSION OF ABSTRACTS OF INFORMAL PRESENTATIONS are now invited for this historic event. For submission details, see: http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/give-page.php?12 SUBMISSION DEADLINE for Informal Presentations: MAY 11, 2012 Authors will be notified of acceptance, usually within two weeks of submission. All accepted papers become eligible for consideration for post-conference journals: COMPUTABILITY will consider journal versions of papers presented at CiE conferences as a general rule; and there will be special issues of Logical Methods in Computer Science (LMCS) and Annals of Pure and Applied Logic (APAL). CiE 2012 CONFERENCE TOPICS include, but not exclusively - * Admissible sets * Algorithms * Analog computation * Artificial intelligence * Automata theory * Bioinformatics * Classical computability and degree structures * Cognitive science and modelling * Complexity classes * Computability theoretic aspects of programs * Computable analysis and real computation * Computable structures and models * Computational and proof complexity * Computational biology * Computational creativity * Computational learning and complexity * Computational linguistics * Concurrency and distributed computation * Constructive mathematics * Cryptographic complexity * Decidability of theories * Derandomization * DNA computing * Domain theory and computability * Dynamical systems and computational models * Effective descriptive set theory * Emerging and Non-standard Models of Computation * Finite model theory * Formal aspects of program analysis * Formal methods * Foundations of computer science * Games * Generalized recursion theory * History of computation * Hybrid systems * Higher type computability * Hypercomputational models * Infinite time Turing machines * Kolmogorov complexity * Lambda and combinatory calculi * L-systems and membrane computation * Machine learning * Mathematical models of emergence * Molecular computation * Morphogenesis and developmental biology * Multi-agent systems * Natural Computation * Neural nets and connectionist models * Philosophy of science and computation * Physics and computability * Probabilistic systems * Process algebras and concurrent systems * Programming language semantics * Proof mining and applications * Proof theory and computability * Proof complexity * Quantum computing and complexity * Randomness * Reducibilities and relative computation * Relativistic computation * Reverse mathematics * Semantics and logic of computation * Swarm intelligence and self-organisation * Type systems and type theory * Uncertain Reasoning * Weak systems of arithmetic and applications We particularly welcome submissions in emergent areas, such as bioinformatics and natural computation, where they have a basic connection with computability. CiE 2012 will have a special relationship to the scientific legacy of Alan Turing, reflected in the broad theme: How the World Computes, with all its different layers of meaning. Contributions which are directly related to the visionary and seminal work of Turing will be particularly welcome. SPECIAL SESSIONS include: * Cryptography, Complexity, and Randomness Chairs: Rod Downey and Jack Lutz Speakers so far: Eric Allender, Lance Fortnow, Valentine Kabanets, Omer Reingold, Alexander Shen + Panel Discussion on Future Directions * The Turing Test and Thinking Machines Chairs: Mark Bishop and Rineke Verbrugge Speakers: Bruce Edmonds, John Preston, Susan Sterrett, Kevin Warwick, Jiri Wiedermann + Panel Discussion on Future Directions * Computational Models After Turing: The Church-Turing Thesis and Beyond Chairs: Martin Davis and Wilfried Sieg Speakers: Giuseppe Longo, Peter Nemeti, Stewart Shapiro, Matthew Szudzik, Philip Welch, Michiel van Lambalgen * Morphogenesis/Emergence as a Computability Theoretic Phenomenon Chairs: Philip Maini and Peter Sloot Speakers: Jaap Kaandorp, Shigeru Kondo, Nick Monk, John Reinitz, James Sharpe, Jonathan Sherratt * Open Problems in the Philosophy of Information Chairs: Pieter Adriaans and Benedikt Loewe Speakers: Patrick Allo, Luis Antunes, Mark Finlayson, Amos Golan, Ruth Millikan + Panel Discussion on Future Directions * The Universal Turing Machine, and History of the Computer Chairs: Jack Copeland and John Tucker Speakers so far: Steven Ericsson-Zenith, Ivor Grattan-Guinness, Mark Priestley, Robert I. Soare + Panel Discussion Information of funding for students (including ASL grants) and the attendance of female researchers is at: http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/give-page.php?14 There will be the annual Women in Computability Workshop, supported by a grant from the Elsevier Foundation. CiE 2012 will be associated/co-located with a number of other Turing centenary events, including: * ACE 2012, June 15-16, 2012 * Computability and Complexity in Analysis (CCA 2012), June 24-27, 2012 http://cca-net.de/cca2012/ * Developments in Computational Models (DCM 2012), June 17, 2012 http://www.math.uni-hamburg.de/home/loewe/DCM2012/ * THE INCOMPUTABLE at Kavli Royal Society International Centre Chicheley Hall, June 12-15, 2012 http://www.mathcomp.leeds.ac.uk/turing2012/inc/ PROGRAMME COMMITTEE: * Samson Abramsky (Oxford) * Pieter Adriaans (Amsterdam) * Franz Baader (Dresden) * Arnold Beckmann (Swansea) * Mark Bishop (London) * Paola Bonizzoni (Milan) * Luca Cardelli (Cambridge) * Douglas Cenzer (Gainesville) * S Barry Cooper (Leeds, Co-chair) * Ann Copestake (Cambridge) * Anuj Dawar (Cambridge, Co-chair) * Solomon Feferman (Stanford) * Bernold Fiedler (Berlin) * Luciano Floridi (Hertfordshire) * Martin Hyland (Cambridge) * Marcus Hutter (Canberra) * Viv Kendon (Leeds) * Stephan Kreutzer (Oxford) * Ming Li (Waterloo) * Benedikt Loewe (Amsterdam) * Angus MacIntyre (London) * Philip Maini (Oxford) * Larry Moss (Bloomington) * Amitabha Mukerjee (Kanpur) * Damian Niwinski (Warsaw) * Dag Normann (Oslo) * Prakash Panangaden (Montreal) * Jeff Paris (Manchester) * Brigitte Pientka (Montreal) * Helmut Schwichtenberg (Munich) * Wilfried Sieg (Carnegie Mellon) * Mariya Soskova (Sofia) * Bettina Speckmann (Eindhoven) * Christof Teuscher (Portland) * Peter van Emde Boas (Amsterdam) * Jan van Leeuwen (Utrecht) * Rineke Verbrugge (Groningen) The PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) in computability related areas to submit abstracts of their proposed presentations (in PDF-format, max 1 page) for CiE 2012. We particularly invite papers that build bridges between different parts of the research community. ORGANISING COMMITTEE: Arnold Beckmann (Swansea), Luca Cardelli (Cambridge), S Barry Cooper (Leeds), Ann Copestake (Cambridge), Anuj Dawar (Cambridge, Chair), Bjarki Holm (Cambridge), Martin Hyland (Cambridge), Benedikt Loewe (Amsterdam), Arno Pauly (Cambridge), Andrew Pitts (Cambridge) The conference is sponsored by the ASL, EACSL, EATCS, Elsevier Foundation, IFCoLog, King's College Cambridge, The University of Cambridge and Microsoft Research. For a small poster to download and display: http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/Images/cie12.poster.1000x1400.png Contact: Anuj Dawar - anuj.dawar(at)cl.cam.ac.uk ********************************************************************** From cossentino at pa.icar.cnr.it Fri Feb 24 16:00:44 2012 From: cossentino at pa.icar.cnr.it (Massimo Cossentino) Date: Fri, 24 Feb 2012 16:00:44 +0100 Subject: AOSE 2012 @ AAMAS: Submission Deadline Extended Message-ID: <45DB2224-3216-4E19-9A37-F8469E547317@pa.icar.cnr.it> (APOLOGIES FOR MULTIPLE COPIES) ************************************************************************ Call For Papers AOSE 2012 13th International Workshop on Agent-Oriented Software Engineering ********** SUBMISSION DEADLINE EXTENDED *********** Held with AAMAS 2012, Valencia, Spain, June 4, 2012 http://winf.in.tu-clausthal.de/events/aose12 MOTIVATION Since the early 1990s, multi-agent system researchers have developed a large body of knowledge on the foundations and engineering principles for designing and developing agent-based systems. The 12 past editions of the agent-oriented software engineering workshop (AOSE) had a key role in this endeavor. For 2012, the workshop organizers and the steering committee propose to organize an edition of AOSE workshop aimed at exploring the new emerging role of agent-oriented software engineering as a bridge from the now consolidated agent oriented programming languages and platforms, to recent systems modelling paradigms like self-*, autonomic systems, and systems of systems (SoS). Thus, it is our hope to explore from an agent-based perspective, foundations, models, methods, architectures, and tools for engineering future software-intensive IT eco-systems. The workshop organizers plan to publish accepted papers on a USB stick as part of the AAMAS workshop registration package. Revised post-proceedings papers will later be published in a volume of the Lecture Notes for Computer Science series. GOALS and TOPICS The general goal of this year workshop is twofold: The first goal is to study the role of agent-oriented software engineering in the design phase of agents development. It is well known and accepted that agents - from the software engineering perspective - are of particular interest as an analysis abstraction. This has been true for several years but the most recent advancements in agent-oriented programming languages have proposed new challenges: software engineers may now design and code their solutions in terms of agents. The old need of moving to the object-oriented level of abstraction is overpassed and the new developing platforms allow for a more natural transformation of AO analysis models into AO design models. This reality has been soon perceived by researcher and practitioners. An example of this new trend may be found in the refreshed interest about testing of agents. The second goal concerns the other side of the proposed ideal bridge: the needs of new design approaches specifically suited for facing the needs of self-organizing systems, autonomic systems and systems of systems. In the last years we have seen considerable research efforts on these topics; however, only few of them have their scope and foundations in the software engineering field. Novel efforts are necessary to cope with these new challenges in order to find specific solutions that could bring such systems from research to industrialization. In this context, a means for bridging the above mentioned research (and application) streams may come from the advances on organizations, norms, and institutions. Are they mature enough for being applied to stable agent-oriented languages and for contributing to the engineering of self-organizing and autonomic systems? The proposed aim is find an answer to this question or to propose further hints for future investigations on the application of organizations, norms and institutions to the design of agent-oriented systems. Topics of regular papers include but are not restricted to: * Agent-based concepts for systems of systems engineering * Agent-based solutions for managing complexity in software engineering * Agents and model-driven approaches * Agents and services * Agents for self-adaptive systems * Alignment of agents with service-oriented software development * Autonomy vs. dependability and robustness * CASE tools to support agent-oriented software development in practice * Coordination infrastructures for multi-agent systems * Engineering multi-agent organizations * Engineering self-organizing systems * Goal-oriented design * Implications of introducing agent-based solutions on the development organization * Integration of agents with legacy systems * Middleware integration of agent-based software * Multi-agent based simulation * Programming agents and multi-agent systems * Qualities and tradeoffs of agent-based architectures * Reusable design knowledge: patterns and reference architectures * Social engineering * Software architectures for multi-agent systems * Standardization efforts for multi-agent systems * Testing of agent-based software * Validation of agent technology in practice * Verification of agent-based software AUTHOR GUIDELINES AOSE welcomes the submission of theoretical, experimental, methodological as well as application papers with a clear research focus on the topics outlined above. Each paper will be evaluated by three members of the PC. Papers that present a valuable idea that needs further development can be accepted as a short paper. SUBMISSIONS Papers should be between 8 and 12 pages, including the text, figures, and references. The submissions must be formatted according to the Springer Verlag LNCS style. PDF format is required. Papers can be submitted via EasyChair 'AOSE2012', https://www.easychair.org/conferences/?conf=aose2012 The good receipt of your submission will be confirmed by email. PUBLICATIONS Pre-proceedings containing all accepted papers are provided electronically on a USB stick as part of the AAMAS workshop registration package. The plan is to publish revised versions of accepted papers in a Lecture Notes in Computer Science volume. For this purpose, authors will be given the opportunity to revise and re-submit their contributions after the conference. IMPORTANT DATES Paper submission deadline: 11th March 2012 Paper notifications: 6th April 2012 Camera ready paper (pre-proceedings): 8th April 2012 Workshop: 4th June 2012 COMMITTEES Organizing Committee * Massimo Cossentino, National Research Council of Italy, Palermo, Italy * Joerg P. Mueller, Technische Universitaet Clausthal, Institut for Informatik, Germany Preliminary Program Committee: Carole Bernon,Universite Paul Sabatier, France Lars Braubach,University of Hamburg, Germany Scott A. Deloach,Kansas State University, USA Amal El Fallah Seghrouchni,University Pierre and Marie Curie, France Giancarlo Fortino,Universita della Calabria, Italy Aditya Ghose,University of Wollongong, Australia Holger Giese,University of Potsdam, Germany Adriana Giret,Universidad Politecnica de Valencia, Spain Marie-Pierre Gleizes,Universite Paul Sabatier, France Jorge Gomez-Sanz,Universidad Complutense Madrid, Spain Juan Carlos Gonzalez Moreno,Universidad de Vigo, Ourense, Spain Joao Leite,University of Lisbon, Portugal Philippe Mathieu,Universite Lille 1, France Frederic Migeon,Universite Paul Sabatier, France Ambra Molesini,University of Bologna, Italy Pavlos Moraitis,Universite Paul Descartes, France Andrea Omicini,University of Bologna, Italy Flavio Oquendo,Universite de Bretagne Sud, France Juan Pavon,Universidad Complutense Madrid, Spain Alexander Pokahr,University of Hamburg, Germany Alessandro Ricci,University of Bologna, Italy Fariba Sadri,Imperial College of Science, Technology and Medicine, England Valeria Seidita,University of Palermo, Italy Onn Shehory,IBM Haifa Research Lab, Israel Danny Weyns,Linnaeus University, Sweden ************************************************************************ From rainer.unland at icb.uni-due.de Fri Feb 24 19:12:07 2012 From: rainer.unland at icb.uni-due.de (Rainer Unland) Date: Fri, 24 Feb 2012 19:12:07 +0100 Subject: =?windows-1252?Q?CfP_Special_Session_Smart_Grids_at_?= =?windows-1252?Q?IEEE_10th_International_Conference_on_Industr?= =?windows-1252?Q?ial_Informatics_=28INDIN=922012_=29=2CJuly_25-2?= =?windows-1252?Q?7=2C_2012=2C_Beijing=2C_China?= Message-ID: <4F47D2F7.80605@icb.uni-due.de> IEEE 10th International Conference on Industrial Informatics (INDIN’2012 ) July 25-27, 2012, Beijing, China Important Dates: Deadline for submission of full papers ........................................................................... Feb 28, 2012 Notification of acceptance: ............................................................................................... Mar 31, 2012 Deadline for submission of final manuscripts: ............................................................... Apr 30, 2012 Deadline for Authors’ Registration: ................................................................................. May 14, 2012 IEEE INDIN is the premier conference series presenting the state of the art and future perspectives of industrial information technologies, where industry experts, researchers, and academics share ideas and experiences surrounding frontier technologies, breakthroughs and innovative solutions and applications. Previous conferences in the series were respectively held in Banff Canada (2003), Berlin Germany (2004), Perth Australia (2005), Singapore (2006), Vienna Austria (2007), Daejeon Korea (2008), Cardiff UK (2009), and Osaka Japan (2010), and Lisbon Portugal (2011). The INDIN2012 will be held on July 25-27, 2012 in Beijing, China. The aim of the conference is to bring together researchers and practitioners from industry and academia and to provide them with a platform to report on recent developments, achievements, deployments, technology trends and research results, as well as initiatives related to industrial informatics and their application. Special Session: Smart Grids Nowadays, there is a major shift into new smart power supply networks for different reasons not the least to integrate renewable energy sources into existing electricity grids. Solutions for future energy networks will come from fields such as Engineering, Urban Systems, Economics and especially Computer Science just to name a few. Possible topics for this special session might be: 1. Technical solutions for (aspects of) future electricity/gas grids 2. Requirements for future electricity/gas grids 3. Simulation tools for electricity/gas grids 4. Urban systems and future energy networks Organizing Committee: Rainer Unland, University of Duisburg-Essen, Rainer.Unland at icb.uni-due.de Cherif Branki, University of the West of Scotland PC Committee: Bordini, Rafael H Braubach, Lars Derksen, Christian Dillon, Tharam Elammari, Mohamed Essaaidi, Mohammad Franczyk, Bogdan Guttmann, Christian Huhns, Michael Kowalczyk, Ryszard Maamar, Zakaria Moench, Lars Palensky, Peter Robu, Valentin Teuteberg, Frank Tianfield, Hua Zhu, Hong -- “Experience is this valuable asset which allows us to identify the mistake immediately when we are doing it again and again!” “Erfahrung ist jener kostbare Besitz, der uns befähigt, einen Fehler sofort zu erkennen, wenn wir ihn immer wieder machen.” ************************************************************************** Prof. Dr. Rainer Unland University of Duisburg-Essen Institute for Computer Science and Business Information Systems (ICB) Practical Computer Science, especially Data Management Systems and Knowledge Representation Schuetzenbahn 70 45117 Essen, Germany Tel.: (+49) 201-183 3421 IP-Tel. Skype: unlandr Fax: (+49) 201-183 4460 Email: Rainer.Unland at icb.uni-due.de WWW: http://www.dawis.wiwi.uni-due.de/ *************************************************************************** From frank.loebe at informatik.uni-leipzig.de Fri Feb 24 23:33:09 2012 From: frank.loebe at informatik.uni-leipzig.de (Frank Loebe) Date: Fri, 24 Feb 2012 23:33:09 +0100 Subject: First Interdisciplinary Summer School on Ontology Analysis (Jul 16-20, 2012, Trento, Italy) In-Reply-To: <003101ccf341$f28d1da0$d7a758e0$@informatik.uni-leipzig.de> References: <002d01ccf33f$abd76110$03862330$@informatik.uni-leipzig.de> <002f01ccf341$2bc3fc70$834bf550$@informatik.uni-leipzig.de> <003101ccf341$f28d1da0$d7a758e0$@informatik.uni-leipzig.de> Message-ID: <004401ccf344$4b169a80$e143cf80$@informatik.uni-leipzig.de> It is with great pleasure that The International Association for Ontology and its Applications ( http://www.iaoa.org ) announces its First Interdisciplinary Summer School on Ontological Analysis July 16-20, 2012, Trento, Italy Six experts in different disciplines (philosophy, cognitive linguistics, knowledge representation and conceptual modeling) will meet for a week with students and researchers to present common themes in applied ontology and describe them from each discipline's viewpoint, to engage in open discussions with each other, and to interact with the participants: Christiane Fellbaum, Dept. of Computer Science, Princeton University, Ontology, semantics, and cognitive linguistics Chiara Ghidini and Luciano Serafini, Bruno Kessler Foundation, Trento, Logical tools for ontological analysis Nicola Guarino, Laboratory for Applied Ontology, ISTC-CNR, Trento, Introduction to Applied Ontology Giancarlo Guizzardi, Dept. of Computer Science, Federal University of Espírito Santo, Ontology-driven conceptual modelling Kevin Mulligan, Dept. of Philosophy, Université de Genève, Ontological analysis: the philosophical perspective Registration will open on March 15. IAOA membership will be required. The fee will be around 200 euros (we are waiting for supports to reduce it further) and includes lunches and coffee breaks. Note that the number of participants is limited. For further information and updates, see the IAOA summer school webpage: http://iaoa.org/isc2012/index.php The school is open to students, researchers and practitioners. Feel free to distribute the announcement. --------------------------------------------------------------- From glukacsy at cisco.com Sat Feb 25 17:54:58 2012 From: glukacsy at cisco.com (Gergely Lukacsy (glukacsy)) Date: Sat, 25 Feb 2012 17:54:58 +0100 Subject: 2nd Call for papers - 28th International Conference on Logic Programming (ICLP 2012) Message-ID: <994BD38D171EAE49B641B378373BA25C02253C22@XMB-AMS-208.cisco.com> Apologies for cross posting. Gergely +----------------------------------------------------------------------- ----+ CALL FOR PAPERS 28th International Conference on Logic Programming (ICLP 2012) Budapest, Hungary, September 4-8, 2012 http://www.cs.bme.hu/iclp2012/ +----------------------------------------------------------------------- ----+ The International Conference on Logic Programming is the premier venue for presenting research in logic programming. ICLP 2012 will take place in Budapest, honouring the important contribution that the Hungarian logic programming community has given to this field. The ICLP technical program will include presentations of accepted papers, invited talks, advanced tutorials and panels, a special session on most influential papers, the doctoral consortium, the programming contest, and several workshops. Contributions are sought in all areas of logic programming, including but not restricted to: - Theory: Semantic Foundations, Formalisms, Non-Monotonic Reasoning, Knowledge Representation. - Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. - Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. - Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. - Related Paradigms: Abductive/Inductive/Constraint Logic Programming, Answer-Set Programming. - Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, (Semantic) Web, Agents, Artificial Intelligence, Bioinformatics, Declarative Networking. There are four broad categories for submissions: (1) technical papers describe technically sound, innovative ideas that can advance the state of the art of logic programming; (2) application papers present real-world applications of logic programming; (3) system and tool papers focus on the novelty, practicality, usability and general availability of the systems and tools described; and (4) technical communications aim at describing recent developments, new projects, and other materials that are not ready for publication as standard papers. +----------------------------------------------------------------------- ----+ Important Dates Workshop Proposals: January 29, 2012 Paper registration (abstract): March 11, 2012 Submission deadline: March 18, 2012 Notification to Authors (first round): April 28, 201 Notification to Authors (second round): June 10, 2012 Camera-ready LIPIcs copy due: June 10, 2012 Camera-ready TPLP copy due: July 1, 2012 Conference: September 4-8, 2012 +----------------------------------------------------------------------- ----+ General Chair Peter Szeredi (Budapest Univ. of Technology and Economics) Program Committee Chairs Agostino Dovier (Univ. of Udine) Vitor Santos Costa (Univ. of Porto) Workshop Chair Mats Carlsson (SICS, Sweden) Doctoral Consortium Chairs Marco Gavanelli (Univ. of Ferrara) Stefan Woltran (T.U. Wien) Programming Contest Tom Schrijvers (Univ. of Gent) Publicity Chair Gergely Lukacsy (Cisco Systems Inc.) Web Manager Janos Csorba (Budapest Univ. of Technology and Economics) Program Committee Elvira Albert (U.C. Madrid) Sergio Antoy (Portland State Univ.) Marcello Balduccini (Kodak Res. Labs) Manuel Carro (U.P. Madrid) Michael Codish (Ben Gurion Univ.) Veronica Dahl (Simon Fraser Univ.) Marina De Vos (Univ. of Bath) Alessandro Dal Palu' (Univ. of Parma) Bart Demoen (K.U. Leuven) Thomas Eiter (T.U. Wien) Esra Erdem (Sabanci Univ.) Thom Fruehwirth (Univ. of Ulm) Andrea Formisano (Univ. of Perugia) Maria Garcia de la Banda (Monash Univ.) Marco Gavanelli (Univ. of Ferrara) Hai-Feng Guo (Univ. of Nebraska, Omaha) Gopal Gupta (Univ. of Texas, Dallas) Katsumi Inoue (National Inst. of Informatics, Japan) Angelica Kimmig (K.U. Leuven) Joohyung Lee (Arizona State Univ.) Evelina Lamma (Univ. of Ferrara) Nicola Leone (Univ. of Calabria) Yuliya Lierler (Univ. of Kentucky) Boon Thau Loo (Univ. of Pennsylvania) Michael Maher (R.R.I., Sidney) Alessandra Mileo (DERI, Galway) Jose Morales (U.P. Madrid) Enrico Pontelli (New Mexico State Univ.) Gianfranco Rossi (Univ. of Parma) Beata Sarna-Starosta (Cambian, Vancouver) Torsten Schaub (Univ. of Potsdam) Tom Schrijvers (Univ. of Gent) Fernando Silva (Univ. of Porto) Tran Cao Son (New Mexico State Univ.) Terrance Swift (Univ. Nova de Lisboa) Peter Szeredi (Budapest Univ. of Tech.) Francesca Toni (I.C. London) Mirek Truszczynski (Univ. of Kentucky) German Vidal (U.P. of Valencia) Stefan Woltran (T.U. Wien) Neng-Fa Zhou (CUNY, New York) +----------------------------------------------------------------------- ----+ PAPER PUBLICATION +----------------------------------------------------------------------- ----+ All accepted (long) papers will be published in the journal Theory and Practice of Logic Programming (TPLP), Cambridge U. Press (CUP), in one or more special issues. In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period) and/or ``shepherding.'' The program committee may also recommend standard papers to be published as technical communications. At the time of the conference CUP will make the web page for this(ese) TPLP issue(s) available including volume and issue numbers, table of contents, page numbers, and the papers themselves. All registered attendants at the conference will get lifetime access to the web site for the online version of the issue(s). Pointers to the arXiv/CoRR versions of these papers will be guaranteed from the ALP website www.logicprogramming.org. Attendants will also receive all the papers in a memory stick at the conference. The collection of technical communications will appear as a volume of the LIPIcs (Leibniz International Proceedings in Informatics) series, and published online through the Dagstuhl Research Online Publication Server (DROPS). All technical communications will also get space in the program for presentation. The journal issue(s) will also include a listing of the technical communications, with pointers to the LIPIcs/DROPS volume. +----------------------------------------------------------------------- ----+ SPONSORS +----------------------------------------------------------------------- ----+ The conference is sponsored by the Association for Logic Programming (ALP) and the Artificial Intelligence Section of the John von Neumann Computer Society. +----------------------------------------------------------------------- ----+ FINANCIAL ASSISTANCE +----------------------------------------------------------------------- ----+ The Association for Logic Programming has funds to assist financially disadvantaged participants and, specially, students in order to be able to attend the conference. +----------------------------------------------------------------------- ----+ WORKSHOPS +----------------------------------------------------------------------- ----+ The ICLP 2012 program will include several workshops, held before, after, and in parallel with the main conference. They are perhaps the best places for the presentation of preliminary work, undeveloped novel ideas, and new open problems to a wide and interested audience with opportunities for intensive discussions and project collaboration. +----------------------------------------------------------------------- ----+ DOCTORAL CONSORTIUM +----------------------------------------------------------------------- ----+ The 8th Doctoral Consortium (DC) on Logic Programming provides research students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and world-renown experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper and presentation from the DC will be given the opportunity to present in a special session of the main ICLP conference. +----------------------------------------------------------------------- ----+ PROLOG PROGRAMMING CONTEST +----------------------------------------------------------------------- ----+ ICLP 2012 will also feature the 19th edition of the Prolog Programming Contest. +----------------------------------------------------------------------- ----+ CONFERENCE VENUE +----------------------------------------------------------------------- ----+ Budapest is located in the center of Hungary, in the heart of Central Europe. Hungary is member of the European Union and belongs to the Schengen area. Detailed tourist and travel information can be obtained from http://www.budapestinfo.hu/index.php?id=home_en. Hungary is well-served by transport links from abroad. The main international airport is Budapest Ferihegy http://www.bud.hu/english. Budapest is linked to 15 European capitals by train (eg. Wien-Budapest trip is less than 3 hours), directly or indirectly (see http://www.mav-start.hu/english for details). The conference is organized by the John von Neumann Computer Society http://njszt.hu/en, who handled the ICLP'93 conference and the 1980 Logic Programming Workshop in Debrecen. +----------------------------------------------------------------------- ----+ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Wiebe.Van-Der-Hoek at liverpool.ac.uk Sun Feb 26 11:50:19 2012 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van der Hoek, Wiebe) Date: Sun, 26 Feb 2012 10:50:19 +0000 Subject: LOFT deadline extension for extended abstracts (not for title and abstract!) Message-ID: <7D91FDDF-268D-4084-83A5-4B101EF1B70C@liverpool.ac.uk> ** deadline and notification date change ** ** title and abstract submission until 1 March ** ** full paper version submission until 8 March ** LOFT10 2012 Tenth Conference on Logic and the Foundations of Game and Decision Theory University of Sevilla, Spain, June 18-20, 2012 http://personal.us.es/hvd/loft/ AIMS OF THE CONFERENCE This is the tenth in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. See also http://www.econ.ucdavis.edu/faculty/bonanno/loft.html INVITED SPEAKERS * Walter Carnielli, University of Campinas, Brazil * Vincent Conitzer, Duke University, USA * Branden Fitelson, Rutgers University, USA * Aviad Heifetz, Open University of Israel * Andres Perea, University of Maastricht, Netherlands SUBMISSION INFORMATION: The three-day conference will give opportunity for paper presentations and discussions. Potential contributors should submit an extended abstract of approximately 5 - 10 pages in PDF format through http://www.easychair.org/conferences/?conf=loft2012 The [changed!] deadline for submission of titles and abstracts is March 1, 2012, the deadline for submission of full paper versions is March 8, 2012, and authors will be notified of acceptance decisions by April 16. PUBLICATION OF CONTRIBUTED PAPERS: A selection of papers presented at LOFT10 will be published in two special issues: one in the Journal of Philosophical Logic and one in the International Game Theory Review. Important Dates: Deadline for submission of titles and abstracts: 1 March, 2012 Deadline for submission of full paper versions: 8 March, 2012 Notification to authors: 16 April, 2012 Conference: 18-20 June 2012 From Mohamed.Nemiche at uv.es Mon Feb 27 01:54:44 2012 From: Mohamed.Nemiche at uv.es (Mohamed Nemiche) Date: Mon, 27 Feb 2012 01:54:44 +0100 (CET) Subject: CFP: IEEE technically co-sponsored conference: Agadir-Morocco Message-ID: <9933224171nemiche@uv.es> Apologies if you receive multiple copies. ___________________ICCS’12 || CALL FOR PAPERS____________________ | International Conference on Complex Systems | | ICCS'12 is an IEEE technically co-sponsored conference | | November 5-6, 2012 | | Agadir, Morocco | | http://iccs12.org | | Submission deadline: April 30, 2012 | ________________________________________________________________ An International Conference on Complex Systems (ICCS'12) will be organized by Ibn Zohr University in Agadir, Morocco on November 5-6, 2012. The city of Agadir is considered one of the most attractive touristic areas on the African continent. Agadir enjoys clement weather year-round, including the month of November. ICCS'12 will provide a high-level, international forum for scientists, researchers, industrial professionals, and students who will present state-of-the-art research results, address new challenges, and discuss trends in Computational Intelligence, Cybernetics, General Systems Theory, and their applications in diverse fields. The topics of interest include, but are not limited to: - Fuzzy Set Theory and Fuzzy Systems - Fractals, Chaos Theory and Chaotic Systems - Artificial Neural Networks - Genetic and Evolutionary Algorithms - Adaptive Agents and Multi-agent Learning - Multi-agent Social Simulation and Cognitive Modeling with Agents - Agent-Based Modeling and Simulation - Agent and Multi-agent Architectures - Game Theory, Strategic Decision-Making in Competitive Environments - Modeling and Control Systems - Diagnosis and Fault-tolerant Control Systems - Hardware-Software Co-Design, Embedded Systems - Complex Biomedical Engineering - Complex Dynamic Systems and Globalization - General System Theory and Methodology - Complex Social and Ecological Systems - Economical, Political and Juridical Systems - Socio-Cultural and Behavioral Modeling - Mathematical Methods in Cybernetics and Systems Theory - Sociocybernetics and Mathematical Sociology INVITED SESSIONS http://iccs12.org/invited.html KEYNOTE SPEAKERS http://iccs12.org/keynotes.html PROCEEDINGS, SPECIAL ISSUES All presented papers will be published in IEEE Xplore Digital Library and extended versions of selected papers will be published in special issues of international journals. GENERAL CHAIRS - M. Essaaidi,President - IEEE Morocco Section [essaaidi at ieee.org ; Phone: +212 (0) 661 725 992] - M. Nemiche, Ibn Zohr University, Agadir, Morocco [nemiche at uv.es] TECHNICAL PROGRAM COMMITTEE http://iccs12.org/committees.html CONTACT M. Nemiche nemiche at uv.es DEADLINES Paper Submission: April 30, 2012 Acceptance notification to authors: June 30, 2012 Final version and registration: July 28, 2012 ICCS'12 Conference: November 5-6, 2012 From pmt6sbc at maths.leeds.ac.uk Mon Feb 27 14:26:00 2012 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Mon, 27 Feb 2012 13:26:00 GMT Subject: Alan Turing Centenary Conference, University of Manchester, 22-25 June, 2012 Message-ID: <201202271326.q1RDQ0Q6010452@maths.leeds.ac.uk> THE TURING CENTENARY CONFERENCE Manchester, UK, June 22-25, 2012 http://www.turing100.manchester.ac.uk/ First announcement and call for submissions Features: (1) Ten Turing Award winners, a Templeton Award winner and Garry Kasparov as invited speakers (2) 20,000 pounds worth best paper award program, including 5,000 pounds best paper award (3) Three panels and two public lectures (4) Turing Fellowship award ceremony (5) and many more ... For more details please check http://www.turing100.manchester.ac.uk/. SPEAKERS Confirmed invited speakers: - Fred Brooks (University of North Carolina) - Rodney Brooks (MIT) - Vint Cerf (Google) - Ed Clarke (Carnegie Mellon University) - Jack Copeland (University of Canterbury, New Zealand) - George Francis Rayner Ellis (University of Cape Town) - David Ferrucci (IBM) - Tony Hoare (Microsoft Research) - Garry Kasparov (Kasparov Chess Foundation) - Don Knuth (Stanford University) - Yuri Matiyasevich (Institute of Mathematics, St. Petersburg) - Roger Penrose (Oxford) - Adi Shamir (Weizmann Institute of Science) - Michael Rabin (Harvard) - Leslie Valiant (Harvard) - Manuela M. Veloso (Carnegie Mellon University) - Andrew Yao (Tsinghua University) Confirmed panel speakers: - Ron Brachman (Yahoo Labs) - Steve Furber (The University of Manchester) - Carole Goble (The University of Manchester) - Pat Hayes (Institute for Human and Machine Cognition, Pensacola) - Bertrand Meyer (Swiss Federal Institute of Technology) - Moshe Vardi (Rice University) SUBMISSIONS: Submissions are welcome in all areas related to the work of Alan Turing in computer science, mathematics, cognitive science and mathematical biology. A non-exclusive list of topics is shown below: - computation theory - logic in computation - artificial intelligence - social aspects of computation - models of computation - program analysis - mathematics of evolution and emergence - knowledge processing - natural language processing - cryptography - machine learning See http://www.turing100.manchester.ac.uk/index.php/submission for more details. BEST PAPER AWARDS: A subset of poster session submissions will be selected as candidates for best paper awards: - The best paper award of 5,000 pounds - The best young researcher best paper award of 3,000 pounds - The second best paper award of 2,500 pounds - The second best young researcher best paper award of 1,500 pounds - Sixteen (16) awards of 500 pounds each See http://www.turing100.manchester.ac.uk/index.php/submission/bestpaper for more details. REGISTRATION: The number of participants is limited. Register early to avoid disappointment! DATES: February 23: Paper submission opens March 1: Registration opens March 15: Extended abstract submission deadline March 29: Poster session notification and selection of candidates for the best paper awards April 20: Full versions of papers selected for the best paper awards May 1: Final versions of poster session papers May 21: Best paper award decisions May 28: Final versions of papers selected for the best paper awards June 22-25: Conference CHAIRS: Honorary Chairs: Rodney Brooks (MIT) Roger Penrose (Oxford) Conference Chairs: Matthias Baaz (Vienna University of Technology) Andrei Voronkov (The University of Manchester) Turing Fellowships Chair: Barry Cooper (University of Leeds) Programme Chair Andrei Voronkov (The University of Manchester) __________________________________________________________________ The Alan Turing Year http://www.turingcentenary.eu/ From gerardo.simari at cs.ox.ac.uk Mon Feb 27 17:40:00 2012 From: gerardo.simari at cs.ox.ac.uk (Gerardo I. Simari) Date: Mon, 27 Feb 2012 16:40:00 +0000 Subject: Call for Participation: SBP12, April 2-5 University of Maryland In-Reply-To: References: Message-ID: CALL FOR PARTICIPATION Registration is now open for SBP12, the 2012 International Conference on Social Computing, Behavioral-Cultural Modeling, and Prediction. SBP12 will be held at the University of Maryland, College Park, Maryland, USA April 2 - April 5, 2012. SOME EXCITING ITEMS ON THE PROGRAM! New in 2012 - SBP 2012 Challenge - see: http://www.umiacs.umd.edu/conferences/sbp2012/challenge.html We are also seeking nominations for a Challenge Problem for 2013 -- see: http://www.umiacs.umd.edu/conferences/sbp2012/feedback.html TUTORIALS Morning and afternoon tutorials are offered on Monday, April 2 (comes with registration fee, lunch included): - Dynamic Network Analysis - Kathleen M. Carley; - Crowdsourcing, Human Computation, and Collective Intelligence - Haym Hirsh; and - Public Health Concepts: An Introduction for Modelers - Nathaniel Osgood & Patricia L. Mabry To see a full description of tutorials, see: http://www.umiacs.umd.edu/conferences/sbp2012/tutorials.html SBP12 KEYNOTE SPEAKERS: Dr. Bobby Milstein Fannie E. Rippel Foundation http://rippelfoundation.org/rethink-health/rethink-health-dynamics/whos-involved/ - April 3, 8:30 - 9:15am Dr. Patrick A. Mason Director, Human Performance, Training, and BioSystems Directorate Office of the Assistant Secretary of Defense for Research and Engineering http://www.umiacs.umd.edu/conferences/sbp2012/mason.pdf - April 4, 8:15 - 9:00am Dr. Joshua Epstein Professor of Emergency Medicine. Director, Center for Advanced Modeling in the Social, Behavioral and Health Sciences (CAM) Departments of Economics, Biostatistics, and Environmental Health Johns Hopkins University http://www.hopkinsmedicine.org/emergencymedicine/Faculty/JHH/EPSTEIN_joshua.html - April 5, 8:15 - 9:00am Please visit the conference website for further information. http://www.umiacs.umd.edu/conferences/sbp2012/index.html -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From klebanov at kit.edu Mon Feb 27 17:48:45 2012 From: klebanov at kit.edu (Vladimir Klebanov) Date: Mon, 27 Feb 2012 17:48:45 +0100 Subject: 1st CFP COMPARE2012 Workshop @IJCAR: Comparative Empirical Evaluation of Reasoning Systems Message-ID: ***************************************************************** COMPARE2012 - Call for papers 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems @IJCAR 2012 - 30 June 2012, Manchester, UK http://compare2012.verifythis.org/ ***************************************************************** IMPORTANT DATES Submission deadline: April 16th, 2012 Notification of acceptance: May 14th, 2012 Final version due: May 28th, 2012 Workshop: June 30, 2012 MOTIVATION AND GOAL Benchmark libraries and competitions are two popular approaches to comparative empirical evaluation of reasoning systems. After a significant increase in comparative evaluation activity recently, we feel that it is time to compare notes. What are the proper empirical approaches and criteria for effective comparative evaluation of reasoning systems? What are the appropriate hardware and software environments? How to assess usability of reasoning systems? How to design, acquire, structure, publish, and use benchmarks and problem collections? The workshop aims to advance comparative empirical evaluation by bringing together current and future competition organizers and participants, maintainers of benchmark collections, as well as practitioners and the general scientific public interested in the topic. Furthermore, the workshop intends to reach out to researchers specializing in empirical studies in computer science outside of automated reasoning. TOPICS The scope of the workshop includes (but is not limited to) topics such as the following. All topics apply to comparative evaluation of reasoning systems. Reports on evaluating a single system (such as case studies done with a particular system) are not in scope of the workshop. * Comparative case studies * Criteria for empirical evaluation * Design, organisation, and conclusions from competitions * Design, acquisition, execution, and dissemination of benchmarks * Experience reports * Hardware and software environments * Inter-community collaboration * Languages and language standards * Practitioner perspectives * Software and code quality evaluation * Surveys and questionnaires * Usability studies SUBMISSIONS AND PROCEEDINGS Papers can be submitted either as regular papers (6-15 pages in LNCS style) or as discussion papers (2-4 pages). Regular papers should present previously unpublished work (completed or in progress), including proposals for system evaluation, descriptions of benchmarks, and experience reports. Discussion papers are intended to initiate discussions, should address controversial issues, and may include provocative statements. All submitted papers will be refereed by the program committee and will be selected in accordance with the referee reports. The collection of accepted papers will be distributed at the workshop and will also be published in the CEUR Workshop Proceedings series. Submissions are now accepted via EasyChair. PROGRAM COMMITTEE (LIST NOT YET COMPLETE) * Bernhard Beckert (co-chair), Karlsruhe Institute of Technology, Germany * Christoph Benzmueller, Free University Berlin, Germany * Dirk Beyer, University of Passau, Germany * Armin Biere (co-chair), Johannes Kepler University Linz, Austria * Vinay Chaudhri, SRI International, USA * Koen Claessen, Chalmers Technical University, Sweden * Alberto Griggio, Fondazione Bruno Kessler, Italy * Marieke Huisman, University of Twente, the Netherlands * Radu Iosif, Verimag/CNRS/University of Grenoble, France * Vladimir Klebanov (co-chair), Karlsruhe Institute of Technology, Germany * Rosemary Monahan, National University of Ireland Maynooth * Michal Moskal, Microsoft Research, USA * Jens Otten, University of Potsdam, Germany * Franck Pommereau, University of Évry, France * Sylvie Putot, CEA-LIST, France * Olivier Roussel, CNRS, France * Albert Rubio, Universitat Politècnica de Catalunya, Spain * Aaron Stump, University of Iowa, USA * Geoff Sutcliffe (co-chair), University of Miami, USA CONTACT compare2012 at verifythis.org -- Vladimir Klebanov Postdoctoral Researcher, Application-oriented Formal Verification Karlsruhe Institute of Technology http://formal.iti.kit.edu/~klebanov From invitation at iariaschedule.org Mon Feb 27 19:37:51 2012 From: invitation at iariaschedule.org (ComputationWorld 2012) Date: Mon, 27 Feb 2012 13:37:51 -0500 Subject: Deadline Extension: ComputationWorld 2012: July 22-27, 2012 - Nice, France Message-ID: <1330367871727.3925@iariaschedule.org> INVITATION Note that the submission deadline has been extended to March 16, 2012. Please consider to contribute and encourage your team members and fellow scientists to contribute to the following federated events under ComputationWorld 2012. Thanks for forwarding the information on this Call for Submissions to those potentially interested to submit. ===== Call for Submissions ======= ComputationWorld 2012: July 22-27, 2012 - Nice, France see: http://www.iaria.org/conferences2012/ComputationWorld12.html ComputationWorld 2012 is a federated event focusing on computation technologies as they apply to several fields of study: services, cognition, adaptiveness, patterns, tools, and business intelligence. Submission (full paper) deadline: March 16, 2012 Submissions must be electronically done using the 'Submit a Paper' link on the entry page of each conference. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html. For details on the each conference's topics, see the individual Call for Papers for each conference. Unpublished high quality contributions in terms of Regular papers and Posters or Work in Progress are welcome. Workshop proposals and Panel proposals on challenging topics are encouraged. Extended versions of selected papers will be published in IARIA on-line Journals (http://www.iariajournals.org) and in Special issues of different journals mentioned on the entry page of each conference. All tracks/topics are open to both research and industry contributions. -- SERVICE COMPUTATION 2012, The Fourth International Conferences on Advanced Service Computing http://www.iaria.org/conferences2012/SERVICECOMPUTATION12.html -- CLOUD COMPUTING 2012, The Third International Conference on Cloud Computing, GRIDs, and Virtualization http://www.iaria.org/conferences2012/CLOUDCOMPUTING12.html -- FUTURE COMPUTING 2012, The Fourth International Conference on Future Computational Technologies and Applications http://www.iaria.org/conferences2012/FUTURECOMPUTING12.html -- COGNITIVE 2012, The Fourth International Conference on Advanced Cognitive Technologies and Applications http://www.iaria.org/conferences2012/COGNITIVE12.html -- ADAPTIVE 2012, The Fourth International Conference on Adaptive and Self-Adaptive Systems and Applications http://www.iaria.org/conferences2012/ADAPTIVE12.html -- CONTENT 2012, The Fourth International Conference on Creative Content Technologies http://www.iaria.org/conferences2012/CONTENT12.html -- PATTERNS 2012, The Fourth International Conferences on Pervasive Patterns and Applications http://www.iaria.org/conferences2012/PATTERNS12.html -- COMPUTATION TOOLS 2012, The Third International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking http://www.iaria.org/conferences2012/COMPUTATIONTOOLS12.html -- BUSTECH 2012, The Second International Conference on Business Intelligence and Technology http://www.iaria.org/conferences2012/BUSTECH12.html -------------------------------- IARIA Publicity Board ------------------------------- To stop receiving notices about ComputationWorld, please reply with "DROP ComputationWorld event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From greg at csd.auth.gr Tue Feb 28 07:53:01 2012 From: greg at csd.auth.gr (Grigorios Tsoumakas) Date: Tue, 28 Feb 2012 08:53:01 +0200 Subject: Last Call for Workshops and Tutorials at ECML PKDD 2012 Message-ID: <4F4C79CD.20206@csd.auth.gr> Last Call for Workshops and Tutorials at ECML PKDD 2012 ECML PKDD 2012: The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases September 24-28, 2012 - Bristol, UK http://www.ecmlpkdd2012.net/ ECML PKDD is the prime European scientific event in the fields of Machine Learning and Data Mining. The first and last day of the program are dedicated to workshops and tutorials on related topics. In this message, we call for proposals for workshops or tutorials. Candidate organizers should submit their proposal to either the workshop chairs or the tutorial chairs before or on March 9, 2012. For more information, please check the following detailed calls: - for workshops: http://www.ecmlpkdd2012.net/calls/call-for-workshops/ - for tutorials: http://www.ecmlpkdd2012.net/calls/call-for-tutorials/ Proposal deadline: Friday, March 9, 2012 Proposals for workshops or tutorials should be sent by email to: - ecmlpkdd2012workshops at cs.bris.ac.uk (workshop proposals) - ecmlpkdd2012tutorials at cs.bris.ac.uk (tutorial proposals) Arno Knobbe & Carlos Soares ECML PKDD 2012 Workshop Chairs Alessandro Moschitti and Siegfried Nijssen ECML/PKDD 2012 Tutorial Chairs From sonntag at dfki.de Tue Feb 28 18:48:22 2012 From: sonntag at dfki.de (Daniel Sonntag) Date: Tue, 28 Feb 2012 18:48:22 +0100 Subject: KI 2012 - Doctoral Consortium Message-ID: <4F4D1366.9000809@dfki.de> =========================== KI 2012 DOCTORAL CONSORTIUM =========================== KI 2012, Saarbrücken, Germany, 24-27 September, http://www.dfki.de/KI2012/ CALL FOR APPLICATIONS The German Conference on Artificial Intelligence traditionally brings together academic and industrial researchers from all areas of AI. The technical program of presentations, workshops, and tutorials is complemented by a doctoral consortium that invites participation by PhD students at any stage and from any subject area within AI. The goals of the doctoral consortium are - to provide PhD students with the opportunity to present their ongoing research and receive feedback from established researchers; - to promote networking among PhD students and AI researchers in general, both on a national and an international level; - to support students with information and advice on academic, research, and industrial careers. The doctoral consortium is implemented as a student mentoring program that introduces students to senior researchers in the relevant fields. Students accepted for the Doctoral Consortium will participate also in the main KI 2012 conference and are waived registration fee. SUBMISSION INFORMATION To apply for the KI 2012 doctoral consortium, please send the following documents by email to clu at uni-bremen.de: - An abstract of your thesis, formatted according to the KI guidelines, that describes the problem being addressed, the motivation for addressing the problem, the progress made to date, the proposed plan of further research, and related work. The abstract is limited to three pages. - A short CV (at most 2 pages) that covers background (name, university, supervisor), education (degree sought, year/status in degree, previous degrees), employment, and relevant experience in research (publications, presentations, conferences attended). - Optionally, you can suggest potential mentors who could give you advice on technical aspects of your work and on your career. IMPORTANT DATES July 9, 2012 Application deadline August 31, 2012 Acceptance notification September 24-27, 2012 Doctoral consortium (one day) For inquiries, please contact Carsten Lutz Universität Bremen clu at uni-bremen.de From cgf at isep.ipp.pt Wed Feb 29 00:13:24 2012 From: cgf at isep.ipp.pt (Carlos Ferreira) Date: Tue, 28 Feb 2012 23:13:24 +0000 Subject: CFP: Ubiquitous Data Mining (UDM) - ECAI 2012 Workshop Message-ID: <4F4D5F94.5040008@isep.ipp.pt> ** Apologies for cross-posting ** Ubiquitous Data Mining (UDM) Workshop Montpellier, France, August 27-31, 2012 http://www.liaad.up.pt/udm/ in conjunction with ECAI 2012 20th European Conference on Artificial Intelligence Montpellier, France, August 27-31, 2012 http://www2.lirmm.fr/ecai2012/ == Call for Papers == Ubiquitous Data Mining (UDM) uses Data Mining techniques to extract useful knowledge from data, namely when its characteristics reflect a World in Movement. The goal of this workshop is to convene researchers (from both academia and industry) who deal with techniques such as: decision rules, decision trees, association rules, clustering, filtering, learning classifier systems, neural networks, support vector machines, preprocessing, postprocessing, feature selection, visualization techniques, etc. for UDM of distributed and heterogeneous sources in the form of a continuous stream with mobile and/or embedded devices and related themes. Authors are invited to submit original papers in all topics related to Ubiquitous Data Mining. Selected papers will have to be presented during the workshop. The workshop will include extra time for audience discussion of the presentation allowing the group to have a better understanding of the issues, challenges, and ideas being presented. Authors of best workshop papers will be invited to submit extended versions of their work to Intelligent Data Analysis Journal. -- Important Dates -- Paper submission: 31 May, 2012 Author notification: 22 Jun, 2012 Camera-ready copy: 30 Jun, 2012 -- Topics -- Topics include but are not restricted to: - Adaptive Data Mining - Distributed Data Mining - Distributed Data Streams - Grid Data Mining - Learning in Ubiquitous environments - Learning from Sensor Networks - Learning from Social Networks - Visualization Techniques for UDM - Incremental On-line Learning Algorithms - Single-Pass and Scalable Algorithms - Learning in distributed neural network systems; - Real-Time and Real-World Applications - Resource-aware UDM - Theoretical frameworks for UDM -- Submission -- All papers should be submitted in ECAI 2012 camera ready format for publication in the symposium proceedings. The maximum length of papers should not exceed 5 pages in the case of research and experience papers, and 2 pages in the case of position papers (including figures, bibliography and appendices). Submission guidelines must be strictly followed. Papers should be submitted in PDF using the EasyChair conference system available at https://www.easychair.org/conferences/?conf=udm2012 All workshop participants are required to register for both the workshop and the main conference. ECAI, is the leading Conference on Artificial Intelligence in Europe, and is a biennial organization of the European Coordinating Committee for Artificial Intelligence ECCAI. -- Workshop Chairs -- João Gama, Manuel Filipe Santos, Nuno Marques, Paulo Cortez and Pedro Pereira Rodrigues -- Publicity Chair -- Carlos Abreu Ferreira Looking forward to meeting you in Montpellier! From torsten at cs.uni-potsdam.de Wed Feb 29 01:49:17 2012 From: torsten at cs.uni-potsdam.de (Torsten Schaub) Date: Wed, 29 Feb 2012 01:49:17 +0100 Subject: 3 Doctoral (PostDoctoral) Positions in KRR/ASP Message-ID: <87d38yo44y.fsf@re.haiti.cs.uni-potsdam.de> [Sorry for multiple copies] 3 Doctoral (PostDoctoral) Positions in KRR/ASP The Knowledge Representation and Reasoning (KRR) groups at the University of Leipzig and Potsdam headed by Gerhard Brewka and Torsten Schaub, respectively, are looking for Doctoral (or PostDoctoral) Researchers in the area of KRR, in particular, Answer Set Programming (ASP) and Multi-Context Systems (MCS). All three positions are part of the DFG research unit on "Hybrid Reasoning in Intelligent Systems": http://www.hybrid-reasoning.org The groups in Leipzig and Potsdam are jointly investigating two research projects: - From Correlation to Causality: Reasoning Over Dynamic Protein Interaction Networks (This project is done in collaboration with Michael Schroeder/TU Dresden.) - Advanced Solving Technology for Dynamic and Reactive Applications The positions are based at the following locations: - Leipzig: 1 position Topics: Hybrid and Reactive MCS, Reactive Argumentation and Decision Making, Multi-Criteria Optimization - Potsdam: 2 positions Topics: Hybrid, Incremental, and Reactive ASP, Multi-Criteria Optimization Successful candidates hold either a MSc (or PhD) in Computer Science or a related discipline and have an interest in logic-based KRR, in particular, ASP, MCS, or related areas. The appointment is initially for 3 years and afterwards subject to project extension. The salaries follow the German E13 scheme and depend on the applicant's work experience. Initial screening of applications begins immediately and the position remains open until filled. Applications: Please contact Gerhard Brewka and/or Torsten Schaub, preferably via email to Gerhard Brewka Torsten Schaub From thierry.petit at mines-nantes.fr Wed Feb 29 11:39:19 2012 From: thierry.petit at mines-nantes.fr (Thierry PETIT) Date: Wed, 29 Feb 2012 11:39:19 +0100 Subject: CPAIOR 2012 Call for participation Message-ID: CPAIOR 2012 CALL FOR PARTICIPATION Ninth International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming May 28 - June 1, 2012, Cité des Congrès, Nantes web: http://www.emn.fr/z-info/cpaior-2012/ CPAIOR series: http://www.andrew.cmu.edu/user/vanhoeve/cpaior/ This year, CPAIOR will feature 26 presentations of papers (http://www.emn.fr/z-info/cpaior-2012/index.php?page=topics-and-autors), and three invited talks from: - Michel Habib, Université de Paris Diderot, France - Helmut Simonis, 4C, Ireland - Laurence Wolsey, Université Catholique de Louvain, Belgium The conférence is preceded by a number of satellite events: - A one-day Master Class on Scheduling, The program of the Master Class is available one the website of CPAIOR: http://www.emn.fr/z-info/cpaior-2012/index.php?page=master-class - A one-day Wokshop session : http://www.emn.fr/z-info/cpaior-2012/index.php?page=workshops - Combinatorial Optimization in Logistics and Production Systems Chairs : E. Pinson and J. E. Mendoza - First International Workshop on Search Strategies and Non-standard Objectives (SSNOWorkshop'12) Chairs : C. Artigues, E. Hebrard, M.-J. Huguet, D. Mehta - Fourth International Workshop on Bin Packing and Placement Constraints (BPPC'12) Chairs : N. Beldiceanu and F. Fages ================================= IMPORTANT DATES ================================= - Early regristration till May 2, 2012 - Late registration online till May 21, 2012 Registration will also be available onsite. It includes all coffee breaks, lunches (except on Tuesday May 29), and the social event on May 31, 2012. - Master Class: May 28, 2012 - Workshops: May 29, 2012 - Main Conference: May 30 to June 1, 2012 ================================= REGRISTRATION FEES ================================= Option A - Delegates early registration till May 2, 2012 €370 Option B - Students early registration till May 2, 2012 €200 Option C - Delegates late registration till May 21, 2012 €450 Option D - Students late registration till May 21, 2012 €300 Option E - Master Class only till May,21, 2012 €80 Option F - Workshops only till May,21, 2012 €80 Option G - Delegates on-site registration till May 21, 2012 €570 Option H - Students on-site registration till May 21, 2012 €450 All the details about the features of each option and registration form are available on the CPAIOR website: http://www.emn.fr/z-info/cpaior-2012/index.php?page=registration For more information, please write to the conference chairs: cpaior2012 at mines-nantes.fr -- Thierry Petit, Co-head TASC: http://www.emn.fr/z-info/ppc/ Ecole des Mines de Nantes, LINA CNRS UMR 6241 Tel: + 33 (0)2 51 85 82 08 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fink at kr.tuwien.ac.at Wed Feb 29 15:51:02 2012 From: fink at kr.tuwien.ac.at (Michael Fink) Date: Wed, 29 Feb 2012 15:51:02 +0100 (CET) Subject: CFP: ARCOE-12 The 4th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge Message-ID: <38319.128.130.205.47.1330527062.squirrel@www.kr.tuwien.ac.at> === CALL FOR PAPERS === Acquisition, Representation and Reasoning with Contextualized Knowledge, 4th International Workshop (ARCOE-12) http://www.arcoe.org/2012 held in collocation with 20th European Conference on Artificial Intelligence (ECAI-12) Montpellier, France -- Important Dates -- Submission deadline: 28 May 2012 Notification: 28 June 2012 Camera ready: 15 July 2012 Early registration: [TBA] Late registration: [TBA] Workshop dates: 27-28 August 2012 -- Description of the workshop -- Dealing with context is one of the most interesting and most important problems faced in Artificial Intelligence (AI). Traditional AI applications often require to model, store, retrieve and reason about knowledge that holds within certain circumstances - the context. Without considering this contextual information, reasoning can easily run to problems such as: inconsistency, when considering knowledge in the wrong context; inefficiency, by considering knowledge irrelevant for a certain context; incompleteness, since an inference may depend on knowledge assumed in the context and not explicitly stated. Contextual information is also relevant in many tasks in knowledge representation and reasoning such as common-sense reasoning, dealing with inconsistency, ambiguity, and uncertainty, evolution, etc. In recent years, research in contextual knowledge representation and reasoning became more relevant in the areas of Semantic Web, Linked Open Data, and Ambient Intelligence, where knowledge is not considered a monolithic and static asset, but it is distributed in a network of interconnected heterogeneous and evolving knowledge resources. The ARCOE workshop aims to provide a dedicated forum for researchers interested in these topics to discuss recent developments, important open issues, and future directions. -- Topics -- ARCOE-12 welcomes submissions on the topics below as well as on their intersection and other topics related to acquisition, representation, reasoning with context and its applications. Philosophical and theoretical foundations of context: 1. What is context and how should it be represented. 2. Relevant types of contextual information and their properties. 3. Combining contextual information with object information for reasoning. 4. Context and common-sense reasoning. 5. Exploiting context in inconsistency and uncertainty handling, defeasible reasoning and argumentation. 6. Contextual logic programming. 7. Updating contextual knowledge and context-aware belief revision. 8. Frameworks for formalizing context and context-aware knowledge representation. Context modeling and contextual knowledge engineering: 1. Modeling of user's/agent's context. 2. Context driven organization of knowledge and modeling. 3. Ontologies for context modeling. 4. Context-aware modeling tools and methodology. 5. Comparisons to context-unaware modeling techniques. Effective reasoning with context: 1. Effective context-aware reasoning algorithms. 2. Distributed reasoning with context. 3. Context-driven heuristics in classical reasoning systems. 4. Reasoning under uncertainty and inconsitency. 5. Defeasible reasoning. 4. Hybrid formalisms for reasoning with context, including sub-symbolic contexts Applications of context in areas such as: 1. Agent communication and coordination. 2. Semantic Web and Linked Open Data. 3. Knowledge modularization. 4. Ontology matching. 5. Ontology fault diagnosis and repair. 6. Ontology evolution and versioning. 7. Information integration. 8. Ambient intelligence and pervasive computing. 9. Exploiting context in Web 2.0 applications, e-commerce, and e-learning. -- Submission Requirements -- Papers of two types can be submitted. Regular papers are intended for research reports and surveys. ARCOE also welcomes reports on significant work in progress which has already achieved some interesting partial results, as well as papers recently submitted or published elsewhere as long as their topic is in line with the workshop. Regular papers should not exceed 12 pages in length including references. Position papers are intended for presentation of interesting new open issues and challenges, and opinions on the status of the field. Position papers are limited to 6 pages including references. All papers must be formatted using the Springer LNCS style: http://www.springer.com/comp/lncs/Authors.html and submitted in PDF format via EasyChair using: https://www.easychair.org/conferences/?conf=arcoe12 The distinction during the selection-phase will be based on 1) Relevance, significance and quality of the submission; 2) The contribution's potential to foster cross-pollination and discussions on ARCOE main themes during the event. Accepted papers will be presented either as oral presentations or as posters, depending on the choice of the program committee. However, all accepted papers will be included in the Working Notes in their full form and will be accessible via the Internet. -- Workshop Co-Chairs -- * Michael Fink, Vienna University of Technology * Martin Homola (primary contact), Comenius University, Bratislava * Alessandra Mileo, DERI, National University of Ireland * Ivan Jose Varzinczak, Centre for Artificial Intelligence Research, South Africa -- Steering Committee -- * Alan Bundy, University of Edinburgh * Thomas Eiter, Vienna University of Technology * Luciano Serafini, Fondazione Bruno Kessler, Trento -- Resources -- ARCOE-12 website: http://www.arcoe.org/2012/ EasyChair submission site: https://www.easychair.org/conferences/?conf=arcoe12 ARCOE workshop series: http://www.arcoe.org/ ECAI-12 website: http://www2.lirmm.fr/ecai2012/ Enquiries about the ARCOE workshop: arcoe [at] arcoe [dot] org