From emil.weydert at uni.lu Thu Aug 1 14:36:12 2013 From: emil.weydert at uni.lu (Emil WEYDERT) Date: Thu, 1 Aug 2013 12:36:12 +0000 Subject: Postdoc in logic and knowledge representation in Luxembourg - New deadline: 7 August 2013 Message-ID: The Individual and Collective Reasoning Group of Prof. Leon van der Torre (icr.uni.lu) at the University of Luxembourg is seeking outstanding postdocs to strengthen its team. Our overall areas of interest are: - Normative multi-agent systems - Logic-based knowledge representation - Cognitive dynamics, defeasible reasoning under uncertainty - Computational social choice, socioepistemology More specifically (but not exclusively), we are interested in - knowledge representation in/about science - modeling of scientific agents - logic-based text modeling and dialogue systems - probabilistic knowledge representation Profile of the candidate: - PhD in Computer Science, Computational Linguistics, Mathematics or similar - Strong background in logic and knowledge representation - Fluent written and verbal communication skills in English - Commitment, creativity, team working and a critical mind Profile of the employer: - The salary is highly competitive - You will work in an exciting international and interdisciplinary environment at the heart of Europe Nature of the position: - The position will be financed through a 2-year AFR postdoc grant http://www.fnr.lu/en/Calls,-Forms-Guidelines/Call-Documents/AFR-PDR-Forms-and-Guidelines Procedure: - Send a CV (contact address, work experience, publication list), - an abstract of your thesis, - a list of 2-3 referees, - a description of your research interests/ideas for a postdoc project to leon.vandertorre at uni.lu, emil.weydert at uni.lu DEADLINE FOR DECLARATION OF INTEREST: AUGUST 7, 2013 After further discussion, we will then invite the best fitting candidates to submit a full AFR-postdoc proposal. SUBMISSION DEADLINE: SEPTEMBER 2, 2013 The funding decision is expected in December. The position could then start in the first months of 2014, non-EU candidates must add time for visum and work permit. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From federico.schlesinger at tu-clausthal.de Mon Aug 5 18:57:10 2013 From: federico.schlesinger at tu-clausthal.de (Federico Schlesinger) Date: Mon, 5 Aug 2013 18:57:10 +0200 Subject: Multi-Agent Programming Contest 2013: Registration Phase started Message-ID: <822DB381-C3F7-4F76-BBE6-417247D98FF6@tu-clausthal.de> ==================================================== Multi-Agent Programming Contest 2013 ==================================================== The registration for our Multi-Agent Programming Contest 2013 (http://multiagentcontest.org) is now open! The official registration for the contest is done by submitting a brief description of your team proposal. The template for the proposal can be downloaded here: http://www.multiagentcontest.org/downloads/func-startdown/1665/ Please, use the URL below to submit your team proposal: https://www.easychair.org/conferences/?conf=mapc2013 The deadline is *29th August 2013*. After the contest, participants will be invited to submit a *paper* with a detailed description of the team and an analysis of the participation. These papers will be compiled into a technical report focused on the final results of the contest. High quality papers will be selected for publication in the EMAS workshop post-proceedings (usually published in the Springer LNCS series). These latter papers will be reviewed and accepted as usual in blind-review processes. Best regards Federico Schlesinger (co-organizer) From pangjun at gmail.com Wed Aug 7 13:42:49 2013 From: pangjun at gmail.com (Jun PANG) Date: Wed, 7 Aug 2013 13:42:49 +0200 Subject: Software Verification and Testing Track at ACM SAC 2014: 3rd CfP Message-ID: ================================================== 29th Annual ACM Symposium on Applied Computing Software Verification and Testing Track March 24 - 28, 2014, Gyeongju, Korea More information: http://fmt.cs.utwente.nl/conferences/sac-svt2014/ and http://www.acm.org/conferences/sac/sac2014/ =================================================== Important dates --------------- * September 13, 2013: Submission deadline * November 15, 2013: Notification of acceptance/rejection * December 6, 2013: Camera-ready versions due ACM Symposium on Applied Computing ---------------------------------- The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the past twenty-eight years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing. SAC 2014 is sponsored by SIGAPP and will be held at the he historic city of Gyeongju (knows as the Museum without Walls) in Korea. Software Verification and Testing Track --------------------------------------- We invite authors to submit new results in formal verification and testing, as well as development of technologies to improve the usability of formal methods in software engineering. Also welcome are detailed descriptions of applications of mechanical verification to large scale software. Possible topics include, but are not limited to: - model checking - theorem proving - correct by construction development - model-based testing - verification-based testing - symbolic execution - static and run-time analysis - abstract interpretation - analysis methods for dependable systems - software certification and proof carrying code - fault diagnosis and debugging - verification of large scale software systems - real world applications and case studies applying software verification Submissions Guidelines ---------------------- Paper submissions must be original, unpublished work. Submissions should be in electronic format, via the START site: https://www.softconf.com/d/sac2014/. Author(s) name(s) and address(es) must not appear in the body of the paper, and self-reference should be avoided and made in the third person. Submitted paper will undergo a blind review process. Authors of accepted papers should submit an editorial revision of their papers that fits within six two-column pages (an extra two pages, to a total of eight pages, may be available at a charge). Please comply to this page limitation already at submission time. Accepted papers will be published in the ACM SAC 2014 proceedings. Paper registration is required, allowing the inclusion of the paper/poster in the conference proceedings. An author or a proxy attending SAC MUST present the paper. This is a requirement for the paper/poster to be included in the ACM/IEEE digital library. No-show of scheduled papers and posters will result in excluding them from the ACM/IEEE digital library. A special issue of Science of Computer Programming has been confirmed. Selected papers will be invited for submission, and will be peer-reviewed according to the standard policy of Science of Computer Programming. Student Research Competition ---------------------------- As before, SAC 2013 organises a Student Research Competition (SRC) Program to provide graduate students the opportunity to meet and exchange ideas with researchers and practitioners in their areas of interest. Guidelines and information about the SRC program can be found at http://www.acm.org/conferences/sac/sac2014/. Submission to the SRC program should be in electronic form via the following website https://www.softconf.com/d/sac-src2014. Program Committee ----------------- Marco Faella, University of Naples, Italy Thierry Jeron, IRISA/INRIA Rennes, France Yves Le Traon, University of Luxembourg, Luxembourg Keqin Li, SAP Product Security Research, France Yang Liu, Nanyang Technological University, Singapore Annabelle McIver, Macquarie University, Australi Mercedes Merayo, Universidad Complutense de Madrid, Spain Stephan Merz, INRIA Nancy, France MohammadReza Mousavi, Halmstad University, Sweden Brian Nielsen, Aalborg University, Denmark Jun Pang (co-chair), University of Luxembourg, Luxembourg Hongyang Qu, University of Sheffield, UK Hasan Sözer, Özyeğin University, Turkey Marielle Stoelinga (co-chair), University of Twente, Netherlands Lijun Zhang, Chinese Academy of Sciences, China From bulling at in.tu-clausthal.de Thu Aug 8 15:36:56 2013 From: bulling at in.tu-clausthal.de (Nils Bulling) Date: Thu, 8 Aug 2013 15:36:56 +0200 Subject: CFP: Special Issue on Multi-Agent Decision Making In-Reply-To: <3A91832F-C6D1-48D2-B82A-59D0BDDDAAC2@in.tu-clausthal.de> References: <1FD1C2F5-2BCB-45B5-A94B-022D9811E530@in.tu-clausthal.de> <3A91832F-C6D1-48D2-B82A-59D0BDDDAAC2@in.tu-clausthal.de> Message-ID: <8E09EBB5-293E-4E7B-AF36-8283C58D1BCC@in.tu-clausthal.de> Call for Papers: Journal of Künstliche Intelligenz (Springer) Special Issue on Multi-Agent Decision Making -------------------------------------------------------------------- Classical decision making is concerned with how rational agents make optimal decisions. In distributed decision making complex problems are divided into smaller ones and decisions are made in a distributed manner. Also, it often is the case that all involved decision makers are sharing---willingly or not---a global objective and that they are somewhat cooperative. In general, this is not the case for multi-agent decision making which is concerned with self-interested agents pursuing their own objectives. Those objectives may be consistent but can just as well be completely contradicting; they can be publicly known or private. As a consequence, good decisions no longer only depend on the respective agent's capabilities and the characteristics of the environment, but to a great extent on how other agents behave and on the interaction with them. In most settings these behaviors influence each other and that complicates matters further---new tools and techniques are needed. This special issue will focus on multi-agent decision making. Topics of interest include but are not limited to: -logics for multi-agent systems -game theory and (computational) social choice -foundations of multi-agent systems -multi-agent planning and control -norms and social laws -argumentation and negotiation -decision theory Possible contribution formats are technical articles, reports of research projects, dissertation summaries, book reviews, and conference reports. If you are interested in contributing to this special issue please contact the guest editor, Dr. Nils Bulling, as soon as possible: bulling at in.tu-clausthal.de. -- Dr. Nils Bulling Clausthal University of Technology, Germany http://www.nbulling.de phone: +49 5323 72 7182 From paul.kaufmann at gmail.com Mon Aug 12 09:45:05 2013 From: paul.kaufmann at gmail.com (Kaufmann Paul) Date: Mon, 12 Aug 2013 09:45:05 +0200 Subject: EvoENERGY 2014 call for papers Message-ID: EvoENERGY 2014 Evolutionary Algorithms in Energy Applications 23-25 April 2014 - Baeza, Spain http://www.evostar.org INTRODUCTION Along with the worldwide incentive to reduce fossil and nuclear based power generation, the number of distributed generators and other forms of distributed energy resources which are installed in power networks has been steadily increasing over the last years. This increased integration has triggered a transformation of the energy system and challenges the conventional operation of these networks. On a network level, this transformation requires new control and communication approaches, to guarantee the security of energy supplies as well as an optimal exploitation of available resources. On a generator level, advanced control strategies as well as morphological optimization (e.g., tuning of wind-blade design) can help to assure an optimal performance of the generator. EvoEnergy is intended as a platform for new, innovative computational intelligence and nature-inspired techniques in the domain of energy-related optimization research. We seek contributions ranging from new control concepts for decentralized generation, strategies for their coordination in the network to the morphological optimization of distributed generators. TOPICS Topics of interest include, but are not limited to, any of the following: - management of distributed generation and storage - evolutionary design and morphological optimization in energy systems - advanced distribution management system functionalities - Smart Grid monitoring and control - real time configurations of energy networks - distributed optimization in energy networks - grid planning and asset management PUBLICATION DETAILS Accepted papers will appear in the proceedings of EvoStar, published in a volume of the Springer Lecture Notes in Computer Science, which will be available at the Conference. Submissions must be original and not published elsewhere. The submissions will be peer reviewed by at least three members of the program committee. The authors of accepted papers will have to improve their paper on the basis of the reviewers comments and will be asked to send a camera ready version of their manuscripts. At least one author of each accepted work has to register for the conference and attend the conference and present the work. The reviewing process will be double-blind, please omit information about the authors in the submitted paper. Submission format: Springer LNCS (see EvoENERGY web page) Page limit: 12 pages Submission page: http://myreview.csregistry.org/evoapps14/ IMPORTANT DATES Submission deadline: 1 November 2013 Notification: Camera ready: EvoENERGY: 23-25 April 2014 CHAIRS Paul Kaufmann, University of Kassel, paul.kaufmann(at)gmail.com Kyrre Glette, University of Oslo, kyrrehg(at)ifi.uio.no CONFIRMED PROGRAM COMMITTEE T.B.A From hastings at ebi.ac.uk Mon Aug 12 12:24:18 2013 From: hastings at ebi.ac.uk (Janna Hastings) Date: Mon, 12 Aug 2013 11:24:18 +0100 Subject: Call for Papers: FOIS 2014, September 22-25 in Rio de Janeiro, Brazil Message-ID: <007301ce9746$4bf4c380$e3de4a80$@ebi.ac.uk> CALL FOR PAPERS 8th International Conference on Formal Ontology in Information Systems FOIS 2014, September 22-25, 2014, Rio de Janeiro, Brazil http://fois2014.inf.ufes.br/p/home.html http://www.iaoa.org/fois/ ----------------------------------- DEFINITION AND SCOPE ----------------------------------- Ontology, originally a fundamental part of philosophical enquiry, is concerned with the analysis and categorization of what exists. In recent years, however, a complementary focus of ontological inquiry gained significant momentum fueled by the advent of complex information systems which rely on robust and coherent, formal representations of their subject matter. The systematic study of such representations, their axiomatics, their corresponding reasoning techniques and their relations to cognition and reality, are at the center of the modern discipline of formal ontology. Formal ontology in this modern sense is now a research focus in such diverse domains as conceptual modeling, database design, software engineering, organizational modeling, artificial intelligence, computational linguistics, the life sciences, bioinformatics, geographic information science, knowledge engineering, information retrieval, and the Semantic Web. Researchers in all these areas increasingly recognize the need for serious engagement with ontology, understood as a general theory of the types of entities and relations making up their respective domains of enquiry, in providing a solid foundation for their work. The FOIS conference is designed to provide a meeting point for researchers from all disciplines with an interest in formal ontology. The conference encourages submission of high quality articles on both theoretical issues and concrete applications. As in previous years, FOIS 2014 is intended as a nexus of interdisciplinary research and communication. FOIS is the flagship conference of the International Association for Ontology and its Applications (IAOA, website: http://iaoa.org/), which is a non-profit organization the purpose of which is to promote interdisciplinary research and international collaboration at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general. ------------------------------ FORMAT ------------------------------ FOIS is a growing conference, and the 2014 edition will add a number of new facets, including + a formal ontology competition, + an open call for workshops, and + a young researchers symposium. It will moreover be directly preceded by the Second Interdisciplinary Summer School on Ontological Analysis, to be held in Vitoria, Brazil, between September 15-19. ------------------------------ SCOPE OF FOIS - TOPICS OF INTEREST ------------------------------ We seek high-quality papers on a wide range of topics. Concerning scope, an ideal FOIS paper will address both content-related ontological issues and their formal modeling, as well as their impact and relevance for some aspects of information systems. Areas of particular interest to the conference include the following: Foundational Issues * Kinds of entities: particulars/universals, continuants/occurrents, abstracta/concreta, dependent entities/independent entities, natural objects/artifacts * Formal relations: parthood, identity, connection, dependence, constitution, causality, subsumption, instantiation * Vagueness and granularity * Space, time, and change Methodological issues * Role of reference ontologies * Top-level vs. domain-specific ontologies * Relationship with cognition, language and semantics * Formal comparison among ontologies * Ontology integration and alignment Domain-specific ontologies * Ontology of physical reality (matter, space, time, motion, etc.) * Ontology of biological reality (genes, proteins, cells, organisms, etc.) * Ontology of mental reality and agency (beliefs, intentions, emotions, percepts, etc.) * Ontology of artifacts, functions and roles * Ontology of social reality (institutions, organizations, norms, social relationships, artistic expressions, languages, etc.) Applications: * Ontology-driven information systems design * Ontological foundations for conceptual modeling * Knowledge management * Qualitative modeling * Computational linguistics * Information retrieval * Semantic Web, Web services * Business modeling * Ontologies for particular scientific disciplines (biology, chemistry, geography, physics, cognitive sciences, linguistics etc.) * Ontologies for engineering: shape, form and function, artifacts, manufacturing, design, architecture, etc. * Ontologies for the humanities: arts, cultural studies, history, law, literature, philosophy, etc. ----------------------------- IMPORTANT DATES ----------------------------- Paper Submission Deadline: March 3, 2014 Notification: May 5, 2014 Camera-ready papers: June 30, 2014 Conference Dates: September, 22-25, 2014 ----------------------------- SUBMISSION GUIDELINES ----------------------------- Submitted papers must not exceed 14 pages (including the bibliography) and include an abstract of no more than 300 words. Papers should be submitted non-anonymously and be prepared in PDF format in accordance with the IOS formatting guidelines found at http://www.iospress.nl/service/authors/latex-and-word-tools-for-book-autho rs/ The Easychair submission page can be found at: https://www.easychair.org/conferences/?conf=fois2014 As with previous FOIS conferences, the proceedings will be published as a volume in the IOS Press series 'Frontiers in Artificial Intelligence and Applications'. -------------------------------------------- CONFERENCE ORGANISATION -------------------------------------------- General Chair: Laure Vieu (CNRS, France) Program Chairs: Pawel Garbacz (Catholic University of Lublin, Poland) Oliver Kutz (University of Bremen, Germany) Local Organization: Giancarlo Guizzardi (Federal University of Espirito Santo Brazil) Renato Rocha Souza (FGV, Brazil) Workshops: Robert Hoehndorf (University of Cambridge, UK) Ontology Competition: Till Mossakowski (DFKI Bremen and University of Bremen, Germany) Early Career Symposium: Marion Haemmerli (University of Lausanne, Switzerland) Torsten Hahmann (University of Toronto, Canada) Claudio Masolo (ISTC-CNR, Italy) Publicity: Janna Hastings (European Bioinformatics Institute, UK) Fernanda Baiao (Federal University of the State of Rio de Janeiro, Brazil) ---------------------------------------------------------------------------- ---------------------------------- Janna Hastings Email: hastings at ebi.ac.uk | Tel: +44 (0)1223 494411 | Fax:+44(0)1223 494468 Twitter: @jannahastings | Web: www.ebi.ac.uk/~hastings | Blog:www.bioontology.ch Coordinator, Cheminformatics and Metabolism, European Bioinformatics Institute ---------------------------------------------------------------------------- ---------------------------------- Visit ChEBI at www.ebi.ac.uk/chebi From fink at kr.tuwien.ac.at Mon Aug 12 12:38:25 2013 From: fink at kr.tuwien.ac.at (Michael Fink) Date: Mon, 12 Aug 2013 12:38:25 +0200 Subject: Call for Participation ASPOCP 2013: 6th Workshop on Answer Set Programming and Other Computing Paradigms Message-ID: <5208BB21.3020106@kr.tuwien.ac.at> =============================================================================== CALL FOR PARTICIPATION 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. SCIENTIFIC PROGRAM The program of ASPOCP 2013 features twelve accepted technical paper presentations. It is available online at http://www.kr.tuwien.ac.at/events/aspocp2013/prog.html ACCEPTED PAPERS M. Alviano and W. Faber. Properties of Answer Set Programming with Convex Generalized Atoms M. Balduccini and Y. Lierler Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration M. Banbara, M. Gebser, K. Inoue, T. Schaub, T. Soh, N. Tamura, and M. Weise Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming M. Bartholomew and J. Lee A Functional View of Strong Negation in Answer Set Programming P. Cabalar and J. Fandinno An Algebra of Causal Chains V.K. Chaudhri, S. Heymans, M. Wessel, and T.C. Son Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP S. Ellmauthaler and H. Strass The DIAMOND System for Argumentation: Preliminary Report M. Gebser, P. Obermeier, and T. Schaub A System for Interactive Query Answering with Answer Set Programming C. Gunicen, E. Erdem, and H. Yenigun Generating Shortest Synchronizing Sequences using Answer Set Programming A. Harrison, V. Lifschitz, and F. Yang On the Semantics of Gringo Y. Lierler and M. Truszczynski Abstract Modular Systems and Solvers J. Vennekens Negation in the Head of CP-logic Rules REGISTRATION AND LOCAL ARRANGEMENTS Registration is operated by the ICLP 2013 organization. For corresponding information, as well as for travel and accommodation details consult: http://www.iclp2013.org WORKSHOP CO-CHAIRS Michael Fink, Vienna University of Technology, Austria Yuliya Lierler, University of Kentucky, USA From tobo at dtu.dk Tue Aug 13 08:44:46 2013 From: tobo at dtu.dk (Thomas Bolander) Date: Tue, 13 Aug 2013 06:44:46 +0000 Subject: Open Position in Logic at ILLC, Amsterdam Message-ID: <435A31D6-9053-4655-B369-94EA4BFA6847@dtu.dk> Dear colleagues, This message is to bring to your attention that the Institute for Logic, Language and Computation at the University of Amsterdam currently has an open Assistant Professor (UD) Position in Logic, see http://www.uva.nl/over-de-uva/werken-bij-de-uva/vacatures/item/13-222.html for the details. Please note that the deadline for applications is September 10. As you can read in the job advertisement, we are looking for excellent candidates in mathematical logic, with a preference for a candidate with a proven record in modal logic or related areas of nonclassical logic. It is the explicit policy of the institute that (in principle) new staff are hired through open application procedures. I would therefore like to encourage you to bring this vacancy to the attention of as many colleagues as possible. Best wishes, Yde Venema Scientific Director, ILLC -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cfp at grid.chu.edu.tw Tue Aug 13 13:18:07 2013 From: cfp at grid.chu.edu.tw (cfp at grid.chu.edu.tw) Date: Tue, 13 Aug 2013 19:18:07 +0800 Subject: Call For Papers - PAKDD 2014 Message-ID: <201308131118.r7DBI7ai017208@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at urv.cat Sat Aug 17 20:01:57 2013 From: grlmc at urv.cat (GRLMC) Date: Sat, 17 Aug 2013 20:01:57 +0200 Subject: LATA 2014: 2nd call for papers Message-ID: <0C86B87C48C04EA5A3A883F136029B6F@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ************************************************************************* 8th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2014 Madrid, Spain March 10-14, 2014 Organized by: Research Group on Implementation of Language-Driven Software and Applications (ILSA) Complutense University of Madrid Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/lata2014/ ********************************************************************* AIMS: LATA is a yearly conference on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2014 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, language technology, artificial intelligence, etc.). VENUE: LATA 2014 will take place in Madrid, the capital of Spain. The venue will be the School of Informatics of Complutense University. SCOPE: Topics of either theoretical or applied interest include, but are not limited to: algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata, concurrency and Petri nets automatic structures cellular automata codes combinatorics on words compilers computability computational complexity data and image compression decidability issues on words and languages descriptional complexity DNA and other models of bio-inspired computing digital libraries and document engineering foundations of finite state technology foundations of XML fuzzy and rough languages grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography language-theoretic foundations of artificial intelligence and artificial life natural language and speech automatic processing parallel and regulated rewriting parsing patterns power series quantum, chemical and optical computing semantics string and combinatorial issues in computational biology and bioinformatics string processing algorithms symbolic dynamics symbolic neural networks term rewriting transducers trees, tree languages and tree automata weighted automata STRUCTURE: LATA 2014 will consist of: invited talks invited tutorials peer-reviewed contributions INVITED SPEAKERS: Javier Esparza (Munich Tech, DE) Leslie A. Goldberg (Oxford, UK) Oscar H. Ibarra (Santa Barbara, US) Sanjeev Khanna (Philadelphia, US) Helmut Seidl (Munich Tech, DE) PROGRAMME COMMITTEE: Dana Angluin (Yale, US) Eugene Asarin (Paris Diderot, FR) Jos Baeten (Amsterdam, NL) Christel Baier (Dresden, DE) Jan Bergstra (Amsterdam, NL) Jin-Yi Cai (Madison, US) Marek Chrobak (Riverside, US) Andrea Corradini (Pisa, IT) Mariangiola Dezani (Turin, IT) Ding-Zhu Du (Dallas, US) Michael R. Fellows (Darwin, AU) Jörg Flum (Freiburg, DE) Nissim Francez (Technion, IL) Jürgen Giesl (Aachen, DE) Annegret Habel (Oldenburg, DE) Kazuo Iwama (Kyoto, JP) Sampath Kannan (Philadelphia, US) Ming-Yang Kao (Northwestern, US) Deepak Kapur (Albuquerque, US) Joost-Pieter Katoen (Aachen, DE) S. Rao Kosaraju (Johns Hopkins, US) Evangelos Kranakis (Carleton, CA) Gad M. Landau (Haifa, IL) Andrzej Lingas (Lund, SE) Jack Lutz (Iowa State, US) Ian Mackie (École Polytechnique, FR) Carlos Martín-Vide (Tarragona, ES, chair) Giancarlo Mauri (Milan, IT) Faron G. Moller (Swansea, UK) Paliath Narendran (Albany, US) Enno Ohlebusch (Ulm, DE) Helmut Prodinger (Stellenbosch, ZA) Jean-François Raskin (Brussels, BE) Wolfgang Reisig (Humboldt Berlin, DE) Marco Roveri (Bruno Kessler, Trento, IT) Michaël Rusinowitch (LORIA, Nancy, FR) Yasubumi Sakakibara (Keio, JP) Davide Sangiorgi (Bologna, IT) Colin Stirling (Edinburgh, UK) Jianwen Su (Santa Barbara, US) Jean-Pierre Talpin (IRISA, Rennes, FR) Andrzej Tarlecki (Warsaw, PL) Rick Thomas (Leicester, UK) Sophie Tison (Lille, FR) Rob van Glabbeek (NICTA, Sydney, AU) Helmut Veith (Vienna Tech, AT) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Ana Fernández-Pampillón (Madrid) Carlos Martín-Vide (Tarragona, co-chair) Antonio Sarasa (Madrid) José-Luis Sierra (Madrid, co-chair) Bianca Truthe (Magdeburg) Florentina Lilica Voicu (Tarragona) 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 standard format for 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=lata2014 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 a major journal 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 July 15, 2013 to March 10, 2014. The registration form can be found at: http://grammars.grlmc.com/lata2014/Registration.php DEADLINES: Paper submission: October 14, 2013 (23:59 CET) Notification of paper acceptance or rejection: November 25, 2013 Final version of the paper for the LNCS proceedings: December 2, 2013 Early registration: December 9, 2013 Late registration: February 24, 2014 Starting of the conference: March 10, 2014 End of the conference: March 14, 2014 Submission to the post-conference journal special issue: June 14, 2014 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: LATA 2014 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 Complutense de Madrid Universitat Rovira i Virgili From cambria at nus.edu.sg Mon Aug 19 10:58:43 2013 From: cambria at nus.edu.sg (Erik Cambria) Date: Mon, 19 Aug 2013 16:58:43 +0800 Subject: DEADLINE EXTENSION: Elsevier NeuNet special issue on Affective and Cognitive Learning Systems for Big Social Data Analysis Message-ID: <737D2724-DCDB-4C19-8C23-A10A813A7D87@nus.edu.sg> Apologies for cross-posting, The deadline of the Elsevier Neural Networks special issue on Affective and Cognitive Learning Systems for Big Social Data Analysis has been extended to 30th August. For more/up-to-date info, please visit http://sentic.net/affcog ABSTRACT As the Web rapidly evolves, Web users are evolving with it. In an era of social connectedness, people are becoming more and more enthusiastic about interacting, sharing, and collaborating through social networks, online communities, blogs, Wikis, and other online collaborative media. In recent years, this collective intelligence has spread to many different areas, with particular focus on fields related to everyday life such as commerce, tourism, education, and health, causing the size of the Web to expand exponentially. The distillation of knowledge from such a large amount of unstructured information, however, is an extremely difficult task, as the contents of today's Web are perfectly suitable for human consumption, but remain hardly accessible to machines. The opportunity to capture the opinions of the general public about social events, political movements, company strategies, marketing campaigns, and product preferences has raised growing interest both within the scientific community, leading to many exciting open challenges, as well as in the business world, due to the remarkable benefits to be had from marketing and financial market prediction. Existing approaches to opinion mininig mainly rely on parts of text in which sentiment is explicitly expressed, e.g., through polarity terms or affect words (and their co-occurrence frequencies). However, opinions and sentiments are often conveyed implicitly through latent semantics, which make purely syntactical approaches ineffective. In this light, this special issue focuses on the introduction, presentation, and discussion of novel techniques that further develop and apply big data analysis tools and techniques for sentiment analysis. A key motivation for this special issue, in particular, is to explore the adoption of novel affective and cognitive learning systems to go beyond a mere word-level analysis of natural language text and provide novel concept-level tools and techniques that allow a more efficient passage from (unstructured) natural language to (structured) machine-processable data, in potentially any domain. TOPICS Articles are thus invited in areas such as machine learning, weakly supervised learning, active learning, transfer learning, deep neural networks, novel neural and cognitive models, data mining, pattern recognition, knowledge-based systems, information retrieval, natural language processing, and big data computing. Topics include, but are not limited to: • Machine learning for big social data analysis • Biologically inspired opinion mining • Semantic multidimensional scaling for sentiment analysis • Social media marketing • Social media analysis, representation, and retrieval • Social network modeling, simulation, and visualization • Concept-level opinion and sentiment analysis • Patient opinion mining • Sentic computing • Multilingual sentiment analysis • Time-evolving sentiment tracking • Cross-domain evaluation • Domain adaptation for sentiment classification • Multimodal sentiment analysis • Multimodal fusion for continuous interpretation of semantics • Human-agent, -computer, and -robot interaction • Affective common-sense reasoning • Cognitive agent-based computing • Image analysis and understanding • User profiling and personalization • Affective knowledge acquisition for sentiment analysis The special issue also welcomes papers on specific application domains of big social data analysis, e.g., influence networks, customer experience management, intelligent user interfaces, multimedia management, computer-mediated human-human communication, enterprise feedback management, surveillance, art. The authors will be required to follow the Author's Guide for manuscript submission to Elsevier Neural Networks. TIMEFRAME August 30th, 2013: Paper submission deadline November 30th, 2013: Notification of acceptance December 31st, 2013: Final manuscript due April/May, 2014: Publication SUBMISSION AND PROCEEDINGS The Elsevier Neural Networks special issue on Affective and Cognitive Learning Systems for Big Social Data Analysis will consist of papers on novel methods and techniques that further develop and apply big data analysis tools and techniques in the context of opinion mining and sentiment analysis. Some papers may survey various aspects of the topic. The balance between these will be adjusted to maximize the issue's impact. All articles are expected to successfully negotiate the standard review procedures for Elsevier Neural Networks. ORGANIZERS • Amir Hussain, University of Stirling (UK) • Erik Cambria, National University of Singapore (Singapore) • Bjoern Schuller, Technical University of Munich (Germany) • Newton Howard, MIT Media Laboratory (USA) From lembo at dis.uniroma1.it Mon Aug 19 16:12:35 2013 From: lembo at dis.uniroma1.it (Domenico Lembo) Date: Mon, 19 Aug 2013 16:12:35 +0200 Subject: CFP: Special issue of the Semantic Web Journal on Web Reasoning and Rule Systems Message-ID: Call for papers: Special issue of the Semantic Web Journal on WEB REASONING AND RULE SYSTEMS On the occasion of the 7th International Conference on Web Reasoning and Rule Systems (RR 2013), this special issue will collect contributions on the major topics that will be discussed at the conference, which include original research from all areas of Web Reasoning, with an emphasis on combinations with Rule Systems. Topics of particular interest are: * Semantic Web, Rule and Ontology Languages, and related logics * Reasoning, Querying, Searching and Optimization * Incompleteness, Inconsistency and Uncertainty * Non-monotonic, Commonsense, and Closed-World Reasoning for the Web * Dynamic information, Stream Reasoning and Complex Event Processing * Decision Making, Planning, and Intelligent Agents * Reasoning, Machine Learning, Knowledge Extraction and IR Technologies * Large-scale data management and reasoning on the Web of Data * Data Integration, Dataspaces and Ontology-Based Data Access * Non-Standard Reasoning * Algorithms for distributed, parallelized, and scalable reasoning * System Descriptions and Experimentation * Application and Experience Papers Submissions Deadline: November 1, 2013 Submissions shall be made through the Semantic Web journal website at http://www.semantic-web-journal.net. Note that you need to request an account on the website for submitting a paper. Please indicate in the cover letter that it is for the "Web Reasoning and Rule Systems" special issue. Submissions are possible in all standing paper type of the journal, see http://www.semantic-web-journal.net/authors for descriptions: full research papers, surveys, linked dataset descriptions, ontology descriptions, application reports, tool/systems reports. Guest Editors Wolfgang Faber, University of Calabria, Italy Domenico Lembo, Sapienza University of Rome, Italy The editors can be reached by emailing rr2013 at wfaber.com . Guest Editorial Board The following list is subject to extension. Leopoldo Bertossi, Carleton University, USA Francois Bry, University of Munich, Germany Claudia d'Amato, University of Bari, Italy Michael Fink, Vienna University of Technology, Austria Sergio Flesca, University of Calabria, Italy Gerhard Friedrich, Alpen-Adria-Universitaet Klagenfurt, Austria Stijn Heymans, SRI International, Menlo Park, USA Roman Kontchakov, Birkbeck College, UK Manolis Koubarakis, National and Kapodistrian University of Athens, Greece Marie-Laure Mugnier, LIRMM (CNRS - UM2), France Umberto Straccia, ISTI-CNR, Italy Ivan Varzinczak, CSIR Meraka Institute, South Africa -- Domenico Lembo Sapienza Università di Roma Dip. di Ingegneria Informatica, Automatica e Gestionale "A. Ruberti" Via Ariosto 25, 00185 Roma (stanza B209) Tel: +39 0677274027 Fax: +39 0677274002 email: lembo at dis.uniroma1.it home: http://www.dis.uniroma1.it/~lembo -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From raja at tifr.res.in Thu Aug 22 11:10:09 2013 From: raja at tifr.res.in (N. Raja) Date: Thu, 22 Aug 2013 14:40:09 +0530 Subject: ICDCIT -- 2014, Bhubaneswar, India, Call for papers Message-ID: ------------------------------------------------------------------- CALL FOR PAPERS ICDCIT -- 2014 The Tenth International Conference on Distributed Computing and Internet Technology: http://www.icdcit.ac.in 06 - 09 February 2014, Bhubaneswar, India ------------------------------------------------------------------- IMPORTANT DATES Submission Deadline - 06 September 2013 Decision Notification - 28 October 2013 Camera Ready Version - 07 November 2013 Conference Dates - 06--09 February 2014 CONTACT URL: http://www.icdcit.ac.in --------------------------------------------------------------------- INVITED SPEAKERS Gérard Berry, Collège de France Vivek Shripad Borkar, IIT Bombay Elizabeth Buchanan, University of Wisconsin-Stout Anupam Datta, Carnegie Mellon University François Fages, INRIA Paris-Rocquencourt Bud Mishra, Courant Institute of Mathematical Sciences --------------------------------------------------------------------- 1. INTRODUCTION --------------------------------------------------------------------- Established in 2004, the ICDCIT conference series has become a platform for Computer Science researchers from India and all over the world to exchange research results and ideas on the foundations and applications of Distributed Computing and Internet Technologies. Increasingly, such technologies enable individuals and organizations to jointly engage in the production, processing and dissemination of knowledge. The 10th International Conference on Distributed Computing and Internet Technologies (ICDCIT - 2014) will take place in Bhubaneswar during 06 - 09 February 2014. It will be co-organized by KIIT University, Bhubaneswar, India. Like the last nine editions, the proceedings will be published by Springer in the series of Lecture Notes in Computer Science. --------------------------------------------------------------------- 2. PAPER SUBMISSION --------------------------------------------------------------------- ICDCIT - 2014 invites submissions of research papers containing original contributions to the foundations and applications of Distributed Computing and Internet Technology. The papers must not be published or being considered for publication by any other conference or journal. All submitted papers will be reviewed by the Program Committee. In order to appear in the conference proceedings, accepted papers must be presented at the conference by one of the authors. Papers must be written in English and should not exceed 12 pages, prepared according to the LNCS style in LaTeX or Word and submitted electronically in PDF format through the conference submission portal at EasyChair. Submissions received after the due date, exceeding length limit, or not structured according to the provided templates may not be considered for review. The proceedings of ICDCIT-2014 will be published by Springer in the Lecture Notes on Computer Science series. --------------------------------------------------------------------- 3. SCOPE --------------------------------------------------------------------- The list of topics addressed by ICDCIT includes, but is not limited to: DISTRIBUTED COMPUTING Distributed Algorithms Concurrency and Parallelism Performance Analysis Domain-Specific Architectures & Languages Secure Computing and Communication Data, Service Grid Allocations & Computations Cloud and P2P Systems Location-Based Computing Formal Methods Bio Inspired Computing INTERNET TECHNOLOGIES Semantic Web Service Oriented Architecture Web Search & Mining Information Retrieval Multi-media Systems QoS Analysis Business Processing Monitoring and Service Delivery Bidding and Negotiation Reputation and Trust SOCIETAL APPLICATION IT Infrastructures Social Networking Co-operative Problem Solving Participatory Governance Environmental Resource Management Culture and Heritage Management Entertainment Systems Applications in Governance E-Healthy Applications E-Learning & Web 2.0 --------------------------------------------------------------------- 4. COMMITTEES --------------------------------------------------------------------- ADVISORY COMMITTEE Gérard Huet, INRIA, France Tomasz Janowski, UNU-IIST, Macao P. P. Mathur, KIIT, India H. Mohanty, University of Hyderabad, India David Peleg, WIS, Israel R. K. Shyamasundar, TIFR, Mumbai, India GENERAL CHAIR Maurice Herlihy, Brown University, USA PROGRAM CHAIR Raja Natarajan, TIFR, India PROGRAM COMMITTEE Sanjeev K. Aggarwal, IIT Kanpur Shivali Agarwal IBM, India Research Lab Sowmya Arcot, UNSW, Australia Natasha Alechina, University of Nottingham, U.K. Suman Bhattacharya, Tata Consultancy Services Ajay K. Bisoi, KIIT University Gautam Barua, IIT Guwahati Nikolaj Bjorner, Microsoft Research, U.S.A. Anwitaman Datta, NTU, Singapore Meenakshi D'Souza, IIIT Bangalore Van Hung Dang, Vietnam National University, Vietnam Elsa Estevez, UNU - IIST, Macau Pablo Fillottrani, Universidad Nacional del Sur, Argentina Michele G. Pinna, Università di Cagliari, Italy Manoj Gore, MNNIT, Allahabad Diganta Goswami, IIT Guwahati Shyamanta M. Hazarika, Tezpur University Chittaranjan Hota, BITS-Pilani Hyderabad Campus Devesh Jinwala, SVNIT, Surat Rushikesh K. Joshi, IIT Bombay Deepak Kapur, University of New Mexico, U.S.A. Simon Kramer, Lausanne, Switzerland Paddy Krishnan, Oracle Labs, Australia Delia Kesner, Université Paris 7, France Salil Kanhere, UNSW, Australia Krishnendu Mukhopadhyaya, ISI, Kolkata Sanjay Madria, Missouri S & T, U.S.A. Sudhir Mudur, Concordia University, Canada Parimala N., JNU, New Delhi Ankur Narang, IBM, India Research Lab Rajdeep Niyogi, IIT Roorkee Jukka K. Nurminen, Aalto University, Finland Adegboyega Ojo, UNU - IIST, Macau Bhabhani S. Panda, IIT Delhi Radha Krishna P., SET Labs, Infosys Dana Petcu, West University of Timisoara, Romania Manas Ranjan Patra, Berhampur University Srini Ramaswamy, ABB Corporate Research Krithi Ramamritham, IIT Bombay Hardeep Singh, GNDU, Amritsar Jaydip Sen, Tata Consultancy Services Manoj Saxena, University of Delhi Hideyuki Takahashi, Tohoku University, Japan Valli Kumari Vatsavayi, Andhra University ORGANIZERS KIIT University, Bhubaneshwar, India Submission Deadline -- 06 September 2013 CONTACT URL: http://www.icdcit.ac.in ------------------------------------------ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From C.Orasan at wlv.ac.uk Fri Aug 23 15:52:32 2013 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Fri, 23 Aug 2013 13:52:32 +0000 Subject: Post-Doctoral Research Fellow in Natural Language Processing (Ref. A6137) Message-ID: <1377265953.29326.13.camel@dinel-desktop> [apologies for cross posting] The Research Group in Computational Linguistics (http://clg.wlv.ac.uk) at the University of Wolverhampton invites applications for a Post-Doctoral Research Fellow in Natural Language Processing. Salary: £32,267 - £38,522 (level of appointment dependent on qualifications and experience) Duration: 3-year position Application deadline: 8th Sept 2013 Ref.: A6137 The applicant should have a PhD in Computational Linguistics, Computer Science or Natural Language Processing and proven research experience in these fields. The applicant should have experience of language technologies. Publications in peer-reviewed conferences are essential and publications in good journals are desirable. Some experience of project proposal writing is ideal. The applicant should have some teaching experience within the field of Computational Linguistics. Good knowledge of machine learning is required. A solid background in programming is required. The position also requires that the appointed person supports principal investigators of EC-funded projects. Therefore, the post-holder will have good communication and interpersonal skills including the ability to communicate with staff at all levels, in person, by telephone or in writing. The ability to work well in a team, to meet deadlines and manage a varied workload by effectively prioritising tasks is essential. Experience with general management of projects is desirable as well as experience in producing technical reports, summaries and project outlines. For informal enquiries please contact Stephanie Kyle, StephanieKyle at wlv.ac.uk Interviews to be held on 18 September 2013. For more information about this post and to apply online, go to our website www.wlv.ac.uk/jobs The University is eager to attract larger numbers of applications from groups of people currently under-represented in the staff population, especially from women and people from ethnic minority groups. -- Dr. Constantin Orasan Reader in Computational Linguistics Deputy Head of the Research Group in Computational Linguistics Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton, UK From rseba at disi.unitn.it Sun Aug 25 19:55:03 2013 From: rseba at disi.unitn.it (Roberto Sebastiani) Date: Sun, 25 Aug 2013 19:55:03 +0200 Subject: Postdoc positions in SAT/SMT-based Verification available in Trento Message-ID: <20130825175503.GA18089@disi.unitn.it> --------------------------------------------------------------------------- [[[ We apologize if you receive multiple copies of this message ]]] --------------------------------------------------------------------------- -------------------------------------------------------------- PLEASE FORWARD THIS EMAIL TO WHOEVER YOU MAY THINK INTERESTED. -------------------------------------------------------------- One post-doc position in ICT on the research project "Advanced SMT Techniques for Word-level Formal Verification - (WOLF)" is available in Trento, Italy, under the joint supervision of - Alessandro Cimatti, FBK, Trento, and - Roberto Sebastiani, DISI, University of Trento. The research activity will be carried out jointly within the Embedded Systems (ES) Research Unit of the Center for Scientific and Technological Research of the Fondazione Bruno Kessler (FBK), Trento, and the Software Engineering, Formal Methods & Security Research Program, at Department of Information Engineering and Computer Science (DISI) of University of Trento. Aim and Scope ============= The research activity will aim at investigating and developing novel techniques, methodologies and support tools for Satisfiability Modulo Theories (SMT) for the formal verification of systems. This work will be part of the "Advanced SMT Techniques for Word-level Formal Verification - (WOLF)" project, a three-year research project supported by SRC/GRC (http://www.src.org/compete/s201113/), in collaboration with major HW companies. The ultimate goal of the WOLF project is to provide a comprehensive SMT package to support effective formal verification of systems ranging from RTL circuits all the way up to high-level hardware description languages (e.g. SystemC) and software. The package will be implemented on top of the MathSAT SMT platform (http://mathsat.fbk.eu/), and provided as an API. Candidate Profile ================= The ideal candidate should have an PhD in computer science or related discipline, and combine solid theoretical background and excellent software development skills (in particular C/C++). A solid background knowledge and/or previous experience on one of the following topics (in order of preference) is required: Satisfiability Modulo Theory (SMT), Propositional Satisfiability (SAT), Model Checking, Automated Reasoning. Previous experience in the following areas will also be considered favourably: Constraint Solving and Optimization, Embedded Systems Design Languages (e.g. Verilog, VHDL). The candidate should be able to work in a collaborative environment, with a strong committment to reaching research excellence and achieving assigned objectives. Early availability will be considered with much favour. Terms and dates =============== The position will start as soon as possible, and will have to be renewed yearly, for a maximum of two years. The expected salary will range from about 2200 to 2400 euros net income, and the gross will include previdential (social security) contributions. Facilities for meals at the local canteen can be provided. Applications and Inquiries ========================== Interested candidates should inquire for further information and/or apply by sending email to wolf-recruit at disi.unitn.it, with subject 'POSTDOC ON WOLF PROJECT'. Applications should contain a statement of interest, with a Curriculum Vitae, and the names of reference persons. PDF format is strongly encouraged. It should also indicate an estimated starting date. Contact Persons =============== Dr. ALESSANDRO CIMATTI, Embedded Systems Research Unit, FBK-Irst, via Sommarive 18, I-38123 Povo, Trento, Italy http://sra.fbk.eu/people/cimatti/, Prof. ROBERTO SEBASTIANI Software Engineering, Formal Methods & Security Research Program DISI, University of Trento, via Sommarive 14, I-38123 Povo, Trento, Italy http://disi.unitn.it/~rseba/. ======================================================================= The Embedded Systems Research Unit at FBK ========================================= The Embedded Systems Unit consists of about 15 persons, including researchers, post-Doc, Ph.D. students, and programmers. The Unit carries out research, tool development and technology transfer in the fields of design and verification of embedded systems. Current research directions include: * Satisfiability Modulo Theory, and its application to the verification of hardware, embedded critical software, and hybrid systems (Verilog, SystemC, C/C++, StateFlow/Simulink). * Formal Requirements Analysis based on techniques for temporal logics (consistency checking, vacuity detection, input determinism, cause-effect analysis, realizability and synthesis). * Formal Safety Analysis, based on the integration of traditional techniques (e.g. Fault-tree analysis, FMEA) with symbolic verification techniques. The Embedded Systems Unit is part of Fondazione Bruno Kessler, formerly Istituto Trentino di Cultura, a public research institute of the Autonomous Province of Trento (Italy), founded in 1976. The institute, through its center for the scientific and technological research, is active in the areas of Information Technology, Microsystems, and Physical Chemistry of Surfaces and Interfaces. Today, FBK is an internationally recognized research institute, collaborating with industries, universities, and public and private laboratories in Italy and abroad. The institute's applied and basic research activities aim at resolving real-world problems, driven by the need for technological innovation in society and industry. The SW Engineering, Formal Methods & Security Research Program at DISI ====================================================================== The SW Engineering, Formal Methods & Security R. P. at DISI currently consists on 5 faculties, various post-docs and PhD students. The Unit carries out research, tool development and technology transfer in the fields of Goal-Oriented Requirements Engineering, Agent-oriented SW engineering, Security, and Formal Methods. Referring to formal methods, current research directions include: * Satisfiability Modulo Theory, and its application to the verification of hardware, embedded critical software, and hybrid systems. * Optimization in SMT and its applications. * Advanced Model Checking Techniques for Formal Verification of hardware, embedded critical software, and hybrid systems. The R.P. is part of the Department of Information Engineering and Computer Science, DISI (http://disi.unitn.it/) of University of Trento. University of Trento in the latest years has always been rated among the top-three small&medium-size universities in Italy. DISI currently consists of 50 faculties, 68 research staff and support people, 21 postdocs and 146 Doctoral students, plus administrative and technical staff. DISI covers all the different areas of information technology (computer science, telecommunications, and electronics) and their applications. These disciplines above are studied individually but also with a strong focus on their integration, Location ======== Trento is a lively town of about 100.000 inhabitants, located 130 km south of the border between Italy and Austria. It is well known for the beauty of its mountains and lakes, and it offers the possibility to practice a wide range of sports. Trento enjoys a rich cultural and historical heritage, and it is the ideal starting point for day trips to famous towns such as Venice or Verona, as well as to enjoy great naturalistic journeys. Detailed information about Trento and its region can be found at http://www.trentino.to/home/index.html?_lang=en. From pmt6sbc at maths.leeds.ac.uk Mon Aug 26 13:08:22 2013 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Mon, 26 Aug 2013 12:08:22 +0100 (BST) Subject: CIE 2014: Language, Life, Limits. June 23-27, 2014, Budapest. Preliminary Announcement. Message-ID: <201308261108.r7QB8MEL011785@maths.leeds.ac.uk> ---------------------------------------------------------------- P R E L I M I N A R Y A N N O U N C E M E N T COMPUTABILITY IN EUROPE 2014: Language, Life, Limits Budapest, Hungary June 23 - 27, 2014 http://www.illc.uva.nl/CiE/index.php?page=22_8 ---------------------------------------------------------------- CiE 2014 is the tenth conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponte Dalgada (2010), Sofia (2011), Cambridge (2012), and Milan (2013). Please mark the conference dates in your agendas for 2014. CONFIRMED TUTORIAL SPEAKER Wolfgang Thomas (RWTH Aachen) CONFIRMED INVITED SPEAKERS Alessandra Carbone (Universite Pierre et Marie Curie and CNRS Paris) Maribel Fernandez (King's College London) Przemyslaw Prusinkiewicz (University of Calgary) Eva Tardos (Cornell University) Albert Visser (Utrecht University) SPECIAL SESSIONS on History and Philosophy of Computing organizers: Liesbeth de Mol, Giuseppe Primiero Computational Linguistics organizers: Maria Dolores Jimenez-Lopez, Gabor Proszeky Computability Theory organizers: Karen Lange, TBA Bio-inspired Computation organizers: Marian Gheorghe, Florin Manea Online Algorithms organizers: Joan Boyar, Csanad Imreh Complexity in Automata Theory organizers: Markus Lohrey, Giovanni Pighizzini The motto of CiE 2014 "Language, Life, Limits" intends to put a special focus on relations between computational linguistics, natural computing, and more traditional fields of computability theory. This is to be understood in its broadest sense including computational aspects of problems in linguistics, studying models of computation and algorithms inspired by physical and biological approaches as well as exhibiting limits (and non-limits) of computability when considering different models of computation arising from such approaches. As with previous CiE conferences, the allover glueing perspective is to strengthen the mutual benefits of analyzing traditional and new computational paradigms in their corresponding frameworks both with respect to practical applications and a deeper theoretical understanding. The conference will address these aspects besides the more established lines of research of Computational Complexity and the interplay between Proof Theory and Computation. Novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency are welcome. Also, massive data analysis and computations are a recent subject of attention, since the most recent technologies produce huge amounts of data, and managing such data requires some theoretical frameworks. In all cases we are looking for fundamental and theoretical submissions. In line with other conferences in this series, CiE 2014 has a broad scope and provides a forum for the discussion of theoretical and practical issues in Computability with an emphasis on new paradigms of computation and the development of their mathematical theory. We particularly invite papers that build bridges between different parts of the research community. The PROGRAMME COMMITTEE consists of: Gerard Alberts (Amsterdam) Sandra Alves (Porto) Hajnal Andreka (Budapest) Luis Antunes (Porto) Arnold Beckmann (Swansea) Laurent Bienvenu (Paris) Paola Bonizzoni (Milan) Olivier Bournez (Palaiseau) Vasco Brattka (Munich) Bruno Codenotti (Pisa) Barry Cooper (Leeds) Erzsebet Csuhaj-Varju (Budapest, co-chair) Michael J. Dineen (Auckland) Erich Graedel (Aachen) Marie Hicks (Chicago IL) Natasha Jonoska (Tampa FL) Jarkko Kari (Turku) Elham Kashefi (Edinburgh) Viv Kendon (Leeds) Satoshi Kobayashi (Tokyo) Andras Kornai (Budapest) Marcus Kracht (Bielefeld) Benedikt Loewe (Amsterdam & Hamburg) Klaus Meer (Cottbus, co-chair) Joseph R. Mileti (Grinnell IA) Georg Moser (Innsbruck) Benedek Nagy (Debrecen) Sara Negri (Helsinki) Thomas Schwentick (Dortmund) Neil Thapen (Prague) Peter van Emde Boas (Amsterdam) Xizhong Zheng (Glenside PA) In a Call for Papers to be sent out in October 2013, the PC will invite all researchers in the area of the conference to submit their papers for presentation at CiE 2014. The best of the accepted papers will be published in the conference proceedings within the Lecture Notes in Computer Science (LNCS) series of Springer, which will be available at the conference. ____________________________________________________________________ ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk CiE Conference Series http://www.illc.uva.nl/CiE CiE 2014 http://www.illc.uva.nl/CiE/index.php?page=22_8 CiE Membership Application Form http://www.cs.swan.ac.uk/acie Computability (Journal of CiE) http://www.computability.de/journal/ CiE on FaceBook https://www.facebook.com/AssnCiE Association CiE on Twitter https://twitter.com/AssociationCiE ____________________________________________________________________ From franconi at inf.unibz.it Tue Aug 27 03:36:05 2013 From: franconi at inf.unibz.it (Enrico Franconi) Date: Tue, 27 Aug 2013 11:36:05 +1000 Subject: PhD Programme in Computer Science at the Free University of Bozen-Bolzano (Italy) - scholarships Message-ID: PhD Programme in Computer Science at the Free University of Bozen-Bolzano The Free University of Bozen-Bolzano was founded in 1997 as a multilingual, internationally oriented institution. A public competition for the allocation of PhD positions in the Faculty of Computer Science is announced, for 10 places, of which 6 places will be covered by grants. The PhD Programme lasts three years and the official language of the programme is English. PhD students are expected to work full-time on their research. During the PhD, it is advisable to spend a period of 6-12 months at a national or international research center. Candidates are strongly advised to contact their desired research centers at the Faculty of Computer Science before applying. This way, they can obtain a clear idea of the specific research carried out at the Faculty. It is expected that students are able to write and speak fluently in English. The Selection Committee selects PhD students based on a comparative assessment of the qualification of applicants, taking into account also feedback from potential supervisors, especially those who have grants available to support the PhD students, and determines the winners based on the merits of each candidate. The Selection Committee also selects those candidates who are qualified to start a PhD program at the Free University of Bozen/Bolzano, but who cannot be admitted for lack of space. Should a selected winner not accept the position, such candidates will be next in line for the position. Instructions for application (pre-enrollment) can be found here: http://www.unibz.it/en/inf/progs/phdcs The application must be complete by 13 September 2013, 12:00 a.m. Research Areas Research in the Faculty of Computer Science is focused on three areas that are treated on a long-term basis by research groups whose members collectively examine topics related to each of the three research areas. The research areas, with a selection of their research topics, are: Knowledge Representation and Databases - web page: http://www.inf.unibz.it/krdb/ - contact person: Alessandro Artale artale at inf.unibz.it Logic based languages for knowledge representation Intelligent database access Foundations of controlled natural language Temporal aspects of data and knowledge representation Extending database technologies The research topics in knowledge representation are focused on foundational and practical aspects of knowledge representation technologies applied to information systems. The whole life cycle ranging from the design to the deployment of such technologies is covered: the conceptual modeling of various types of knowledge, the linguistic and logical aspects of knowledge, the integration of heterogeneous knowledge sources, including information coming from the Internet, the usage of knowledge to support the intelligent retrieval of information, and the usage of knowledge to create virtual services on the net. Databases and Information Systems Management and analysis of large data sets Temporal data models and databases Data evolution and integration Approximation techniques for large databases Machine learning techniques for searching and selecting information The research activities in the area of database and information systems focus on key aspects of applied computer science, including data warehousing and data mining, the integration of heterogeneous and distributed databases, time-varying information, data models, and query processing. The research approach is primarily constructive in its outset, and it includes substantial experimental and analytical elements. The development activities cover the design of data models and structures, and the development of algorithms, data structures, languages, and systems. The experimental activities verify real world artifacts with the help of prototypes and simulations. The analytic activities include the analysis of the algorithmic complexity and the evaluation of languages. The main goal is theoretically sound results that solve real world problems. Software Engineering Agile methodologies, lean management, and open source Measurement and assurance of software quality, reliability and development Distributed computing and distributed service-oriented architectures Information technology and business alignment Component-based development and reuse of software Cooperative systems and interoperability of software The research topics in software engineering are focused on the empirical and quantitative study of innovative models for software development. The target analysis techniques include both traditional statistics, and new approaches, such as computational intelligence, Bayesian models, and meta-analytical systems. The innovative software development techniques include (a) methods based on lean management, such as agile methods, with a specific interest for benchmarking and identification of defects, and (b) open source development models, with specific attention for self organizing systems and the analysis of the resulting qualit The doctoral works treat topics from the three research areas that develop from the ongoing work of the groups. The following list contains possible topics for doctoral work: Data-centric business processes Data Quality for Linked Open Data Process-Aware Business Intelligence Management of Business Processes and Data Graph-structured Data Management Knowledge driven information access Databases and Ontologies Game-based technology-enhanced learning Semantic interoperability in distributed environments Query processing in Ontology-based systems Knowledge discovery in bioinformatics Efficient querying of data under temporal constraints Conceptual modeling and reasoning with temporal information Optimizing a sequence of recommendations Lifestyle change enforcement and support Analysis and similarity search in time series data Efficient OLAP over very large temporal datasets Extending Database Systems with Similarity Operators Robust query optimization for database management systems Itinerary planning for tourist applications Methodologies in Computer Science Education Software Measurement Agile and lean software development methods Innovation in software business Software estimating and performance measurement Mobile Software Engineering Software measurement of open source systems Software Reliability Internet-based Software Engineering Energy-aware software systems Open source Software Engineering Doctoral candidates can furthermore specify their own topics together with their designated supervisor, as long as they remain related to the research areas outlined above. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From yuting.zhao at gmail.com Tue Aug 27 12:31:47 2013 From: yuting.zhao at gmail.com (Yuting Zhao) Date: Tue, 27 Aug 2013 11:31:47 +0100 Subject: 2nd CFP: Workshop on Semantic Web Enabled Software Engineering (SWESE2013), Berlin, Dec 2-5 2013 Message-ID: <521c8023.e2c6b40a.307c.ffffa19e@mx.google.com> We apologize if you receive this message more than once. ----------------------------------------------------------- The 9th International Workshop on Semantic Web Enabled Software Engineering (SWESE) Held in conjunction with 11th International Conference on Service Oriented Computing (ICSOC) Berlin, Germany, December 2-5, 2013 http://swese.odsd.eu/swese2013 ----------------------------------------------------------- Important Dates ----------------------------------------------------------- Deadline for Paper Submission: 20 September 2013 (Extended) Paper Acceptance Notification: 14 October 2013 Camera Ready Paper & Copyright: 31 October 2013 ----------------------------------------------------------- About SWESE ----------------------------------------------------------- There has been more and more evidence that the usage of Semantic Web technologies leads to improvements in both the process and product of software and service development and management activities. The goal of the SWESE workshop is to advance research on this this important area. We believe that the informal nature of the workshop, located at one of the major events in service-oriented computing, will lead to further exchange between practitioners and researchers working on issues related to Semantic Web Enabled Software and Service Engineering by providing a forum for discussing the major challenges of the area and the different approaches being taken to resolve them. ----------------------------------------------------------- Workshop Scope ----------------------------------------------------------- During the last five years, a number of successful attempts showed the advantages of Semantic Web technologies in software and service engineering including reusability and extensibility of data models, improvements in data quality and data integration, and discovery and automated execution of workflows. The scope of the SWESE workshop is to investigate any potential benefits of using Semantic Web knowledge representations (ontologies) and reasoning technologies in service engineering, management, organization and implementation. Topics of interest to the workshop include (but are not restricted to): * Visions for Semantic Web driven software and service engineering * Tools developed or being developed for software and service engineering using SW languages * Integration or application development projects combining software engineering techniques and Semantic Web tools or languages * Shortcomings with the Semantic Web with respect to software and service engineering * Visions for SW driven software modernization * Integration of model-driven architectures, programming languages and Semantic Web languages * Integration of formal methods and Semantic Web languages * Software specification and Semantic Web languages * Software versioning control and Semantic Web * Software debugging and Semantic Web * Ontologies for software engineering * Ontologies for service engineering and service specifications * Ontologies for requirement engineering * Ontologies for software guidance, traceability and maintenance * Ontologies for service composition * Component discovery and ontologies * Feature modelling and ontologies * Metamodel engineering * Ontology reasoning for service engineering and management * Semantic annotations in service engineering * Transitioning legacy applications to ontologies * Semantic-based intelligent assistance tools for software developers * Lessons learnt and outstanding challenges for the usage of semantic technologies in service engineering and management * Ontology-Driven Architecture: How to introduce Semantic Web technology into mainstream development processes * Ontologies for supporting collaboration/coordination between developers * Semantic-based information push for service engineering and management process * Methods and tools for semantic-based event-driven interaction in service development * Semantic Web based service marketplaces ----------------------------------------------------------- Submissions ----------------------------------------------------------- Papers must be in English and may be submitted by Easychair Conference Management System https://www.easychair.org/conferences/?conf=swese2013 as * Full Papers (15 pages in the proceedings) * Short Papers (5-8 pages in the proceedings) * Position Statements (2 pages in the proceedings) * Posters (to be presented during the workshop, with 2 page descriptions submitted via the conference site for review) Papers must be submitted using the “Lecture Notes in Computer Science” (LNCS) style (Word or LaTex). See http://www.springer.de/comp/lncs/authors.html for style files and details. Submissions will be peer- reviewed by at least 3 PC members based on originality, significance, technical soundness, and clarity of exposition. ----------------------------------------------------------- Program Committee (Tentative) ----------------------------------------------------------- Uwe Assman (DE), Technical University of Dresden Colin Atkinson (DE), University of Mannheim Kenneth Baclawski (US), VIStology, Inc. Bernhard Bauer (DE), University of Augsburg Marco Brambilla (IT), Politecnico di Milano Philippe Charland (CA), Defence R&D Canada – Valcartier Emanuele Della Valle (IT), DEI, Politecnico di Milano Jürgen Ebert (DE), University of Koblenz Dragan Gasevic, (CA), Athabasca University Michael Goedicke (DE), University of Essen Michael K. Smith (US), Hewlett-Packard Mieczyslaw Kokar (US), Northeastern University Harald Kühn (AT), BOC Inc. Hareton Leung (HK), Hong Kong Polytechnic University Maria Maleshkova (UK), KMI, The Open University Krzysztof Miksa (PL), Comarch, Inc. Jishnu Mukerji (US), Hewlett-Packard Company Ioannis N. Athanasiadis (GR), Democritus University of Thrace Daniel Oberle (DE), SAP Research Yuan Ren (UK), University of Aberdeen Dave Reynolds (UK), Epimorphics Ltd Juergen Rilling (CA), Concordia University Fernando Silva Parreiras (BR), FUMEC University Jin Song Dong (NZ), National University of Singapore Steffen Staab (DE), University of Koblenz-Landau Jing Sun (NZ), The University of Auckland Hai Wang (UK), Aston University ----------------------------------------------------------- Workshop Organization Chairs ----------------------------------------------------------- Jeff Z. Pan, University of Aberdeen, UK (contact) Elisa F. Kendall, Thematix Partners LLC , USA Ljiljana Stojanovic, FZI, Germany Yuting Zhao, University of Aberdeen, UK Gerd Groener, University of Koblenz-Landau, Germany -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From schmidt at cs.man.ac.uk Tue Aug 27 17:09:57 2013 From: schmidt at cs.man.ac.uk (Renate Schmidt) Date: Tue, 27 Aug 2013 16:09:57 +0100 Subject: FroCoS 2013 Last Call for Participation Message-ID: <20130827150957.5A9FB4D626B@cspc036.cs.man.ac.uk> LAST CALL FOR PARTICIPATION FroCoS 2013 9th International Symposium on Frontiers of Combining Systems Nancy, France September 18-20, 2013 http://frocos2013.loria.fr/ Co-located with TABLEAUX 2013 NOTE: For online registration, visit http://frocos2013.loria.fr/registration.html Please note the reduced fees for the joint registration FroCoS+TABLEAUX. GENERAL INFORMATION The 9th International Symposium on Frontiers of Combining Systems will be held in Nancy, France, from 18-20 September 2013. The aim of the conference is to publish and promote progress in research areas requiring the development of general techniques and methods for the combination and integration of special, formally defined systems, as well as for the analysis and modularization of complex systems. PROGRAMME The conferences features 4 invited talks and 20 contributed papers. The full programme is available at the conference website. INVITED TALKS - Stephane Demri, New York University & LSV, CNRS Counter Systems: The Quest for Pushing the Decidability Borders (joint invited talk with TABLEAUX 2013) - Konstantin Korovin, The University of Manchester From Resolution and DPLL to Solving Arithmetic Constraints - Joel Ouaknine, University of Oxford Specification and Verification of Linear Dynamical Systems: Advances and Challenges - Lawrence C. Paulson, University of Cambridge MetiTarski's Menagerie of Cooperating Systems CO-LOCATED EVENT FroCoS 2013 will be co-located with the 22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2013) held 16-19 September 2013. Participation in the TABLEAUX sessions is open to FroCoS participants on the overlapping days. There is also an attractive option for joint registration to both FroCoS and TABLEAUX. IMPORTANT DATES 16-19 Sep 2013 Tableaux Conference 18-20 Sep 2013 FroCoS Conference REGISTRATION For online registration, please visit: http://frocos2013.loria.fr/registration.html Please refer to the conference website for registration, accommodation and travel information. ORGANIZATION - Pascal Fontaine (PC Co-Chair), LORIA, INRIA, University of Lorraine, France - Christophe Ringeissen (Conference Chair), LORIA, INRIA, France - Renate Schmidt (PC Co-Chair), The University of Manchester, UK We look forward to seeing you in Nancy! From sender at ekimelu.com Thu Aug 29 21:16:38 2013 From: sender at ekimelu.com (sender at ekimelu.com) Date: Thu, 29 Aug 2013 19:16:38 -0000 Subject: Editorial Board Membership Message-ID: <20130829191638.1047.38430@chaiten.ccurico.local> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Emiliano.Lorini at irit.fr Sat Aug 31 10:50:16 2013 From: Emiliano.Lorini at irit.fr (Emiliano Lorini) Date: Sat, 31 Aug 2013 10:50:16 +0200 Subject: Second Call for Papers for the 11th European Workshop on Multi-Agent Systems (EUMAS-2013)+ LAMAS special session Message-ID: <4740-5221ae80-b-34b0ca80@180701886> Could you please diffuse the second call for papers of EUMAS-2013 through your mailing list? Best regards, Emiliano Lorini ------------------------------------------ Call for papers EUMAS-2013 11th European Workshop on Multi-Agent Systems 12-13 December 2013, Toulouse, France http://www.irit.fr/EUMAS2013/ In the last two decades, we have seen a significant increase of interest in agent-based computing. This field is now set to become one of the key technologies in the 21st century. It is crucial that both academics and industrialists within Europe have access to a forum at which current research and application issues are presented and discussed. Following in the tradition of past EUMAS (Oxford 2003, Barcelona 2004, Brussels 2005, Lisbon 2006, Hammamet 2007, Bath 2008, Agia Napa 2009, Paris 2010, Mastricht 2011, Dublin 2012), the aim of this Eleventh European Workshop on Multi-Agent Systems is to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts. This workshop is primarily intended as a European forum at which researchers, and those interested in activities relating to research in the area of autonomous agents and multi-agent systems, could meet, present (potentially preliminary) research results, problems, and issues in an open and informal but academic environment. The scope of the event is defined as the scope of the International Journal on Autonomous Agents & Multi-agent Systems (JAAMAS), the International Conference on Autonomous Agents & Multi-agent Systems (AAMAS), and the European Association for Multiagent Systems (EURAMAS). TOPICS OF INTEREST Topics include but are not limited to: Action and Planning, Adaptation and Learning, Agent Architectures, Agent Programming Languages, Agents and Complex Systems, Agent Based Simulation, Ambient Intelligence Applications, Argumentation, Autonomy, Bio-inspired Approaches to Agents and Multi-Agent Systems, Cognitive Models, Collective and Swarm Intelligence, Collective Intentionality, Communication, Competition, Complexity, Cooperation, Coordination, E-*Applications, Economic Models, Emergence, Emotion, Formal Models, Game Theoretic Models, Grid Computing, Logics for Multi-Agent Systems, Methodologies, Negotiation, Organisations and Institutions, Proactivity and Reactivity, Protocols, Robotics, Self-organisation, Semantic Web Agents, Agent-based Service Oriented Computing, Socio-technical Systems, Agent-oriented Software Engineering, Standards, Teamwork, Theories of Agency, Tools, Trust and Reputation, Ubiquitous Computing, Verification, Virtual Agents. SPECIAL SESSION OF LAMAS (LOGICAL ASPECTS OF MULTI-AGENT SYSTEMS) The sixth LAMAS workshop (Logical Aspects of Multi-Agent Systems) will be colocated with EUMAS-2013, as a special session. (See http://icr.uni.lu/lamas2012/cfp.html for the previous edition of the LAMAS workshop). The submission of papers to the LAMAS special session is subject to the same requirements as the submission of papers to the EUMAS-2013 normal track. Topics of interest for the LAMAS special session include but are not limited to: - Logical systems for specification, analysis, and reasoning about MAS,- Modeling MAS with logic-based models, - Deductive systems and decision procedures for logics for MAS, - Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS, - Logic-based tools for MAS, - Applications of logics in MAS. SUBMISSION, CEUR PROCEEDINGS AND POST-PROCEEDINGS VOLUME EUMAS-2013 welcomes both unpublished papers and papers that are under submission or have been published in a relevant conference, workshop or journal. We specially invite submissions by students that we think will receive valuable feedback from the the discussion-orientedfocus of the workshop. Preliminary student work is welcome; however it has to possess sufficient substance for serving as a discussion basis and therefore has to pass the review cycle in the same way as other work. All submissions should be formatted using Springer LNCS style which is available at http://www.springer.de/comp/lncs/authors.html. EUMAS-2013 solicits papers in two categories: - Full research papers of 8 to 14 pages. - Extended abstracts of 2 to 4 pages reporting an interesting work in progress or providing system descriptions. We request the submission of title and abstract prior the paper submission for supporting the tight schedule of reviewing. The authors can submit their abstracts and papers through the EUMAS 2013 Easychair submission site: https://www.easychair.org/conferences/?conf=eumas2013 Full papers accepted at EUMAS-2013 that are not under submission and have not been previously published in a different conference, workshop or journal will be included in the CEUR workshop proceedings. A post-proceedings volume published by Springer in the LNCS/LNAI series is planned based on revised and extended versions of selected papers presented at EUMAS-2013. IMPORTANT DATES Abstract submission deadline: October 14, 2013 Paper submission deadline: October 18, 2013 Notification of acceptance: November 12, 2013 Camera-ready submission: November 29, 2013 EUMAS 2013 workshop: December 12-13, 2013 INVITED SPEAKERS Mehdi Dastani, Utrecht university Andrew Jones, King's College London OFFICIALS PC chair Emiliano Lorini, IRIT-CNRS, France Program committee Thomas Ågotnes, University of Bergen, Norway Natasha Alechina, University of Nottingham, UK Frédéric Amblard, IRIT, Toulouse University, France Leila Amgoud, IRIT-CNRS, France Bernhard Bauer, University of Augsburg, Germany Guido Boella, University of Torino, Italy Olivier Boissier, ENS Mines Saint-Etienne, France Elise Bonzon, LIPADE - Université Paris Descartes, France Vicent Botti, DSIC, Spain Nils Bulling, Clausthal University of Technology, Germany Didac Busquets, University of Girona, Spain Cristiano Castelfranchi, Institute of Cognitive Sciences and Technologies, CNR, Italy Amit Chopra, Lancaster University, UK Mehdi Dastani, Utrecht University, The Netherlands Paul Davidsson, Malmö University, Sweden Jürgen Dix, Clausthal University of Technology, Germany Barbara Dunin-Keplicz, Institute of Informatics, Warsaw University, Poland Rino Falcone, Institute of Cognitive Sciences and Technologies, CNR, Italy Nicola Gatti, Politecnico di Milano, Italy Marie-Pierre Gleizes, IRIT, Toulouse University, France Valentin Goranko, Technical University of Denmark Davide Grossi, University of Liverpool, UK Koen Hindriks, Delft University of Technology, The Netherlands Wiebe van der Hoek, University of Liverpool, UK Andrew Jones, King's College London, UK Tomas Klos, TU Delft, The Netherlands Jérôme Lang, LAMSADE, Université Paris-Dauphine, France João Leite, CENTRIA, Universidade Nova de Lisboa, Portugal Tiago De Lima, University of Artois, France Brian Logan, University of Nottingham, UK Nicolas Maudet, LIP6, France Felipe Meneguzzi, PUCRS, Brazil John-Jules Meyer, Utrecht University, The Netherlands Simon Miles, King's College London, UK Pavlos Moraitis, LIPADE, France Pablo Noriega, IIIA-CSIC, Spain Emma Norling, Centre for Policy Modelling, UK Eugenio Oliveira, Faculdade de Engenharia Universidade do Porto – LIACC, Portugal Andrea Omicini, University of Bologna, Italy Nir Oren, University of Aberdeen, UK Sascha Ossowski, University Rey Juan Carlos, Spain Mario Paolucci, Institute of Cognitive Sciences and Technologies, CNR, Italy Wojciech Penczek, IPI PAN and University of Podlasie, Poland Laurent Perrussel, IRIT, Toulouse University, France Jeremy Pitt, Imperial College London, UK Alessandro Ricci, University of Bologna, Italy Regis Riveret, Imperial College London, UK Juan A. Rodríguez-Aguilar, IIIA-CSIC, Spain Antonino Rotolo, University of Bologna, Italy Jordi Sabater, IIIA-CSIC, Spain Nicolas Sabouret, LIMSI-CNRS, France Carles Sierra, IIIA-CSIC, Spain Leon van der Torre, University of Luxembourg Nicolas Troquard, Institute of Cognitive Sciences and Technologies, CNR, Italy Luca Tummolini, Institute of Cognitive Sciences and Technologies, CNR, Italy Paolo Turrini, Imperial College London, UK Wamberto Vasconcelos, University of Aberdeen, UK Rineke Verbrugge, University of Groningen, The Netherlands Laurent Vercouter, LITIS lab, INSA de Rouen, France Serena Villata, INRIA Sophia Antipolis, France Marina de Vos, University of Bath, UK Danny Weyns, Linnaeus University, Sweden Mike Wooldridge, University of Oxford, UK Organizing committee Florence Dupin de Saint-Cyr, IRIT, Toulouse University, France (co-chair) Valérie Camps, IRIT, Toulouse University, France (co-chair)