From jleite at di.fct.unl.pt Wed May 1 02:59:35 2013 From: jleite at di.fct.unl.pt (Joao Leite) Date: Wed, 1 May 2013 01:59:35 +0100 Subject: Second CFP: CLIMA XIV - 14th Int'l Workshop on Computational Logic in Multi-Agent Systems Message-ID: [Please accept our apologies if you receive multiple postings.] ++++++++++++++++++++++++++++++++++++++++++++++++++++ Second Call for Papers CLIMA XIV 14th International Workshop on Computational Logic in Multi-Agent Systems with special sessions on: * Argumentation Technologies * Norms and Normative Multi-Agent Systems. http://centria.di.fct.unl.pt/events/climaXIV/ Corunna, Spain, September 16-17, 2013. Co-located with LPNMR'13. Submission deadline: June 10th (abstracts June 6th). Proceedings: LNCS/LNAI volume (available at the workshop). JLC Special Issue: Selected extended papers will be published in a Special Issue of the Journal of Logic and Computation. ++++++++++++++++++++++++++++++++++++++++++++++++++++ The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. Following the previous thirteen, very successful, editions, the 14th CLIMA will take place in Corunna, Spain, on the 16th and 17th of September 2013. It will be co-located with LPNMR'13. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions: * Argumentation Technologies * Norms and Normative Multi-Agent Systems. We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. LNCS Proceedings: CLIMA's Proceedings will be published by Springer as a volume in the Lecture Notes in Computer Science, and will be available in time for the workshop. JLC Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to be considered for inclusion in a CLIMA Special Issue of the Journal of Logic and Computation. Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, formatting and submission instructions is available at http://centria.di.fct.unl.pt/events/climaXIV/ Important dates: * Submission: June 6th (Abstracts) / June 10th (Papers) * Notification: June 24th * Camera Ready: July 4th CLIMA XIV Chairs: * João Leite, New University of Lisbon, Portugal * Tran Cao Son, New Mexico State University, NM, USA Special Session Organisers: Argumentation Technologies: * Paolo Torroni, University of Bologna, Italy * Stefan Woltran, Vienna University of Technology, Austria Norms and Normative Multi-Agent Systems: * Leon van der Torre, Univ. of Luxembourg, Luxembourg Please send all enquiries about CLIMA XIV to climaxiv2013 at easychair.org -- --------------------------------------------------------------- Joao Leite FCT-UNL - Universidade Nova de Lisboa, Faculdade de Ciencias e Tecnologia, Departamento de Informatica e-mail: jleite at fct.unl.pt web: http://centria.di.fct.unl.pt/~jleite --------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From m.b.vanriemsdijk at tudelft.nl Wed May 1 10:19:48 2013 From: m.b.vanriemsdijk at tudelft.nl (Birna van Riemsdijk) Date: Wed, 1 May 2013 10:19:48 +0200 Subject: Call for participation IEA/AIE 2013, Amsterdam Message-ID: IEA/AIE-2013 CALL FOR PARTICIPATION 26th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems Amsterdam, The Netherlands June 17-21 2013 Sponsored by: International Society of Applied Intelligence (ISAI), Almende Registration is now open for IEA/AIE 2013 at http://iea-aie2013.few.vu.nl/ For online registration and information about accommodation options, see the "Participation" section of the Web site. Scope: IEA/AIE 2013 continues the tradition of emphasizing applications of applied intelligent systems to solve real-life problems in all areas including engineering, science, industry, automation & robotics, business & finance, medicine and biomedicine, bioinformatics, cyberspace, and human-machine interactions. IEA/AIE-2013 will include oral presentations, invited speakers, special sessions, and a doctoral consortium. Keynote Speakers: Dr. Matthias Klusch, DFKI Saarbrucken, Germany Prof. Dr. Emile Aarts, Eindhoven University of Technology, previously Philips Research See for more details on the programme: http://iea-aie2013.few.vu.nl/program.shtml -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From guido at di.unito.it Wed May 1 16:59:20 2013 From: guido at di.unito.it (Guido Boella) Date: Wed, 01 May 2013 16:59:20 +0200 Subject: AI*IA 2013: Second Call for Papers Message-ID: <51812DC8.9070707@di.unito.it> C a l l f o r P a p e r s A I * I A 2 0 1 3 XIII Conference of the Italian Association for Artificial Intelligence Torino, December 4‐6, 2013 http://di.unito.it/aixia2013 D e a d l i n e i s e n d o f M a y 2 0 1 3 ! ! ! ----------------------------------------------------------------- W h a t ' s n e w i n t h i s C f P ----------------------------------------------------------------- - Proceedings will be published in the LNAI series by Springer. - Follow us! On Twitter, by AI*IA 2013 Android App, and subscri- bing (free) at the web site. - List of workshops at AI*IA 2013 - Invited speakers ----------------------------------------------------------------- X X V A n n i v e r s a r y o f A I * I A ----------------------------------------------------------------- AI*IA 2013 is the thirteenth International Conference on Advances in Artificial Intelligence held bi‐annually by the Italian Asso‐ ciation for Artificial Intelligence (AI*IA). The conference will host special sessions for celebrating an im‐ portant occasion: the 25th anniversary of AI*IA. ----------------------------------------------------------------- F o l l o w u s ! ----------------------------------------------------------------- - Twitter @aixia2013 - AI*IA 2013 Android App https://play.google.com/store/apps/details?id=it.unito.di.hermes4aiia2013 - On the web site, please, register to receive news: https://aixia2013.i-learn.unito.it/login/signup.php ----------------------------------------------------------------- A " S o c i a l " C o n f e r e n c e ----------------------------------------------------------------- For this important occasion the AI*IA Conference renews its for‐ mat to better accomplish the mission of a conference: meeting and discussion. In order to foster discussion and to facilitate idea exchange, community creation, and collaboration, the AI*IA Con‐ ference becomes, for the 2013 edition, a "social" conference. In the time between acceptance and presentation, each paper will have an own public web space and a forum, where authors will pub‐ lish preprints, will possibly publish additional materials, and will moderate discussions on the topics of their research. Pre‐ sentation at the conference will, thus, have a deeper impact: by attending the conference, researchers will have the chance to tighten the relationships their papers started on the web, by means of vis‐a‐vis discussions. To this aim, presentation will be performed in a radically innovative and more active way: the au‐ thors of each paper will shortly introduce and motivate their work to the audience, so as to reach also participants who did not take part to the web discussions, then, they will meet and discuss with other researchers, stakeholders from the industrial world, and students at reserved tables. Attendees will have the possibility to book directly with authors time slots for discus‐ sion, through the web, before the conference takes place, or to roam from table to table at the conference, browsing through dis‐ cussions. More information will be published in the conference web site (http://di.unito.it/aixia2013). Subscribe the conference web site to receive updates by email. ----------------------------------------------------------------- T o p i c s o f I n t e r e s t ----------------------------------------------------------------- The conference covers broadly the many aspects of theoretical and applied Artificial Intelligence. A series of workshops dedicated to specific topics will complement the main conference program. Contributions are invited on original, and unpublished research on all aspects of artificial intelligence, including, but not limited to: * AI and digital entertainment * AI applications * AI architectures * AI in Learning Environments * Cognitive modeling * Cognitive Robotics * Constraint Satisfaction * Experimentation of Combinatorial Algorithms * Human Computer Interaction * Information Agents * Information Retrieval and Extraction * Knowledge Acquisition * Knowledge Engineering * Knowledge Representation * Learning in adaptive systems * Machine Consciousness * Machine learning * Mathematical Foundations * Metacognition in Artificial Agents * Multiagent Systems, Distributed AI * Natural Language Processing * Ontologies * Philosophical Foundations * Planning and Scheduling * Reasoning * Search * Semantic Web * Soft and Evolutionary Computing * Temporal Reasoning * Uncertainty * Vision * Web and Data Mining ----------------------------------------------------------------- I n v i t e d S p e a k e r s ----------------------------------------------------------------- - Giuseppe Attardi, Università di Pisa, Italy - Raphael H. Bordini, Pontificia Universidade Católica do Rio Grande do Sul, Brazil ----------------------------------------------------------------- C o ‐ l o c a t e d e v e n t s a n d W o r k s h o p s ----------------------------------------------------------------- Co-located events: - WOA 2013, Workshop dagli Oggetti agli Agenti http://di.unito.it/woa2013 - PAI 2013, Popularize Artificial Intelligence http://di.unito.it/pai2013 AI*IA 2013 Workshops: W01 Second Workshop on Argumentation in Artificial Intelligence and Philosophy: computational and philosophical perspectives (ARGAIP-2013) W02 AI and Cognition 2013 (AIC 2013) W03 1st International Workshop on Emotion and Sentiment in So- cial and Expressive Media (ESSEM 2013): approaches and per- spective from AI W04 5th Italian Workshop on Planning and Scheduling W05 AI*HCI 2013: International Workshop on Intelligent User In- terfaces W06 Advanced Techniques for Data Preprocessing W07 RiCeRcA 2013: RCRA Incontri e Confronti W08 Artificial Intelligence for Smart Cities W09 Doctoral Workshop in Artificial Intelligence (DWAI) W10 The 7th International Workshop on Information Filtering and Retrieval (DART 2013) W11 Second Italian Workshop on Machine Learning and Data Mining W12 AI meets Business Processes (AIBP 2013) W13 The challenge of Ageing Society: technological roles and op- portunities for Artificial Intelligence The workshops web sites are under construction. They will soon be available on: http://di.unito.it/aixia2013 ----------------------------------------------------------------- S u b m i s s i o n I n s t r u c t i o n s ----------------------------------------------------------------- We welcome and encourage the submission of high-quality, original papers, which are not being submitted simultaneously for publica- tion elsewhere. Papers should be written in English, formatted according to the Springer LNCS style, and not exceed 12 pages. Paper submission is electronic via the conference website. ----------------------------------------------------------------- C o n f e r e n c e P r o c e e d i n g s ----------------------------------------------------------------- Printed copies of the proceedings will be available at the con- ference. The conference proceedings will be published by Sprin- ger in the Lecture Notes in Artificial Intelligence series. ----------------------------------------------------------------- I m p o r t a n t d a t e s ----------------------------------------------------------------- Abstract submission deadline: May 28th, 2013 Paper submission deadline: May 31st, 2013 Notification to authors: July 30th, 2013 Camera-ready copies due: September 15th, 2013 Early registration deadline for at least one of the authors of accepted papers: September 20th, 2013 Early registration (for everybody else): October 31st, 2013 Conference dates: December 4-6, 2013 ----------------------------------------------------------------- O r g a n i z i n g C o m m i t t e e ----------------------------------------------------------------- Matteo Baldoni, Università degli Studi di Torino Cristina Baroglio, Università degli Studi di Torino Guido Boella, Università degli Studi di Torino Vincenzo Lombardo, Università degli Studi di Torino Alessandro Mazzei, Università degli Studi di Torino Roberto Micalizio, Università degli Studi di Torino ----------------------------------------------------------------- O t h e r I n f o ----------------------------------------------------------------- Contact: aixia2013 at easychair.org Twitter: @aixia2013 From ggianna at iit.demokritos.gr Wed May 1 17:10:42 2013 From: ggianna at iit.demokritos.gr (George Giannakopoulos) Date: Wed, 01 May 2013 18:10:42 +0300 Subject: CORRECTED: MultiLing 2013 - Multilingual Multi-document Summarization 2nd Call for Systems/Participation Message-ID: <51813072.7090404@iit.demokritos.gr> Please feel free to forward this call. Apologies for cross-postings. MultiLing 2013 - Multilingual Multi-document Summarization Second Call for Systems/Participation August 9th, 2013 ACL 2013, Sofia, Bulgaria http://multiling.iit.demokritos.gr/pages/view/662/multiling-2013 Overview ================================================================ MultiLing 2013 is a workshop, held within ACL 2013, which covers three sub-domains of Natural Language Processing, focused on the multilingual aspect of summarization: multi-document summarization, summarization evaluation and data collection. The MultiLing 2013 workshop builds upon the Text Analysis Conference (TAC) MultiLing Pilot task of 2011, where systems were asked to generate fluent, representative summaries (around 250 words) for each of a set of predefined topics per language. This year each topic is described by 10 source documents. The set of documents is in one of the following languages: Arabic, Chinese, Czech, English, French, Greek, Hebrew, Hindi, Romanian and Spanish. Based on the challenges revealed in MultiLing 2011, this year we also address the problems of multilingual summary evaluation and data collection. We also conduct a pilot task for single document summarization. This call asks for systems to participate and compete in the MultiLing 2013 tracks. You can find information on how to participate at the end of this document. Introduction ================================================================ MultiLing 2013 aims to encourage research on multilingual summarization, by providing a corpus in various languages, common evaluation procedures and a forum for participants to present their results. This call invites you to participate in the MultiLing 2013 Workshop tracks. MultiLing 2013 organizers will provide suitable corpora for each track. MultiLing 2013 has two main tracks and a pilot: 1) Multilingual multi-document summarization 2) Multilingual summary evaluation 3) (Pilot) Multilingual single document summarization Tracks and Tasks Detailed ================================================================ Track 1: Multilingual multi-document summarization ---------------------------------------------------------------- The multilingual multi-document summarization track aims to evaluate the application of (partially or fully) language-independent summarization algorithms on a variety of languages. Each system participating in the track will be called to provide summaries for a range of different languages, based on a news corpus. Participating systems will be required to apply their methods to a minimum of two languages. Evaluation will favor systems that apply their methods to more languages. The corpus used in the Multilingual multi-document summarization track will be based on WikiNews texts (http://www.wikinews.org/). Source texts will be UTF-8, clean texts (without any mark-up, images,etc.). The task requires systems to generate a single, fluent, representative summary from a set of documents describing an event sequence. The language of the document set will be within a given range of languages and all documents in a set share the same language. The output summary should be of the same language as its source documents. The output summary should be 250 words at most. Track 2: Multilingual summary evaluation ---------------------------------------------------------------- This track aims to examine how well automated systems can evaluate summaries from different languages. The task offers as input the summaries generated from automatic systems and humans in the Multilingual multi-document summarization task. The output of evaluating systems, should be a grading of the summaries. Ideally, we would want the automatic evaluation to maximally correlate to human judgment. Human judgments will be provided by the organizers, thanks to the co-operating Contributors. The corpus of the Multilingual summary evaluation will consist of gold (human) summaries and the automatic system summaries output from the Multilingual multi-document summarization task. Pilot: Multilingual single document summarization ---------------------------------------------------------------- This pilot aims to measure the ability of automated systems to apply single document summarization, in the context of Wikipedia texts. Given a single encyclopedic entry, possibly with several sections/subsection, describing a specific subject, the systems will be requested to provide a summary covering the main points of the entry (similarly to the lead section of a Wikipedia page). The corpus will consist of (non-parallel) documents in over 40 languages. Participating systems will be required to apply their methods to a minimum of two languages. Evaluation will favor systems that apply their methods to more languages. The pilot corpus will be based on selected texts from Wikipedia. Details will follow in the MultiLing 2013 website (http://multiling.iit.demokritos.gr/) Roadmap: ======================================= Please check the roadmap page on the MultiLing website: http://bit.ly/16ms5lr How to apply as a Participant: ================================================================ Enter your information by *April 20th, 2013* at the following web form: http://bit.ly/11dpWJx If you have problems or questions, please contact George Giannakopoulos (ggianna @ iit.demokritos.gr) directly. Program Committee Members ====================== The Program Committee members are: Hoa Trang Dang - NIST Lucy Vanderwende - Microsoft Horacio Saggion - Universitat Pompeu Fabra Vangelis Karkaletsis - NCSR Demokritos Karolina Owczarzak - Oracle John Conroy - IDA Center for Computing Sciences George Giannakopoulos - NCSR Demokritos Data Contributors ============== Lei Li - Beijing University of Posts and Telecommunications (BUPT), China Corina Forascu - Romanian Academy Research Institute for Artificial Intelligence (RACAI), Romania and Alexandru Ioan Cuza University of Iasi (UAIC), Romania Jeff Kubina, John Conroy, Judith Shleshinger - IDA/Center for Computing Sciences, USA Sabino Miranda - Center for Computing Research, Instituto Politécnico Nacional, Mexico Michael Elhadad - Department of Computer Science, Ben-Gurion University of the Negev, Israel (Many thanks to Marina Litvak - Sami Shamoon College of Engineering, Israel, for her active support related to the Hebrew language.) Mahmoud El-Haj - Lancaster University, UK Ans Alghamdi, Essex University, UK Maha Althobaiti, Essex University, UK Ahmad Alharthi, King Saud University, Saudi Arabia Josef Steinberger - University of West Bohemia, Czech Republic Georgios Petasis, George Giannakopoulos - NCSR "Demokritos", Greece -- --------------------------------------------------- George Giannakopoulos, PhD Researcher http://www.iit.demokritos.gr/~ggianna SKEL - NCSR Demokritos Patr. Grigoriou and Neapoleos 15310, Ag. Paraskevi, Athens, Greece e-mail:ggianna at iit.demokritos.gr OKKAMID:http://www.okkam.org/ens/id062eca55-8f93-4dc2-bf79-4145ac8f2b7a -------------------------------------------------- From owre at csl.sri.com Thu May 2 05:32:18 2013 From: owre at csl.sri.com (Sam Owre) Date: Wed, 01 May 2013 20:32:18 -0700 Subject: VSTTE 2013 Call for Participation Message-ID: <23646.1367465538@ubi> CALL FOR PARTICIPATION Fifth Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2013) May 17--19, 2013, Atherton, California https://sites.google.com/site/vstte2013/ The Fifth IFIP Working Conference on Verified Software: Theories, Tools, and Experiments follows a successful inaugural working conference at Zurich in 2005 followed by conferences in Toronto (2008), Edinburgh (2010), and Philadelphia (2012). The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation. Registration: http://fm.csl.sri.com/VSTTE2013/registration.html Note that the Summer School on Formal Techniques follows shortly after at the same location (http://fm.csl.sri.com/SSFT13/) Program: -------- Thur May 16, 2013 6PM: Wine/Cheese Reception Fri May 17, 2013 9-10AM: Alex Aiken (Stanford): Using Learning Techniques in Invariant Inference Abstract: Arguably the hardest problem in automatic program verification is designing appropriate techniques for discovering loop invariants (or, more generally, recursive procedures). Certainly, if invariants are known, the rest of the verification problem becomes easier. This talk presents a family of invariant inference techniques based on using test cases to generate an underapproximation of program behavior and then using learning algorithms to generalize the underapproximation to an invariant. These techniques are simpler, much more efficient, and appear to be more robust than previous approaches to the problem. If time permits, some open problems will also be discussed. 10-10.30AM: Break 10.30-12 noon: Static Analysis Philipp Ruemmer, Hossein Hojjat and Viktor Kuncak. Classifying and Solving Horn Clauses for Verification Olivier Bouissou, Eric Goubault, Sylvie Putot, Jean Goubault-Larrecq and Assale Adje. Static Analysis of Programs with Imprecise Probabilistic Inputs Etienne Kneuss, Viktor Kuncak and Philippe Suter. Effect Analysis for Programs with Callbacks noon-1.30PM: Lunch 1.30-3PM: Model Checking Pamela Zave and Jennifer Rexford. Compositional Network Mobility Nicolas Rosner, Carlos Gustavo Lopez Pombo, Nazareno Aguirre, Ali Jaoua, Ali Mili and Marcelo Frias. Parallel Bounded Verification of Alloy Models by TranScoping Stephan Falke, Florian Merz and Carsten Sinz. Extending the Theory of Arrays: memset, memcpy, and Beyond 3-3.30PM: Break 3.30-4.30PM: Unrolling Tuan-Hung Pham and Michael Whalen. An Improved Unrolling-Based Decision Procedure for Algebraic Data Types Julian Tschannen, Carlo A. Furia, Martin Nordio and Bertrand Meyer. Program Checking With Less Hassle 5-6PM: Panel (TBD) Sat May 18, 2013 9-10AM: Nikhil Swamy (Microsoft Research): F*: Certified Correctness for Higher-order Stateful Programs Abstract: F* is an ML-like programming language being developed at Microsoft Research. It has a type system based on dependent types and a typechecker that makes use of an SMT solver to discharge proof obligations. The type system is expressive enough to express functional correctness properties of typical, higher-order stateful programs. We have used F* in a variety of settings, including in the verification of security protocol implementations; as a source language for secure web-browser extensions; as an intermediate verification language for JavaScript code; to verify the correctness of compilers; as a relational logic for probabilistic programs; and as a proof assistant in which to carry out programming language metatheory. We have also used F* to program the core typechecker of F* itself and have verified that it is correct. By bootstrapping this process using the Coq proof assistant, we obtain a theorem that guarantees the existence of a proof certificate for typechecked programs. I will present a brief overview of the F* project, drawing on the examples just mentioned to illustrate the features of the F* language and certification system. For more about F*, visit http://research.microsoft.com/fstar. 10-10.30: Break 10.30-12: Reasoning Methodology K. Rustan M. Leino and Nadia Polikarpova. Verified Calculations Jean-Christophe Filliatre, Claude Marché, François Bobot, Andrei Paskevich and Guillaume Melquiond. Preserving User Proofs Across Specification Changes Daniel Jost and Alexander J. Summers. An automatic encoding of VeriFast Predicates into Implicit Dynamic Frames 12-1.30: Lunch 1.30-2.30: Andre Platzer: How to Explain Cyber-Physical Systems to Your Verifier Abstract: Despite the theoretical undecidability of program verification, practical verification tools have made impressive advances. How can we take verification to the next level and use it to verify programs in cyber-physical systems (CPSs), which combine computer programs with the dynamics of physical processes. Cars, aircraft, and robots are prime examples where this matters, because they move physically in space in a way that is determined by discrete computerized control algorithms. Because of their direct impact on humans, verification for CPSs is even more important than it already is for programs. This talk describes how formal verification can be lifted to one of the most prominent models of CPS called hybrid systems, i.e. systems with interacting discrete and continuous dynamics. It presents the theoretical and practical foundations of hybrid systems verification. The talk shows a systematic approach that is based on differential dynamic logic comes with a compositional proof technique for hybrid systems and differential equations. This approach is implemented in the verification tool KeYmaera and has been used successfully for verifying properties of aircraft, railway, car control, autonomous robotics, and surgical robotics applications. 2.30-3PM: Break 3-5.00PM: System Verification Shilpi Goel and Warren Hunt. Automated Code Proofs on a Formal Model of the X86 Toby Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Timothy Bourke, Sean Seefried, Corey Lewis, Xin Gao and Gerwin Klein. seL4: from General Purpose to a Proof of Information Flow Enforcement Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler and Wolfgang Reif. Verification of a Virtual Filesystem Switch Liang Zou, Jidong Lv, Shuling Wang, Naijun Zhan, Tao Tang, Lei Yuan and Yu Liu. Verifying Chinese Train Control System Under a Combined Scenario by Theorem Proving 5.30-6.30PM: Panel (TBD) 8PM: Banquet 9-10AM: Sandrine Blazy A Tutorial on the CompCert Verified Compiler. 10-10.30: Break 10.30-noon: Verified Tools Sandrine Blazy, André Maroneze and David Pichardie. Formal Verification of Loop Bound Estimation for WCET Analysis Frédéric Besson, Pierre-Emmanuel Cornilleau and Thomas Jensen. Result Certification of Static Program Analysers with Automated Theorem Provers Anthony Narkawicz and Cesar Munoz. A Formally Verified Generic Branching Algorithm for Global Optimization noon-1.30: Lunch 1.30-5: Excursion From yuliya.lierler at gmail.com Thu May 2 07:33:53 2013 From: yuliya.lierler at gmail.com (Yuliya Lierler) Date: Thu, 2 May 2013 05:33:53 +0000 Subject: CfP ASPOCP 2013: 6th Workshop on Answer Set Programming and Other Computing Paradigms Message-ID: =============================================================================== CALL FOR PAPERS ASPOCP 2013 6th Workshop on Answer Set Programming and Other Computing Paradigms http://www.kr.tuwien.ac.at/events/aspocp2013 August 25th, 2013 Collocated with the International Conference on Logic Programming 2013 Istanbul, Turkey August 24-29, 2013 =============================================================================== AIMS AND SCOPE Since its introduction in the late 1980s, answer set programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was found to be closely related to SAT, which has led to a method of computing answer sets using SAT solvers and techniques adapted from SAT. While this has been the most studied relationship which is currently extended towards satisfiability modulo theories (SMT), the relationship of ASP to other computing paradigms, such as constraint satisfaction, quantified boolean formulas (QBF), first-order logic (FOL), or FO(ID) logic is also the subject of active research. New methods of computing answer sets are being developed based on the relation between ASP and other paradigms, such as the use of pseudo-Boolean solvers, QBF solvers, FOL theorem provers, and CLP systems. Furthermore, the practical applications of ASP also foster work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration of ASP with description logics (in the realm of the Semantic Web), constraint satisfaction, and general means of external computation. This workshop will facilitate the discussion about crossing the boundaries of current ASP techniques in theory, solving, and applications, in combination with or inspired by other computing paradigms. TOPICS Topics of interests include (but are not limited to): - ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL). - ASP and constraint programming. - ASP and other logic programming paradigms, e.g., FO(ID). - ASP and other nonmonotonic languages, e.g., action languages. - ASP and external means of computation. - ASP and probabilistic reasoning. - ASP and machine learning. - New methods of computing answer sets using algorithms or systems of other paradigms. - Language extensions to ASP. - ASP and multi-agent systems. - ASP and multi-context systems. - Modularity and ASP. - ASP and argumentation. - Multi-paradigm problem solving involving ASP. - Evaluation and comparison of ASP to other paradigms. - ASP and related paradigms in applications. - Hybridizing ASP with procedural approaches. - Enhanced grounding or beyond grounding. SUBMISSIONS Papers must describe original research and should not exceed 15 pages in the Springer LNCS format . Paper submission will be handled electronically by means of the Easychair system. The submission page is available at http://www.easychair.org/conferences/?conf=aspocp13 IMPORTANT DATES Abstract submission: June 11, 2013 Paper submission deadline: June 18, 2013 Notification: July 11, 2013 Camera-ready articles due: July 25, 2013 Workshop: August 25, 2013 PROCEEDINGS The workshop contributions will be published electronically, using the Computing Research Repository (CoRR). LOCATION The workshop will be held in Istanbul, Turkey, collocated with the International Conference on Logic Programming (ICLP) 2013. WORKSHOP CO-CHAIRS Michael Fink, Vienna University of Technology, Austria Yuliya Lierler, University of Nebraska at Omaha, USA PROGRAM COMMITTEE Marcello Balduccini, Kodak Research Labs, USA Pedro Cabalar, Corunna University, Spain Sandeep Chintabathina, University of Arkansas at Pine Bluff, USA Selim T. Erdogan, Independent Researcher, Turkey Wolfgang Faber, University of Calabria, Italy Cristina Feier, Vienna University of Technology, Austria Martin Gebser, University of Potsdam, Germany Gregory Gelfond, Arizona State University, USA Giovambattista Ianni, University of Calabria, Italy Daniela Inclezan, Miami University in Ohio, USA Joohyung Lee, Arizona State University, USA Joao Leite, New University of Lisbon, Portugal Vladimir Lifschitz, University of Texas at Austin, USA Marco Maratea, University of Genoa, Italy Alessandro Mosca, Free University of Bolzano, Italy Emilia Oikarinen, Aalto University, Finland David Pearce, Universidad Politecnica de Madrid, Spain Axel Polleres, Siemens AG Corporate Technology, Austria Guillermo R. Simari, Universidad Nacional del Sur, Argentina Evgenia Ternovska, Simon Fraser University, Canada Hans Tompits, Vienna University of Technology, Austria Miroslaw Truszczynski, University of Kentucky, USA Joost Vennekens, Catholic University of Leuven, Belgium Marina De Vos, University of Bath, UK Stefan Woltran, Vienna University of Technology, Austria Fangkai Yang, University of Texas at Austin, USA Jia-Huai You, University of Alberta, Canada -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Jeremy.Gibbons at cs.ox.ac.uk Fri May 3 16:55:13 2013 From: Jeremy.Gibbons at cs.ox.ac.uk (Jeremy.Gibbons at cs.ox.ac.uk) Date: Fri, 03 May 2013 15:55:13 +0100 Subject: Foundations of Health Information Engineering and Systems (FHIES 2013) - extended submission deadline Message-ID: <201305031455.r43EtDxT020831@linux2.cs.ox.ac.uk> THIRD AND FINAL CALL FOR PAPERS Third International Symposium on Foundations of Health Information Engineering and Systems http://www.cs.ox.ac.uk/FHIES2013/ International Institute for Software Technology United Nations University, Macau 21st-23rd August, 2013 EXECUTIVE SUMMARY - CHANGES SINCE PREVIOUS CALL Submission deadline extended by two weeks, to May 20th. Additional category of extended abstracts (max 2 pages) solicited. Apologies for duplication. BACKGROUND ICT plays an increasingly enabling role in addressing the global challenges of healthcare, in both the developed and the developing world. The use of software in medical devices has caused growing concerns in relation to safety and efficacy. The increasing adoption of health information systems provides great potential benefits but also poses severe risks, both with respect to security and privacy and in regard to patient safety. Hospital and other information systems raise important issues of workflow support and interoperability. Regulators, manufacturers and clinical users have pointed out the need to research sound and science-based engineering methods that facilitate the development and certification of quality ICT systems in health care. Such methods may draw from or combine techniques from various disciplines, including but not limited to software engineering, electronic engineering, computing science, information science, mathematics, and industrial engineering. AIMS The purpose of the symposium series on Foundations of Health Information Engineering and Systems is to promote a nascent research area that aims to develop and apply theories and methods from a variety of disciplines for the purpose of modeling, building and certifying software-intensive ICT systems in healthcare. A particular objective of FHIES is to explicitly include a focus on healthcare ICT applications in the developing world (in addition to systems used in the developed countries), since unique engineering challenges arise in that special setting. Because humans often play a pivotal role in the process of using such systems, theories from the human factors engineering community may need to be integrated with methods from the technology-oriented domains in order to create effective engineering methodologies for socio-technical systems in the healthcare domain. Previous FHIES symposia were held in 2011, in Mabalingwe, South Africa (with post-conference proceedings in Springer LNCS 7151, and in 2012, in Paris, France (with post-conference proceedings to appear in Springer LNCS). SCOPE FHIES seeks contributions from both the solution domain (engineering methods) and the problem domain (healthcare and health informatics). Solution-domain papers should present their methods in the context of a concrete application in healthcare, while problem-domain papers should be devised to educate the methods community about unique challenges and characteristics of the healthcare domain. Submissions should seek to inform and further the development, adaptation, evaluation and adoption of formally based and rigorous engineering methods in health care systems. Topics of interest include but are not limited to: * modelling, analysis, simulation and verification in health informatics; * design and verification techniques for software-based ICT and software-intensive medical devices; * application and integration of foundational methods from different disciplines in engineering and science to health informatics; * specific engineering challenges of ICT-based health service delivery in different settings, especially in the developing world. For a more detailed list of topics, see the symposium website. CATEGORIES We solicit high quality full submissions in the following categories: * original research contributions (16 pages max) * application experience, case studies and software prototypes (16 pages max.) * surveys, comparisons, and state-of-the-art reports (16 pages max.) * position papers identifying challenges and milestones of a research project (8 pages max.) We also invite short submissions for special sessions: * student papers on work in progress on an MSc or PhD project (4 pages max.) * tool demonstrations (2 pages max.) * proposals to organize birds-of-a-feather sessions or panels (2 pages max.) * extended abstracts (2 pages max.) SUBMISSIONS Submissions should be in English, prepared in the LNCS format (http://www.springer.de/comp/lncs/authors.html), and all page limits are measured in this format. Full submissions (those in the first four categories above) will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the symposium; student papers will be judged on clarity of description and the promise of interesting results; tool demonstrations, BOF proposals, and extended abstracts will be judged on relevance to the symposium. All papers will be peer-reviewed by at least three program committee members. Papers should be submitted via EasyChair, at http://www.easychair.org/conferences/?conf=fhies2013 Submission constitutes a commitment for at least one author to attend the symposium and present the paper, if it is accepted. PUBLICATION All accepted submissions will be distributed in a technical report at the Symposium. After the event, postproceedings will be published in Springer LNCS. Authors of all accepted full submissions will be invited to revise their papers, in order to resolve any larger issues raised during reviewing. Authors of accepted short submissions will be invited to submit full papers for review and LNCS publication too. In addition, a special issue of a suitable journal is planned, focusing on the overall objectives of FHIES: this will have an open call for contributions. IMPORTANT DATES Submission deadline: extended to May 20th Notification of acceptance: June 12th Delivery of preproceedings version: July 17th Symposium: August 21st-23rd Submission for postproceedings review: October 4th Notification of acceptance: October 11th Camera ready version: October 18th Publication of proceedings: December 23rd ORGANIZERS General chairs: * Zhiming Liu, United Nations University, MO * Jens Weber, University of Victoria, CA Programme chairs: * Jeremy Gibbons, University of Oxford, UK * Wendy MacCaull, St. Francis Xavier University, CA Programme committee: * Ime Asangansi, University of Oslo, NO * Tom Broens, Mobihealth, NL * Lori Clarke, University of Massachusetts, US * David Clifton, University of Oxford, UK * Gerry Douglas, University of Pittsburgh, US * Johannes Faber, IIST, United Nations University, MO * Jozef Hooman, Embedded Systems Institute and Radboud University Nijmegen, NL * Michaela Huhn, Technische Universität Clausthal, DE * Shinsako Kiyomoto, KDDI R&D Laboratories Inc, JP * Craig Kuziemsky, University of Ottawa, CA * Yngve Lamo, Bergen University College, NO * Insup Lee, University of Pennsylvania, US * Orlando Loques, Instituto de Computação, Universidade Federal Fluminense, BR * Gilbert Maiga, Makerere University, UG * Dominique Mery, Université de Lorraine, LORIA, FR * Deshendran Moodley, University of KwaZulu-Natal, ZA * Jun Pang, University of Luxembourg, LU * Manfred Reichert, University of Ulm, DE * Ita Richardson, Lero, University of Limerick, IE * David Robertson, University of Edinburgh, UK * Christopher Seebregts, Jembi Health Systems / Medical Research Council, ZA * Bo Song, Qingdao University of Science and Technology, CN * Alan Wassyng, McMaster University, CA Keynote speakers: * Joe Cafazzo, Centre for Global eHealth Innovation, CA * Jane Liu, Academia Sinica, TW * Bill Thies, Microsoft Research, IN From cambria at nus.edu.sg Sun May 5 08:19:25 2013 From: cambria at nus.edu.sg (Erik Cambria) Date: Sun, 5 May 2013 14:19:25 +0800 Subject: DEADLINE EXTENSION: KDD13 Workshop on Issues of Sentiment Discovery and Opinion Mining Message-ID: <02892B5E-6D4D-4A2D-8F36-BA0E01D99B74@nus.edu.sg> Apologies for cross-posting. Submissions are invited to the KDD13 Workshop on Issues of Sentiment Discovery and Opinion Mining (http://sentic.net/wisdom), which aims to explore how the wisdom of the crowds is affecting (and will affect) the evolution of the Web and of businesses gravitating around it. In particular, the ACM KDD workshop explores two different stages of sentiment analysis: the former focusing on the identification of opinionated text over the Web, the latter focusing on the classification of such text either in terms of polarity detection or emotion recognition. Deadline has been extended to 26th May. RATIONALE The exponential growth of the Social Web is virally infecting more and more critical business processes such as customer support and satisfaction, brand and reputation management, product design and marketing. Because of this global trend, web users already evolved from the era of social relationships, in which they began to get connected and started to share contents, to the era of social functionality, in which they started using social networks as the main platform for communication and dissemination of information. Today, web users are going through the era of social colonization, in which every experience on the Web can be social (e.g., Facebook Like button), and are getting ready for the era of social context, in which web contents will be highly targeted and personalized. The final stage of such Social Web evolution is the so called era of social commerce, in which communities will define future products and services. In such context, the research field of sentiment analysis, which has already been rapidly growing in the last decade, is destined to become more and more important for Web and business dynamics. TOPICS The workshop aims to provide an international forum for both researchers and entrepreneurs working in the field of opinion mining to share information on their latest investigations in social information retrieval and their applications in academic research areas and industrial sectors. The broader context of the workshop comprehends AI, Semantic Web, information retrieval, web mining, and natural language processing. Topics of interest include but are not limited to: • Sentiment identification & classification • Knowledge-based opinion mining • Sentiment summarization & visualization • Entity discovery & extraction • Opinion aggregation • Opinion search & retrieval • Time evolving sentiment analysis • Opinion spam detection • Comparative opinion analysis • Topic detection & trend discovery • Psychological models for sentiment analysis • Multilingual opinion mining • Sentic computing • Big social data analysis • Social ranking • Social network analysis • Influence, trust & privacy analysis • Business intelligence applications TIMEFRAME • May 8th, 2013: Submission deadline • June 8th, 2013: Notification of acceptance • June 18th, 2013: Final manuscripts due • August 12th, 2013: Workshop date PROCEEDINGS Accepted papers will be published in KDD WISDOM proceedings. Selected, expanded versions of papers presented at the workshop will be invited to a forthcoming Special Issue of Cognitive Computation on opinion mining and sentiment analysis. INVITED SPEAKER ChengXiang Zhai is an Associate Professor of Computer Science at the University of Illinois at Urbana-Champaign, where he also holds a joint appointment at the Institute for Genomic Biology, Statistics, and the Graduate School of Library and Information Science. He received a Ph.D. in Computer Science from Nanjing University in 1990, and a Ph.D. in Language and Information Technologies from Carnegie Mellon University in 2002. He worked at Clairvoyance Corp. as a Research Scientist and a Senior Research Scientist from 1997 to 2000. His research interests include information retrieval, text mining, natural language processing, machine learning, and bioinformatics. He is an Associate Editor of ACM Transactions on Information Systems, and Information Processing and Management, and serves on the editorial board of Information Retrieval Journal. He is a program co-chair of ACM CIKM 2004, NAACL HLT 2007, and ACM SIGIR 2009. He is an ACM Distinguished Scientist, and received the 2004 Presidential Early Career Award for Scientists and Engineers (PECASE), the ACM SIGIR 2004 Best Paper Award, an Alfred P. Sloan Research Fellowship in 2008, and an IBM Faculty Award in 2009. ORGANIZERS • Erik Cambria, National University of Singapore (Singapore) • Bing Liu, University of Illinois at Chicago (USA) • Yongzheng Zhang, eBay Research Labs (USA) • Yunqing Xia, Tsinghua University (China) _______________________________ Erik Cambria, PhD 康文涵 Research Scientist Temasek Laboratories Cognitive Science Programme National University of Singapore 5A Engineering Drive 1, Singapore 117411 Skype: senticnet Website: http://sentic.net Email: cambria at nus.edu.sg Twitter: http://twitter.com/senticnet Facebook: http://facebook.com/senticnet From grlmc at urv.cat Sun May 5 13:02:11 2013 From: grlmc at urv.cat (GRLMC) Date: Sun, 5 May 2013 13:02:11 +0200 Subject: SSTiC 2013: next registration deadline 26 May Message-ID: <6429298D65B84DE79B4127969D93423F@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject* ********************************************************************* 2013 INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING SSTiC 2013 Tarragona, Spain July 22-26, 2013 Organized by Rovira i Virgili University http://grammars.grlmc.com/SSTiC2013/ ********************************************************************* +++ next registration deadline: May 26 +++ ********************************************************************* AIM: SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers. SSTiC 2013 will cover the whole spectrum of computer science by means of 69 six-hour courses dealing with hot topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work. ADDRESSED TO: Graduate students from around the world. There are no pre-requisites in terms of the academic degree the attendee must hold. However, since there will be several levels among the courses, in the description of some of them reference may be made to specific knowledge background. SSTiC 2013 is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field. Finally, senior researchers will find it fruitful to listen and discuss with people who are main references of the diverse branches of computing nowadays. REGIME: 8 parallel sessions will be held during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another. VENUE: Palau Firal i de Congressos de Tarragona Arquitecte Rovira, 2 43001 Tarragona http://www.palaucongrestgna.com COURSES AND PROFESSORS: Divyakant Agrawal (Santa Barbara) [intermediate] Scalable Data Management in Enterprise and Cloud Computing Infrastructures Shun-ichi Amari (Riken) [introductory] Information Geometry and Its Applications James Anderson (Chapel Hill) [intermediate] Scheduling and Synchronization in Real-Time Multicore Systems Pierre Baldi (Irvine) [intermediate] Big Data Informatics Challenges and Opportunities in the Life Sciences Yoshua Bengio (Montréal) [introductory/intermediate] Deep Learning of Representations Stephen Brewster (Glasgow) [advanced] Multimodal Human-Computer Interaction Bruno Buchberger (Linz) [introductory] Groebner Bases: An Algorithmic Method for Multivariate Polynomial Systems. Foundations and Applications Rajkumar Buyya (Melbourne) [intermediate] Cloud Computing Jan Camenisch (IBM Zurich) [intermediate] Cryptography for Privacy John M. Carroll (Penn State) [introductory] Usability Engineering and Scenario-based Design Jeffrey S. Chase (Duke) [intermediate] Trust Logic as an Enabler for Secure Federated Systems Larry S. Davis (College Park) [intermediate] Video Analysis of Human Activities Paul De Bra (Eindhoven) [intermediate] Adaptive Systems Marco Dorigo (Brussels) [introductory] An Introduction to Swarm Intelligence and Swarm Robotics Paul Dourish (Irvine) [introductory] Ubiquitous Computing in a Social Context Max J. Egenhofer (Maine) [introductory/intermediate] Qualitative Spatial Relations: Formalizations and Inferences Richard M. Fujimoto (Georgia Tech) [introductory] Parallel and Distributed Simulation David Garlan (Carnegie Mellon) [advanced] Software Architecture: Past, Present and Future Mario Gerla (Los Angeles) [intermediate] Vehicle Cloud Computing Georgios B. Giannakis (Minnesota) [advanced] Sparsity and Low Rank for Robust Data Analytics and Networking Ralph Grishman (New York) [intermediate] Information Extraction from Natural Language Francisco Herrera (Granada) [intermediate] Imbalanced Classification: Current Approaches and Open Problems Paul Hudak (Yale) [introductory] Euterpea: From Signals to Symphonies Using Haskell Niraj K. Jha (Princeton) [intermediate] FinFET Circuit Design George Karypis (Minnesota) [introductory] Introduction to Parallel Computing: Architectures, Algorithms, and Programming Aggelos K. Katsaggelos (Northwestern) [intermediate/advanced] Sparsity-based Advances in Image Processing Arie E. Kaufman (Stony Brook) [advanced] Advances in Visualization Carl Kesselman (Southern California) [intermediate] Biomedical Informatics and Big Data Hugo Krawczyk (IBM Research) [intermediate] An Introduction to the Design and Analysis of Authenticated Key Exchange Protocols Pierre L'Ecuyer (Montréal) [intermediate] Quasi-Monte Carlo Methods in Simulation: Theory and Practice Laks Lakshmanan (British Columbia) [intermediate/advanced] Information and Influence Spread in Social Networks Wenke Lee (Georgia Tech) [introductory] DNS-based Monitoring of Malware Activities Maurizio Lenzerini (Roma La Sapienza) [intermediate] Ontology-based Data Integration Ming C. Lin (Chapel Hill) [introductory/intermediate] Physically-based Modeling and Simulation Jane W.S. Liu (Academia Sinica) [intermediate] Critical Information and Communication Technologies for Disaster Preparedness and Response Satoru Miyano (Tokyo) [intermediate] How to Hack Cancer Systems with Computational Methods Aloysius K. Mok (Austin) [intermediate] From Real-time Systems to Cyber-physical Systems Daniel Mossé (Pittsburgh) [intermediate] Asymmetric Multicore Management Hermann Ney (Aachen) [intermediate/advanced] Probabilistic Modelling for Natural Language Processing - with Applications to Speech Recognition, Handwriting Recognition and Machine Translation Cathleen A. Norris (North Texas) & Elliot Soloway (Ann Arbor) [introductory] Primary & Secondary Educational Computing in the Age of Mobilism Jeff Offutt (George Mason) [intermediate] Cutting Edge Research in Engineering of Web Applications David Padua (Urbana) [intermediate] Parallel Programming with Abstractions Bijan Parsia (Manchester) [introductory] The Semantic Web: Conceptual and Technical Foundations Massoud Pedram (Southern California) [intermediate] Energy Efficient Architectures and Information Processing Systems Jian Pei (Simon Fraser) [intermediate/advanced] Mining Uncertain and Probabilistic Data Charles E. Perkins (FutureWei) [intermediate/advanced] Beyond 4G Prabhakar Raghavan (Google) [introductory/intermediate] Web Search and Advertising Sudhakar M. Reddy (Iowa) [introductory] Design for Test and Test of Digital VLSI Circuits Phillip Rogaway (Davis) [introductory/intermediate] Provably Secure Symmetric Encryption Gustavo Rossi (La Plata) [intermediate] Topics in Model Driven Web Engineering Kaushik Roy (Purdue) [introductory/intermediate] Low-energy Computing Robert Sargent (Syracuse) [introductory] Validating Models Douglas C. Schmidt (Vanderbilt) [intermediate] Patterns and Frameworks for Concurrent and Networked Software Bart Selman (Cornell) [intermediate] Fast Large-scale Probabilistic and Logical Inference Methods Mubarak Shah (Central Florida) [intermediate/advanced] Visual Crowd Surveillance Ron Shamir (Tel Aviv) [introductory] Revealing Structure in Disease Regulation and Networks Satinder Singh (Ann Arbor) [introductory/advanced] Reinforcement Learning: On Machines Learning to Act from Experience Dawn Xiaodong Song (Berkeley) [introductory] Selected Topics in Computer Security Mike Thelwall (Wolverhampton) [introductory] Sentiment Strength Detection for the Social Web Julita Vassileva (Saskatchewan) [introductory/intermediate] Engaging Users in Social Computing Systems Philip Wadler (Edinburgh) [introductory] Topics in Lambda Calculus and Life Yao Wang (Polytechnic New York) [introductory/advanced] Video Compression: Fundamentals and Recent Development Gio Wiederhold (Stanford) [introductory] Software Economics: How Do the Results of the Intellectual Efforts Enter the Global Market Place Ian H. Witten (Waikato) [introductory] Data Mining Using Weka Limsoon Wong (National Singapore) [introductory/intermediate] The Use of Context in Gene Expression and Proteomic Profile Analysis Michael Wooldridge (Oxford) [introductory] Autonomous Agents and Multi-Agent Systems Ronald R. Yager (Iona) [introductory/intermediate] Fuzzy Sets and Soft Computing Philip S. Yu (Illinois Chicago) [advanced] Mining Big Data Justin Zobel (Melbourne) [introductory/intermediate] Writing and Research Skills for Computer Scientists REGISTRATION: It has to be done at http://grammars.grlmc.com/SSTiC2013/Registration.php Since a large number of attendees are expected and the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed when the capacity of the venue will be complete. FEES: They are the same (a flat rate) for all people by the corresponding deadline. They give the right to attend all courses. ACCOMMODATION: Information about accommodation is available on the website of the School. CERTIFICATE: Participants will be delivered a certificate of attendance. IMPORTANT DATES: Announcement of the programme: January 26, 2013 Six registration deadlines: February 26, March 26, April 26, May 26, June 26, July 26, 2013 QUESTIONS AND FURTHER INFORMATION: Lilica Voicu: florentinalilica.voicu at urv.cat POSTAL ADDRESS: SSTiC 2013 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34-977-559543 Fax: +34-977-558386 ACKNOWLEDGEMENTS: Ajuntament de Tarragona Diputació de Tarragona Universitat Rovira i Virgili From p.torroni at unibo.it Sun May 5 16:06:19 2013 From: p.torroni at unibo.it (Paolo Torroni) Date: Sun, 5 May 2013 14:06:19 +0000 Subject: Second CFP: Argumentation Technologies@CLIMA XIV Message-ID: <6EEF840D89177A49937C62327C06E442A81DA767@E10-MBX1-CS.personale.dir.unibo.it> Subject: Second CFP: Argumentation Technologies at CLIMA XIV [Please accept our apologies if you receive multiple postings.] ++++++++++++++++++++++++++++++++++++++++++++++++++++ Second Call for Papers Special Session on Argumentation Technologies CLIMA XIV - 14th International Workshop on Computational Logic in Multi-Agent Systems http://centria.di.fct.unl.pt/events/climaXIV/ Corunna, Spain, September 16-17, 2013. Co-located with LPNMR'13. Submission deadline: June 10th (abstracts June 6th). Proceedings: LNCS/LNAI volume (available at the workshop). JLC Special Issue: Selected extended papers will be published in a Special Issue of the Journal of Logic and Computation. ++++++++++++++++++++++++++++++++++++++++++++++++++++ Argumentation is an important and exciting topic in Artificial Intelligence, where uses of argumentation have increased in recent years, throughout a variety of subdisciplines. Research activities range from theory to applications. The CLIMA XIV Special Session on Argumentation Technologies is intended to be a forum to discuss concepts, theories, methodologies, and applications of computational models of argumentation. We invite submissions related to (but not limited to) one or more of the following topics: * Computational models of (natural) argument * Argumentation in artificial societies * Argumentation in social networks * Argumentation in multi-agent systems * Dialogues, negotiation and dynamic aspects in argumentation * Argument-based interaction and persuasion * Innovative applications of computational argumentation * Agreement technologies Following the previous thirteen, very successful, editions, the 14th CLIMA will take place in Corunna, Spain, on the 16th and 17th of September 2013. It will be co-located with LPNMR'13. In addition to CLIMA's regular topics and the session on Argumentation Technologies, this edition will feature a special session on Norms and Normative Multi-Agent Systems. We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. LNCS Proceedings: CLIMA's Proceedings will be published by Springer as a volume in the Lecture Notes in Computer Science, and will be available in time for the workshop. JLC Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to be considered for inclusion in a CLIMA Special Issue of the Journal of Logic and Computation. Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, formatting and submission instructions is available at http://centria.di.fct.unl.pt/events/climaXIV/ Important dates: * Submission: June 6th (Abstracts) / June 10th (Papers) * Notification: June 24th * Camera Ready: July 4th Argumentation Technologies Special Session Organisers: * Paolo Torroni, University of Bologna, Italy * Stefan Woltran, Vienna University of Technology, Austria Norms and Normative Multi-Agent Systems Special Session Organiser: * Leon van der Torre, Univ. of Luxembourg, Luxembourg CLIMA XIV Chairs: * João Leite, New University of Lisbon, Portugal * Tran Cao Son, New Mexico State University, NM, USA Please send all enquiries about CLIMA XIV to climaxiv2013 at easychair.org 5x1000 AI GIOVANI RICERCATORI DELL'UNIVERSITÀ DI BOLOGNA Codice Fiscale: 80007010376 www.unibo.it/Vademecum5permille Questa informativa è inserita in automatico dal sistema al fine esclusivo della realizzazione dei fini istituzionali dell’ente. From Jason.Williams at microsoft.com Tue May 7 01:28:39 2013 From: Jason.Williams at microsoft.com (Jason Williams (MSR)) Date: Mon, 6 May 2013 23:28:39 +0000 Subject: Call for demonstrations : SIGDIAL 2013 CONFERENCE : 22-24 August 2013 : Metz, France Message-ID: <2e6c1c0e0a7e4a0b95edb974d76bc9ea@BY2PR03MB044.namprd03.prod.outlook.com> SIGDIAL 2013 CONFERENCE 14th Annual Meeting of the Special Interest Group on Discourse and Dialogue http://www.sigdial.org/workshops/conference14/ Metz, France 22-24 August 2013 CALL FOR DEMONSTRATIONS The program committee of SigDial 2013 welcomes the submission of demonstration descriptions. Demonstrations will be presented in special sessions, separate from short paper presentations and poster sessions. Accepted demonstration submissions will be published in a dedicated section of the conference proceedings. Demo descriptions should be no longer than 3 pages, including references. Demo submissions should follow the two-column ACL 2013 format. We strongly recommend the use of ACL LaTeX style files or Microsoft Word style files tailored for the ACL 2013 conference. Submissions must conform to the official ACL 2013 style guidelines (http://acl2013.org/site/call.html), and they must be electronic in PDF. Submissions will not be anonymous. Demonstrations which have appeared (or will appear) elsewhere may be presented at SigDial, although this should be noted at the time of submission. Authors are encouraged to submit additional supportive material such as video clips or sound clips and examples of available resources for review purposes. Submission is electronic using paper submission software at https://www.softconf.com/d/sigdial2013/ IMPORTANT DATES Demo Paper Submission Deadline Tuesday, 2 July 2013 (23:59, GMT-11) Demo Paper Notification Wednesday, 10 July 2013 Final Demo Paper Due Wednesday, 24 July 2013 Conference Thursday-Saturday, 22-24 August 2013 (Thu morning - Saturday mid-day) Any questions regarding submissions can be sent to the technical program co-chairs at program-chairs[at]sigdial.org. SigdDial 2013 Technical Program Co-Chairs Barbara Di Eugenio, University of Illinois at Chicago, USA Jason D. Williams, Microsoft Research, USA From joaquin at liacs.nl Wed May 8 10:03:34 2013 From: joaquin at liacs.nl (Joaquin Vanschoren) Date: Wed, 8 May 2013 10:03:34 +0200 Subject: ECML PKDD 2013 Last Call for Demos Message-ID: ECML PKDD 2013 Call for Demos http://www.ecmlpkdd2013.org/call-for-demos/ For ECML PKDD 2013 in Prague, Czech Republic, we solicit submissions for demos. Submissions must describe working systems and be based on state-of-the-art machine learning and data mining technology. These systems may be innovative prototype implementations or mature systems that use machine learning techniques and knowledge discovery processes in a real setting. We particularly welcome demos that use open-source software and offer innovative services. Demo submissions will be evaluated on relevance, maturity of the systems to be presented and technical challenges they solve, but also on potential usefulness to a large number of conference attendees. Accepted demos will be presented in a special demonstration session, and accepted demonstration papers (4 pages) will be included in the conference proceedings, published by Springer Verlag in the “Lecture Notes in Artificial Intelligence” (LNAI) series. At least one of the demo submitters must register for the conference, and perform the demo on site. For further details, visit the ECMLPKDD website: http://www.ecmlpkdd2013.org/call-for-demos/ Important Dates: Submission deadline: Fri 17 May 2013 Notification of acceptance: Fri 14 June 2013 Camera-ready paper due: Fri 28 June 2013 Contact For further information please contact the Demo Track Chairs: Joaquin Vanschoren (University of Leiden, The Netherlands), https://sites.google.com/site/jvanschoren/ Andreas Hotho (University of Würzburg, Germany), http://www.is.informatik.uni-wuerzburg.de/staff/hotho -- Dr. Ir. Joaquin Vanschoren Leiden Institute of Advanced Computer Science (LIACS) Universiteit Leiden Niels Bohrweg 1, 2333 CA Leiden, The Netherlands -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From leon.vandertorre at uni.lu Thu May 9 00:34:01 2013 From: leon.vandertorre at uni.lu (Leon Van Der Torre) Date: Wed, 8 May 2013 15:34:01 -0700 Subject: Second CFP: Norms and Normative Multi-Agent Systems@CLIMA XIV Message-ID: <518AD2D9.4040205@uni.lu> Second Call for Papers Special Session on Norms and Normative Multi-Agent Systems CLIMA XIV - 14th International Workshop on Computational Logic in Multi-Agent Systems http://centria.di.fct.unl.pt/events/climaXIV/ Corunna, Spain, September 16-17, 2013. Co-located with LPNMR'13. Submission deadline: June 10th (abstracts June 6th). Proceedings: LNCS/LNAI volume (available at the workshop). JLC Special Issue: Selected extended papers will be published in a Special Issue of the Journal of Logic and Computation. ++++++++++++++++++++++++++++++++++++++++++++++++++++ Norms are pervasive in everyday life and influence the conduct of the entities subject to them. One of the main functions of norms is to regulate the behaviour and relationships of agents. Norms have been proposed in multi-agent systems and computer science to deal with coordination issues, to deal with security issues of multi-agent systems, to model legal issues in electronic institutions and electronic commerce, to model multi-agent organizations, etc. We invite submissions related to (but not limited to) one or more of the following topics on agents and norms: * logical foundations of normative systems * computational models of normative systems * computational models of normative multi-agent systems * formal models of norm dynamics * deontic logic * agent autonomy and norms * agent deliberation and norms * normative agent types * programming normative multi-agent systems Following the previous thirteen, very successful, editions, the 14th CLIMA will take place in Corunna, Spain, on the 16th and 17th of September 2013. It will be co-located with LPNMR'13. In addition to CLIMA's regular topics and the session on Norms and Normative Multi-Agent Systems, this edition will feature a special session on Argumentation Technologies. We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. LNCS Proceedings: CLIMA's Proceedings will be published by Springer as a volume in the Lecture Notes in Computer Science, and will be available in time for the workshop. JLC Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to be considered for inclusion in a CLIMA Special Issue of the Journal of Logic and Computation. Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, formatting and submission instructions is available at http://centria.di.fct.unl.pt/events/climaXIV/ Important dates: * Submission: June 6th (Abstracts) / June 10th (Papers) * Notification: June 24th * Camera Ready: July 4th Norms and Normative Multi-Agent Systems Special Session Organiser: * Leon van der Torre, Univ. of Luxembourg, Luxembourg Argumentation Technologies Special Session Organisers: * Paolo Torroni, University of Bologna, Italy * Stefan Woltran, Vienna University of Technology, Austria CLIMA XIV Chairs: * João Leite, New University of Lisbon, Portugal * Tran Cao Son, New Mexico State University, NM, USA Please send all enquiries about CLIMA XIV to climaxiv2013 at easychair.org From pascal.hitzler at wright.edu Sat May 11 18:57:58 2013 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Sat, 11 May 2013 12:57:58 -0400 Subject: CfP: Semantics for Big Data AAAI Fall Symposium 2013 Message-ID: <518E7896.80403@wright.edu> Semantics for Big Data AAAI 2013 Fall Symposium; Westin Arlington Gateway in Arlington, Virginia, November 15-17, 2013. http://stko.geog.ucsb.edu/s4bd2013/ Description and Scope One of the key challenges in making use of Big Data lies in finding ways of dealing with heterogeneity, diversity, and complexity of the data, while its volume and velocity forbid solutions available for smaller datasets as based, e.g., on manual curation or manual integration of data. Semantic Web Technologies are meant to deal with these issues, and indeed since the advent of Linked Data a few years ago, they have become central to mainstream Semantic Web research and development. We can easily understand Linked Data as being a part of the greater Big Data landscape, as many of the challenges are the same. The linking component of Linked Data, however, puts an additional focus on the integration and conflation of data across multiple sources. Workshop Topics In this symposium, we will explore the many opportunities and challenges arising from transferring and adapting Semantic Web Technologies to the Big Data quest. Topics of interest focus explicitly on the interplay of Semantics and Big Data, and include: the use of semantic metadata and ontologies for Big Data, the use of formal and informal semantics, the integration and interplay of deductive (semantic) and statistical methods, methods to establish semantic interoperability between data sources ways of dealing with semantic heterogeneity, scalability of Semantic Web methods and tools, and semantic approaches to the explication of requirements from eScience applications. Workshop Format, Submissions, and Proceedings The symposium will be highly interactive with spotlight presentations and small breakout groups interleaved with plenary sessions for reports on the breakout groups and for consolidation of results. To prime and channel discussions and group activities during the event, we call for the submission of position papers or extended abstracts of 2-4 pages, or of technical papers of 6-8 pages (in AAAI format). Please address questions to Pascal Hitzler at pascal.hitzler at wright.edu. Submissions shall be made through easychair at https://www.easychair.org/conferences/?conf=s4bd13 by May 24th, 2013. Important Dates Submission due: May 24, 2013 Acceptance Notification: June 21, 2013 Camera-ready Copies: June 28, 2013 Symposium: November 15-17, 2013 Organizers (in alphabetic order) Frank van Harmelen, Vrije Universiteit Amsterdam, The Netherlands James A. Hendler, Rensselaer Polytechnic Institute, U.S.A. Pascal Hitzler, Kno.e.sis Center, Wright State University, U.S.A. Krzysztof Janowicz, University of California, Santa Barbara, USA Programme Committee (incomplete) Benjamin Adams, University of California, Santa Barbara Barry Bishop, Ontotext Isabel Cruz, University of Illinois at Chicago Michel Dumontier, Carleton University Mark Gahegan, University of Auckland Lise Getoor, University of Maryland, Baltimore County Peter Haase, FluidOps Prateek Jain, IBM Cliff Joslyn, PNNL Dan Tecuci, Siemens Curt Tilmes, NASA Thanh Tran, AIFB, Karlsruhe Institute of Technology, Germany Thomas Wischgoll, Wright State University Chaowei Yang, George Mason University -- Prof. Dr. Pascal Hitzler Dept. of Computer Science, Wright State University, Dayton, OH pascal at pascal-hitzler.de http://www.knoesis.org/pascal/ Semantic Web Textbook: http://www.semantic-web-book.org Semantic Web Journal: http://www.semantic-web-journal.net From elizabeth.black at kcl.ac.uk Sun May 12 15:50:43 2013 From: elizabeth.black at kcl.ac.uk (Black, Elizabeth) Date: Sun, 12 May 2013 14:50:43 +0100 Subject: Advanced Course on AI Summer School (ACAI-2013), on Argumentation in AI: early registration deadline 20 May Message-ID: <518F9E33.8010102@kcl.ac.uk> ============================================================= *CALL FOR PARTICIPATION* 15th ACAI Summer School, on Argumentation in AI http://www.inf.kcl.ac.uk/events/acai13/ to be held at the Department of Informatics, King's College London, 1 - 5 July 2013 ============================================================= In odd-numbered years, the European Coordinating Committee for Artificial Intelligence sponsors a specialised course in Artificial Intelligence, called Advanced Course on AI (ACAI). The 15th Advanced Course on AI 2013 (ACAI 2013) will be held at King's College London, UK, from the 1st July to the 5th July 2013 and is on the topic of Argumentation in Artificial Intelligence. Computational models of argument, and the development of agreement technologies, is becoming an important area in artificial intelligence. The aim of the summer school is to provide the attendees with a solid grounding in the basic ideas in formal modelling of argumentation, dialogue, and negotiation. Tutorials will be given by some of the most prominent researchers in the area. Furthermore, there will be a programme of lectures on application areas, lab sessions on software developments, and lectures linking with areas in AI and beyond. ACAI 2013 will be co-located and run in parallel with the European Agent Systems Summer School 2013 (http://www.inf.kcl.ac.uk/events/easss13/), giving students the opportunity to interact with a wide variety of peers. Early registration is £210 and the*early registration deadline is 20 May 2013*. For how to register see: http://www.inf.kcl.ac.uk/events/acai13/registration.html The European Coordinating Committee for Artificial Intelligence (ECCAI) sponsors the ACAI Summer School series by providing 25 student grants of 400 Euros each. Details on how to apply for these grants is on the website: http://www.inf.kcl.ac.uk/events/acai13/grants.html More information, including the programme and contact details, is available on the website. http://www.inf.kcl.ac.uk/events/acai13/ ============================================================= -- Dr Elizabeth Black | Lecturer Planning, Agents and Intelligent Systems Group Department of Informatics | King's College London Strand Building S6.21 | Strand | London | WC2R 2LS Tel: 020 7848 2694 | Email: elizabeth.black at kcl.ac.uk Website: http://www.inf.kcl.ac.uk/staff/lizblack/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From elizabeth.black at kcl.ac.uk Sun May 12 16:17:59 2013 From: elizabeth.black at kcl.ac.uk (Black, Elizabeth) Date: Sun, 12 May 2013 15:17:59 +0100 Subject: European Agent System Summer School 2013 (EASSS-2013): early registration deadline 20 May 2013 Message-ID: <518FA497.7070509@kcl.ac.uk> The early registration deadline for the European Agent Systems Summer School 2013 is 20 May 2013. The deadline for applications for student grants sponsored by EURAMAS is 18 May 2013. Please see the call for participation below for details. ************************************************************************ *CALL FOR PARTICIPATION * 15th European Agent Systems Summer School (EASSS-2013) to be held at the Department of Informatics, King's College London, United Kingdom 1-5 July 2013 *http://www.inf.kcl.ac.uk/events/easss13/ *easss13 at kcl.ac.uk ************************************************************************ ************************************************************************ *** ABOUT EASSS-2013 *** ************************************************************************ Since 1999, the annual European Agent Systems Summer School (EASSS) has provided a forum for knowledge exchange between various research groups in the field of autonomous agents and multi-agent systems, with the aim of benefiting mainly graduate students and researchers at both beginner and advanced level. The 15th European Agent Systems Summer School will be held at King's College London, UK, from the 1st to 5th of July 2013. EASSS-2013 will be co-located with the 15th Advanced Course on Artificial Intelligence on the topic of Argumentation (ACAI-2013http://www.inf.kcl.ac.uk/events/acai13/); ACAI is a bi-annual summer school for graduate students and young researchers in AI, sponsored by ECCAI (European Coordinating Committee for Artificial Intelligence). As was the case with its earlier editions, EASSS-2013 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multiagent Systems. The courses are aimed at PhD students, advanced Master's students, and other young researchers and will be taught by leading researchers in the field. EASSS is organised under the auspices of EURAMAS, the European Association for Multiagent Systems (http://www.euramas.org/). ********************************************************************** * REGISTRATION * Registration is now open! Deadline for early registration: 20 May 2013 Early registration: £210 per attendee. Late registration: £250 per attendee. Registration includes: Electronic copy of all tutorials. Coffee breaks and lunches for all five days. Gala dinner. For further details on registration please visit the EASSS 2013 website: http://www.inf.kcl.ac.uk/events/easss13/registration.html Note: registration does*NOT* include accommodation. A limited number of rooms have been reserved in a student halls of residences that can be booked directly for around £50 a night. For details of how to book this accommodation, and of other student accommodation in London see the EASSS 2013 website: http://www.inf.kcl.ac.uk/events/easss13/accommodation.html ********************************************************************** * STUDENT GRANTS * Some grants are available for students attending EASSS 2013. Details of these grants and of how to apply for them is on the EASSS 2013 website: http://www.inf.kcl.ac.uk/events/easss13/grants.html ********************************************************************** * EASSS 2013 PROGRAMME * Tutorials have been organised into themes. Students are able to attend as many or as few tutorials from a particular theme as they like, there is no requirement to attend all tutorials from a theme. This will allow students access to a wide range of topics from agent research while at the same time giving them the opportunity top do somewhat deeper into a specific area of research if they want to. Theme: Agents, from research to applications 1. Introduction to agent systems by Michael Luck 2. Autonomous intelligent agents in action: Agents on earth and in space by Sara Bernardini 3. Agent and multi-agent research methodologies by Michael Rovatsos Theme: Agent systems development 4. Agent-oriented programming by Raphael Bordini, Mehdi Dastani, Koen Hendriks and João Leite 5. Agent-based modelling and computational economics by Steve Phelps and Neil Rayner 6. Normative multi-agent systems by Wamberto Vasconcelos Theme: Agreement technologies 7. Voting theory by Ulle Endriss 8. Dialogue by Simon Parsons 9. Negotiation by Nicolas Maudet Theme: Game theory 10. Game theory for computer science by Michael Wooldridge 11. Reasoning about cooperation by Nils Bulling and Paolo Turrini Theme: Planning for agents 12. Introduction to AI planning by Amanda Coles and Andrew Coles 13. Decision making under uncertainty by Mathijs Spaan and Frans Oliehoek Theme: Verification of multi-agent systems 14. Model checking multi-agent systems by Alessio Lomuscio and Franco Raimondi 15. Verifying agent-based autonomous systems by Louise Dennis and Michael Fisher ************************************************************************ *** CONTACT *** ************************************************************************ For all matters concerning the technical program of EASSS-2013, please contact Paul Harrenstein or Peter Novak. For matters concerning the local organisation of the summer school, please contact Elizabeth Black or Sanjay Modgil. Paul Harrenstein:paul.harrenstein at cs.ox.ac.uk Peter Novak:P.Novak at tudelft.nl Elizabeth Black:elizabeth.black at kcl.ac.uk Sanjay Modgil:sanjay.modgil at kcl.ac.uk ************************************************************************ -- Dr Elizabeth Black | Lecturer Planning, Agents and Intelligent Systems Group Department of Informatics | King's College London Strand Building S6.21 | Strand | London | WC2R 2LS Tel: 020 7848 2694 | Email: elizabeth.black at kcl.ac.uk Website: http://www.inf.kcl.ac.uk/staff/lizblack/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sameh.abdelnaby at ucd.ie Mon May 13 01:07:02 2013 From: sameh.abdelnaby at ucd.ie (Sameh Abdalla) Date: Mon, 13 May 2013 00:07:02 +0100 Subject: CFP: AmI-2013, Dublin, December 3rd-5th. Message-ID: [Apologies for cross-postings] ----------- http://www.ami-13.org/ After its success in the Netherlands and Italy the fourth International Joint Conference on Ambient Intelligence will be hosted in Dublin, Ireland from December 3rd-5th 2013. The AmI-13 conference brings together researchers and practitioners from industry and academia working in the field of technologies and applications of Ambient Intelligence. Ambient Intelligence represents a vision of the future where we shall be surrounded by invisible technological means, sensitive and responsive to people and their behaviors, deliver advanced functions, services and experiences. Ambient intelligence combines concepts of ubiquitous technology, intelligent systems and advanced user interfaces putting the humans in the center of technological developments. Authors are invited to submit manuscripts of original unpublished work in all areas related to Ambient Intelligence. Contributions are solicited from, but not limited to the following topics: - objects, devices and environments that embody ambient intelligence - context models and context factors - sensing and reasoning technology - natural and multimodal interaction styles and user interfaces - advanced interface artifacts - end User Development for Ubiquitous Environments - adaptation in Ambient Intelligence - multi-device Interaction - security, privacy and trust - ambient intelligence services - business model and business cases - knowledge-based systems, computational intelligence - autonomic systems, multi-agent architectures and systems - adaptive architectures, symbiotic systems - industrial and commercial applications of ambient intelligence - configuration and control of ambient environments by end-users - user experience and user experience factors (e.g., acceptance) - ambient intelligence for special target groups - ambient intelligence applications (e.g., assisted living, future shopping) - artifacts in ambient intelligence environments (e.g., robots) - large scale ambient contexts (e.g., intelligent buildings, urban public spaces, smart cities) - social media applications in ambient environments - societal implications of ambient intelligence - distributed software, systems, middleware and frameworks - reflections on the current state and future of ambient intelligence All submissions will be peer reviewed. The main proceedings will appear in Springer Lecture Notes in Computer Science (LNCS). Selected contributions for the conference will be invited to submit an extended version to Journal of Ambient Intelligence and Smart Environments (JAISE) based on extend versions of selected submissions. Regular/Landscape/Short Papers - Submission deadline: June 10th, 2013 - Notification of acceptance: August 6th, 2013 - Final, revised camera-ready version: August 27th, 2013 Doctoral Consortium/Demos/Posters/ - Submission deadline: June 17th, 2013 - Notification of acceptance: August 6th, 2013 - Final, revised camera-ready version: August 27th, 2013 From sakama at sys.wakayama-u.ac.jp Mon May 13 08:35:31 2013 From: sakama at sys.wakayama-u.ac.jp (Chiaki Sakama) Date: Mon, 13 May 2013 15:35:31 +0900 Subject: Call for Papers: LNMR 2013 - 1st Int. Workshop on Learning and Nonmonotonic Reasoning In-Reply-To: <51806957.4040806@sys.wakayama-u.ac.jp> References: <51806957.4040806@sys.wakayama-u.ac.jp> Message-ID: <519089B3.2050603@sys.wakayama-u.ac.jp> ***Apologies for cross-posting*** --------------- Call for Papers ------------------------------------------- 1st International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2013) http://research.nii.ac.jp/il/lnmr2013.html September 2013, Corunna, Spain co-located with the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013) http://lpnmr2013.udc.es/ ------------------------------------------------------------------------------- *Aims and scope Knowledge representation and reasoning (KR&R) and machine learning are two important fields in artificial intelligence (AI). (Nonmonotonic) logic programming (NMLP) and answer set programming (ASP) provide formal languages for representing and reasoning with commonsense knowledge and realize declarative problem solving in AI. On the other side, inductive logic programming (ILP) realizes inductive machine learning in logic programming, which provides a formal background to inductive learning and the techniques have been applied to the fields of relational learning and data mining. Generally speaking, NMLP and ASP realize nonmonotonic reasoning while lack the ability of (inductive) learning. By contrast, ILP realizes inductive machine learning while most techniques have been developed under the classical monotonic logic. With this background, some researchers attempt to combine techniques in the context of nonmonotonic inductive logic programming (NMILP). Such combination will introduce a learning mechanism to programs and would exploit new applications on the NMLP side, while on the ILP side it will extend the representation language and enable to use existing solvers. Cross-fertilization between learning and nonmonotonic reasoning can also occur in such as: - the use of answer set solvers for Inductive Logic Programming - speed-up learning while running answer set solvers - learning action theories - learning transition rules in dynamical systems - learning normal, extended and disjunctive programs - formal relationships between learning and nonmonotonic reasoning - abductive learning - updating theories with induction - learning biological networks with inhibition - applications involving default and negation This workshop is the first attempt to provide an open forum for the identification of problems and discussion of possible collaborations among researchers with complementary expertise. To facilitate interactions between researchers in the areas of (machine) learning and nonmonotonic reasoning, we welcome contributions focusing on problems and perspectives concerning both learning and nonmonotonic reasoning. *Submissions We solicit original papers which are not published elsewhere. Papers should be written in English and be formatted according to the Springer Verlag LNCS style, which can be obtained from http://www.springeronline.com. Every paper should not exceed 12 pages including the title page, references and figures. All submissions will be peer-reviewed and all accepted papers must be presented at the workshop. *Proceedings Workshop organizers are considering to publish an on-line proceedings in a formal way. The details will be announced later. If there are several good papers, a special journal issue will also be considered. *Important Dates Paper registration: June 30 Submission deadline: July 7 Notification: August 24 Final version due: September 7 Workshop: 1 or 2 days in September 15-19 *Workshop co-Chairs Katsumi Inoue, National Institute of Informatics, Japan Chiaki Sakama, Wakayama University, Japan *Program Committee Dalal Alrajeh (Imperial College London, UK) Marcello Balduccini (Kodak Research Laboratories, USA) Chitta Baral (Arizona State University, USA) Gauvain Bourgne (Universite' Pierre et Marie Curie, France) Luc De Raedt (Katholieke Universiteit Leuven, Belgium) Katsumi Inoue (National Institute of Informatics, Japan) Francesca A. Lisi (Universita` degli Studi di Bari "Aldo Moro", Italy) Stephen Muggleton (Imperial College London, UK) Adrian Pearce (University of Melbourne, Australia) Oliver Ray (University of Bristol, UK) Chiaki Sakama (Wakayama University, Japan) Taisuke Sato (Tokyo Institute of Technology, Japan) Torsten Schaub (University of Potsdam, Germany) ----------------------------------------------------------------------------- -------------- n?chster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fstolzenburg at hs-harz.de Mon May 13 11:12:57 2013 From: fstolzenburg at hs-harz.de (Frieder Stolzenburg) Date: Mon, 13 May 2013 11:12:57 +0200 Subject: KI 2013: Workshop on Visual and Spatial Cognition Message-ID: <5190AE99.1060702@hs-harz.de> KI 2013: Workshop on Visual and Spatial Cognition - Call for Papers - KIK – KI & Kognition Workshop Series Description of Workshop Topic and Goal The ability to process spatial information is crucial for various tasks as diverse as navigation, planning, and managing abstract concepts. Research issues in spatial cognition range from the investigation of human spatial cognition to mobile robot navigation. Much of that research effort, however, has been experimental, putting little stress on precise models of the involved representations and processes. Obviously, spatial cognition is closely related to visual cognition of places and scenes in general. Different visualization techniques and reasoning formalisms serve to analyze spatial cognition processes. They can be used to achieve a more general cognitive model. This workshop aims at bringing together researchers from Artificial Intelligence, Computer Science, Cognitive Psychology, Cognitive Robotics, Geographic Information Science, and related areas to foster a multi-disciplinary exchange between research in visual and spatial cognition. Topics of interest include, but are not limited to the following: * Spatial and temporal reasoning and cognition * Psychological studies of human visual and spatial cognition * Cognitive architectures/computational cognitive models of spatial reasoning * Cognitive systems interacting with their environment and with humans * Perception-based representation of high-level cognitive concepts * Novel techniques in spatial cognition, e.g., eye tracking, fMRI, etc. * Object and scene recognition * Human-computer interaction and cognitive robotics This workshop continues a series of successful workshops initiated by the Special Interest Group "Cognition" in the GI (German Informatics Society) and will be held in conjunction with KI 2013 in Koblenz. List of Important Dates * Submission deadline: July 1st, 2013 * Notification: August 16th, 2013 * Camera-ready copy: August 31th, 2013 * Workshop: September September 17th, 2013 Submission and Contribution Format: The workshop will be held in English, in order to attract an international audience. Each presenter is required to submit a short paper (4-8 pages) on the presented topic formatted according to the Springer LNCS guidelines (). The agenda will leave enough room for discussions. So each talk will be followed by a discussion period of 10 minutes. Papers are subject to regular peer review and subsequent publication within the workshop proceedings. Submissions should be sent as pdf file to . Organizers Marco Ragni University of Freiburg ragni at cognition.uni-freiburg.de http://portal.uni-freiburg.de/cognition/members/ragni Michael Raschke University of Stuttgart (VIS) michael.raschke at vis.uni-stuttgart.de http://www.vis.uni-stuttgart.de/institut/mitarbeiterInnen/michael-raschke.html Frieder Stolzenburg (contact person) Harz University of Applied Sciences fstolzenburg at hs-harz.de http://fstolzenburg.hs-harz.de/ Program Committee Thomas Barkowsky, U Bremen Michael Burch, U Stuttgart Lewis Chuang, MPI für Kybernetik Christian Freksa, U Bremen Reinhard Moratz, U Maine Bernhard Nebel, U Freiburg Thomas Röfer, DFKI Bremen Ute Schmid, U Bamberg Workshop homepage: -- Prof. Dr. Frieder Stolzenburg Hochschule Harz (Harz University of Applied Sciences) FB Automatisierung und Informatik (Automation & Computer Sciences Dep.) Friedrichstr. 57-59 D-38855 Wernigerode (Germany) Raum (Office): 2.008 Tel: +49 3943 659-333 Fax: +49 3943 659-399 Skype: fstolzenburg E-Mail: fstolzenburg at hs-harz.de WWW: http://fstolzenburg.hs-harz.de/ From ruy at cin.ufpe.br Tue May 14 13:30:15 2013 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Tue, 14 May 2013 08:30:15 -0300 Subject: WoLLIC 2013 - Darmstadt, Germany, Aug 20-23 - Call for Participation Message-ID: *WoLLIC 2013* *Call for Participation* *WoLLIC* * *is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The nineteenth WoLLIC will be held at the Fachbereich Mathematik, Technische Universität Darmstadt, Darmstadt, Germany, from August 20th to 23rd, 2013. *Invited Speakers* ** *Natasha Alechina (University of Nottingham) * *Steve Awodey (Carnegie Mellon University) * *Mikolaj Bojanczyk (Warsaw University) * *Wim Martens (Universität Bayreuth)* *Catuscia Palamidessi (INRIA Saclay and LIX)* *Thomas Schwentick (TU Dortmund)* *P**roceedings* of WoLLIC 2013, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. The list of contributed papers is: ** In addition, abstracts will appear in the Conference Report section of the *Logic Journal of the IGPL*, and selected contributions will be published as a special post-conference WoLLIC 2013 issue of the *Journal of Computer System and Sciences*. *Registration* Early registration deadline is June 14, see * http://www3.mathematik.tu-darmstadt.de/wollic/registration.html* *Programme Committee* Albert Atserias (UPC Barcelona) Alexandru Baltag (Univ Amsterdam) Stephanie Delaune (ENS, CNRS) Amy Felty (Univ Ottawa) Santiago Figueira (Univ Buenos Aires) Amelie Gheerbrant (Univ Edinburgh) Radha Jagadeesan (DePaul Univ) Delia Kesner (Univ Paris-Diderot) Benoit Larose (Concordia Univ) Leonid Libkin (Univ Edinburgh - CHAIR) Fenrong Liu (Tsinghua Univ) Jerzy Marcinkowski (Wroclaw Univ) Peter O'Hearn (UCL) Joël Ouaknine (Oxford Univ) Gerald Penn (Univ Toronto) Gabriele Puppis (CNRS/LaBRI - Univ Bordeaux) R. Ramanujam (The Institute of Mathematical Sciences) Peter Selinger (Dalhousie Univ) Szymon Torunczyk (Warsaw Univ) Anna Zamansky (TU Wien) *Steering Committee* Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Luke Ong, Hiroakira Ono, Ruy de Queiroz. *Organising Committee* Ulrich Kohlenbach (Tech U Darmstadt) (Local chair) Anjolina G. de Oliveira (U Fed Pernambuco) Martin Otto (Tech U Darmstadt) Ruy de Queiroz (U Fed Pernambuco) (co-chair) Thomas Streicher (Tech U Darmstadt) Martin Ziegler (Tech U Darmstadt) *Further information* Contact one of the Co-Chairs of the Organising Committee. *Web page* http://wollic.org/wollic2013/ *S**ponsor**s* *Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG), *Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From R.Mitkov at wlv.ac.uk Tue May 14 19:01:02 2013 From: R.Mitkov at wlv.ac.uk (Mitkov, Ruslan) Date: Tue, 14 May 2013 17:01:02 +0000 Subject: Professor/Reader in Computational Linguistics at the University of Wolverhampton Message-ID: <9B5794214CA57F4C9EEA165836E2000A78F2658F@EXCHMBX10I04.unv.wlv.ac.uk> Professor/Reader in Computational Linguistics (permanent post) - Ref: A5966. Salary range: Professor £57,758 - £65,154, Reader £47,314 - £54,826 Deadline for applications: 27 May 2013. The Research Institute in Information and Language Processing at University of Wolverhampton seeks to appoint a Professor or Reader in Computational Linguistics. We are very keen to hear from outstanding individuals. Since its inception, the Research Group in Computational Linguistics (http://clg.wlv.ac.uk) has become an international leader in applied NLP and has been very successful in securing funding from highly competitive sources. This has enabled members of the Group to make important contributions to different areas of NLP and computational linguistics. The results from the Research Assessment Exercise announced in December 2008 confirmed the Research Group in Computational Linguistics as one of the top performers in UK research. The research output of the group has been rated as internationally leading, internationally excellent and internationally recognized. Computational Linguistics was entered in Unit of Assessment "Linguistics" and Wolverhampton was ranked joint 3rd with 2 more universities. According to the league tables of the Guardian, The Times and Research Fortnight, research in Linguistics at the University of Wolverhampton is one of the top 6 best in the UK. The group is seeking to recruit a Professor or Reader to contribute to the further development of this area of our activity by producing research that is internationally acknowledged to be of the highest standard, to offer excellent research supervision and teaching in the interdisciplinary areas of natural language processing and computational linguistics and to deliver cutting-edge practical applications (including commercial applications) to the benefit of society based on its research output. The proposed development will underpin our teaching on the prestigious International Erasmus Mundus Master Programme in NLP&HLT. The new professor (or reader) would come at the right time to support the new and successful Marie Curie ITN FP7-funded project EXPERT where the group will be involved in additional supervision of PhD students and early career researchers. The new professor (or reader) will have a significant impact on our income generation activities. It is anticipated that an experienced research fellow and PhD student will be appointed in due course to support this post. Remuneration packages may include research expenses and support posts and PhD Studentships may be available in certain cases. Further information can be obtained from Professor Ruslan Mitkov at the contact email address below. For further details of these appointments and to apply online, go to the application website address below. Application Deadline: 27 May 2013 Web Address for Applications: http://tinyurl.com/cfbrgs2 Contact Information: Prof. Ruslan Mitkov Email: R.Mitkov at wlv.ac.uk -- Scanned by iCritical. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From leon.vandertorre at uni.lu Wed May 15 19:37:50 2013 From: leon.vandertorre at uni.lu (Leon Van Der Torre) Date: Wed, 15 May 2013 10:37:50 -0700 Subject: Research Associate (Postdoc) in Computational Logic and Knowledge Representation (2+1 years) Message-ID: <5193C7EE.70008@uni.lu> The University of Luxembourg seeks to hire an outstanding postdoctoral researcher at its Interdisciplinary Centre for Security, Reliability and Trust (SnT, www.securityandtrust.lu), who will be embedded in the Individual and Collective Reasoning Group of Prof. Leon van der Torre. Your Role: This position is part of the FWO-FNR research project on "Specification logics and Inference tools for verification and Enforcement of Policies (SIEP)", which is situated at the crossing of knowledge representation (in first order and modal logic), constraint solving, datalog, and answer set programming. The goal is to develop extensions of FO(.) logics and corresponding inference tools with an eye on applications in the area of access and privacy policies. The Research Associate will lead the work on extensions of FO(.) logics suitable for handling certain aspects of policies (e.g. epistemic aspects in the context of uncertainty), and produce inference algorithms paving the way to applications. REF : SnT-RA-SIEP-0513 3-year project: fixed-term contract for 2 years, possible prolongation by 1 year Full-time (40 hrs/week) Your Profile: PhD in Computer Science, Mathematics, or similar. Strong background in logic and knowledge representation. Fluent written and verbal communication skills in English are mandatory. Experience in computational logic, reasoning about uncertainty, or logics for security will be considered an advantage. We expect commitment, creativity, team working and a critical mind. Our offer: The university offers a 2+1 year employment with highly competitive salaries. It is an equal opportunity employer. You will work in an exciting international environment and will have the opportunity to participate in the development of a young university and a newly created research center. Applications: Should be written in English and submitted online (http://emea3.mrted.ly/66sh), including: Curriculum Vitae (contact address, work experience, publication list). Cover letter indicating the research area of interest and the motivation. A research statement addressing specifically the position (300 words). Transcript of all the university-level courses and the achieved results. A short description of your PhD thesis (max 1 page). Contact information for 3 referees. Deadline for applications: June 20th, 2013 For inquiries please contact Prof. Leon van der Torre (leon.vandertorre at uni.lu) From announce at cs.ucy.ac.cy Thu May 16 11:57:16 2013 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 16 May 2013 12:57:16 +0300 Subject: EC-TEL 2013: Last Call for Doctoral Consortium Submissions Message-ID: <85FP80KD-MXGH-EO1Q-G7BG-BO0X43OVIX0Q@cs.ucy.ac.cy> *** Last Call for Doctoral Consortium Submissions *** EC-TEL 2013: Eighth European Conference on Technology Enhanced Learning "Scaling Up Learning for Sustained Impact" 17-21 September 2013, Paphos, Cyprus http://ec-tel.eu/ The EC-TEL Doctoral Consortium brings together Ph.D. students working on topics related to Technology Enhanced Learning. The doctoral consortium will offer Ph.D. students the opportunity to present, discuss, and receive feedback on their research in an interdisciplinary and international atmosphere. Prominent professors and researchers in the field of Technology Enhanced Learning will provide feedback to the selected papers and participate actively and contribute to the discussions. The Doctoral Consortium will take place immediately before the EC-TEL 2013 conference. The intention of this doctoral consortium is to support and inspire Ph.D. students during their ongoing research efforts. Therefore, it is necessary that authors will have neither achieved their Ph.D. degree nor officially submitted their thesis before the doctoral consortium (September 2013). To enforce this rule we require authors to disclose their expected graduation date and their advisor's name when submitting. DOCTORAL CONSORTIUM ELIGIBILITY AND APPLICATION PROCESS In contrast to regular conference papers, submissions should address specifically doctoral work. Therefore, the following elements have to be addressed in the papers: * A clear formulation of the research question. * An identification of the significant problems in the field of research. * An outline of the current knowledge of the problem domain, as well as the state of existing solutions. * A presentation of any preliminary ideas, the proposed approach and the results achieved so far. * A sketch of the applied research methodology. * A description of the Ph.D. project's contribution to the problem solution. * A discussion of how the suggested solution is different, new, or better as compared to existing approaches to the problem. Accepted students should prepare: 1. An introduction of themselves and their Ph.D. project for the introductory session. Duration: 60 sec max. 2. A 15-20 minute presentation of their Ph.D. project to be used for introducing discussion about their project and its main issues during the small group sessions. 3. Students are also invited to prepare a poster about their Ph.D. for the EC-TEL 2013 poster session. Submissions should be uploaded to: https://www.easychair.org/conferences/?conf=dcectel13 The maximum length of DC submissions should not exceed 6 pages. All submissions will be reviewed after acceptance by at least two senior researchers and one of the accepted doctoral candidates. Additionally, two discussants, members of the doctoral consortium committee, will be appointed to each paper. Discussant comments will be followed by a plenary discussion of the paper. At the end of the consortium there will be a general discussion, including a brainstorming session about current and future research topics in the area. IMPORTANT DATES Doctoral Consortium application submission: May 31, 2013 Doctoral Consortium application notification: June 27, 2013 Doctoral Consortium reviews: July 31, 2013 Doctoral Consortium camera-ready versions: September 4, 2013 Doctoral Consortium: September 17, 2013 CONFERENCE ORGANISATION General Chair: Ralf Klamma, RWTH Aachen University, Germany Program Chairs: Davinia Hernández-Leo, Universitat Pompeu Fabra, Barcelona, Spain Tobias Ley, Tallinn University, Estonia Industry Chair: Lucia Pannese, Imaginary, Italy Workshop Chair: Anoush Margaryan, Glasgow Caledonian University, UK Poster and Demonstration Chair: Andreas Harrer, Catholic University Eichstätt-Ingolstadt, Germay Doctoral Consortium Chairs: Katherine Maillet, Télécom SudParis, France Tomaz Klobucar, Jozef Stefan Institute, Slovenia Dissemination Chair: Michael Derntl, RWTH Aachen University, Germany Local Organization Chair: George Angelos Papadopoulos, University of Cyprus Find all details at http://ec-tel.eu/ Follow us on twitter: https://twitter.com/ectel2013 -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pmt6sbc at maths.leeds.ac.uk Thu May 16 14:06:37 2013 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Thu, 16 May 2013 13:06:37 +0100 (BST) Subject: CiE 2013 in Milan, July 1 - 5: First Call for Participation Message-ID: <201305161206.r4GC6bgd021761@maths.leeds.ac.uk> --------------------------------------------------------------------------- COMPUTABILITY IN EUROPE 2013: The Nature of Computation Milan, Italy, July 1 - 5, 2013 CALL FOR PARTICIPATION Informal Presentation Deadline: 31 May 2013 Early Registration Deadline: 31 May 2013 http://cie2013.disco.unimib.it co-located with Unconventional Computation and Natural Computation 2013 http://ucnc2013.disco.unimib.it --------------------------------------------------------------------------- TUTORIAL SPEAKERS: Gilles Brassard (Universite de Montreal) and Grzegorz Rozenberg (Leiden Institute of Advanced Computer Science and University of Colorado at Boulder) PLENARY TALKS: Ulle Endriss (University of Amsterdam) Lance Fortnow (Georgia Institute of Technology) Anna Karlin (University of Washington) Bernard Moret (Ecole Polytechnique Federale de Lausanne) Mariya Soskova (Sofia University) Endre Szemeredi (Hungarian Academy of Sciences, Rutgers University) SPECIAL SESSIONS: * Algorithmic Randomness (organizers: Mathieu Hoyrup, Andre Nies) Speakers: Johanna Franklin (University of Connecticut, USA), Noam Greenberg (Victoria University, New Zealand), Joseph S. Miller (University of Wisconsin, USA), Nikolay Vereshchagin (Moscow State University, Russia) * Computational Complexity in the Continuous World (organizers: Akitoshi Kawamura, Robert Rettinger) Speakers: Mark Braverman (Princeton University, USA), Daniel S. Graca (Universidade do Algarve), Joris van der Hoeven (Ecole polytechnique, France), Chee K. Yap (New York University, USA) * Computational Molecular Biology (organizers: Alessandra Carbone, Jens Stoye) Speakers: Sebastian Boecker (University of Jena, Germany), Marilia D. V. Braga (Inmetro, Brazil), Andrea Pagnani (Human Genetics Foundation, Italy), Laxmi Parida (IBM Thomas J. Watson Research Center, USA) * Computation in Nature (organizers: Mark Daley, Natasha Jonoska) Speakers: Jerome Durand-Lose (Univ. of Orleans, France), Giuditta Franco (Univ. of Verona Italy), Lila Kari (Univ. of Western Ontario, Canada), Darko Stefanovic (Univ. of New Mexico, USA) * Data Streams and Compression (organizers: Paolo Ferragina, Andrew McGregor) Speakers: Graham Cormode (AT&T Labs, USA), Irene Finocchi (University of Rome, Italy), Andrew McGregor (University of Massachusetts, USA), Marinella Sciortino (University of Palermo, Italy). * History of Computation (organizers: Gerard Alberts, Liesbeth De Mol) Speakers: David Alan Grier (George Washington University, USA), Thomas Haigh (University of Wisconsin, USA), Ulf Hashagen (Deutsches Museum, Germany), Matti Tedre (Stockholm University, Sweden). CiE serves as an interdisciplinary forum for research in all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. Women in Computability Workshop, July 2, 2013: We continue the programme "Women in Computability" supported by the journal "Annals of Pure and Applied Logic" (Elsevier). Speakers: Irene Finocchi, Laxmi Parida, Liesbeth De Mol The Women in Computability workshop aims to bring together women in Computing and Mathematical research to present and exchange their academic and scientific experience with young researchers. The meeting will offer the CIE scientific community the opportunity to encourage young students, especially young female researchers, to have active careers in the mathematical and computational sciences. INFORMAL PRESENTATIONS: Continuing the tradition of past CiE conferences, this year's CiE conference endeavours to get the best of both worlds. In addition to the formal presentations based on our LNCS proceedings volume, we invite researchers to present informal presentations. For this, please send us a brief description of your talk (between one paragraph and one page) by the DEADLINE: MAY 31, 2013 Please submit your abstract electronically, via EasyChair , selecting the category "Informal Presentation". You will be notified whether your talk has been accepted for informal presentation usually within a week after your submission. **** Also authors of abstracts accepted for presentation are invited to submit a paper extending the abstract to the journal Computability **** __________________________________________________________________________ ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk CiE Conference Series http://www.illc.uva.nl/CiE CiE 2013 http://cie2013.disco.unimib.it CiE Membership Application Form http://www.cs.swan.ac.uk/acie __________________________________________________________________________ From t.balke at surrey.ac.uk Fri May 17 12:35:33 2013 From: t.balke at surrey.ac.uk (t.balke at surrey.ac.uk) Date: Fri, 17 May 2013 11:35:33 +0100 Subject: Call for Workshop Proposals: Australian Joint Conference on AI / PRIMA 2013 Message-ID: Apologies for multiple postings ======================================================================================================= Call for Workshop Proposals: Australian Joint Conference on AI / PRIMA 2013  ======================================================================================================= The 26th Australian Joint Conference on AI (AI2013: http://ai2013.otago.ac.nz) and the 16th International Conference on the Principles and Practice of Multi-Agent Systems (PRIMA2013: http://prima2013.otago.ac.nz) are being jointly held this year in Dunedin, New Zealand on December 3-6. The conference organisers invite proposals for workshops to be held on 3 December 2013, on topics related to either conference.  Workshops on new and emerging topics, applications, and on broader topics catering to the broader community are particularly encouraged. Workshops can vary in length, but most will be one full day in duration. Proposals will be reviewed jointly by the workshop co-chairs, Virginia Dignum (PRIMA), and Alistair Knott (AI2013). Any questions can be addressed to either organiser, or to both (contact details below). Proposals for workshops must be submitted as a pdf file through Easychair (https://www.easychair.org/conferences/?conf=ai-prima13ws) before 15 June 2013. Proposals for workshops should contain: ======================================= 1. A title and brief (2-page max) description of the workshop topic and content. This description should include: workshop goals, the technical issues that it will address, and the relevance of the workshop to the main conference(s), and possibly how the workshop can serve as a link between the PRIMA and AI communities - A discussion of why and to whom the workshop is of interest. - A list of related workshops held within the last three years 2. The desired workshop length (one or two days) and an estimate of the number of attendees. 3. A preliminary workshop agenda 4. The names, postal addresses, phone numbers, and email addresses of the organizers, with one-paragraph statements of their research interests and areas of expertise. 5. A list of potential members of the programme committee, with an indication of which members have already agreed.  6. Description of paper review process and acceptance standards, and plans for post publication Workshop Schedule: ======================================= - Workshop proposal submissions due: 24 June 2013 - Notification of acceptance of workshop proposals: 8 July 2013 - Workshop webpages and 1st cfp due: asap after notification - Workshop paper submissions due: 23 September 2013 - Workshop paper notifications due: 17 October 2013 - Workshop proceedings due: 20 November 2013 - Workshop date: 3 December 2013 For all accepted workshop, the AI/PRIMA conference organisers will be responsible for: ======================================= - Providing publicity for the workshop series as a whole. - Providing logistic support and a meeting place for the workshop. - Together with the organizers, determining the workshop date and time. - Provide one free workshop registration, for workshops with more than 15 registrations. Workshop organizers will be responsible for: ======================================= - Setting up a website for the workshop. - Advertising the workshop and issuing a call for papers and a call for participation. - Collecting and evaluating submissions, notifying authors of acceptance or rejection on a timely basis, and ensuring a transparent and fair selection process. - All workshop organizers are strongly advised to adopt the same deadlines for paper submissions and notifications of acceptance, as indicated in the schedule above. In any case, submission deadline should be such that it will enable resubmission of papers reject by the main conferences (which will notify by 19 August 2013), and workshop paper notifications date must be such that it will enable participants to register before the early registration deadline (31 October 2013) - Making a PDF of the whole workshop notes available to the workshops chair by 20 November 2013. Workshop notes will be included an USB drive - Ensuring that the workshop notes or individual papers are available from the workshops websites, as appropriate. Workshop co-chairs:  ======================================= Virginia Dignum, Faculty Technology, Policy and Management, Delft University of Technology, the Netherlands, M.V.Dignnum at tudelft.nl Alistair Knott, Department of Computer Science, University of Otago, New Zealand, alik at cs.otago.ac.nz From announce at cs.ucy.ac.cy Sun May 19 12:13:32 2013 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 19 May 2013 13:13:32 +0300 Subject: ECSCW 2013: Doctoral Colloquium Message-ID: ::: ECSCW 2013 ::: Doctoral Colloquium The 13th European Conference on Computer Supported Cooperative Work (ECSCW 2013) 21-25 September 2013, Paphos, Cyprus http://www.ecscw2013.org/ The ECSCW 2013 Doctoral Colloquium provides an opportunity for doctoral students to discuss their research in an international forum, under the guidance of a panel of experienced CSCW researchers. The Doctoral Colloquium will be held on Sunday the 22nd of September 2013 as part of the 13th European Conference on Computer Supported Cooperative Work in Paphos, Cyprus (http://www.ecscw2013.org). We invite students who are working in the broad field of CSCW to apply. The strongest candidates will be those students who have a well-established research proposal, have made some progress towards it, but are still on time to benefit from advice and feedback by peers and senior colleagues. Selected candidates will be expected to give short, informal presentations of their work during the Colloquium, to be followed by extensive group discussion in a friendly and constructive workshop. To apply please submit the following documents 1) A 4-page overview of your doctoral research, stating your research questions, level of advancement, and expected contributions. Formatting instructions and paper templates are available at http://ecscw2013.cs.ucy.ac.cy/templates.zip. The submissions are not anonymous and should therefore include names, affiliations and contact information. 2) A short (2-3 paragraph) biography. 3) A paragraph that articulates what you expect to gain from attending the ECSCW 2013 Doctoral Colloquium. 4) An email letter from your supervisor indicating that they support your application to the ECSCW 2013 Doctoral Colloquium and that they agree that your research is at an appropriate stage for participation. These letters should also indicate how you and other students might benefit from your participation in the colloquium. The e-mail should be sent to ecscw13dc at umbc.edu stating "ECSCW Doctoral Colloquium: + YOUR NAME" in the subject heading. All items should be submitted as PDF files through easychair https://www.easychair.org/conferences/?conf=ecscw2013 Item 1 should be submitted separately, items 2 and 3 should be submitted as a single PDF file. IMPORTANT DATES · Submission Deadline: 15 June 2013 (5:00pm PDT) using EasyChair · Notification Date: 22 June 2013 · Camera-Ready Deadline: 26 September 2013 DC CHAIRS Antonella De Angeli, University of Trento, Trento, Italy Wayne Lutters, University of Maryland, Baltimore County, USA Contact: ecscw13dc at umbc.edu -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at urv.cat Sun May 19 19:44:50 2013 From: grlmc at urv.cat (GRLMC) Date: Sun, 19 May 2013 19:44:50 +0200 Subject: SSTiC 2013: next registration deadline 26 May Message-ID: <8875320C7DCD45DB9F6980E6D77FF7ED@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************* 2013 INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING SSTiC 2013 Tarragona, Spain July 22-26, 2013 Organized by Rovira i Virgili University http://grammars.grlmc.com/SSTiC2013/ ********************************************************************* +++ next registration deadline: May 26 +++ ********************************************************************* AIM: SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers. SSTiC 2013 will cover the whole spectrum of computer science by means of 63 six-hour courses dealing with hot topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work. ADDRESSED TO: Graduate students from around the world. There are no pre-requisites in terms of the academic degree the attendee must hold. However, since there will be several levels among the courses, in the description of some of them reference may be made to specific knowledge background. SSTiC 2013 is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field. Finally, senior researchers will find it fruitful to listen and discuss with people who are main references of the diverse branches of computing nowadays. REGIME: 7 parallel sessions will be held during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another. VENUE: Palau Firal i de Congressos de Tarragona Arquitecte Rovira, 2 43001 Tarragona http://www.palaucongrestgna.com COURSES AND PROFESSORS: Divyakant Agrawal (Santa Barbara) [intermediate] Scalable Data Management in Enterprise and Cloud Computing Infrastructures Shun-ichi Amari (Riken) [introductory] Information Geometry and Its Applications James Anderson (Chapel Hill) [intermediate] Scheduling and Synchronization in Real-Time Multicore Systems Pierre Baldi (Irvine) [intermediate] Big Data Informatics Challenges and Opportunities in the Life Sciences Yoshua Bengio (Montréal) [introductory/intermediate] Deep Learning of Representations Stephen Brewster (Glasgow) [advanced] Multimodal Human-Computer Interaction Bruno Buchberger (Linz) [introductory] Groebner Bases: An Algorithmic Method for Multivariate Polynomial Systems. Foundations and Applications Rajkumar Buyya (Melbourne) [intermediate] Cloud Computing Jan Camenisch (IBM Zurich) [intermediate] Cryptography for Privacy Jeffrey S. Chase (Duke) [intermediate] Trust Logic as an Enabler for Secure Federated Systems Larry S. Davis (College Park) [intermediate] Video Analysis of Human Activities Paul De Bra (Eindhoven) [intermediate] Adaptive Systems Marco Dorigo (Brussels) [introductory] An Introduction to Swarm Intelligence and Swarm Robotics Paul Dourish (Irvine) [introductory] Ubiquitous Computing in a Social Context Max J. Egenhofer (Maine) [introductory/intermediate] Qualitative Spatial Relations: Formalizations and Inferences Richard M. Fujimoto (Georgia Tech) [introductory] Parallel and Distributed Simulation David Garlan (Carnegie Mellon) [advanced] Software Architecture: Past, Present and Future Mario Gerla (Los Angeles) [intermediate] Vehicle Cloud Computing Georgios B. Giannakis (Minnesota) [advanced] Sparsity and Low Rank for Robust Data Analytics and Networking Ralph Grishman (New York) [intermediate] Information Extraction from Natural Language Francisco Herrera (Granada) [intermediate] Imbalanced Classification: Current Approaches and Open Problems Paul Hudak (Yale) [introductory] Euterpea: From Signals to Symphonies Using Haskell Niraj K. Jha (Princeton) [intermediate] FinFET Circuit Design George Karypis (Minnesota) [introductory] Introduction to Parallel Computing: Architectures, Algorithms, and Programming Aggelos K. Katsaggelos (Northwestern) [intermediate/advanced] Sparsity-based Advances in Image Processing Arie E. Kaufman (Stony Brook) [advanced] Advances in Visualization Carl Kesselman (Southern California) [intermediate] Biomedical Informatics and Big Data Hugo Krawczyk (IBM Research) [intermediate] An Introduction to the Design and Analysis of Authenticated Key Exchange Protocols Pierre L'Ecuyer (Montréal) [intermediate] Quasi-Monte Carlo Methods in Simulation: Theory and Practice Laks Lakshmanan (British Columbia) [intermediate/advanced] Information and Influence Spread in Social Networks Wenke Lee (Georgia Tech) [introductory] DNS-based Monitoring of Malware Activities Maurizio Lenzerini (Roma La Sapienza) [intermediate] Ontology-based Data Integration Ming C. Lin (Chapel Hill) [introductory/intermediate] Physically-based Modeling and Simulation Jane W.S. Liu (Academia Sinica) [intermediate] Critical Information and Communication Technologies for Disaster Preparedness and Response Satoru Miyano (Tokyo) [intermediate] How to Hack Cancer Systems with Computational Methods Aloysius K. Mok (Austin) [intermediate] From Real-time Systems to Cyber-physical Systems Hermann Ney (Aachen) [intermediate/advanced] Probabilistic Modelling for Natural Language Processing - with Applications to Speech Recognition, Handwriting Recognition and Machine Translation Cathleen A. Norris (North Texas) & Elliot Soloway (Ann Arbor) [introductory] Primary & Secondary Educational Computing in the Age of Mobilism Jeff Offutt (George Mason) [intermediate] Cutting Edge Research in Engineering of Web Applications David Padua (Urbana) [intermediate] Parallel Programming with Abstractions Bijan Parsia (Manchester) [introductory] The Semantic Web: Conceptual and Technical Foundations Massoud Pedram (Southern California) [intermediate] Energy Efficient Architectures and Information Processing Systems Charles E. Perkins (FutureWei) [intermediate/advanced] Beyond 4G Prabhakar Raghavan (Google) [introductory/intermediate] Web Search and Advertising Sudhakar M. Reddy (Iowa) [introductory] Design for Test and Test of Digital VLSI Circuits Phillip Rogaway (Davis) [introductory/intermediate] Provably Secure Symmetric Encryption Gustavo Rossi (La Plata) [intermediate] Topics in Model Driven Web Engineering Kaushik Roy (Purdue) [introductory/intermediate] Low-energy Computing Robert Sargent (Syracuse) [introductory] Validating Models Douglas C. Schmidt (Vanderbilt) [intermediate] Patterns and Frameworks for Concurrent and Networked Software Bart Selman (Cornell) [intermediate] Fast Large-scale Probabilistic and Logical Inference Methods Mubarak Shah (Central Florida) [intermediate/advanced] Visual Crowd Surveillance Ron Shamir (Tel Aviv) [introductory] Revealing Structure in Disease Regulation and Networks Satinder Singh (Ann Arbor) [introductory/advanced] Reinforcement Learning: On Machines Learning to Act from Experience Dawn Xiaodong Song (Berkeley) [introductory] Selected Topics in Computer Security Mike Thelwall (Wolverhampton) [introductory] Sentiment Strength Detection for the Social Web Julita Vassileva (Saskatchewan) [introductory/intermediate] Engaging Users in Social Computing Systems Philip Wadler (Edinburgh) [introductory] Topics in Lambda Calculus and Life Yao Wang (Polytechnic New York) [introductory/advanced] Video Compression: Fundamentals and Recent Development Gio Wiederhold (Stanford) [introductory] Software Economics: How Do the Results of the Intellectual Efforts Enter the Global Market Place Limsoon Wong (National Singapore) [introductory/intermediate] The Use of Context in Gene Expression and Proteomic Profile Analysis Michael Wooldridge (Oxford) [introductory] Autonomous Agents and Multi-Agent Systems Ronald R. Yager (Iona) [introductory/intermediate] Fuzzy Sets and Soft Computing Philip S. Yu (Illinois Chicago) [advanced] Mining Big Data REGISTRATION: It has to be done at http://grammars.grlmc.com/SSTiC2013/Registration.php Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed when the capacity of the venue will be complete. FEES: They are the same (a flat rate) for all people by the corresponding deadline. They give the right to attend all courses. ACCOMMODATION: Information about accommodation is available on the website of the School. CERTIFICATE: Participants will be delivered a certificate of attendance. IMPORTANT DATES: Announcement of the programme: January 26, 2013 Six registration deadlines: February 26, March 26, April 26, May 26, June 26, July 26, 2013 QUESTIONS AND FURTHER INFORMATION: Lilica Voicu: florentinalilica.voicu at urv.cat POSTAL ADDRESS: SSTiC 2013 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34-977-559543 Fax: +34-977-558386 ACKNOWLEDGEMENTS: Ajuntament de Tarragona Diputació de Tarragona Universitat Rovira i Virgili From markus.kroetzsch at cs.ox.ac.uk Mon May 20 23:03:09 2013 From: markus.kroetzsch at cs.ox.ac.uk (=?windows-1252?Q?Markus_Kr=F6tzsch?=) Date: Mon, 20 May 2013 22:03:09 +0100 Subject: [CfP] 2nd Int Workshop on Ordering and Reasoning (OrdRing2013) @ISWC2013 Message-ID: <519A8F8D.5020100@cs.ox.ac.uk> [Apologies if you receive multiple copies of this call. Please redistribute within your own group and among colleagues, thank you!] [CALL FOR PAPERS] 2nd International Workshop on Ordering and Reasoning (OrdRing2013) October 21st/22nd, 2013 - Sydney, Australia Collocated with the 12th International Semantic Web Conference (ISWC 2013) http://www.streamreasoning.org/events/ordring2013 IMPORTANT DATES --------------- Abstract submission deadline: 3 July 2013 Paper submission deadline: 10 July 2013 Notification of acceptance: 9 August 2013 GOALS AND TOPICS ---------------- More and more applications require real-time processing of massive, dynamically generated, ordered data; where order is often an essential factor reflecting recency, proximity or relevance. Stream and rank-aware data management techniques are progressively providing reactive and reliable query answering over such massive datasets, allowing integration of highly dynamic sources. Key to their success is the use of streaming algorithms that harness the natural or enforceable orders in the data. The expressive power of Semantic technologies is needed in those applications, but Semantic Technologies risk being unable to address the needs of those applications, because they do not consider ordering as an essential property. Ranking results is often seen as an “added task”, performed after inference, without affecting the inference process, which is order-agnostic. However, we perceive a trend towards order-aware semantic technologies: both researchers and practitioners understand that order matters in reasoning over massive and highly dynamic data. The idea of Stream Reasoning is gaining considerable momentum. Some top-k query answering techniques for Linked Data appeared. Several works are considering SPARQL query answering on RDF annotated with labels partially ordered. The Description Logic community is investigating top-k ontological query answering. This workshop aims at bringing together this growing and very active community interested in integrating ordering with reasoning by using methods inspired by stream and rank-aware data management. We see this workshop as a first step to stimulate and guide a paradigm shift in semantic technologies. Topics include, but not limited to: - Inferencing with streaming algorithms - Ontological query answering over highly dynamic data - Incremental maintenance of materialization of highly dynamic data - Ontological top-k query answering over massive ordered data - A top-k query answering for fuzzy logics - Continuous query answering for fuzzy logics - Knowledge Representation for ordered facts - Applications of stream reasoning and top-k ontological query answering - Role of parallelization and distribution in order-aware semantic technologies - Harvesting and combining orders in data - Approximation approaches to inference with orderings - Proposals for and applications of benchmarks - Implementation and evaluation experiences SUBMISSION GUIDELINES AND PROCEEDINGS ------------------------------------- We will welcome submissions describing ideas, experiments, and application visions originating from requirements for, and efforts aimed at, interleaving ordering and reasoning. We will encourage demos and posters not exceeding 4 pages, short position papers not exceeding 6 pages as well as longer technical papers not exceeding 12 pages. They should follow the LNCS proceedings style files. Submissions should be formatted according to the Lecture Notes in Computer Science guidelines for proceedings available at http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0. Papers should be submitted in PDF format. All submissions will be done electronically via the OrdRing2013 web submission system (http://www.easychair.org/conferences/?conf=ordring2013). The Workshop Proceedings will be published as CEUR Workshop Proceedings (www.ceur-ws.org) ORGANISING COMMITTEE -------------------- Emanuele Della Valle (Politecnico di Milano) Markus Krötzsch (University of Oxford) Stefan Schlobach (Vrije Universiteit Amsterdam) Irene Celino (CEFRIEL) PROGRAM COMMITTEE ----------------- * Alessandro Bozzon (Delft University of Technology) * David Carral (Wright State University) * Oscar Corcho (Universidad Politécnica de Madrid) * Peter Haase (fluid Operations) * Carsten Lutz (Universität Bremen) * Jeff Z. Pan (University of Aberdeen) * Axel Polleres (Siemens AG Österreich / DERI, National University of Ireland, Galway) * Sebastian Rudolph (Technische Universität Dresden) * Steffen Staab (University of Koblenz-Landau) * Umberto Straccia (ISTI-CNR) * Guido Vetere (IBM) * Haofen Wang (Shanghai Jiao Tong University) * Kewen Wang (Griffith University) * Gerhard Weikum (Max-Planck Institute for Informatics) * Zhe Wu (Oracle) -- Dr. Markus Kroetzsch Department of Computer Science, University of Oxford Room 306, Parks Road, OX1 3QD Oxford, United Kingdom +44 (0)1865 283529 http://korrekt.org/ From elizabeth.black at kcl.ac.uk Tue May 21 11:32:46 2013 From: elizabeth.black at kcl.ac.uk (Black, Elizabeth) Date: Tue, 21 May 2013 10:32:46 +0100 Subject: ACAI Summer School on Argumentation in AI: early registration deadline extended 22 May Message-ID: <519B3F3E.8000409@kcl.ac.uk> Please note that the early registration deadline for the ACAI Summer School on Argumentation in AI has been extended to 22 May. The early registration fee is £210, registration after 22 May is £250. ================================================= *CALL FOR PARTICIPATION* 15th ACAI Summer School, on Argumentation in AI http://www.inf.kcl.ac.uk/events/acai13/ to be held at the Department of Informatics, King's College London, 1 - 5 July 2013 ================================================= In odd-numbered years, the European Coordinating Committee for Artificial Intelligence sponsors a specialised course in Artificial Intelligence, called Advanced Course on AI (ACAI). The 15th Advanced Course on AI 2013 (ACAI 2013) will be held at King's College London, UK, from the 1st July to the 5th July 2013 and is on the topic of Argumentation in Artificial Intelligence. Computational models of argument, and the development of agreement technologies, is becoming an important area in artificial intelligence. The aim of the summer school is to provide the attendees with a solid grounding in the basic ideas in formal modelling of argumentation, dialogue, and negotiation. Tutorials will be given by some of the most prominent researchers in the area. Furthermore, there will be a programme of lectures on application areas, lab sessions on software developments, and lectures linking with areas in AI and beyond. ACAI 2013 will be co-located and run in parallel with the European Agent Systems Summer School 2013 (http://www.inf.kcl.ac.uk/events/easss13/), giving students the opportunity to interact with a wide variety of peers. Early registration is £210 and the*early registration deadline is 22 May 2013*. Late registration fee is £250.For how to register see: http://www.inf.kcl.ac.uk/events/acai13/registration.html The European Coordinating Committee for Artificial Intelligence (ECCAI) sponsors the ACAI Summer School series by providing 25 student grants of 400 Euros each. Details on how to apply for these grants is on the website: http://www.inf.kcl.ac.uk/events/acai13/grants.html More information, including the programme and contact details, is available on the website. http://www.inf.kcl.ac.uk/events/acai13/ ============================================================= -- Dr Elizabeth Black | Lecturer Planning, Agents and Intelligent Systems Group Department of Informatics | King's College London Strand Building S6.21 | Strand | London | WC2R 2LS Tel: 020 7848 2694 | Email: elizabeth.black at kcl.ac.uk Website: http://www.inf.kcl.ac.uk/staff/lizblack/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From elizabeth.black at kcl.ac.uk Tue May 21 11:38:56 2013 From: elizabeth.black at kcl.ac.uk (Black, Elizabeth) Date: Tue, 21 May 2013 10:38:56 +0100 Subject: European Agent Systems Summer School, early registration deadline extended 22 May 2013 Message-ID: <519B40B0.9060200@kcl.ac.uk> The early registration deadline for the European Agent Systems Summer School 2013 has been extended to 22 May 2013. Early registration fee is £210. Registration after 22 May 2013 is £250. ************************************************************************ *CALL FOR PARTICIPATION * 15th European Agent Systems Summer School (EASSS-2013) to be held at the Department of Informatics, King's College London, United Kingdom 1-5 July 2013 *http://www.inf.kcl.ac.uk/events/easss13/ *easss13 at kcl.ac.uk ************************************************************************ ************************************************************************ *** ABOUT EASSS-2013 *** ************************************************************************ Since 1999, the annual European Agent Systems Summer School (EASSS) has provided a forum for knowledge exchange between various research groups in the field of autonomous agents and multi-agent systems, with the aim of benefiting mainly graduate students and researchers at both beginner and advanced level. The 15th European Agent Systems Summer School will be held at King's College London, UK, from the 1st to 5th of July 2013. EASSS-2013 will be co-located with the 15th Advanced Course on Artificial Intelligence on the topic of Argumentation (ACAI-2013http://www.inf.kcl.ac.uk/events/acai13/); ACAI is a bi-annual summer school for graduate students and young researchers in AI, sponsored by ECCAI (European Coordinating Committee for Artificial Intelligence). As was the case with its earlier editions, EASSS-2013 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multiagent Systems. The courses are aimed at PhD students, advanced Master's students, and other young researchers and will be taught by leading researchers in the field. EASSS is organised under the auspices of EURAMAS, the European Association for Multiagent Systems (http://www.euramas.org/). ********************************************************************** * REGISTRATION * Registration is now open! Deadline for early registration: 20 May 2013 Early registration: £210 per attendee. Late registration: £250 per attendee. Registration includes: Electronic copy of all tutorials. Coffee breaks and lunches for all five days. Gala dinner. For further details on registration please visit the EASSS 2013 website: http://www.inf.kcl.ac.uk/events/easss13/registration.html Note: registration does*NOT* include accommodation. A limited number of rooms have been reserved in a student halls of residences that can be booked directly for around £50 a night. For details of how to book this accommodation, and of other student accommodation in London see the EASSS 2013 website: http://www.inf.kcl.ac.uk/events/easss13/accommodation.html ********************************************************************** * STUDENT GRANTS * Some grants are available for students attending EASSS 2013. Details of these grants and of how to apply for them is on the EASSS 2013 website: http://www.inf.kcl.ac.uk/events/easss13/grants.html ********************************************************************** * EASSS 2013 PROGRAMME * Tutorials have been organised into themes. Students are able to attend as many or as few tutorials from a particular theme as they like, there is no requirement to attend all tutorials from a theme. This will allow students access to a wide range of topics from agent research while at the same time giving them the opportunity top do somewhat deeper into a specific area of research if they want to. Theme: Agents, from research to applications 1. Introduction to agent systems by Michael Luck 2. Autonomous intelligent agents in action: Agents on earth and in space by Sara Bernardini 3. Agent and multi-agent research methodologies by Michael Rovatsos Theme: Agent systems development 4. Agent-oriented programming by Raphael Bordini, Mehdi Dastani, Koen Hendriks and João Leite 5. Agent-based modelling and computational economics by Steve Phelps and Neil Rayner 6. Normative multi-agent systems by Wamberto Vasconcelos Theme: Agreement technologies 7. Voting theory by Ulle Endriss 8. Dialogue by Simon Parsons 9. Negotiation by Nicolas Maudet Theme: Game theory 10. Game theory for computer science by Michael Wooldridge 11. Reasoning about cooperation by Nils Bulling and Paolo Turrini Theme: Planning for agents 12. Introduction to AI planning by Amanda Coles and Andrew Coles 13. Decision making under uncertainty by Mathijs Spaan and Frans Oliehoek Theme: Verification of multi-agent systems 14. Model checking multi-agent systems by Alessio Lomuscio and Franco Raimondi 15. Verifying agent-based autonomous systems by Louise Dennis and Michael Fisher ************************************************************************ *** CONTACT *** ************************************************************************ For all matters concerning the technical program of EASSS-2013, please contact Paul Harrenstein or Peter Novak. For matters concerning the local organisation of the summer school, please contact Elizabeth Black or Sanjay Modgil. Paul Harrenstein:paul.harrenstein at cs.ox.ac.uk Peter Novak:P.Novak at tudelft.nl Elizabeth Black:elizabeth.black at kcl.ac.uk Sanjay Modgil:sanjay.modgil at kcl.ac.uk ************************************************************************ -- Dr Elizabeth Black | Lecturer Planning, Agents and Intelligent Systems Group Department of Informatics | King's College London Strand Building S6.21 | Strand | London | WC2R 2LS Tel: 020 7848 2694 | Email: elizabeth.black at kcl.ac.uk Website: http://www.inf.kcl.ac.uk/staff/lizblack/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From info at iasme.org Tue May 21 14:08:12 2013 From: info at iasme.org (Nikos Mastorakis) Date: Tue, 21 May 2013 15:08:12 +0300 Subject: We can have you as Plenary Speaker-Session Organizer (Code 24081926) in our parallel Conferences of Rhodes (Rodos) Island, Greece 2013. Message-ID: Dear Colleagues, We can have you as Plenary Speaker-Session Organizer (Code 24081926) in our parallel Conferences of Rhodes (Rodos) Island, Greece 2013. Please, select the most appropriate conference for you from the big list of our parallel Conferences: http://www.wseas.org Plenary Speaker-Special Session Organizer must be at least Ph.D. Holder We have this special policy: -------------------------------- * We need from you a special session or a group of papers in the same conference (minimum number: 5 PAPERS and all of them must be presented and all these papers must be registered with the very special discount fee 250 EUR / paper) * Upload these papers via the Web Site of the particular WSEAS Conference and then send us their ID numbers (ID numbers: You will have received them by the system after uploading the papers) for the evaluation of the papers. * All these arrangements (papers submission and registration) must finish before the announcement of the final program. List of conferences: Rhodes Island, Greece, July 16-19, 2013 ------------------------------------------------------------ Scientific Sponsors: Technical University of Sofia, Bulgaria, Polytechnic University of Bari, Italy and University Politehnica of Bucharest, Romania 17th CSCC Multiconference: 17th International Conference on Circuits 17th International Conference on Systems 17th International Conference on Communications 17th International Conference on Computers 8th International Conference on Energy & Environment (EE '13) 8th International Conference on Continuum Mechanics (CM '13) 8th International Conference on Water Resources, Hydraulics & Hydrology (WHH '13) 1st International Conference on Hydrology and Ecology (HYEC '13) 7th International Conference on Geology and Seismology (GES '13) The following conferences are also organized in Rhodes by NAUN: ------------------------------------------------------------------------------ 6th International Conference on Urban Rehabilitation and Sustainability (URES '13) 1st International Conference on Environmental Management in Construction (EMC '13) 1st International Conference on Monitoring and Management of Air Pollution (MMAP '13) 1st International Conference on Affective Computing and Applications (ACA '13) 1st International Conference on Artificial Intelligence and Cognitive Science (AICS '13) 1st International Conference on Innovative Computing and Information Processing (INCIP '13) Find the links via our portal: http://www.wseas.org Deadlines: http://www.wseas.org Accepted Papers are going to be published in ======================================== a) ISI/SCOPUS Book (Hard-Copy) b) CD-ROM Proceedings c) Journal (SCOPUS, AMS, Elsevier, Zentrablat, ACM etc... indexed) d) E-Library The Proceedings of the Conferences with all the accepted and registered papers of the conferences will be sent for indexing to: ISI (Thomson Reuters), ELSEVIER, SCOPUS, ACM - Association for Computing Machinery, Zentralblatt MATH, British Library, EBSCO, SWETS, EMBASE, CAS - American Chemical Society, EI Compendex, Engineering Village, DoPP, GEOBASE, Biobase, TIB|UB - German National Library of Science and Technology, American Mathematical Society (AMS), Inspec - The IET, Ulrich's International Periodicals Directory. All the accepted and presented papers will be promoted in our Journals after the conference. Thanks Nikos Mastorakis Professor in the Technical University of Sofia, BULGARIA http://elfe.tu-sofia.bg/elfe/staff.htm , http://elfe.tu-sofia.bg/elfe/curriculum4.htm and http://elfe.tu-sofia.bg/elfe/curriculum3.htm ======================================================================================== This message satisfies the requirements of the European legislation on advertising (Directiva 2002/58/CE of the European Parliament). If you do not wish to receive e-mails from us, if you want to un~subscribe, send an email to rena.n.politi at gmail.com with the following command as Subject: un~subscribe email1, email2, email3, .... where email1, email2, email3 are all the possible emails that you have For example un~subscribe johnsmith at gmail.com, jsmith at server.mbu.uk etc.. Please accept our apologies for any inconvenience caused. From cambria at nus.edu.sg Thu May 23 11:41:25 2013 From: cambria at nus.edu.sg (Erik Cambria) Date: Thu, 23 May 2013 17:41:25 +0800 Subject: CFP: IEEE Computational Intelligence Magazine (Impact Factor: 3.368) Message-ID: Apologies for cross-posting. Submissions are invited for an IEEE Computational Intelligence Magazine special issue on Computational Intelligence for Natural Language Processing. For more/up-to-date info, please visit http://sentic.net/cinlp RATIONALE The textual information available on the Web can be broadly grouped into two main categories: facts and opinions. Facts are objective expressions about entities or events. Opinions are usually subjective expressions that describe people's sentiments, appraisals, or feelings towards such entities and events. Much of the existing research on textual information processing has been focused on mining and retrieval of factual information, e.g., text classification, text recognition, text clustering, and many other text mining and natural language processing (NLP) tasks. Little work had been done on the processing of opinions until only recently. One of the main reasons for the lack of studies on opinions is the fact that there was little opinionated text available before the recent passage from a read-only to a read-write Web. Before that, in fact, when people needed to make a decision, they typically asked for opinions from friends and family. Similarly, when organizations wanted to find the opinions or sentiments of the general public about their products and services, they had to specifically ask people by conducting opinion polls and surveys. However, with the advent of the Social Web, the way people express their views and opinions has dramatically changed. They can now post reviews of products at merchant sites and express their views on almost anything in Internet forums, discussion groups, and blogs. Such online word-of-mouth behavior represents new and measurable sources of information with many practical applications. Nonetheless, finding opinion sources and monitoring them can be a formidable task because there are a large number of diverse sources and each source may also have a huge volume of opinionated text. In many cases, in fact, opinions are hidden in long forum posts and blogs. It is extremely time-consuming for a human reader to find relevant sources, extract related sentences with opinions, read them, summarize them, and organize them into usable forms. Thus, automated opinion discovery and summarization systems are needed. Sentiment analysis grows out of this need: it is a very challenging NLP or text mining problem. Due to its tremendous value for practical applications, there has been an explosive growth of both research in academia and applications in the industry. All the sentiment analysis tasks, however, are very challenging. Our understanding and knowledge of the problem and its solution are still limited. The main reason is that it is a NLP task, and NLP has no easy problems. Another reason may be due to our popular ways of doing research. So far, in fact, researchers have relied a lot on traditional machine learning algorithms. Some of the most effective machine learning algorithms, however, produce no human understandable results. Apart from some superficial knowledge gained in the manual feature engineering process, in fact, such algorithms may achieve improved accuracy, but little about how and why is actually known. All such approaches, moreover, rely on syntactic structure of text, which is far from the way human mind processes natural language. TOPICS Articles are thus invited in area of computational intelligence for natural language processing and understanding. The broader context of the Special Issue comprehends artificial intelligence, knowledge representation and reasoning, data mining, artificial neural networks, evolutionary computation, and fuzzy logic. Topics include, but are not limited to: • Computational intelligence for big social data analysis • Biologically inspired opinion mining • Concept-level opinion and sentiment analysis • Computational intelligence for social media retrieval and analysis • Computational intelligence for social media marketing • Social network modeling, simulation, and visualization • Semantic multi-dimensional scaling for sentiment analysis • Computational intelligence for patient opinion mining • Sentic computing • Multilingual and multimodal sentiment analysis • Multimodal fusion for continuous interpretation of semantics • Computational intelligence for time-evolving sentiment tracking • Computational intelligence for cognitive agent-based computing • Human-agent, -computer, and -robot interaction • Domain adaptation for sentiment classification • Affective common-sense reasoning • Computational intelligence for user profiling and personalization • Computational intelligence for knowledge acquisition TIMEFRAME August 1st, 2013: Paper submission deadline September 1st, 2013: Notification of acceptance October 1st, 2013: Final manuscript due February, 2014: Publication SUBMISSION The maximum length for the manuscript is typically 25 pages in single column with double-spacing, including figures and references. Authors of papers should specify in the first page of their manuscripts corresponding author’s contact and up to 5 keywords. Submission should be made via email to one of the guest editors below. GUEST EDITORS • Erik Cambria, National University of Singapore (Singapore) • Bebo White, Stanford University (USA) • Tariq S. Durrani, Royal Society of Edinburgh (UK) • Newton Howard, MIT Media Laboratory (USA) _______________________________ Erik Cambria, PhD 康文涵 Research Scientist Temasek Laboratories Cognitive Science Programme National University of Singapore 5A Engineering Drive 1, Singapore 117411 Skype: senticnet Website: http://sentic.net Email: cambria at nus.edu.sg Twitter: http://twitter.com/senticnet Facebook: http://facebook.com/senticnet From peterschueller at sabanciuniv.edu Thu May 23 13:53:56 2013 From: peterschueller at sabanciuniv.edu (peterschueller at sabanciuniv.edu) Date: Thu, 23 May 2013 14:53:56 +0300 Subject: 2nd CFP: Workshop on Knowledge Representation and Reasoning in Robotics @ ICLP2013, Istanbul, Turkey Message-ID: (Apologies for cross-posting.) CALL FOR PAPERS AND POSTER ABSTRACTS Workshop on Knowledge Representation and Reasoning in Robotics at the International Conference on Logic Programming (ICLP). Location: Istanbul, Turkey. Date of Workshop: August 25, 2013. Workshop web site: http://www.cs.ttu.edu/~smohan/krr_iclp13/ Conference web site: http://www.iclp2013.org/en/default.asp WORKSHOP SCOPE Mobile robots (and agents) are increasingly being used in a range of application domains such as disaster rescue, surveillance, health care and navigation. A formidable challenge to the widespread deployment of robots in our homes, offices and other complex domains is the ability to represent, reason with and revise incomplete and inconsistent domain knowledge obtained from sensor inputs and high-level human feedback. Although many algorithms have been developed for representing and reasoning with domain knowledge, the research community is fragmented, with separate vocabularies that are increasingly (and ironically) making it difficult for these researchers to communicate with each other. As a result, the rich body of research in knowledge representation for cognitive agents is not fully exploited by robotics researchers. For instance, declarative programming paradigms provide non-monotonic reasoning capabilities essential for robotics, although they do not always consider the challenge of modeling the uncertainty in robot application domains. In parallel, many robotics researchers are developing probabilistic reasoning algorithms that elegantly model the uncertainty in sensing and navigation on robots, although it is a challenge to use such algorithms to represent and reason with commonsense knowledge. In recent years, algorithms have also been developed for combining logical and probabilistic reasoning, but these algorithms do not support the desired knowledge representation and reasoning capabilities, or fail to address problems (e.g., frame problem, ramification problem) that are well understood in the logic programming community. This workshop seeks to engage the logic programming community in robotics research challenges. The objective is to promote a deeper understanding of recent breakthroughs and tough challenges in the logical programming and probabilistic robotics communities, resulting in collaborative efforts towards addressing the knowledge representation and reasoning challenges in robotics. Topics of interest include (but are not limited to): * Knowledge acquisition and representation. * Reasoning with incomplete and inconsistent knowledge. * Reasoning about actions and change. * Planning and scheduling. * Learning and symbol grounding. * Cognitive architectures. * Multiagent systems. We are especially interested in papers describing efforts to integrate knowledge representation, logical reasoning and/or probabilistic reasoning on robots and agents in different application domains. PAPER SUBMISSION Paper submissions can be in one of the following categories: * Regular paper: the length of regular papers (including figures and bibliography) should not exceed 12 pages. * Poster/summary paper: the length of poster/summary papers (including all figures and bibliography) should not exceed 4 pages. Papers must be written in English using the same format used for ICLP submissions: http://www.iclp2013.org/en/Submissions.html Easychair paper submission web site: https://www.easychair.org/conferences/?conf=krr2013 IMPORTANT DATES Submission deadline: June 1, 2013 Notifications: June 25, 2013 Camera-ready deadline: July 10, 2013 Workshop at ICLP: August 25, 2013 ORGANIZERS Mohan Sridharan Department of Computer Science Texas Tech University, USA http://www.cs.ttu.edu/~smohan/ Fangkai Yang Department of Computer Sciences The University of Texas at Austin, USA http://www.cs.utexas.edu/~fkyang Volkan Patoglu Mechatronics Program Faculty of Engineering and Natural Sciences Sabanci University, Istanbul, Turkey http://myweb.sabanciuniv.edu/vpatoglu/ Peter Schueller Computer Science Program Faculty of Engineering and Natural Sciences Sabanci University, Istanbul, Turkey http://www.peterschueller.com/ From bechir.zalila at enis.rnu.tn Fri May 24 00:26:39 2013 From: bechir.zalila at enis.rnu.tn (Bechir ZALILA) Date: Thu, 23 May 2013 23:26:39 +0100 (CET) Subject: WETICE'2013: Call for Participation Message-ID: <20130523222639.F147F1030E@mail.zalila.org> 22nd WETICE Conference: WETICE-2013 Hammamet, Tunisia June 17-20, 2013 http://wetice2013.redcad.org CALL FOR PARTICIPATION WETICE is an annual IEEE co-sponsored International Conference on Collaboration Technologies and Infrastructure with its Proceedings published by the IEEE Computer Society Press. WETICE'2013 will consist of a number of conference tracks on various topics related to collaboration technology. WETICE conference promotes fruitful discussions on the latest technology developments, directions, problems, and requirements. Each conference track will include paper presentations and group discussions. In addition, there will be keynote sessions and a final joint session to summarize each groups findings. What sets WETICE apart from larger conferences is that the conference tracks are kept small enough to promote fruitful discussions on the latest technology developments, directions, problems, and requirements. Each track includes paper presentations and group discussions while the keynote sessions and summary of discussions take place in joint sessions. WETICE welcomes papers on "work-in-progress" from the Ph.D. students. Keynote Speakers ================ - Sandeep Shukla, VA, USA SmartGrid: Where Computing, Communication and Power Systems Meet - Karim Chine, UK Leveraging scriptable infrastructures, Towards an operating system for collaborative Data Science in the cloud - Mohamed Jemni, TN A collaborative approach for inclusion of people with disabilities, Presentation of the project Websign and its applications for deaf people More details about keynote speakers are available on http://wetice2013.redcad.org/index.php/keynote-speakers Programmed Special Issues: ========================== Several special issues of indexed journals are programed: - WETICE 2013: The Computer Journal http://comjnl.oxfordjournals.org/ - AROSA 2013: International Journal of Autonomous and Adaptive Communications Systems http://www.inderscience.com/jhome.php?jcode=ijaacs - PROMASC 2013: International Journal of Cloud Computing http://www.inderscience.com/jhome.php?jcode=ijcc - MADYNE 2013: International Journal of Enterprise Network Management http://www.inderscience.com/jhome.php?jcode=ijenm Registration ============ Information about registration and accommodation can be found on the conference web site (http://www.regonline.com/builder/site/Default.aspx?EventID=1215234) List of tracks: =============== ACEC 11th Track on Adaptive Computing (and Agents) for Enhanced Collaboration https://acec.portals.mbs.ac.uk/ AROSA 3rd Track on Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures http://arosa2013.redcad.org/ CAGing 2nd Track on Collaborative and Autonomic Green Computing http://conf.laas.fr/caging2013/caging_2013_cfp.html CKDD 4th Track on Cooperative Knowledge Discovery & Data Mining http://www.cs.teilar.gr/ckdd/ CDCGM 3rd Track on Convergence of Distributed Clouds, Grids and their Management http://cdcgm.dieei.unict.it/ COPECH 4th Track on Collaboration tools for Preservation of Environment and Cultural Heritage http://www.disp.uniroma2.it/COPECH/Home.html CPS 3rd Track on Cyber Physical Society with SOA, BPM and Sensor Networks http://events.telecom-sudparis.eu/cps/ CSP 2nd Track Conference on Collaborative Software Processes http://www.irit.fr/CSP2013/ CT2CM 3rd Track on Collaborative Technology for Coordinating Crisis Management http://www.doesnotunderstand.org/public/CT2CM2013 FVSBS 1st Track on Formal Verification of Service Based Systems http://www.isimm.rnu.tn/uploaded/file/Agance/Untitled-3.html MADYNE 2nd Track on Management of Dynamic Networked Enterprises http://conf.laas.fr/MADYNE/ PROMASC 2nd Track on Provisioning and Management of Service Oriented Architecture and Cloud Computing http://www.redcad.org/members/benhalima/promasc2013/ VSC 1st Track on Validating Software for Critical Systems http://www.cs.unict.it/~calvagna/VSC/ Contact: ======== For further information, please contact: Ahmed Hadj Kacem Department of Computer Science Faculty of Economics and Management of Sfax University of Sfax, Tunisia Address: B.P. 1088, 3018 Sfax, Tunisia Fax: +216 74 279 139 email: ahmed.hadjkacem at fsegs.rnu.tn From cfp2013 at gelbukh.com Fri May 24 14:43:04 2013 From: cfp2013 at gelbukh.com (Alexander Gelbukh (CFP)) Date: Fri, 24 May 2013 07:43:04 -0500 Subject: CFP: MICAI 2013 - Artificial Intelligence / NLP - Springer LNAI - Mexico Message-ID: MICAI-2013 with NLP track 12th Mexican Intern. Conf. on ARTIFICIAL INTELLIGENCE, NLP track November 24 to 30, 2013 Publication: Springer LNAI www.micai.org/2013 Submission: July 25 == GENERAL INFORMATION Topics: track: all NLP areas, conf: all areas of Artificial Intelligence. Workshops. Tutorials. Doctoral Consortium. Best papers awards. Keynotes: NLP and Cognitive Science-related talks by: - Erik Cambria, NUS: "SenticNet: Helping Machines to Learn, Leverage, Love" - Maria Vargas-Vera: "Multi-Agent Ontology Mapping for the Semantic Web" - Newton Howard, MIT, USA: Topic to be announced in cognitive science. - Amir Hussain, U. of Stirling, UK: "Towards Multi-modal Cognitive Systems" - Ildar Batyrshin, IMP, Mexico: "Time Series Shape Association Measures" == PROCEEDINGS Springer LNAI; special issues of journals including ISI JCR. Poster session: IEEE CPS (anticipated). Workshops: see the respective calls for papers. == VENUE AND TOURS Venue: Mexico City. Cultural program and tours: Pre-Hispanic city of Teotihuacan, world's largest anthropology museum. == CALL FOR WORKSHOPS and TUTORIALS Submit your workshop or tutorial proposal, see the calls on the webpage. From grlmc at urv.cat Sat May 25 19:39:27 2013 From: grlmc at urv.cat (GRLMC) Date: Sat, 25 May 2013 19:39:27 +0200 Subject: TPNC 2013: 2nd call for papers Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ************************************************************************* 2nd INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING TPNC 2013 Cáceres, Spain December 3-5, 2013 Organized by: Computer Architecture and Logic Design Group (ARCO) University of Extremadura Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/tpnc2013/ ********************************************************************* AIMS: TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2013 will reserve significant room for young scholars at the beginning of their career. It aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature. VENUE: TPNC 2013 will take place in Cáceres, in Western Spain, 300 kms. to the southwest of Madrid and 100 kms. to the Portuguese border. The old city is a UNESCO World Heritage site. SCOPE: Topics of either theoretical, experimental, or applied interest include, but are not limited to: * Nature-inspired models of computation: - amorphous computing - cellular automata - chaos and dynamical systems based computing - evolutionary computing - membrane computing - neural computing - optical computing - swarm intelligence * Synthesizing nature by means of computation: - artificial chemistry - artificial immune systems - artificial life * Nature-inspired materials: - computing with DNA - nanocomputing - physarum computing - quantum computing and quantum information - reaction-diffusion computing * Information processing in nature: - developmental systems - fractal geometry - gene assembly in unicellular organisms - rough/fuzzy computing in nature - synthetic biology - systems biology * Applications of natural computing to: algorithms, bioinformatics, control, cryptography, design, economics, graphics, hardware, learning, logistics, optimization, pattern recognition, programming, robotics, telecommunications etc. A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions. STRUCTURE: TPNC 2013 will consist of: ‐ invited talks ‐ invited tutorials ‐ peer-reviewed contributions INVITED SPEAKERS: Risto Miikkulainen (Austin), Evolving Neural Networks (tutorial) Yew-Soon Ong (Singapore), Advances in Memetic Computation Xin Yao (Birmingham), Evolutionary Algorithm Portfolios for Numerical Optimisation PROGRAMME COMMITTEE: Selim G. Akl (Kingston, CA) Thomas Bäck (Leiden, NL) Peter J. Bentley (London, UK) Hans-Georg Beyer (Dornbirn, AT) Mauro Birattari (Brussels, BE) Jinde Cao (Nanjing, CN) Vladimir Cherkassky (Minneapolis, US) Sung-Bae Cho (Seoul, KR) John A. Clark (York, UK) Carlos A. Coello Coello (Mexico DF, MX) David W. Corne (Edinburgh, UK) Peter Dayan (London, UK) Bernard De Baets (Ghent, BE) Andries P. Engelbrecht (Pretoria, ZA) Enrique Herrera-Viedma (Granada, ES) Yaochu Jin (Guildford, UK) Nikola Kasabov (Auckland, NZ) Vladik Kreinovich (El Paso, US) Kwong-Sak Leung (Hong Kong, CN) Xiaohui Liu (London, UK) Manuel Lozano (Granada, ES) Carlos Martín-Vide (Tarragona, ES, chair) Julian F. Miller (York, UK) Frank Neumann (Adelaide, AU) Leandro Nunes de Castro (São Paulo, BR) Nikhil R. Pal (Kolkata, IN) Günther Palm (Ulm, DE) José Carlos Príncipe (Gainesville, US) Helge Ritter (Bielefeld, DE) Conor Ryan (Limerick, IE) Hava Siegelmann (Amherst, US) Moshe Sipper (Beer-Sheva, IL) Thomas Stützle (Brussels, BE) Ponnuthurai N. Suganthan (Singapore, SG) Johan Suykens (Leuven, BE) Kay Chen Tan (Singapore, SG) Dacheng Tao (Sydney, AU) Jon Timmis (York, UK) Marco Tomassini (Lausanne, CH) Michael D. Vose (Knoxville, US) Michael N. Vrahatis (Patras, GR) Harald Weinfurter (Munich, DE) Jun Zhang (Guangzhou, CN) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Martín-Vide (Tarragona, co-chair) Bianca Truthe (Magdeburg) Miguel A. Vega-Rodríguez (Cáceres, co-chair) Florentina Lilica Voicu (Tarragona) LOCAL COMMITTEE: Víctor Berrocal-Plaza José M. Chaves-González Juan A. Gómez-Pulido David L. González-Álvarez José M. Granado-Criado Alejandro Hidalgo-Paniagua José M. Lanza-Gutiérrez Álvaro Rubio-Largo Sergio Santander-Jiménez Miguel A. Vega-Rodríguez (chair) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices) and should be formatted according to the standards of the Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=tpnc2013 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. A special issue of the journal Soft Computing (Springer, 2011 impact factor: 1.880) will be later published containing peer-reviewed extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The period for registration is open from April 17 to December 3, 2013. The registration form can be found at: http://grammars.grlmc.com/tpnc2013/Registration DEADLINES: Paper submission: July 16, 2013 (23:59h, CET) Notification of paper acceptance or rejection: August 27, 2013 Final version of the paper for the LNCS proceedings: September 3, 2013 Early registration: September 10, 2013 Late registration: November 19, 2013 Starting of the conference: December 3, 2013 End of the conference: December 5, 2013 Submission to the post-conference special issue: March 5, 2014 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: TPNC 2013 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34-977-559543 Fax: +34-977-558386 ACKNOWLEDGEMENTS: Departament d’Economia i Coneixement, Generalitat de Catalunya Universidad de Extremadura Universitat Rovira i Virgili From aspocp at gmail.com Mon May 27 03:07:04 2013 From: aspocp at gmail.com (Yuliya Lierler) Date: Sun, 26 May 2013 20:07:04 -0500 (CDT) Subject: Second CfP ASPOCP 2013: 6th Workshop on Answer Set Programming and Other Computing Paradigms Message-ID: <20130527010704.D9F3F32273D@yuliya.localdomain> Apologies for cross-posting. =============================================================================== CALL FOR PAPERS ASPOCP 2013 6th Workshop on Answer Set Programming and Other Computing Paradigms http://www.kr.tuwien.ac.at/events/aspocp2013 August 25th, 2013 Collocated with the International Conference on Logic Programming 2013 Istanbul, Turkey August 24-29, 2013 =============================================================================== AIMS AND SCOPE Since its introduction in the late 1980s, answer set programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was found to be closely related to SAT, which has led to a method of computing answer sets using SAT solvers and techniques adapted from SAT. While this has been the most studied relationship which is currently extended towards satisfiability modulo theories (SMT), the relationship of ASP to other computing paradigms, such as constraint satisfaction, quantified boolean formulas (QBF), first-order logic (FOL), or FO(ID) logic is also the subject of active research. New methods of computing answer sets are being developed based on the relation between ASP and other paradigms, such as the use of pseudo-Boolean solvers, QBF solvers, FOL theorem provers, and CLP systems. Furthermore, the practical applications of ASP also foster work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration of ASP with description logics (in the realm of the Semantic Web), constraint satisfaction, and general means of external computation. This workshop will facilitate the discussion about crossing the boundaries of current ASP techniques in theory, solving, and applications, in combination with or inspired by other computing paradigms. TOPICS Topics of interests include (but are not limited to): - ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL). - ASP and constraint programming. - ASP and other logic programming paradigms, e.g., FO(ID). - ASP and other nonmonotonic languages, e.g., action languages. - ASP and external means of computation. - ASP and probabilistic reasoning. - ASP and machine learning. - New methods of computing answer sets using algorithms or systems of other paradigms. - Language extensions to ASP. - ASP and multi-agent systems. - ASP and multi-context systems. - Modularity and ASP. - ASP and argumentation. - Multi-paradigm problem solving involving ASP. - Evaluation and comparison of ASP to other paradigms. - ASP and related paradigms in applications. - Hybridizing ASP with procedural approaches. - Enhanced grounding or beyond grounding. SUBMISSIONS Papers must describe original research and should not exceed 15 pages in the Springer LNCS format . Paper submission will be handled electronically by means of the Easychair system. The submission page is available at http://www.easychair.org/conferences/?conf=aspocp13 IMPORTANT DATES Abstract submission: June 11, 2013 Paper submission deadline: June 18, 2013 Notification: July 11, 2013 Camera-ready articles due: July 25, 2013 Workshop: August 25, 2013 PROCEEDINGS The workshop contributions will be published electronically, using the Computing Research Repository (CoRR). LOCATION The workshop will be held in Istanbul, Turkey, collocated with the International Conference on Logic Programming (ICLP) 2013. WORKSHOP CO-CHAIRS Michael Fink, Vienna University of Technology, Austria Yuliya Lierler, University of Nebraska at Omaha, USA PROGRAM COMMITTEE Marcello Balduccini, Kodak Research Labs, USA Pedro Cabalar, Corunna University, Spain Sandeep Chintabathina, University of Arkansas at Pine Bluff, USA Selim T. Erdogan, Independent Researcher, Turkey Wolfgang Faber, University of Calabria, Italy Cristina Feier, University of Oxford, UK Martin Gebser, University of Potsdam, Germany Gregory Gelfond, Arizona State University, USA Giovambattista Ianni, University of Calabria, Italy Daniela Inclezan, Miami University in Ohio, USA Joohyung Lee, Arizona State University, USA Joao Leite, New University of Lisbon, Portugal Vladimir Lifschitz, University of Texas at Austin, USA Marco Maratea, University of Genoa, Italy Alessandro Mosca, Free University of Bolzano, Italy Emilia Oikarinen, Aalto University, Finland David Pearce, Universidad Politecnica de Madrid, Spain Axel Polleres, Siemens AG Corporate Technology, Austria Guillermo R. Simari, Universidad Nacional del Sur, Argentina Evgenia Ternovska, Simon Fraser University, Canada Hans Tompits, Vienna University of Technology, Austria Miroslaw Truszczynski, University of Kentucky, USA Joost Vennekens, Catholic University of Leuven, Belgium Marina De Vos, University of Bath, UK Stefan Woltran, Vienna University of Technology, Austria Fangkai Yang, University of Texas at Austin, USA Jia-Huai You, University of Alberta, Canada From jleite at fct.unl.pt Mon May 27 14:22:05 2013 From: jleite at fct.unl.pt (Joao Leite) Date: Mon, 27 May 2013 13:22:05 +0100 Subject: Final CFP: CLIMA XIV - 14th Int'l Workshop on Computational Logic in Multi-Agent Systems Message-ID: [Please accept our apologies if you receive multiple postings.] ++++++++++++++++++++++++++++++++++++++++++++++++++++ Final Call for Papers CLIMA XIV 14th International Workshop on Computational Logic in Multi-Agent Systems with special sessions on: * Argumentation Technologies * Norms and Normative Multi-Agent Systems. http://centria.di.fct.unl.pt/events/climaXIV/ Corunna, Spain, September 16-17, 2013. Co-located with LPNMR'13. Submission deadline: June 10th (abstracts June 6th). Proceedings: LNCS/LNAI volume (available at the workshop). JLC Special Issue: Selected extended papers will be published in a Special Issue of the Journal of Logic and Computation. ++++++++++++++++++++++++++++++++++++++++++++++++++++ The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. Following the previous thirteen, very successful, editions, the 14th CLIMA will take place in Corunna, Spain, on the 16th and 17th of September 2013. It will be co-located with LPNMR'13. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions: * Argumentation Technologies * Norms and Normative Multi-Agent Systems. We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. LNCS Proceedings: CLIMA's Proceedings will be published by Springer as a volume in the Lecture Notes in Computer Science, and will be available in time for the workshop. JLC Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to be considered for inclusion in a CLIMA Special Issue of the Journal of Logic and Computation. Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, formatting and submission instructions is available at http://centria.di.fct.unl.pt/events/climaXIV/ Important dates: * Submission: June 6th (Abstracts) / June 10th (Papers) (Strict) * Notification: June 24th * Camera Ready: July 4th CLIMA XIV Chairs: * João Leite, New University of Lisbon, Portugal * Tran Cao Son, New Mexico State University, NM, USA Special Session Organisers: Argumentation Technologies: * Paolo Torroni, University of Bologna, Italy * Stefan Woltran, Vienna University of Technology, Austria Norms and Normative Multi-Agent Systems: * Leon van der Torre, Univ. of Luxembourg, Luxembourg Please send all enquiries about CLIMA XIV to climaxiv2013 at easychair.org -- --------------------------------------------------------------- Joao Leite FCT-UNL - Universidade Nova de Lisboa, Faculdade de Ciencias e Tecnologia, Departamento de Informatica e-mail: jleite at fct.unl.pt web: http://centria.di.fct.unl.pt/~jleite --------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From p.torroni at unibo.it Wed May 29 11:09:55 2013 From: p.torroni at unibo.it (Paolo Torroni) Date: Wed, 29 May 2013 09:09:55 +0000 Subject: Final CFP: Argumentation Technologies@CLIMA XIV Message-ID: <6EEF840D89177A49937C62327C06E442A81F573E@E10-MBX1-CS.personale.dir.unibo.it> [Please accept our apologies if you receive multiple postings. This is the FINAL CfP] ++++++++++++++++++++++++++++++++++++++++++++++++++++ Final Call for Papers Special Session on Argumentation Technologies CLIMA XIV - 14th International Workshop on Computational Logic in Multi-Agent Systems http://centria.di.fct.unl.pt/events/climaXIV/ Corunna, Spain, September 16-17, 2013. Co-located with LPNMR'13. Submission deadline: June 10th (abstracts June 6th). Proceedings: LNCS/LNAI volume (available at the workshop). JLC Special Issue: Selected extended papers will be published in a Special Issue of the Journal of Logic and Computation. ++++++++++++++++++++++++++++++++++++++++++++++++++++ Argumentation is an important and exciting topic in Artificial Intelligence, where uses of argumentation have increased in recent years, throughout a variety of subdisciplines. Research activities range from theory to applications. The CLIMA XIV Special Session on Argumentation Technologies is intended to be a forum to discuss concepts, theories, methodologies, and applications of computational models of argumentation. We invite submissions related to (but not limited to) one or more of the following topics: * Computational models of (natural) argument * Argumentation in artificial societies * Argumentation in social networks * Argumentation in multi-agent systems * Dialogues, negotiation and dynamic aspects in argumentation * Argument-based interaction and persuasion * Innovative applications of computational argumentation * Agreement technologies Following the previous thirteen, very successful, editions, the 14th CLIMA will take place in Corunna, Spain, on the 16th and 17th of September 2013. It will be co-located with LPNMR'13. In addition to CLIMA's regular topics and the session on Argumentation Technologies, this edition will feature a special session on Norms and Normative Multi-Agent Systems. We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. LNCS Proceedings: CLIMA's Proceedings will be published by Springer as a volume in the Lecture Notes in Computer Science, and will be available in time for the workshop. JLC Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to be considered for inclusion in a CLIMA Special Issue of the Journal of Logic and Computation. Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, formatting and submission instructions is available at http://centria.di.fct.unl.pt/events/climaXIV/ Important dates: * Submission: June 6th (Abstracts) / June 10th (Papers) (Strict) * Notification: June 24th * Camera Ready: July 4th Argumentation Technologies Special Session Organisers: * Paolo Torroni, University of Bologna, Italy * Stefan Woltran, Vienna University of Technology, Austria Norms and Normative Multi-Agent Systems Special Session Organiser: * Leon van der Torre, Univ. of Luxembourg, Luxembourg CLIMA XIV Chairs: * João Leite, New University of Lisbon, Portugal * Tran Cao Son, New Mexico State University, NM, USA Please send all enquiries about CLIMA XIV to climaxiv2013 at easychair.org 5x1000 AI GIOVANI RICERCATORI DELL'UNIVERSITÀ DI BOLOGNA Codice Fiscale: 80007010376 www.unibo.it/Vademecum5permille Questa informativa è inserita in automatico dal sistema al fine esclusivo della realizzazione dei fini istituzionali dell’ente. From mzanetti at ethz.ch Wed May 29 17:23:29 2013 From: mzanetti at ethz.ch (Marcelo Serrano Zanetti) Date: Wed, 29 May 2013 17:23:29 +0200 Subject: SASO2013 - Call for Posters and Demos In-Reply-To: <51911409.6090902@ethz.ch> References: <519113A3.5030202@yahoo.com> <51911409.6090902@ethz.ch> Message-ID: <51A61D71.7000409@ethz.ch> ************************************************************************************************************ CALL FOR POSTERS and DEMOS Seventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2013) Philadelphia (PA), USA; 9-13 September 2013 ---https://www.cs.drexel.edu/saso2013/ ************************************************************************************************************ ------------------------------- APPROACHING DEADLINES! ------------------------------- *** Deadline for POSTER submission: June 10, 2013 (Extended Deadline) *** Deadline for CONTEST/DEMO submission: July 9, 2013 ****************************** Call for Posters ****************************** The seventh SASO conference continues its tradition of offering poster sessions, a great opportunity for interactive presentation of emerging ideas, late-breaking results, experiences, and challenges on SASO topics. Poster sessions are informal and highly interactive, and allow authors and participants to engage in in-depth discussions about the presented work from which new collaborations, ideas, and solutions can emerge. Posters should cover the same key areas as Research Papers and should contain original cutting-edge ideas, as well as speculative/provocative ones. Proposals of new research directions and innovative interdisciplinary approaches are also welcome. Submissions in the following areas are particularly encouraged: - Self-* systems theories, frameworks, models, and paradigms, including the ones inspired by the biological, social, and physical worlds. - Self-* systems engineering: goals and requirements, hardware and software design, deployment, management and control, validation. - Properties of self-* systems: self-organization and emergent behavior, self-adaptation, self-management, self-monitoring, self-tuning, self-repair, self-configuration, etc. - Evaluation of self-* systems: methods for performance, robustness, and dependability assessment and analysis. - Social self-* systems: emergent human behavior, crowdsourcing, collective awareness, gamification and serious games. - Applications and experiences with self-* systems: cyber security, transportation, computational sustainability, power systems, large networks, large data centers, and cloud computing. ------------------------ Important Dates ------------------------ *** Deadline for submission: June 10, 2013 (Extended Deadline) *** Notification of acceptance or rejection: June 29, 2013 Camera ready poster abstract due: July 19, 2013 Early registration deadline: August 21, 2013 --------------------------- Submission Process --------------------------- For evaluation and selection, authors should submit a two-page extended abstract of their poster. The format of this extended abstract must comply with the IEEE Computer Society Press proceedings style guide and it shall be submitted electronically in PDF format. Templates for Word and LaTeX are available here. Please register as authors and submit your papers using the SASO 2013 conference management system. Poster authors should use the poster track for their submissions. ------------------------- Accepted Posters ------------------------- If selected, authors shall prepare a final, camera ready version of the extended abstract, taking into account all feedback from reviewers, and formatted according to the IEEE Computer Society Press proceedings style guide. Posters will be advertised in the final program, and authors' two-page extended abstracts will be published by the IEEE Computer Society Press as part of the conference proceedings. Abstracts will also be available as part of the IEEE Digital Library. ----------------------- Poster Content ----------------------- Authors shall prepare their poster for presentation in the reserved poster session, taking into consideration that all posters should include the following information: - The purpose and goals of the work. - Any background and motivation needed to understand the work. - Any critical hypotheses and assumptions that underlie the work. - A clear summary of the contribution and/or results, in sufficient detail for a (re)viewer to understand the work and its relevance. If the work is at an initial stage, it is especially important to state clearly the anticipated contributions and any early results towards them. - The relationship to other related efforts, where appropriate. Authors of accepted posters may be asked to point out relationships to work represented by other accepted posters. - Where to find additional information. This should include but is not restricted to: a web site where viewers can go to find additional information about the work how to contact the authors, including email addresses citations for any papers, books, or other materials that provide additional information. -------------------------------- Poster Layout Guidelines -------------------------------- The format of posters and the nature of poster sessions require authors to capture the viewers' attention effectively, and present core concepts so as to clearly position the context of their research work. For this reason, graphic representations, figures, and screen shots are typically the main medium of communication in successful posters. Few attendees will stop to read a large poster with dense text. If screen shots are used, please ensure that they print legibly and that the fonts are large enough to be read easily once printed. The recommended size for the poster is A0 and all poster authors are required to print and bring their posters at the conference. If you decide to print your poster once in Philadelphia, a convenient facility can be the FedEx Office Print & Ship Center that is next to Drexel University (3535 Market St.). Attendance At least one of the poster authors is required to register at the conference and will be required to give a brief presentation of the poster in the interactive poster session, as well as staying with the poster to discuss the work with conference attendees for the duration of the scheduled poster sessions. --------------------- Poster Chair --------------------- Daniel Dubois, Massachusetts Institute of Technology, USA Email:ddubois at mit.edu ******************************** Call for Demos and Contest ******************************** Students and researchers are invited to present their applications and systems at the SASO 2013 conference. Submissions will be evaluated by a group of judges from academia and industry. Each submission will be evaluated based on its overall self-* abilities, originality and maturity. In particular, the committee will consider system robustness, resilience and scaling abilities, in addition to the self-* functions. Projects for both the Demonstrations and the Contest may rely on simulation, use real equipment - like sensors, actuators, robots and so on - or a combination of these. The subject for the Demonstrations is free, as long as it is of relevance to the topics promoted by the SASO conference. At the same time, this year we encourage contributions that can highlight their reusability as conceptual or concrete artefacts to help analyse, design, implement and maintain SASO systems. At the same time, this year, especially welcome are contributions that bring to the fore reusable artefacts that could help design, develop and maintain SASO systems. These include artefacts that address one or several of the important aspects of SASO systems, like self-adaptation, self-organisation, self-stabilisation, self-synchronisation, handling conflicting goals, etc. Such reusable artefacts may include anything from conceptual and theoretical entities, such as paradigms, principles or methodologies; through generic or domain-specific architectures, models, design patterns and toolkits; and to concrete building blocks like platforms, frameworks, algorithm implementations, communication and coordination facilities and so on. Authors should demonstrate their contributions via a concrete demo that illustrates the advantages and reusability of their proposal. ------------------------ Important Dates ------------------------ Deadline for contest/demo submission: July 9, 2013 Notification of acceptance or rejection: August 9, 2013 Demo session date: 9 - 13 September, 2013 ------------------- Submission ------------------- Submissions for both the Demo session and the Contest must include: - short paper (2 pages, in the conference format) describing the system and its abilities; - link to a web page/site, which should allow viewers to play with the real system or with an emulator, or to watch a self-explanatory video showing the system at work. Authors should defend their proposal indicating why the committee should select their proposal for a demo or for the contest. Electronic submission via email to:sara.montagna at unibo.it andada.diaconescu at telecom-paristech.fr At the conference, software applications will be presented on computers. For cyber-physical systems, if possible, authors are invited to bring their materials (smart-devices, sensors, actuators, robots, and so on). Software simulations or video recordings can be accepted as an alternative. Authors can apply both to the Demo session and to the Contest. ------------------------------ Evaluation and Awards ------------------------------ Proposals will undergo two rounds of evaluation. In the first round, the technical papers and the online demos will be evaluated, based on the following criteria: - Technical Paper (50%): the novelty and impact of the application, as well as the technical depth and presentation of the paper. - Online Demo System (50%): design, degree of innovation, technical solution, clarity of the contribution and possibility of reuse. Finalists will be selected and invited to present their proposals during the Demo and Contest session at SASO 2013. They will have to register to the conference. In the second round, finalists will do an on-site presentation and demonstration of their proposal. In the Demonstration session, the teams will demo their systems to the evaluation committee, as well as to conference attendees. In the Contest session, it will be a great plus if the evaluation committee will also be able to play with the proposed systems (see Call for Contest). In both sessions, authors must bring a poster summarizing their system and demo. The evaluation criteria for the second round will include the technical paper, the online demo system and, most importantly, the on-site presentation and demo. The evaluation committee will award a prize to the best Demo(s) and to the Contest winner(s). The evaluation committee consists of the Demo and Contest Program Committee members attending the conference. --------------------- Demo Chairs --------------------- Sara Montagna, Universita di Bologna, Italy Email:sara.montagna at unibo.it Ada Diaconescu, TELECOM ParisTech, France Email:ada.diaconescu at telecom-paristech.fr From anja.metzner at HS-augsburg.de Wed May 29 21:21:32 2013 From: anja.metzner at HS-augsburg.de (Anja Metzner) Date: Wed, 29 May 2013 21:21:32 +0200 Subject: OTMA'13 - Deadline Extention (Workshop for Ph.D. Students) Message-ID: <38c1-51a65500-33-68c42100@140720153> ================================================================= CALL FOR PAPERS: 10th OTM Academy (Workshop for Ph.D. students) September 09-10, 2013, Graz, Austria http://www.onthemove-academy.org/ In conjunction with OnTheMove Federated Conferences and Workshops (OTM'13) http://www.onthemove-conferences.org Proceedings published by Springer LNCS Deadline: abstracts deadline extended to 2 June 2013 & papers deadline extended to 9 June ================================================================= if YOU are a Ph.D. student in information systems,... * interested in feedback on your research plans and research * unable to sufficiently exchange ideas, experiences, frustrations, hopes, … with peers * planning to improve your scientific communication and presentation skills * hoping to meet in real life authors whom you only know by their publications    * needing to acquire paper reviewing expertise * eager to widen your horizon of professional interests * and looking for some fun moments during work You should submit to this year’s OTM Academy. It offers you... * a means to publish your paper in the well known Springer LNCS series * dedicated feedback and exclusive time of prominent professors, experienced researchers and experts in your field of research during the OTM Academy * targeted suggestions how to improve your scientific writing and presentation skills by appropriate experts of the OTM Academy * an international forum to present your research in a poster session in one of the OTM conferences * access to all OTM conferences and workshops at a reduced registration fee * a possibility to earn ECTS credits * a dedicated OTMA LinkedIn group as an international network building platform * a friendly and fun atmosphere (several OTM social events) to meet other Ph.D. students and researchers in a nice and sunny place in the middle of ancient cultural heritage (Graz - Austria) * the possibility to become a member of our Hall-of-Fame of past OTMA PhD students on our web page. Join for free the OTMA community and widen your networks What to do ? * coordinate your submission plans with your principal doctoral advisor  * take a look at the OTM Academy call-for-papers page  [http://www.onthemove-academy.org/] * check if the topics match your research * write your paper according to the instructions * follow the instructions to upload your abstract and paper  [http://submissions.onthemove-conferences.org/2013/otma/] * respect formatting instructions (the Springer style for workshop papers) * upload a camera ready version and register * respect the deadlines and specific instructions * prepare your presentation and bring along your poster * meet and greet, listen and learn, ... and enjoy * and maybe bring along your advisors to the OTM Conferences Also other (Ph.D.) students without an accepted submission to the OTM Academy are encouraged to register as participants as it proves to be fruitful for them to observe and interact with presenting authors like you, and expand the pool of ideas to be discussed. OTMA 2013 will award the best contribution ! IMPORTANT DATES: Abstracts Submission Deadline:   Extended to 2 June, 2013  Paper Submission Deadline:       Extended to 9 June, 2013 Acceptance Notification:         June 28, 2013 Camera ready received:           July 16, 2013 Registration Deadline:           July 16, 2013 OTM Academy '13:                 September 09 - 10, 2013 OTM’13 Conferences:              September 09 - 13, 2013 The program committee consists of the following reviewers: * Galia Angelova (Bulgarian Academy of Science, Sofia, Bulgary) * Christophe Bussler (Xtime Inc., USA) * Paolo Ceravolo (Universitá degli Studi di Milano, Milan, Italy) * Philippe Cudré-Maroux (Massachusetts Institute of Technology, USA) * Alfred Holl (University of Applied Sciences Nüremberg, Germany),  OTMA Accompanying Professor * Frédéric Le Mouël (University of Lyon, France) * Marcello Leida (Khalifa University Abu Dhabi, United Arabic Emirates) * Erich J. Neuhold (University of Vienna, Austria), OTMA Dean * Hervé Panetto (Nancy University, Nancy, France) * Erik Proper (Public Research Centre - Henri Tudor, Luxembourg) * Anja Metzner (University of Applied Sciences Augsburg, Germany)  OTMA Organising Chair & Accompanying Professor * Fatiha Saïs (Université Paris-Sud XI, France) * Andreas Schmidt (Karlsruhe University of Applied Sciences, Germany) * Peter Spyns (Vrije Universiteit Brussel, Belgium), OTMA Organising Chair * Maria Esther Vidal (Universidad Simon Bolivar, Venezuela),  OTMA Accompanying Profesor and OTMA Publicity Chair For our young audience of PhD students we added a lot of details about all our faculty members on our web page (http://www.onthemove-academy.org/). You can contact us via: academy at onthemove-conferences.org Peter Spyns and Anja Metzner (OTMA'13 Organising Chairs) -- Prof. Dr. Anja Metzner University of Applied Sciences Augsburg, Department of Computer Sciences Postfach 11 06 05, 86031 Augsburg Tel: +49 (0)821 - 5586/3426 From paliourg at iit.demokritos.gr Thu May 30 11:02:23 2013 From: paliourg at iit.demokritos.gr (George Paliouras) Date: Thu, 30 May 2013 12:02:23 +0300 Subject: BioASQ challenge on hierarchical text classification (task 1a) - 2nd batch is starting Message-ID: <00ca01ce5d14$666e3230$334a9690$@demokritos.gr> [ please distribute - apologies for multiple postings ] BioASQ challenge on large-scale biomedical semantic indexing and question answering (BioASQ workshop after CLEF 2013 in Valencia, Spain on September 27, 2013) Web site: http://bioasq.org/ twitter: https://twitter.com/bioasq The first batch of the first task of the BioASQ challenge (Task1a: Large-scale online biomedical semantic indexing) has been completed with more than 20 systems participating. It comprised six weekly tests, the results of which are being continuously updated as Medline articles get annotated by curators. The current results are available at: http://bioasq.lip6.fr/results/ The second batch of the same task is starting on Monday June 3, 2013 and will comprise 6 new weekly tests. We strongly encourage anyone who works on hierarchical text classification to participate in the second batch, which will be assessed separately from the first. In fact participation is possible even if one misses one of the six tests, as only the four best scores of each system will be used for the final ranking in the batch. Prizes will be awarded to the winners of each batch. Check the following page for more information: http://www.bioasq.org/participate/prizes Registration to the task is open and will remain open until the end of the challenge in August. In order to register and participate, please visit the BioASQ participants area: http://bioasq.lip6.fr/ Important dates: June 3, 2013: Start of second batch July 15, 2013: Third batch August 26, 2013: End of task 1a September 27, 2013: BioASQ Workshop (following CLEF 2013) Good luck from the BioASQ team! The BioASQ challenge and workshop are organised by the BioASQ project, supported by the European Commission within the 7th Framework Programme (Grant Agreement No. 318652). From brendon.woodford at otago.ac.nz Fri May 31 06:03:18 2013 From: brendon.woodford at otago.ac.nz (Brendon Woodford) Date: Fri, 31 May 2013 04:03:18 +0000 Subject: AI 2013: Call for Tutorials Message-ID: <4E09E4C2A5ED7442A4F667D4D3394CE87837B2E5@ITS-EXM-P06.registry.otago.ac.nz> AI'2013 Call for Tutorials The Australasian Joint Conference on Artificial Intelligence (AI'2013) conference committee invites proposals for the tutorial programme to be held on Tuesday 3 Dec 2013 immediately prior to the main technical programme of the AI'2013 (4-6 December 2013). The tutorials aim at providing conference attendees with an introduction to current research in a specific area of artificial intelligence. Tutorial topics include, but are not restricted to, the following topics listed at: http://ai2013.otago.ac.nz/call-for-papers/. Important Dates Proposal submission deadline: 01 July 2013 Proposal acceptance notification: 19 Aug 2013 Deadline for posting the tutorial call for participation: 26 Aug 2013 Provisional attendees list: 07 Oct 2013 Final list of attendees: 04 Nov 2013 Requirements for Tutorial Proposal (2 pages) The first page should contain the following information: * Concise title, abstract of the tutorial and tentative contents in syllabus-like form * Proposed duration (i.e. half day = 3 hours or full day = 2 x 3 hours) * Intended audience and prerequisite knowledge: what the attendees should already know The second page on background information on the presenter(s) should contain: * Names, affiliations, homepages, contact details and short biographies of presenter(s) * Information about previous tutorials (title, location, number of attendees, etc.) if any * Tutorial materials such as handouts or slides should be included if already available, but are not required for submission. All proposals should be submitted by the deadline, via e-mail, to the AI'2013 tutorial chair: Lubica Benuskova lubica at cs.otago.ac.nz The selection of tutorials to be included in the final AI'2013 programme will be based upon: scientific/technical interest of the topics, the quality of the proposal, balance of topics, and the capacity of the conference tutorial program. Authors of proposals addressing similar and/or overlapping content areas and/or audiences may be requested to merge their proposals. Responsibilities of AI'2013 For successful proposals, AI'2013 will be responsible for the followings: * Providing publicity for the tutorial series as a whole * Providing logistic support and a meeting place for the tutorial * AI'13 reserves the right to cancel any tutorial if too few attendees register for the tutorial to support its running costs. From peterschueller at sabanciuniv.edu Fri May 31 08:18:59 2013 From: peterschueller at sabanciuniv.edu (peterschueller at sabanciuniv.edu) Date: Fri, 31 May 2013 09:18:59 +0300 Subject: 2nd CFP: Workshop on Natural Language Processing and Automated Reasoning @ LPNMR'2013, A Corunna, Spain Message-ID: (Apologies for cross-posting.) CALL FOR PAPERS Workshop on Natural Language Processing and Automated Reasoning (NLPAR 2013) http://sites.google.com/site/nlpar2013 http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=30355©ownerid=46559 Collocated with the 12th International Conference on Logic Programming and Nonmonotonic Reasoning 2013, A Corunna, Spain, September 15-19, 2013 AIMS AND SCOPE Natural Language Processing (NLP) has been of interest for a long time; to the Artificial Intelligence community in general and to the Logic Programming and Automated Reasoning community in particular. NLP approaches that are based on mathematical logic promise a deeper understanding of natural language than possible with purely statistics-based methods. A deep understanding is beneficial and necessary in most areas of NLP, for example word and entity recognition; word sense disambiguation; parsing and syntactical disambiguation; and reasoning over the semantics and pragmatics of words, phrases, sentences, and whole discourses. This workshop aims to bring together researchers with a common interest in addressing the challenges of natural language processing using automated reasoning methods. As submissions to this workshop, theoretical results, reports about systems and experiments, and work that combines mathematical logic and statistical methods, are welcome. Topics include but are not limited to: * Morphology * Named Entity Recognition * Syntax * Coreference Resolution * Semantics * Discourse * Pragmatics * Ontologies for NLP * Controlled Natural Language * Question Answering * Recognizing Textual Entailment * Natural Language Generation * Text Summarization * Machine Translation INSTRUCTIONS FOR AUTHORS NLPAR 2013 aims to present original scientific research, and will not accept any paper which, at the time of submission, has already been published or accepted for publication in a journal or previous conference. Submissions must be written in English and formatted according to the Springer LNCS/LNAI author instructions. http://www.springer.com/comp/lncs/Authors.html Papers must present original research and not exceed 12 pages including title page, references and figures. Paper submission and peer review is electronic and managed through the following easychair webpage. https://www.easychair.org/conferences/?conf=nlpar2013 Proceedings will be published online after the workshop, we intend to publish them as CEUR workshop proceedings on CEUR-WS.org. IMPORTANT DATES * Paper registration: June 30, 2013 * Paper submission: July 7, 2013 * Notification: August 25, 2013 * Final version: September 8, 2013 * Workshop: TBA - during LPNMR week September 15-19, 2013 ORGANIZING COMMITTEE Chitta Baral (Arizona State University, USA) Peter Schueller (Sabanci University, Turkey) Email Contact: nlpar2013 at easychair.org PROGRAM COMMITTEE Marcello Balduccini (Kodak Research Laboratories) Johan Bos (University of Groningen) Vinay Chaudhri (SRI International) Esra Erdem (Sabanci University) Christian Fermueller (Vienna University of Technology) Michael Gelfond (Texas Tech University) Yuliya Lierler (University of Nebraska at Omaha) From fink at kr.tuwien.ac.at Fri May 31 18:54:43 2013 From: fink at kr.tuwien.ac.at (Michael Fink) Date: Fri, 31 May 2013 18:54:43 +0200 Subject: CfP ARCOE-LogIC 2013: Acquisition, Representation and Reasoning with Contextualized Knowledge, 5th International Workshop Message-ID: <51A8D5D3.3@kr.tuwien.ac.at> === CALL FOR PAPERS === Acquisition, Representation and Reasoning with Contextualized Knowledge, 5th International Workshop (ARCOE-LogIC 2013) http://www.arcoe.org/2013 held in collocation with 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-2013), Corunna, Spain -- Important Dates -- Abstracts deadline: 5 Jul 2013 Paper deadline: 12 Jul 2013 Notification: 9 Aug 2013 Camera ready: 23 Aug 2013 Workshop dates: 15-19 Sep 2013 (tentative) -- 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 into 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, knowledge evolution, and others. 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-LogIC 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-LogIC 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: * What is context and how should it be represented. * Relevant types of contextual information and their properties, and formalization. * Combining contextual information with object information for reasoning. * Context and common-sense reasoning. * Exploiting context in inconsistency and uncertainty handling, defeasible reasoning and argumentation. * Contextual logic programming. * Updating contextual knowledge and context-aware belief revision. Context modeling and contextual knowledge engineering: * Modeling of user's or agent's context. * Context driven organization of knowledge and modeling. * Ontologies for context modeling. * Context-aware modeling tools and methodology. * Comparisons to context-unaware modeling techniques. Reasoning with context: * Effective context-aware reasoning algorithms and frameworks. * Distributed reasoning with context. * Context-driven heuristics in classical reasoning systems. * Query answering and contextual data access. * Reasoning in uncertain and inconsistent contexts. * Reasoning in defeasible contexts. * Hybrid formalisms for reasoning with context, including sub-symbolic contexts. * Stream reasoning in dynamically changing contexts. Applications of context in areas such as: * Agent communication and coordination. * Semantic Web and Linked Open Data. * Knowledge modularization. * Ontology matching. * Ontology fault diagnosis and repair. * Ontology evolution and versioning. * Information integration. * Ambient intelligence and pervasive computing. * Exploiting context in Web 2.0 applications, e-commerce, and e-learning. -- Submission Requirements -- Submission of regular and position papers is possible. Regular papers are intended for research reports and surveys. ARCOE-LogIC 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=arcoelogic2013 All submitted papers will be subject to blind (but not double-blind) peer-review process. 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, Austria * Martin Homola, Comenius University of Bratislava, Slovakia * Alessandra Mileo, DERI, National University of Ireland * Ivan Jose Varzinczak, Centre for Artificial Intelligence Research, South Africa -- Steering Committee -- * Alan Bundy, University of Edinburgh, UK * Thomas Eiter, Vienna University of Technology, Austria * Luciano Serafini, Fondazione Bruno Kessler, Trento, Italy -- Resources -- ARCOE-LogIC 2013 website: http://www.arcoe.org/2013/ ARCOE workshop series: http://www.arcoe.org/ Submission site: https://www.easychair.org/conferences/?conf=arcoelogic2013 LPNMR 2013 website: http://lpnmr2013.udc.es/ Enquiries about the ARCOE workshop: arcoe [at] arcoe [dot] org From leon.vandertorre at uni.lu Fri May 31 21:30:53 2013 From: leon.vandertorre at uni.lu (Leon Van Der Torre) Date: Fri, 31 May 2013 12:30:53 -0700 Subject: Research Associate (Postdoc) in Computational Logic and Knowledge Representation (M/F) Message-ID: <51A8FA6D.2040208@uni.lu> The University of Luxembourg seeks to hire an outstanding postdoctoral researcher at its Interdisciplinary Centre for Security, Reliability and Trust (SnT, www.securityandtrust.lu ), who will be embedded in the Individual and Collective Reasoning Group of Prof. Leon van der Torre. Your Role This position is part of the FWO-FNR research project on "Specification logics and Inference tools for verification and Enforcement of Policies (SIEP)", which is done in cooperation with the group of Prof. Marc Denecker in Leuven. It is situated at the crossing of knowledge representation (in first order and modal logic), constraint solving, datalog, and answer set programming. The goal is to develop extensions of FO logics and corresponding inference tools with an eye on applications in the area of access and privacy policies. The Research Associate will lead the work on extensions of FO logics suitable for handling certain aspects of policies (e.g. epistemic aspects in the context of uncertainty), and produce inference algorithms paving the way to applications. REF : SnT-RA-SIEP-0513 3-year project: fixed-term contract for 2 years, possible prolongation by 1 year. Full-time (40 hrs/week) Your Profile * PhD in Computer Science, Mathematics, or similar. * Strong background in logic and knowledge representation. * Fluent written and verbal communication skills in English are mandatory. * Experience in computational logic, reasoning about uncertainty, or logics for security will be considered an advantage. * We expect commitment, creativity, team working and a critical mind. Our offer The university offers a 2+1 year employment with a highly competitive salary, and is an equal opportunity employer. You will work in an exciting international environment and will have the opportunity to participate in the development of a young university and a newly created research centre. Applications Should be written in English and submitted online (http://recruitment.uni.lu), including: * Curriculum Vitae (contact address, work experience, publication list). * Cover letter indicating the research area of interest and the motivation. * A research statement addressing specifically the position (300 words). * Transcript of all the university-level courses and the achieved results. * A short description of your PhD thesis (max 1 page). * Contact information for 3 referees. Deadline for applications: June 20th, 2013 For inquiries please contact Prof. Leon van der Torre (leon.vandertorre at uni.lu ) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: