From wjamroga at in.tu-clausthal.de Fri Oct 4 22:32:06 2013 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Fri, 04 Oct 2013 22:32:06 +0200 Subject: SR 2014: Preliminary call for contributions Message-ID: <524F25C6.8050005@in.tu-clausthal.de> [Apologies if you receive this more than once] ***************************************************************** ------ SR 2014 ----- ***************************************************************** Second International Workshop on Strategic Reasoning Grenoble, France, 5-6 April 2014 http://www.etaps.org/index.php/2014/workshops http://www.strategicreasoning.net ********************************************************** | CALL FOR CONTRIBUTIONS | ********************************************************** OBJECTIVES Strategic reasoning is one of the most active research area in multi-agent system domain. The literature in this field is extensive and provides a plethora of logics for modeling strategic ability. Theoretical results are now being used in many exciting fields, including software tools for information system security, robot teams with sophisticated adaptive strategies, and automatic players capable of beating expert human adversary, just to cite a few. All these examples share the challenge of developing novel theories and tools for agent strategies that take into account the likely behavior of adversaries. The SR workshop aims to bring together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view. LIST OF TOPICS The topics covered by the conference include, but are not limited to: - Logics for reasoning about strategic abilities - Logics for multi-agent mechanism design, verification, and synthesis - Logical foundations of decision theory for multi-agent systems - Strategic reasoning in formal verification - Automata theory for strategy synthesis - Strategic reasoning under perfect and imperfect information - Applications and tools for cooperative and adversarial reasoning - Robust planning and optimization in multi-agent systems - Risk and uncertainty in multi-agent systems - Quantitative aspects in strategic reasonings CO-LOCATED EVENT SR 2014 is a satellite workshop of ETAPS 2014 which will be held on April 5th-13th, 2014. INVITED SPEAKERS - Thomas A. Henzinger, IST Austria - Wiebe van der Hoek, University of Liverpool - Alessio R. Lomuscio, Imperial College London - Wolfgang Thomas, RWTH Aachen PAPER SUBMISSION Submitted papers should not exceed five pages using EPTCS format (http://style.eptcs.org). If necessary, the paper may be supplemented with a clearly marked appendix, which will be consulted at the discretion of the programme committee. Submissions must be in PDF format and will be handled via EasyChair (https://www.easychair.org/conferences/?conf=sr2014) Two types of submission are invited: - Papers reporting on novel research, and - Expository papers reporting on published work. Each submission should be clearly identified as belonging to one category or the other. In both categories, strong preference will be given to papers whose topic is of interest to an interdisciplinary audience, and all papers should be written so that they are accessible to such an audience. Novel research abstracts will be held to the usual high standards of novel research publications. In particular, they should 1) contain enough information to enable the program committee to identify the main contribution of the work; 2) explain the significance of the work its novelty and its practical or theoretical implications; and 3) include comparisons with and references to relevant literature. Expository abstracts, which will be held to similarly high standards, may survey an area or report on a more specific previously published work; the submission should make clear the relevance to the strategic reasoning audience. Papers accepted for presentation (in both categories) will be collected as an EPTCS volume. Submissions from PC members are also allowed. Note that, as we accept short papers, extended versions of the accepted works could be also submitted elsewhere. IMPORTANT DATES Abstract submission: December 16, 2013 Contribution submission: December 23, 2013 Acceptance notification: January 30, 2014 Camera-ready version: February 10, 2014 SR 2014 Workshop: April 5-6, 2014 PROCEEDINGS The workshop proceedings will be published as a volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS). An extended and revised version of the best workshop contributions of last edition have been selected for a special issue to appear on the international journal of Information and Computation. For the current edition, we plan to do the same and anyway to have a special issue on one of the major international journals of the area. GENERAL CHAIR Moshe Y. Vardi, Rice University, Texas, USA PROGRAM CO-CHAIRS Fabio Mogavero, Università di Napoli Federico II, Italy Aniello Murano, Università di Napoli Federico II, Italy PROGRAM COMMITTEE - Natasha Alechina, University of Nottingham, United Kingdom - Thomas Agotnes, University of Bergen, Norway - Nils Bulling, Clausthal University of Technology, Germany - Krishnendu Chatterjee, IST Austria, Austria - Wojtek Jamroga, University of Luxembourg, Luxembourg - François Laroussinie, Universitè Paris Diderot, France - Christof Loding, RWTH Aachen, Germany - Emiliano Lorini, Universitè Paul Sabatier, France - John-Jules C. Meyer, Utrecht University, Netherlands - Eric Pacuit, University of Maryland, United States - Wojciech Penczek, Polish Academy of Sciences, Poland - Sophie Pinchinat, University of Rennes, France - Jean-Francois Raskin, Universitè Libre de Bruxelles, Belgium - Francesca Rossi, Università di Padova, Italy - Toby Walsh, University of New South Wales, Australia - Michael Wooldridge, University of Oxford, United Kingdom ORGANIZING COMMITTEE - Fabio Mogavero, Università di Napoli Federico II, Italy - Aniello Murano, Università di Napoli Federico II, Italy - Loredana Sorrentino, Università di Napoli Federico II, Italy INFO For more information about the workshop, you may take a look at the list of ETAPS 2014 workshops (http://www.etaps.org/2014/workshops). The preliminary SR 2014 website is available at http://www.strategicreasoning.net . All the relevant informations should be posted there in a few days. -- Dr. habil. Wojciech Jamroga Interdisciplinary Centre for Security, Reliability and Trust University of Luxembourg http://icr.uni.lu/wjamroga/ From grlmc at urv.cat Sat Oct 5 12:53:34 2013 From: grlmc at urv.cat (GRLMC) Date: Sat, 5 Oct 2013 12:53:34 +0200 Subject: TPNC 2013: 2nd call for posters Message-ID: <6FFA4B73827E47C8A99D676820E6BE15@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ************************************************************************* The 2nd International Conference on the Theory and Practice of Natural Computing (TPNC 2013) invites authors to submit poster presentations. TPNC 2013 will be held in Cáceres (Spain) on 3-5 December, 2013. See http://grammars.grlmc.com/tpnc2013/ Poster presentations are intended to enhance informal interactions with the conference participants, at the same time permitting in-depth discussion. TOPICS Authors are encouraged to submit presentations that discuss novel work in progress on: - nature-inspired models of computation, - synthesis of nature by means of computation, - nature-inspired materials, - information processing in nature, - applications of natural computing. Posters do not need to present final research results. Work that may lead to new interesting developments is welcome. KEY DATES Submission deadline: October 20, 2013 Notification of poster acceptance or rejection: October 27, 2013 SUBMISSION Please submit a .pdf abstract through: https://www.easychair.org/conferences/?conf=tpnc2013 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 8 minutes each in the programme for oral presentation. Moreover, they will remain hanging during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS proceedings volume of TPNC 2013. However, they will be eligible for submission to the post-conference Soft Computing journal special issue. REGISTRATION Authors of accepted posters have to register to the conference. Their registration fare is reduced: 150 Euro (appr. one third of the fare for PhD students). From agi.kurucz at kcl.ac.uk Mon Oct 7 23:11:10 2013 From: agi.kurucz at kcl.ac.uk (Agi Kurucz) Date: Mon, 7 Oct 2013 22:11:10 +0100 Subject: AiML 2014: 1st Call for Papers Message-ID: <5253236E.5040402@kcl.ac.uk> AiML-2014: 1ST CALL FOR PAPERS 10th INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC, GRONINGEN, 5-8 AUGUST, 2012 http://www.philos.rug.nl/AiML2014/ Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2014 is the tenth conference in the series. TOPICS We invite submission on all aspects of modal logic, including: - history of modal logic - philosophy of modal logic - applications of modal logic - computational aspects of modal logic (complexity and decidability of modal and temporal logics, modal and temporal logic programming, model checking, model generation, theorem proving for modal logics) - theoretical aspects of modal logic (algebraic/categorical perspectives on modal logic, coalgebraic modal logic, completeness and canonicity, correspondence and duality theory, many-dimensional modal logics, modal fixed point logics, model theory of modal logic, proof theory of modal logic) - specific instances and variations of modal logic (description logics, modal logics over non-boolean bases, dynamic logics and other process logics, epistemic and deontic logics, modal logics for agent-based systems, modal logic and game theory, modal logic and grammar formalisms, provability and interpretability logics, spatial and temporal logics, hybrid logic, intuitionistic logic, substructural logics, computationally light fragments of all such logics) Papers on related subjects will also be considered. PAPER SUBMISSIONS There will be two types of submissions to AiML-2014: (1) Full papers for publication in the proceedings and presentation at the conference. (2) Short presentations intended for presentation at the conference but not for the published proceedings. Both types of papers should be submitted electronically using the EasyChair submission page at https://www.easychair.org/account/signin.cgi?conf=aiml2014 At least one author of each accepted paper or short presentation must register for and attend the conference. (1) FULL PAPERS Authors are invited to submit, for presentation at the conference and publication in the proceedings, full papers reporting on original research and not submitted elsewhere. The proceedings of AiML-2014 will be published by College Publications http://www.collegepublications.co.uk in a volume to be made available at the conference. The submissions should be at most 15 pages, with an optional technical appendix of up to 5 pages, together with a plain-text abstract of 100-200 words. The submissions must be typeset in LaTeX, using the style files and template that will be provided on the AiML-2014 website http://www.philos.rug.nl/AiML2014/ in due time. We also ask authors of full papers to submit the abstract in plain text via EasyChair by 14 March. (2) SHORT PRESENTATIONS. These should be at most 5 pages. They may describe preliminary results, work in progress etc., and will be subject to light reviewing. The accepted submissions will be made available at the conference, and the authors will have the opportunity to give short presentations (of up to 15 minutes) on them. INVITED SPEAKERS: TO BE ANNOUNCED LOCAL ORGANIZING COMMITTEE Dave Gilbert Barteld Kooi Bouke Kuijer Paolo Maffezioli Allard Tamminga PROGRAMME COMMITTEE Carlos Areces (FaMAF, Universitad Nacional de Cordoba, Argentina) Alexandru Baltag (ILLC, University of Amsterdam, The Netherlands) Nick Bezhanishvili (Utrecht University, The Netherlands) Patrick Blackburn (Roskilde University, Denmark) Hans van Ditmarsch (LORIA, France) David Fernández-Duque (ITAM, Mexico) Melvin Fitting (Lehman College, CUNY, USA) Silvio Ghilardi (Università degli Studi di Milano, Italy) Rob Goldblatt (Victoria University of Wellington, New Zealand) Valentin Goranko (Technical University of Denmark) Guido Governatori (NICTA Queensland, Australia) Andreas Herzig (IRIT, Toulouse, France) Rosalie Iemhoff (Utrecht University, The Netherlands) Roman Kontchakov (Birkbeck College London, UK) Barteld Kooi (University of Groningen) Marcus Kracht (Universität Bielefeld, Germany) Alexander Kurz (University of Leicester, UK) Carsten Lutz (Universität Bremen, Germany) Jakub Michaliszyn (Imperial College London, UK) Larry Moss (Indiana University, USA) Hiroakira Ono (Japan Advanced Institute of Science and Technology) Revantha Ramanayake (Technical University of Vienna) Mark Reynolds (University of Western Australia) Vladimir Rybakov (Manchester Metropolitan University, UK) Renate Schmidt (University of Manchester, UK) Jeremy Seligman (University of Auckland, New Zealand) Ilya Shapirovsky (Institute for Information Transmission Problems, Moscow, Russia) Valentin Shehtman (Moscow State University, Russia) Dimiter Vakarelov (Sofia University, Bulgaria) Yde Venema (ILLC, University of Amsterdam, The Netherlands) Heinrich Wansing (Ruhr University Bochum, Germany) Michael Zakharyaschev (Birkbeck College London, UK) PROGRAMME COMMITTEE CO-CHAIRS Rajeev Gore (The Australian National University, Australia) Agi Kurucz (King's College London, UK) IMPORTANT DATES Abstracts of full papers submission deadline: 14 March 2014 Full papers submission deadline: 21 March 2014 Full papers acceptance notification: 2 May 2014 Short presentations submission deadline: 12 May 2014 Short presentations acceptance notification: 2 June 2014 Final version of full papers and short presentations due: 9 June 2014 Conference: 5-8 August, 2014. FURTHER INFORMATION. Please see http://www.philos.rug.nl/AiML2014 ENQUIRIES. E-mail enquiries should be directed to the PC co-chairs, sent to aiml2014 at easychair.org From elizabeth.black at kcl.ac.uk Fri Oct 11 10:15:46 2013 From: elizabeth.black at kcl.ac.uk (Black, Elizabeth) Date: Fri, 11 Oct 2013 09:15:46 +0100 Subject: The Logic of Self-Deception, Distinguished Lecture, Department of Informatics, King's College London Message-ID: <5257B3B2.4070607@kcl.ac.uk> The Department of Informatics at King's College London is holding a Distinguished Lecture on 22 November to which all are welcome. This will be a celebration of Emeritus Professor Andrew J I Jones' career to date, and the third in our Distinguished Lecture series. Professor Andrew Jones will be speaking on "The Logic of Self-Deception". This talk will not assume previous familiarity with the logic of belief. 22 November 2013 The Great Hall Strand Campus King's College London 16.00 Tea and coffee 16.30 Lecture 17.30 Refreshments EVERYONE IS WELCOME, BUT PLEASE REGISTER FOR CATERING PURPOSES: http://andrewjones.eventbrite.co.uk/ THE LOGIC OF SELF-DECEPTION Emeritus Professor Andrew J I Jones, Department of Informatics, King's College London Abstract In his classic work on the logic of knowledge and belief, Jaakko Hintikka gave a brief analysis of the type of self-deception that is expressed in the following remark by Michel de Montaigne: “Some make the world believe that they believe what they do not believe; others, in greater number, make themselves believe it.” Hintikka’s account not only gives a logically consistent representation of this species of self-deception, but also explains the apparent incoherence of the self-deceiver’s belief state. It will be argued that Montaigne’s remark describes just one of a small group of ‘self- deception positions’, the others of which cannot be consistently represented in the logic of belief used by Hintikka, and none of which can be consistently represented in the logic of belief commonly adopted in Artificial Intelligence. The presentation will show how to characterise each member of the group of ‘self-deception positions’ consistently, using a logic of belief weaker than Hintikka’s; and it will offer an alternative explanation of the incoherence latent in self-deception. The talk should be of relevance not only to psychologists and philosophers, but also to those computer scientists whose work on self-adapting systems has recently led them to an interest in self-awareness. It will not assume previous familiarity with the logic of belief. Bio Professor Andrew Jones is Emeritus Professor of the Department of Informatics, King's College London. From 1986-2001, Andrew Jones was Professor of Philosophy at the University of Oslo, Norway, and was elected to the Norwegian Academy of Science and Letters (Det Norske Videnskaps-Akademi) in 1999. In 2001 he took up a professorial position in the Department of Computer Science (later the Department of Informatics), King’s College London, where he was also Head of Department from 2005-2010. His research has mostly been concerned with applications of modal logic to conceptual analysis, particularly in regard to logics of norms, action and belief and their role in the characterization of socio-cognitive systems. Jones retired from King’s in July 2013. In 2013-14 he will be a visiting researcher at Imperial College London. -- 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/ Follow King's College London Department of Informatics Twitter @kclinformatics Facebook www.facebook.com/kclinformatics Blog inkings.org From geoff at cs.miami.edu Fri Oct 11 16:32:25 2013 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Fri, 11 Oct 2013 10:32:25 -0400 (EDT) Subject: Essays in Memory of Mark Stickel Message-ID: <20131011143225.2F827121582@mcclellan.cs.miami.edu> CALL FOR PAPERS Making Automated Reasoning Practical: Essays in Memory of Mark Stickel Submission Deadline: March 1st, 2014 AIM This is a book of collected articles presenting research in all aspects of automated reasoning, in particular the design of automated reasoning systems and their applications. A common theme behind Mark Stickel's work was developing techniques for building better automated reasoning systems. His discoveries were ground-breaking and include AC-unification, reasoning modulo a theory, term indexing, and thorough development of the SNARK and PTTP provers. In 2002 he received the Herbrand award for all his work, the highest award in automated reasoning (http://www.cadeinc.org/). We would like to honour Mark's achievements by editing a Festschrift comprised of articles in the spirit of his research approach: developing fundamental techniques driven by practical applications and informed by rigorous theory. SCOPE We invite high-quality submissions on the general topic of automated reasoning and its applications, especially but not exclusively to the design of automated theorem proving systems, with connections to any of Mark Stickel's research areas: * Automated theorem proving, including deductive and abductive reasoning * Implementation of and practice with automated reasoners * Algorithmics for automated reasoners: unification, matching, rewriting, indexing * Integration of general-purpose reasoning with external procedures * Spatial and temporal reasoning * Inference control, theory reasoning, semantic guidance for automated reasoners * Application of automated reasoners in mathematics, logic, program synthesis, natural language, and natural sciences * SAT-solving * Applications related to formal methods PUBLICATION DETAILS It is planned that the book will be published as an LNAI Festschrift with Springer. SUBMISSION INSTRUCTIONS While it is expected that most of the papers will be regular technical papers, a few papers that combine scientific content with recollections of Mark Stickel's work and personality, as can be written by those who worked with him, are also sought. All papers will be refereed by anonymous peer reviewers, and read by the editors, according to the highest standards in terms of originality, significance, technical quality, and readability. Submissions must be in English and standard conforming pdf format. They must be unpublished and not submitted for publication elsewhere. However, significantly extended versions of papers published at conferences are welcome. Submissions of any length will be considered, but final versions may be limited by the editors depending on the totality of submissions. Authors are strongly encouraged to produce their papers in LaTeX. Formatting instructions and the LNCS style files can be obtained via http://www.springer.de/comp/lncs/authors.html. Electronic submission via EasyChair is open at https://www.easychair.org/conferences/?conf=festschriftmarkstick . SUBMISSION DEADLINE: March 1st, 2014 In order to facilitate the planning of the book, authors are invited to notify the editors as soon as possible of their intention to submit with proposed topic and length. Early submission would be especially helpful for completing the review process sooner. EDITORS Peter Baumgartner NICTA and Australian National University, http://users.cecs.anu.edu.au/~baumgart/ Richard Waldinger SRI International, http://www.ai.sri.com/~waldinge/ From ruy at cin.ufpe.br Sat Oct 12 12:14:12 2013 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Sat, 12 Oct 2013 07:14:12 -0300 Subject: WoLLIC 2014 - 1st Call for Papers Message-ID: [Please circulate. Apologies for any cross-postings.] WoLLIC 2014 21st Workshop on Logic, Language, Information and Computation September 1st to 4th, 2014 Valparaiso, Chile SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) ORGANISATION Department of Computer Science, Universidad de Chile, Chile Department of Computer Science, Pontificia Universidad Católica de Chile, Chile Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Department of Informatics, Universidad Técnica Federico Santa María, Chile CALL FOR PAPERS 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 twentieth WoLLIC will be held at the Universidad Técnica Federico Santa María, from September 1st to 4th, 2014. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the 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). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2014 EasyChair website. (Please go to http://wollic.org/wollic2014/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by Mar 24, 2014, and the full paper by Mar 28, 2014 (firm date). Notifications are expected by May 2, 2014, and final papers for the proceedings will be due by May 15, 2014 (firm date). PROCEEDINGS The proceedings of WoLLIC 2014, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2014 issue of a scientific journal (to be confirmed). INVITED SPEAKERS (TBA) STUDENT GRANTS ASL sponsorship of WoLLIC 2014 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2014). See http://www.aslonline.org/studenttravelawards.html for details. IMPORTANT DATES Mar 24, 2014: Paper title and abstract deadline Mar 28, 2014: Full paper deadline May 2, 2014: Author notification May 15, 2014: Final version deadline (firm) PROGRAMME COMMITTEE Natasha Alechina (U Nottingham) Eric Allender (Rutgers U) Marcelo Arenas (PUC Chile) Steve Awodey (CMU) Julian Bradfield (U Edinburgh) Xavier Caicedo (U de Los Andes) Olivier Danvy (Aarhus U) Ulrich Kohlenbach (Tech U Darmstadt) (CHAIR) Marcus Kracht (U Bielefeld) Michiel van Lambalgen (U Amsterdam) Klaus Meer (Tech U Cottbus) George Metcalfe (Bern U) Dale Miller (INRIA Saclay / LIX) Russell Miller (CUNY) Sara Negri (U Helsinki) Nicole Schweikardt (U Frankfurt) (more to come) STEERING COMMITTEE Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Leonid Libkin, Angus Macintyre, Grigori Mints, Luke Ong, Hiroakira Ono, Ruy de Queiroz. ORGANISING COMMITTEE Pablo Barceló (Universidad de Chile) (Local chair) Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) Juan Reutter (Pontificia Universidad Católica de Chile) Cristián Riveros (Pontificia Universidad Católica de Chile) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2014/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at urv.cat Sat Oct 12 13:12:41 2013 From: grlmc at urv.cat (GRLMC) Date: Sat, 12 Oct 2013 13:12:41 +0200 Subject: LATA 2014: extended submission deadline 21 October Message-ID: <7D84D8BA0D9B43048C4E0B30EDA1CE76@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------- ***** SUBMISSION DEADLINE EXTENDED: October 21 ***** ---------------------------------------------------------------------------- ************************************************************************* 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), On Trees and Fixed Point Equations (tutorial) Leslie A. Goldberg (Oxford, UK), The Complexity of Approximate Counting Oscar H. Ibarra (Santa Barbara, US), Some Computability and Complexity Problems Concerning FAs, PDAs, and Counter Machines Sanjeev Khanna (Philadelphia, US), tba Helmut Seidl (Munich Tech, DE), Interprocedural Information Flow Analysis of XML Processors 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 21, 2013 (23:59 CET) – EXTENDED – 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 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Departament d’Economia i Coneixement, Generalitat de Catalunya Universidad Complutense de Madrid Universitat Rovira i Virgili From bulling at in.tu-clausthal.de Wed Oct 16 22:02:11 2013 From: bulling at in.tu-clausthal.de (Nils Bulling) Date: Wed, 16 Oct 2013 22:02:11 +0200 Subject: Second CfP: Special Issue on Multi-Agent Decision Making Message-ID: <68E8A8CB-572D-46F6-91B2-199BB108A68E@in.tu-clausthal.de> Second Call for Papers: ---------------------------------------------------------------------------- Special Issue on Multi-Agent Decision Making of the German Journal of Artificial Intelligence (KI – Künstliche Intelligenz) published by Springer ---------------------------------------------------------------------------- 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 For further information and submission details, please visit: http://sidm.in.tu-clausthal.de 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. From aamas14publicity at gmail.com Thu Oct 17 03:11:51 2013 From: aamas14publicity at gmail.com (Matthew Taylor) Date: Wed, 16 Oct 2013 18:11:51 -0700 Subject: [AAMAS-14] 2nd Call for Workshops Message-ID: ========================================= AAMAS 2014 -- Call for Workshop Proposals http://aamas2014.lip6.fr ========================================= The AAMAS-2014 Organizing Committee invites proposals for the Workshop Program to be held on May 5-6, 2014 immediately prior to the main technical program of the AAMAS conference. The main goal of the AAMAS-2014 workshop program is to stimulate and facilitate discussion, interaction, and comparison of approaches, methods, and ideas related to specific topics, both theoretical and applied, in the general area of Autonomous Agents and Multiagent Systems. The AAMAS-2014 workshops will provide an informal setting where participants will have the opportunity to discuss specific technical topics in an atmosphere that fosters the active exchange of ideas. The 2014 edition of AAMAS will see, for the first time, an integration of workshops and tutorials, traditionally held separately. The AAMAS-2014 Organizing Committee asks all workshops to include a tutorial session. A tutorial session might include, for example, a discussion of the main issues in the research themes of interest to the workshop, and give a historical perspective, particularly for long-running workshops. It would be an excellent way to attract new participants and introduce students to the workshop. There is no restriction on the length of the proposed tutorial. Members from all areas of the AAMAS community are invited to submit workshop proposals for review. Workshops on new and emerging topics, applications, and on broader topics of interest to a wider community are particularly encouraged. Workshops can vary in length, but most will be one full day in duration. Workshop organizers and attendees must register for their workshop and preferably also for the main AAMAS conference. Attendance is limited to registered participants. *** Important Dates *** November 06, 2013: Proposal Submission Deadline November 25, 2013: Notification of Selected Workshops December 04, 2013: Deadline for posting Workshop Call for Papers December 04, 2013: AAMAS-2014 Workshop Program Announced January 22, 2014: Recommended deadline for Workshop Submissions February 19, 2014: Recommended deadline for Workshop Notification March 19, 2014: Deadline for complete workshop notes submission to the workshop chairs March 19, 2014: Deadline for posting Workshop Call for Participation May 5-6, 2014: AAMAS-2014 Workshops *** Requirements for Submission *** Proposals for workshops should be a maximum of five pages in length (in plain ASCII text), and should contain the following information: 1. Title of the workshop. 2. A technical description of the workshop, specifying the workshop goals, the technical issues that it will address, and the relevance of the workshop to the main conference. 3. A discussion of why and to whom the workshop is of interest. 4. A brief description of a proposal for a tutorial session to be held as part of the workshop. 5. A list of related workshops held within the last three years, if any, and their relation to the proposed workshop. Information about previous offerings of the proposed workshop: when and where it has been offered in the past (i.e., with AAMAS or another conference), organizers names and affiliations, number of submissions, acceptances and registered attendees, and follow-up publications, if any (e.g., journal special issues). 6. For workshops that have had previous editions (even if they had different titles and were not held with AAMAS), include a list of URLs of the websites of the previous editions. 7. A preliminary workshop agenda and a proposed schedule for organizing the workshop. This should include a brief description of how the organizers intend to encourage an atmosphere appropriate for a workshop. 8. Description of the paper review process and acceptance standards. 9. If available, a list of tentatively confirmed attendees. 10. The names, affiliations, postal addresses, phone numbers, and email addresses of the proposed workshop organizing committee. This committee should consist of three or four people knowledgeable about the technical issues to be addressed. The organizing committee should include individuals from multiple institutions. 11. The name of the primary contact for the organizing committee (this person must reply promptly to email messages). 12. A description of the qualifications of the individual committee members with respect to organizing an AAMAS workshop, including a list of workshops previously arranged by any members of the proposed organizing committee, if any. 13. List of potential program committee members, including their title and affiliations. 14. Expected duration of the workshop (usually a full day). 15. A list of places (distribution lists, web sites, journals, etc.) where the workshop is planned to be advertised. All proposals should be submitted by electronic mail, in plain ASCII text, to the AAMAS-2014 Workshop Chairs, email address aamas2014.workshops at gmail.com, as soon as possible and no later than Wednesday November 6th, 2013. The selection of the workshops to be included in the final AAMAS program will be done by the general chairs of AAMAS 2014 based on the advice of the workshop chairs. The selection is based upon multiple factors, including: the scientific/technical interest of the topics, the clarity of the proposal in addressing the requested information, the innovative character of workshop topics, the cross-disciplinary nature of the workshop, the proposed tutorial session, and the capacity of the conference workshop program. *** Responsibilities of AAMAS and workshop organizers *** For all accepted proposals, AAMAS 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 when the workshop has more than 15 registrations. - AAMAS reserves the right to cancel workshops, for example in case of low number of registrants. Workshop organizers will be responsible for: - Setting up a website for the workshop. - Advertising the workshop and issuing a call for papers (by December 4, 2012) and a call for participation (by March 19, 2013). - 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, i.e., January 29, 2014 for submissions of contributions to workshops, and February 26, 2014 for notifications. - Creating the PDF file with the whole workshop notes and making it available to the workshops chair by March 19, 2014, as well as a list of audio-visual requirements and any special room requirements. The workshops notes will only be given to participants in electronic form, so please include the following sentence in your call for papers: "Workshop notes including all accepted papers will be distributed to AAMAS-2014 registrants in electronic form. Printed workshop notes will NOT be made available to workshop participants." - Ensuring that the workshop organizers and the participants register for the workshop and are invited to register to the main conference (at least one author must register for the workshop in order for a paper to appear in the workshop proceedings). AAMAS reserves the right to cancel any workshop if the above responsibilities are not fulfilled. *** Submissions and Inquiries *** Please send proposals and inquiries to: aamas2014.workshops at gmail.com *** Workshop Co-Chairs *** Rafael H. Bordini PUCRS, Brazil r.bordini at pucrs.br José M. Vidal University of South Carolina, SC, USA vidal at sc.edu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From A.Silva at science.ru.nl Thu Oct 17 09:50:55 2013 From: A.Silva at science.ru.nl (Alexandra Silva) Date: Thu, 17 Oct 2013 09:50:55 +0200 Subject: CMCS 2014: Second call for papers Message-ID: <20131017075055.GA4204@lilo3.science.ru.nl> Call for Papers 12th International Workshop on Coalgebraic Methods in Computer Science (CMCS'14) 5 - 6 April 2014, Grenoble, France http://www.coalg.org/cmcs14 Objectives and scope ------------------- Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well. Topics of interest include, but are not limited to, the following: - The theory of coalgebras (including set theoretic and categorical approaches) - Coalgebras as computational and semantical models (for programming languages, dynamical systems, term rewriting, etc.) - Coalgebras in (functional, object-oriented, concurrent, and constraint) programming - Model checking, theorem proving and deductive verification using coalgebraic techniques - Coalgebraic data types, type systems and behavioural typing - Proof principles and (coinductive) definitions for coalgebras (e.g. with bisimulations or invariants) - Coalgebras and algebras - Coalgebraic specification and verification - Coalgebras and (modal) logic - Coalgebra and control theory (notably of discrete event and hybrid systems) - Coalgebra in quantum computing - Coalgebra and game theory - Tools exploiting colgebraic techniques Venue and event --------------- CMCS'14 will be held in Grenoble, France, co-located with ETAPS 2014 on 5 - 6 April 2014. Important dates --------------- Abstract regular papers 6 January 2014 Submission regular papers 10 January 2014 (strict) Notification regular papers 14 February 2014 Camera-ready copy 21 February 2014 Submission short contributions 23 February 2014 (strict) Notification short contributions 9 March 2014 Keynote Speaker ---------------- Davide Sangiorgi, Inria / University of Bologna, IT Invited speakers ---------------- Ichiro Hasuo, University of Tokyo, JP Marina Lenisa, University of Udine, IT Programme committee ------------------- Andreas Abel, Ludwig-Maximilians-University Munich, DE Davide Ancona, University of Genova, IT Adriana Balan, University Politehnica of Bucharest, RO Marta Bilkova, Charles University, CZ Filippo Bonchi, LIP ENS-Lyon, FR Marcello Bonsangue (chair), Leiden University, NL Joerg Endrullis, Free University of Amsterdam, NL Remy Haemmerle, University Politecnica de Madrid, SP Bart Jacobs, Radboud University Nijmegen, NL  Dexter Kozen, Cornell University, US Bartek Klin, University of Warsaw, PL Pierre Lescanne, ENS Lyon, FR Stefan Milius, University of Erlangen-Nurenberg, DE Rob Myers, Technical University of Braunschweig, DE Dirk Pattinson, Australian National University, AU Daniela Petrisan, University of Leicester, UK Grigore Rosu, University of Illinois at Urbana-Champaign, US Katsuhiko Sano, JAIST, Nomi, JP Monika Seisenberger, Swansea University, UK Ana Sokolova, University of Salzburg, AT Publicity chair --------------- Alexandra Silva, Radboud University Nijmegen, NL PC chair -------- Marcello Bonsangue, Leiden University, NL Steering committee ------------------ Jiri Adamek, Technical University of Braunschweig, DE Marcello Bonsangue, Leiden University, NL Corina Cirstea, University of Southampton, UK H. Peter Gumm (chair), University of Marburg, DE Bart Jacobs, Radboud University Nijmegen, NL Alexander Kurz, University of Leicester, UK Marina Lenisa, University of Udine, IT Ugo Montanari, University of Pisa, IT Larry Moss, Indiana University, US Dirk Pattinson, Australian National University, AU John Power, University of Bath, UK Horst Reichel, Technical University of Dresden, DE Jan Rutten, CWI and Radboud University Nijmegen, NL Lutz Schroeder, University of Erlangen-Nurenberg, DE Submission guidelines --------------------- We solicit two types of contributions: regular papers and short contributions. Regular papers must be original, unpublished, and not submitted for publication elsewhere. They should not exceed 20 pages in length in Springer LNCS style. Short contributions may describe work in progress, or summarise work submitted to a conference or workshop elsewhere. They should be no more than two pages. Regular papers and short contributions should be submitted electronically as a PDF file via the Easychair system at http://www.easychair.org/conferences/?conf=cmcs2014. The proceedings of CMCS 2014 will include all accepted regular papers and will be published post-conference as a Springer volume in the IFIP-LNCS series. Accepted short contributions will be bundled in a technical report. . From pascal.hitzler at wright.edu Fri Oct 18 04:24:46 2013 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Thu, 17 Oct 2013 22:24:46 -0400 Subject: faculty position opening in "Big Data" at Wright State University Message-ID: <52609BEE.7070904@wright.edu> We are seeking a faculty member in Big Data. Appointment at any rank is possible (Assistant, Associate, or Full Professor). Particular areas of interest include, but are not limited to, data management and lifecycle, data analytics, data visualization, data fusion and integration, semantics and ontologies, social and sensor Web, biomedical and health informatics. Outstanding applicants with a high potential for collaborations with existing strengths of the department and the Kno.e.sis Center are particularly welcome to apply. Outstanding applicants specializing in other emerging research areas are also welcome to apply. For more information: http://cse.wright.edu/opportunity/assistant-associate-or-professor-big-data - or email me (I'm the search committee chair). Best Regards, Pascal. -- Prof. Dr. Pascal Hitzler Dept. of Computer Science, Wright State University, Dayton, OH pascal at pascal-hitzler.de http://www.pascal-hitzler.de Semantic Web Textbook: http://www.semantic-web-book.org Semantic Web Journal: http://www.semantic-web-journal.net From pmt6sbc at maths.leeds.ac.uk Mon Oct 21 05:26:27 2013 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Mon, 21 Oct 2013 04:26:27 +0100 (BST) Subject: TAMC2014 in Chennai, India, April 11-13, 2014 Message-ID: <201310210326.r9L3QRaD029219@maths.leeds.ac.uk> ********************************************************************** CALL FOR PAPERS: 11th Annual Conference on Theory and Applications of Models of Computation [TAMC 2014] 11- 13 April 2014 Vivekananda Auditorium, Anna University, Chennai, India http://www.annauniv.edu/tamc2014/ Important Dates: Submission Deadline: 15 November 2013, 11:59pm EST. Notification of Acceptance: 15 December 2013 Final Camera Ready Version Due: 15 January 2014 Proceedings: Springer Lecture Notes in Computer Science ********************************************************************** Scope and Topics TAMC 2014 aims at bringing together a wide range of researchers with interests in computational theory and applications. The main themes of the conference are computability, complexity, algorithms, models of computation and systems theory. Typical but not exclusive topics of interest include: algebraic computation algorithmic coding theory algorithmic number theory approximation algorithms automata theory circuit complexity combinatorial algorithms computability computational biology, and biological computing computational complexity [including circuits, communication, derandomization, PCPs, proof complexity, structural complexity] computational game theory computational logic computational geometry continuous and real computation cryptography data structures design and analysis of algorithms distributed algorithms domain models [Assets, Price of Abstraction, frameworks] fixed parameter tractability geometric algorithms graph algorithms information and communication complexity learning theory memory hierarchy tradeoffs model theory for computing [modal and temporal logics, specification, verification, synthesis or automated software construction, aesthetics, software behavior, transformation of models] natural computation nature inspired computing network algorithms networks in nature and society online algorithms optimization parallel algorithms philosophy of computing [emerging paradigms, morality, intentionality] privacy and security property testing proof complexity process models [for software construction, validating software under construction, supply - chain] quantum computing randomness, pseudo-randomness randomized algorithms space - time tradeoffs streaming algorithms systems theory [Concurrent, Timed, Hybrid and Secure systems] VLSI Models of Computation [Models for Hardware - Software Codesign] Paper Submission The format of the papers should confirm to the ACM Guidelines (option 2) available at: http://www.acm.org/sigs/publications/proceedings-templates For submitting your papers, please visit: http://senldogo0039.springer-sbm.com/ocs/home/TAMC2014 Steering Committee Manindra Agrawal (Indian Institute of Technology, Kanpur, India) Jin-Yi Cai (University of Wisconsin - Madison, USA) S. Barry Cooper (University of Leeds, Leeds, UK) John Hopcroft (Cornell University) Angsheng Li (Chinese Academy of Sciences) Zhiyong Liu (Institute of Computing Technology, Chinese Academy of Sciences) Programme Committee Aaron D. Jaggard,U.S. Naval Research Laboratory, USA Ajith Abraham, Machine Intelligence Research Labs (MIR Labs), USA Bakhadyr Khoussainov, University of Auckland, New Zealand Carlo Alberto Furia, ETH Zurich, Switzerland Chaitanya K Baru, University of California, San Diego, USA Christel Baier, Technische Universitat Dresden, Germany Cristian S. Calude, University of Auckland, New Zealand Dimitris Fotakis, National Technical University of Athens, Greece Dipti Deodhare, Centre for Artificial Intelligence and Robotics (CAIR),India Hongan Wang, State Key Laboratory for Computer Science (LCS), China Jacques Sakarovitch, Ecole nationale superieure des telecommunications, France & Chair: International Federation for Information Processing (IFIP) TC-1-Foundations of Computer Science Jianxin Wang, Central South University (CSU), China Jose R. Correa, Universidad de Chile, Chile Kamal Lodaya, Institute of Mathematical Sciences, India Kazuhisa Makino, University of Tokyo, Japan R Nadarajan, PSG College of Technology, India Y Narahari, Indian Institute of Science, India Naijun Zhan, State Key Laboratory for Computer Science (LCS), China Navin Goyal, Microsoft Research, India Pan Peng, Institute of Software, Chinese Academy of Sciences, China C Pandurangan, Indian Institute of Technology, Madras, India Rajagopal Srinivasan,Tata Consultancy Services,India Rajeeva Karandikar, Chennai Mathematical Institute, India Richard Banach, University of Manchester, UK R K Shyamasundar, Tata Institute of Fundamental Research (TIFR), India Somenath Biswas, Indian Institute of Technology, Kanpur, India Toshihiro Fujito,Toyohashi University of Technology, Japan Venkat Chakaravarthy, IBM Research, India Vincent Duffy, Purdue University, USA Wenhui Zhang, State Key Laboratory of Computer Science, China Xiaoming Sun, Institute of Computing Technology, China Academy of Sciences, China For any further Clarifications, please contact: Dr. T V Gopal Conference Chair - TAMC 2014 & Professor Department of Computer Science and Engineering College of Engineering Anna University Chennai - 600 025, INDIA E-mail: gopal at annauniv.edu ; gayamadhgop at hotmail.com Ph : (Off) 22351723 Extn. 3340 ; (Res) 24454753 http://www.csi-india.org/web/software/home ********************************************************************** From miguel.nicolau at ucd.ie Tue Oct 22 15:14:40 2013 From: miguel.nicolau at ucd.ie (Miguel Nicolau) Date: Tue, 22 Oct 2013 14:14:40 +0100 Subject: EuroGP 2014: Third CFP (DEADLINE 1st NOVEMBER 2013) Message-ID: (apologies for cross-posting) ***************************************************************************** EuroGP 2014, 17th European Conference on Genetic Programming 23-25 April 2014, Granada, Spain www.evostar.org THIRD CALL FOR PAPERS *** PLEASE NOTE CHANGE OF LOCATION *** ***************************************************************************** (CFP download: www.evostar.org/flyer/EuroGP2014Flyer.pdf) SUBMISSION DEADLINE: 1 November 2013 EuroGP is the premier annual conference on Genetic Programming, attracting participants from all over the world. High quality papers describing new original research are sought on topics strongly related to the evolution of computer programs, ranging from theoretical work to innovative applications. Topics include but are not limited to: * Innovative applications of GP * Theoretical developments * GP performance and behaviour * Fitness landscape analysis of GP * Algorithms, representations and operators * Real-world applications * Evolutionary design * Evolutionary robotics * Tree-based GP and Linear GP * Graph-based GP and Grammar-based GP * Evolvable hardware * Self-reproducing programs * Multi-population GP * Multi-objective GP * Fast/Parallel GP * Probabilistic GP * Evolution of automata or machine * Software Engineering and GP * Object-oriented GP * Hybrid architectures including GP * Coevolution in GP * Modularity in GP * Semantics in GP * Unconventional evolvable computation * Automatic software maintenance * Evolutionary inductive programming In 2013, the EuroGP acceptance rate was 49% (38% for oral presentations). Accepted papers will be included in the proceedings published by Springer Verlag in the Lecture Notes in Computer Science (LNCS) series. The papers which receive the best reviews will be nominated for the Best Paper Award. EuroGP 2014 will take place in Granada, Spain, and will be co-located within the EvoStar event with four related conferences: EvoBIO, EvoCOP, EvoMUSART, and EvoApplications. Submission Details Submissions must be original and not published elsewhere. They will be peer reviewed by at least three members of the program committee. The reviewing process will be double-blind, so please omit information about the authors in the submitted paper. Submit your manuscript in Springer LNCS format. Page limit: 12 pages. 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, attend the conference and present the work. Submission page: myreview.csregistry.org/eurogp14 Website: www.evostar.org/cfpEuroGP.html Facebook: fb.com/evostarconf Twitter: twitter.com/Evostar2014 LinkedIn: www.linkedin.com/groups/EVOstar-1908983 EuroGP programme chairs Miguel Nicolau, University College Dublin, Ireland Krzysztof Krawiec, Poznan University of Technology, Poland From a.artikis at gmail.com Thu Oct 24 09:43:19 2013 From: a.artikis at gmail.com (Alexander Artikis) Date: Thu, 24 Oct 2013 10:43:19 +0300 Subject: International Research-centered Summer School 2014 Message-ID: ========================================== CALL FOR PARTICIPATION The 2014 IRSS Summer School NCSR "Demokritos", Athens, Greece July 3-30, 2014, Athens, Greece Homepage: http://irss.iit.demokritos.gr/ ========================================== *************************************************************** Deadline for applications (for participation): January 31, 2014 *************************************************************** International Research-Centered Summer School in “Cognitive Systems and Interactive Robotics, Data and Content Analysis” 3-30 July 2014, at NCSR "Demokritos", Athens, Greece The Summer School is organized by the Software & Knowledge Engineering Lab (SKEL) at the Institute of Informatics & Telecommunications of NCSR "Demokritos" (http://www.iit.demokritos.gr/), and the Interactive Robots and Media Lab (http://www.irmllab.com). This is the fifth summer school in a sequence initiated by the Interactive Robots and Media Lab. For the second time in a row, it will take place in Greece at NCSR "Demokritos" (located in Athens, Greece) between July 3 and July 30, 2014. The Summer School has an innovative format: it is Research-Centered, with a strong focus on mini-projects of month-long duration, carried out by multiple teams of 3-4 students including a mix of academic levels (Postdoc, PhD, undergraduates). Selected seminars and lectures will also take place; but not exceeding two hours per day. The outcome of the summer school includes both numerous scientific publications, as well as longer-term collaborations. For example, the scientific output from the last summer schools has already led to a number of papers in leading conferences and journals with several more underway. This year’s topic and research project areas focus on the cognitive systems or the data analysis viewpoint, as pertaining to: - Human Robot Interaction - Dialogue Systems - Computer Vision - Information Visualisation - Data and content analytics - data mining - Social Media Analysis - Semantic technologies and the Web of data - User Modelling and Recommendation systems - Intelligent Agents and Multi-agent Systems - Bioinformatics and Medical Informatics - Autonomous Creative Systems - Event processing The projects on these research topics will be supported by a number of international and national research projects. They will be supervised by world leading researchers from several universities and research centers. Furthermore, NCSR has significant expertise in all these subject areas, and can support the projects with computational tools, robots, as well as with the appropriate personnel who will co-supervise these projects. In terms of computational resources, there is access to high-performance computation, as well as multiple workstations. There is also close contact with numerous world-class institutions and companies in the field, and numerous distinguished invited lecturers and supervisors will be joining us for the summer school. Furthermore, the school will not be all work and no fun! A few exciting cultural events and excursions are planned to take place during the weekends so that the participants can relax and visit some of the best tourist attractions in Greece. Applying for the Summer School ------------------------------------------ We are welcoming applications at multiple levels (final-year B.Sc, M.Sc., PhD, and postdoc levels). Necessary prerequisites include any one, and ideally a mixture of the skills below: - Programming in C++, Java or Matlab - Pattern Recognition, Data Mining, Machine Vision, or Natural Language Processing - Psychological/Interaction experimental design and data analysis - Information Visualization - Social Media Analysis - Sentiment analysis - Optimization But most importantly, the creative imagination and the strong motivation to produce innovative results in any of the main theme areas. Scholarships will be provided to selected participants. To apply, kindly send your CV, including emails of two referees, to irss at iit.demokritos.gr, by 31 January 2014. For more information visit the School’s webpage: http://irss.iit.demokritos.gr/ Looking forward to welcoming you in Athens! -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From evomusart at gmail.com Fri Oct 25 04:45:53 2013 From: evomusart at gmail.com (Juan Romero) Date: Fri, 25 Oct 2013 03:45:53 +0100 Subject: Call: Postdoc & MSc grants in Comp. Creativity (project ConCreTe) Message-ID: [apologies for cross posting, please distribute] We invite applications for a 3-year, full time post-doctoral research associateship, based in University of Coimbra, Portugal, focused on concept creation technology. The position forms part of an European Union Framework Programme 7 grant, collaborative with 5 other academic institutions. The project has a duration of 36 months. As a whole, the project, ConCreTe, will investigate computational models for the representation and production of previously unseen concepts, and apply them in context of various forms of creativity (e.g., design, narrative, poetry). It will also investigate evaluation methods for creative systems, including comparison with humans via neuroscientific approaches. The project revolves around the central framework of a simulated cognitive architecture, making explicit the relationship between creativity and consciousness, and forming an environment within which different kinds of concept generator can work in competitive parallel and be compared. University of Coimbra will maily contribute to the workpackages on Conceptual Representations (particularly by exploring representations based in Regulated Activation Networks), on Concept Creation (e.g., by exploring Conceptual Blending and Bio-inspired concept generation mechanisms), on the development of Applications of the framework (e.g., for Design and for Text Processing) and on the Evaluation of Creativity. The successful applicant will have a strong background in artificial intelligence, and will be a competent programmer. They will be willing to co-supervise PhD and MSc students working in themes of the project. They will be competent communicators, both formally and informally, and they will be prepared to collaborate with and travel to partner institutions for extended working periods (not normally longer than 2 weeks). We have one Post-doc and 2 MSc grants available within the 3-years FP7 project ConCreTe: Postdoc: http://www.eracareers.pt/opportunities/index.aspx?task=global&jobId=39612 (Deadline: 31-10-2013) MSc 1: http://www.eracareers.pt/opportunities/index.aspx?task=global&jobId=39611 (Deadline: 31-10-2013) MSc 2: http://www.eracareers.pt/opportunities/index.aspx?task=global&jobId=39569 (Deadline: 30-10-2013) More about ConCreTe: https://www.cisuc.uc.pt/projects/show/172 Applications should be sent to: machado(at)dei.uc.pt and amilcar(at)dei.uc.pt Best regards, Penousal machado From mcarro at fi.upm.es Sat Oct 26 09:22:02 2013 From: mcarro at fi.upm.es (Manuel Carro) Date: Sat, 26 Oct 2013 09:22:02 +0200 Subject: Faculty Positions at The IMDEA Software Institute In-Reply-To: (event@in.tu-clausthal.de's message of "Sat, 26 Oct 2013 01:40:42 +0200") References: Message-ID: <7sbo2cpkdh.fsf@fi.upm.es> The Madrid Institute for Advanced Studies in Software Development Technologies (The IMDEA Software Institute) invites applications for tenure-track (Research Assistant Professor) and tenured (Research Associate Professor and Research Professor) faculty positions. We are primarily interested in recruiting excellent candidates in the areas of * Software engineering * Systems * Cloud computing * Big data Exceptional candidates in other areas within the general research focus of the Institute will also be considered. The primary mission of The IMDEA Software Institute is to perform research of excellence at the highest international level in the area of software development technologies and, in particular, to develop tools and techniques which will allow the cost-effective development of sophisticated software products with high quality, i.e., which are safe, reliable, and efficient. Selection Process ***************** The main selection criteria will be the candidate's demonstrated ability and commitment to research, the match of interests with the institute's mission, and how the candidate complements areas of established strengths of the institute. All positions require an earned doctoral degree in Computer Science or a closely related area. Candidates for tenure-track positions will have shown exceptional promise in research and will have displayed an ability to work independently as well as collaboratively. Candidates for tenured positions must possess an outstanding research record, have recognized international stature, and demonstrated leadership abilities. Applications should be completed using the application form at https://careers.imdea.org/software/ For full consideration, complete applications must be received by January 15, 2014 although applications will continue to be accepted until the positions are filled. Salaries ******** Salaries at The IMDEA Software Institute are internationally competitive and are established on an individual basis within a range that guarantees fair and attractive conditions with adequate and equitable social security provision in accordance with existing national Spanish legislation. This includes access to an excellent public healthcare system. Work Environment **************** The working language at the institute is English. The institute is located in the vibrant area of Madrid, Spain. It offers an ideal working environment, open and collaborative, where researchers can focus on developing new ideas and projects. A generous startup package is offered. Researchers are also encouraged to participate in national and international research projects. The IMDEA Software Institute is an Equal Opportunity Employer and strongly encourages applications from a diverse and international community. The institute complies with the European Charter for Researchers. -- : Manuel Carro : manuel.carro at imdea.org : : Deputy director, IMDEA Software Institute : http://software.imdea.org : : Associate Professor, School of CS, UPM : http://www.fi.upm.es : : Madrid, Spain : +34-91-101-2202 ext 4140 : From sescobar at dsic.upv.es Sun Oct 27 21:19:20 2013 From: sescobar at dsic.upv.es (Santiago Escobar) Date: Sun, 27 Oct 2013 15:19:20 -0500 Subject: WRLA 2014 Call for papers References: <306A3E10-41F2-4494-9941-394C1898B772@dsic.upv.es> Message-ID: <24E42D58-605F-4353-B6B1-6B2B629C85BC@dsic.upv.es> 10th International Workshop on Rewriting Logic and its Applications WRLA 2014 Grenoble, France, April 5th and 6th, 2014 http://www.dsic.upv.es/workshops/wrla2014/ The workshop will be held in conjunction with ETAPS 2014 17th European Joint Conferences on Theory and Practice of Software April 5-13, 2014 http://www.etaps.org/2014 AIMS AND SCOPE Rewriting logic (RL) is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of systems and languages in various application fields. It also has good properties as a metalogical framework for representing logics. In recent years, several languages based on RL (ASF+SDF, CafeOBJ, ELAN, Maude) have been designed and implemented. The aim of the workshop is to bring together researchers with a common interest in RL and its applications, and to give them the opportunity to present their recent works, discuss future research directions, and exchange ideas. The topics of the workshop comprise, but are not limited to, - foundations and models of RL; - languages based on RL, including implementation issues; - RL as a logical framework; - RL as a semantic framework, including applications of RL to - object-oriented systems, - concurrent and/or parallel systems, - interactive, distributed, open ended and mobile systems, - specification of languages and systems; - use of RL to provide rigorous support for model-based software engineering; - formalisms related to RL, including - real-time and probabilistic extensions of RL, - rewriting approaches to behavioral specifications, - tile logic; - verification techniques for RL specifications, including - equational and coherence methods, - verification of properties expressed in first-order, higher-order, modal and temporal logics, - narrowing-based analysis and verification; - comparisons of RL with existing formalisms having analogous aims; - application of RL to specification and analysis of - distributed systems, - physical systems. IMPORTANT DATES Submission deadline December 30th 2013 Author notification February 2nd 2014 Version informal proceedings February 14th 2014 SUBMISSIONS The final program of the workshop will include regular papers, tool papers, and work-in-progress presentations. The program will also contain invited talks to be determined by the program committee. Papers must contain original contributions, be clearly written, include appropriate references, and comparison with related work. They must be unpublished and not submitted simultaneously for publication elsewhere. Tool papers present a new tool, a new tool component, or novel extensions to an existing tool. They should provide a short description of the theoretical foundations with relevant citations, emphasize the design and implementation, and give a clear account of the tool's functionality. The described tools must be publicly available via the web. All submissions should be formatted according to the guidelines for Springer LNCS papers, and should be submitted electronically using EasyChair. Regular papers and work-in-progress should not exceed 15 pages including references. Tool papers can have a maximum of 6 pages including references and may have an appendix of up to 4 additional pages with usage details and tool demonstration. PROCEEDINGS All submissions will be evaluated by the Program Committee. Regular papers, tool papers, and work-in-progress that are accepted will be presented at the workshop and included in the proceedings, which will be available during the workshop. Regular papers, tool papers, and invited presentations will also be published in a volume in Springer's Lecture Notes in Computer Science (LNCS) series to be distributed after the workshop. Depending on the number and the quality of the contributions, we will consider the preparation of a special issue in some scientific journal in the field with extended versions of a selection of the papers of the workshop. CONTACT INFORMATION For more information, please contact the organizers sescobar at dsic.upv.es or visit the workshop web page http://www.dsic.upv.es/workshops/wrla2014/ From evomusart at gmail.com Mon Oct 28 01:23:53 2013 From: evomusart at gmail.com (Juan Romero) Date: Mon, 28 Oct 2013 00:23:53 +0000 Subject: Evomusart 2014. Submission deadline extended to Nov 11 Message-ID: ---------------------------------------------------------------------------- Please distribute (Apologies for cross posting) ---------------------------------------------------------------------------- ---------------------------------------------------------------------------- NEWS: Submission deadline extended to Nov 11 ---------------------------------------------------------------------------- CALL FOR PAPERS evomusart 2014 http://www.evostar.org/cfpEvoMUSART.html 3rd International Conference on Evolutionary and Biologically Inspired Music, Sound, Art and Design April 2014, GRANADA, Spain Part of evo* 2014 evo*: http://www.evostar.org ---------------------------------------------------------------------------- New this year: Special track on Artificial Neural Networks applied to Music, Sound, Art and Design ---------------------------------------------------------------------------- LEONARDO Special Section ---------------------------------------------------------------------------- Authors of selected papers will be invited to submit expanded versions of their work for a planned special section on Evolutionary Art of the MIT Press journal "Leonardo". ---------------------------------------------------------------------------- ---------------------------------------------------------------------------- Following the success of previous events and the importance of the field of evolutionary and biologically inspired (artificial neural network, swarm, alife) music, sound, art and design, evomusart has become an evo* conference with independent proceedings since 2012. Thus, evomusart 2014 is the twelfth European Event and the third International Conference on Evolutionary and Biologically Inspired Music, Sound, Art and Design. The use of biologically inspired techniques for the development of artistic systems is a recent, exciting and significant area of research. There is a growing interest in the application of these techniques in fields such as: visual art and music generation, analysis, and interpretation; sound synthesis; architecture; video; poetry; design; and other creative tasks. The main goal of evomusart 2014 is to bring together researchers who are using biologically inspired computer techniques for artistic tasks, providing the opportunity to promote, present and discuss ongoing work in the area. The event will be held in April, 2014 in Granada, Andalusia, Spain, as part of the evo* event. ---------------------------------------------------------------------------- Publication Details ---------------------------------------------------------------------------- Submissions will be rigorously reviewed for scientific and artistic merit. Accepted papers will be presented orally or as posters at the event and included in the evomusart proceedings, published by Springer Verlag in a dedicated volume of the Lecture Notes in Computer Science series. The acceptance rate at evomusart 2013 was 30.5% for papers accepted for oral presentation, or 44.4% for oral and poster presentation combined. The evomusart 2013 submissions received on average 3.4 reviews each. New this year: submitters are strongly encouraged to provide in all papers a link for download of media demonstrating their results, whether music, images, video, or other media types. Links should be anonymised for double-blind review, e.g. using a URL shortening service. ---------------------------------------------------------------------------- Topics of interest ---------------------------------------------------------------------------- Submissions should concern the use of biologically inspired computer techniques -- e.g. Evolutionary Computation, Artificial Life, Artificial Neural Networks, Swarm Intelligence, other artificial intelligence techniques -- in the generation, analysis and interpretation of art, music, design, architecture and other artistic fields. Topics of interest include, but are not limited to: -- Generation - Biologically Inspired Design and Art -- Systems that create drawings, images, animations, sculptures, poetry, text, designs, webpages, buildings, etc.; - Biologically Inspired Sound and Music -- Systems that create musical pieces, sounds, instruments, voices, sound effects, sound analysis, etc.; - Robotic-Based Evolutionary Art and Music; - Other related artificial intelligence or generative techniques in the fields of Computer Music, Computer Art, etc.; -- Theory - Computational Aesthetics, Experimental Aesthetics; Emotional Response, Surprise, Novelty; - Representation techniques; - Surveys of the current state-of-the-art in the area; identification of weaknesses and strengths; comparative analysis and classification; - Validation methodologies; - Studies on the applicability of these techniques to related areas; - New models designed to promote the creative potential of biologically inspired computation; -- Computer Aided Creativity and computational creativity - Systems in which biologically inspired computation is used to promote the creativity of a human user; - New ways of integrating the user in the evolutionary cycle; - Analysis and evaluation of: the artistic potential of biologically inspired art and music; the artistic processes inherent to these approaches; the resulting artefacts; - Collaborative distributed artificial art environments; -- Automation - Techniques for automatic fitness assignment; - Systems in which an analysis or interpretation of the artworks is used in conjunction with biologically inspired techniques to produce novel objects; - Systems that resort to biologically inspired computation to perform the analysis of image, music, sound, sculpture, or some other types of artistic object. ---------------------------------------------------------------------------- Important Dates (to be confirmed) ---------------------------------------------------------------------------- Submission: November 11 2013 Notification to authors: December 2013 Camera-ready deadline: January 2014 Evo*: April 2014 ---------------------------------------------------------------------------- Additional information and submission details ---------------------------------------------------------------------------- Submit your manuscript, at most 12 A4 pages long, in Springer LNCS format (instructions downloadable from http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) no later than November 1, 2013 (date to be confirmed). Submission link: http://myreview.csregistry.org/evomusart14 page limit: 12 pages The reviewing process will be double-blind; please omit information about the authors in the submitted paper. ---------------------------------------------------------------------------- Programme committee ---------------------------------------------------------------------------- Adrian Carballal,University of A Coruna,Spain Alain Lioret,Paris 8 University,France Alan Dorin,Monash University,Australia Alejandro Pazos,University of A Coruna,Spain Alice Eldridge,Monash University,Australia Amilcar Cardoso,University of Coimbra,Portugal Amy K. Hoover,University of Central Florida,USA Andrew Brown,Griffith University,Australia Andrew Gildfind,Google, Inc.,Australia Andrew Horner,University of Science & Technology,Hong Kong Anna Ursyn,University of Northern Colorado,USA Antonino Santos,University of A Coruna,Spain Antonios Liapis,IT University of Copenhagen ,Denmark Arne Eigenfeldt,Simon Fraser University,Canada Artemis Sanchez Moroni,Renato Archer Research Center,Brazil Benjamin Schroeder,Ohio State University,USA Benjamin Smith,Indianapolis University, Purdue University,Indianapolis,USA Bill Manaris,College of Charleston,USA Brian Ross,Brock University,Canada Carlos Grilo,Instituto Politécnico de Leiria,Portugal Christian Jacob,University of Calgary,Canada Colin Johnson,University of Kent,UK Dan Ashlock,University of Guelph,Canada Dan Costelloe,Independent Researcher (Solace One Ltd),Ireland Dan Ventura,Brigham Young University,USA Daniel Bisig,University of Zurich,Switzerland Daniel Jones,Goldsmiths College, University of London,UK Daniel Silva,University of Coimbra,Portugal Douglas Repetto,Columbia University,USA Eduardo Miranda,University of Plymouth,UK Eelco den Heijer,Vrije Universiteit Amsterdam,Netherlands Eleonora Bilotta ,University of Calabria,Italy Francois Pachet,Sony CSL Paris,France Gary Greenfield,University of Richmond,USA Gary Nelson,Oerlin College,USA Hans Dehlinger,Independent Artist,Germany Hernán Kerlleñevich,National University of Quilmes,Argentina J. E. Rowe,University of Birmingham,UK Jane Prophet,Independent Artist,UK Jate Reed,Imperial College,UK John Collomosse,University of Surrey,UK Jon McCormack,Monash University,Australia Jonathan Byrne,University College Dublin,Ireland Jonathan Eisenmann,Ohio State University,USA José Fornari,NICS/Unicamp,Brazil Kate Reed,Imperial College,UK Marcelo Freitas Caetano,IRCAM,France Marcos Nadal,University of Illes Balears,Spain Matthew Lewis,Ohio State University,USA Mauro Annunziato,Plancton Art Studio,Italy Maximos Kaliakatsos-Papakostas,University of Patras,Greece Michael O’Neill,University College Dublin,Ireland Nicolas Monmarché,University of Tours,France Pablo Gervás,Universidad Complutense de Madrid,Spain Palle Dahlstedt,Göteborg University,Sweden Patrick Janssen,National University of Singapure,Singapure Paulo Urbano,Universidade de Lisboa,Portugal Pedro Abreu,University of Coimbra,Portugal Pedro Cruz,University of Coimbra,Portugal Penousal Machado,University of Coimbra,Portugal Peter Bentley,University College London ,UK Peter Cariani,University of Binghamton,USA Philip Galanter,Texas A&M College of Architecture,USA Philippe Pasquier,Simon Fraser University,Canada Rafael Ramirez,Pompeu Fabra University,Spain Roger Malina,International Society for the Arts, Sciences and Technology,USA Roisin Loughran,University of Limerick,Ireland Ruli Manurung,University of Indonesia,Indonesia Scott Draves,Independent Artist,USA Somnuk Phon-Amnuaisuk,Brunei Institute of Technology,Malaysia Stephen Todd,IBM,UK Takashi Ikegami,Tokyo Institute of Technology,Japan Tim Blackwell,Goldsmiths College, University of London,UK Troy Innocent,Monash University,Australia Usman Haque,Haque Design + Research Ltd,UK/Pakistan Vic Ciesielski,RMIT,Australia Yang Li,University of Science and Technology Beijing,China ---------------------------------------------------------------------------- Conference chairs ---------------------------------------------------------------------------- Juan Romero University of A Coruna, Spain jj(at)udc.es James McDermott University College Dublin, Ireland jmmcd(at)jmmcd.net Publication chair Joao Correia, University of Coimbra jncor(at)dei.uc.pt From geoff at cs.miami.edu Mon Oct 28 17:43:24 2013 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Mon, 28 Oct 2013 12:43:24 -0400 (EDT) Subject: IJCAR 2014 Call for Papers Message-ID: <20131028164324.A5CCC1215D0@mcclellan.cs.miami.edu> [Apologies for multiple copies of this announcement] IJCAR 2014 - The 7th International Joint Conference on Automated Reasoning Vienna, Austria, July 19-22, 2014 http://cs.nyu.edu/ijcar2014/ as part of FLoC 2014 - Federated Logic Conference http://www.floc-conference.org/ as part of VSL 2014 - Vienna Summer of Logic http://vsl2014.at/ Call for Papers --------------- IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions, and invited talks. IJCAR 2014 is a merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Workshop on Frontiers of Combining Systems) and TABLEAUX (Conference on Analytic Tableaux and Related Methods) IJCAR 2014 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited. IJCAR topics include the following ones: - Logics of interest include: propositional, first-order, classical, equational, higher-order, non-classical, constructive, modal, temporal, many-valued, substructural, description, type theory, etc. - Methods of interest include: tableaux, sequent calculi, resolution, model-elimination, inverse method, paramodulation, term rewriting, induction, unification, constraint solving, decision procedures, model generation, model checking, semantic guidance, interactive theorem proving, logical frameworks, AI-related methods for deductive systems, proof presentation, automated theorem provers, etc. - Applications of interest include: verification, formal methods, program analysis and synthesis, computer mathematics, declarative programming, deductive databases, knowledge representation, etc. The proceedings of IJCAR 2014 will be published by Springer-Verlag in the LNAI/LNCS series. Submission details: Submission is electronic, through https://www.easychair.org/conferences/?conf=ijcar14 Authors are strongly encouraged to use LaTeX and the Springer "llncs" format, which can be obtained from http://www.springer.de/comp/lncs/authors.html The page limit is 15 pages for full papers, and 7 pages for system descriptions. Program co-chairs: Stéphane Demri (New York University & CNRS) Deepak Kapur (University of New Mexico, USA) Christoph Weidenbach (MPI-INF Saarbrücken, Germany) Conference co-chairs: Christian Fermueller (TU Vienna, Austria) Stefan Hetzl (TU Vienna, Austria) Publicity chair: Morgan Deters (New York University) Workshop chair: Matthias Horbach (MPI-INF Saarbrücken, Germany) Important dates: Abstract submission deadline: January 15, 2014 Paper submission deadline: January 22, 2014 Notification of paper decisions: March 31, 2014 Final version of papers due: April 19, 2014 Conference dates: July 19-22, 2014 Student travel awards: Travel awards will be available to enable selected students to attend the conference. Details will be published in March 2014. IJCAR 2014 invited speakers: To be announced Program Committee: Franz Baader (TU Dresden, Germany) Peter Baumgartner (NICTA Canberra, Australia) Bernhard Beckert (Karlsruhe Institute of Technology, Germany) Jasmin Blanchette (Technische Universität München, Germany) Bernard Boigelot (University of Liege, Belgium) Maria Paola Bonacina (Università degli Studi di Verona, Italy) Agata Ciabattoni (TU Vienna, Austria) Koen Claessen (Chalmers University of Technology, Gothenburg, Sweden) Leonardo de Moura (Microsoft Research) Stéphanie Delaune (LSV, CNRS, Cachan, France) Stéphane Demri (New York University & CNRS) Stephan Falke (Karlsruhe Institute of Technology, Germany) Christian Fermueller (TU Vienna, Austria) Pascal Fontaine (LORIA, University of Nancy, France) Silvio Ghilardi (University of Milano, Italy) Juergen Giesl (RWTH Aachen University, Germany) Valentin Goranko (TU Denmark, Copenhagen) Radu Iosif (VERIMAG, Grenoble, France) Deepak Kapur (University of New Mexico, USA) Boris Konev (University of Liverpool, UK) Konstantin Korovin (The University of Manchester, UK) Daniel Kroening (Oxford University, UK) Viktor Kuncak (EPFL Lausanne, Switzerland) Martin Lange (University of Kassel, Germany) Stephan Merz (LORIA, INRIA Lorraine, France) Aart Middeldorp (University of Innsbruck, Austria) Enric Rodríguez-Carbonell (TU Catalonia, Spain) Renate Schmidt (The University of Manchester, UK) Carsten Schürmann (IT University of Copenhagen, Denmark) Roberto Sebastiani (University of Trento, Italy) Viorica Sofronie-Stokkermans (University Koblenz-Landau, Germany) Geoff Sutcliffe (University of Miami, USA) Cesare Tinelli (The University of Iowa, USA) Uwe Waldmann (MPI-INF, Saarbrücken, Germany) Christoph Weidenbach (MPI-INF, Saarbrücken, Germany) Jian Zhang (Chinese Academy of Sciences, P.R. China) From Wiebe.Van-Der-Hoek at liverpool.ac.uk Tue Oct 29 00:05:04 2013 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van der Hoek, Wiebe) Date: Mon, 28 Oct 2013 23:05:04 +0000 Subject: LOFT2014 call for papers Message-ID: *************************************************************************** LOFT11 2014: Call for Papers Eleventh Conference on Logic and the Foundations of Game and Decision Theory University of Bergen, Norway, July 27-30, 2014 http://folk.uib.no/nmita/LOFT11 AIMS OF THE CONFERENCE This is the eleventh in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences. The previous ten conferences took place in Marseille (France), January 1994, Torino (Italy), December 1996, December 1998, July 2000 and July 2002, Leipzig (Germany), July 2004, Liverpool (UK), July 2006, Amsterdam (The Netherlands), July 2008, Toulouse (France), July 2010, and Sevilla (Spain), 2014 Among the topics of particular relevance are: (*) Modal logics for games and protocols: epistemic and deontic logic, multi-agent logic, temporal logic, dynamic logic, probabilistic and multivalued logic, logic of belief revision. (*) Foundations of game and decision theory: epistemic foundations of solution concepts, information processing and communication in games, belief formation and revision in games. (*) Learning and information-processing models: economic aspects of information processing, learning in game-theoretic contexts, inductive learning and inductive decision making. (*) Bounded rationality approaches to game and decision theory. SUBMISSION INFORMATION: The three-day conference will give opportunity for paper presentations and discussions. Potential contributors should submit an extended abstract of approximately 5 - 10 pages in PDF format through https://www.easychair.org/conferences/?conf=loft11 The deadline for submission is March 1, 2014, and authors will be notified of acceptance decisions by April 9, 2014. PROGRAM CHAIRS: Thomas Ågotnes, University of Bergen, Norway Giacomo Bonanno, University of California Davis, U.S.A. Wiebe van der Hoek, University of Liverpool, United Kingdom PROGRAM COMMITTEE: Jan Broersen Cédric Dégremont Edith Elkind Spyros Galanis Olivier Gossner Paul Harrenstein Andreas Herzig Willemien Kets Piotr Krysta Jérôme Lang Emiliano Lorini Larry Moss Eric Pacuit Paul Pedersen Antonio Penta Andres Perea Martin Peterson Daniele Porello Bryan Renne Olivier Roy Burkhard Schipper Marija Slavkovik Paul Spirakis Wolfgang Spohn Elias Tsakas Hans van Ditmarsch Michael Wooldridge PUBLICATION OF CONTRIBUTED PAPERS: A selection of papers presented at LOFT11 will be published in special issues of two journals: Synthese and the Journal of Logic and Computation. For a list of publications based on previous LOFT conferences see http://www.econ.ucdavis.edu/faculty/bonanno/loft.html IMPORTANT DATES: Deadline for submission: 1 March, 2014 Notification to authors: 9 April, 2014 Conference: 27-30 July 2014 ************************************************************************ ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Department of Computer Science University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44 151) 7954292, (+44) 7970247480 fax (+44 151) 79 54235 Liverpool L69 3BX, United Kingdom Wiebe.Van-Der-Hoek at liverpool.ac.uk From aamas14publicity at gmail.com Tue Oct 29 00:56:11 2013 From: aamas14publicity at gmail.com (Matthew Taylor) Date: Mon, 28 Oct 2013 16:56:11 -0700 Subject: [AAMAS-14] Call for Demonstrations Message-ID: *Call for Demonstrations* ------------------------------ Demos track Website: http://www.ntu.edu.sg/home/boan/aamas2014Demo/ The goal of the AAMAS DEMOs track is to provide opportunities for participants from academia and/or industry to present their latest developments in agent-based software and/or robotic systems. Interactive systems and novel applications are particularly welcome. Student researchers are encouraged to submit. A "Best Demo" will be selected and awarded by the committee. At least one author of accepted demos will be expected to present a poster and live demonstration at the conference in Paris. Authors of accepted papers and posters in the main track of the AAMAS conference, as well as workshop presenters, are particularly encouraged to submit! (You'll be there anyway - this is another opportunity to share your work and discuss your results in detail with conference attendees who visit your Demo!) Examples of demos include but are not limited to: · Robotic systems (single- and multi-agent) · Interactive agent-based software systems · Agent-based simulation environments · Personal robotics · Innovative applications of agent-based systems or prototypes (e.g., industrial, military, educational) · Agent-based games · Agent platforms and development environments · Open-source software tools for agent-based system development · Human-robot interactive systems · Virtual agents and interactive virtual environments The organizers will make every effort to facilitate demo requirements. If you have unusual requirements please contact the organizers in advance. At a minimum, we will provide a poster board, a monitor with a standard VGA connector, a power strip and a 2m table for each demonstration. ------------------------------ *Submission Requirements* ------------------------------ Submissions accepted for the demonstration session will be advertised on the AAMAS website and in the conference booklet, which will contain abstracts of all available Demos. Each Demo submission must consist of the following: 1. Paper: A 2-page paper in which the authors describe the system to be demonstrated. The paper should describe the application domain, the problem scenario, the technology used, the agent/multi-agent techniques involved, the innovations of the system, its live and interactive aspects, etc. Papers MUST BE PREPARED IN PDF format using the AAMAS style (follow these instructions)). 2. Video or PPT: The paper must contain a URL linking to a demonstration video no more than 5 minutes in length (QuickTime or YouTube format) or a Powerpoint presentation showing and explaining what happens. If some other format can more clearly show the demo, accommodation may be made. Please contact the organizers in advance. 3. Contribution and Supervisor Endorsement (Student Projects Only): A brief note from the student's supervisor describing the student's individual contribution to the project, written on university letterhead and including the supervisor's full name, title and email address. This should be attached as the 3rd page of the PDF Paper submission (above). Accepted Demos will have the 2-page papers included in the AAMAS proceedings. The submission web site: https://www.easychair.org/conferences/?conf=aamas2014demo ------------------------------ *Selection Process* ------------------------------ The submission and selection processes for the AAMAS 2014 Demos will be separate from that of the main conference. Each submission will be assessed by the Demos Committee. The authors will receive a brief report with the result of the evaluation with the notification. The main evaluation criteria are: · Presentation and technical quality · Significance and originality · Relevance to AAMAS · Maturity of the (deployed) system and readiness for demonstration · Potential for public interaction Notification of acceptance or rejection of submitted demos will be sent to the corresponding author (see dates below). At least one author of each accepted demonstration is required to register and to attend the conference to give the demonstration. ------------------------------ *Important Dates* ------------------------------ Submission deadline: *January 10, 2014* Notification of acceptance/rejection: February 14, 2014 Camera-ready paper: February 25, 2014 ------------------------------ *Contact Information* ------------------------------ For more information, please contact the Demos Chairs: Dr. Bo An Nanyang Technological University boan at ntu.edu.sg or Dr. Juan A. Rodriguez-Aguillar IIIA-CSIC jar at iiia.csic.es -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fink at kr.tuwien.ac.at Wed Oct 30 19:46:25 2013 From: fink at kr.tuwien.ac.at (fink at kr.tuwien.ac.at) Date: Wed, 30 Oct 2013 19:46:25 +0100 Subject: 2nd Call for Papers KR 2014: 14th International Conference on Principles of Knowledge Representation and Reasoning Message-ID: <201310301846.r9UIkPw5032683@hummel.kr.tuwien.ac.at> SECOND CALL FOR PAPERS *** KR 2014 *** 14th International Conference on Principles of Knowledge Representation and Reasoning Vienna, Austria July 20-24, 2014 http://kr.org/KR2014/ Co-located with DL 2014 [http://www.dbai.tuwien.ac.at/dl2014/], NMR 2014 [http://www.kr.tuwien.ac.at/nmr14], FLoC 2014 (CAV, CSF, ICLP, IJCAR, ITP, LICS, RTA, SAT), and Logic Colloquium 2014. KR 2014 is part of Vienna Summer of Logic [http://vsl2014.at/] *** See submission information at the bottom of this message *** KR 2014 IMPORTANT DATES ----------------------- * Submission of title and abstract: November 28, 2013 * Paper submission deadline: December 5, 2013 * Author response period: January 11-12, 2014 * Notification of acceptance: January 27, 2014 * Camera-ready papers due: March 4, 2014 * Conference date: July 20-24, 2014 The reference time for all deadlines is 23:59 UTC-12. If you are "on time" anywhere in the world, you are "on time". KEYNOTE LECTURES: ----------------- - Franz Baader, TU Dresden, Germany - Georg Gottlob, University of Oxford, UK - Sheila McIlraith, University of Toronto, Canada - Anthony Cohn, University of Leeds, UK Knowledge Representation and Reasoning (KR&R) is a well-established and vibrant field of research. KR&R techniques are key drivers of innovation in computer science, and they have led to significant advances in practical applications in a wide range of areas from Artificial Intelligence to Software Engineering. The underlying approach of explicitly representing knowledge in a tangible form, suitable for processing by dedicated reasoning engines, is a fundamental component of many modern intelligent systems. Foundational and applied research in KR&R contributes to the principles of artificial intelligence. It also contributes to the foundations of longstanding fields including automated planning, databases, and software engineering. In recent years KR&R has also derived challenges from new and emerging fields including the semantic web, computational biology, and the development of software agents. The KR conference series is a leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. The 2014 edition will be held as part of the Vienna Summer of Logic together with the Federated Conference on Logic, Logic Colloquium and other related events. The Vienna Summer of Logic is expected to be the largest convention in the history of logic. We solicit papers presenting novel results on the principles of KR&R that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We also encourage "reports from the field" of applications experiments, developments, and tests. Such papers should be explicitly identified as reports from the field by the authors, to ensure appropriate reviewing, and must include a section on evaluation. The best paper of the conference will receive the 2014 Ray Reiter Best Paper Prize, and the best student paper, whose main author is a student, will receive the 2014 Marco Cadoli Student Paper Prize. In addition, a few selected papers from KR 2014 will have the opportunity of fast-track publication in the AI Journal. TOPICS ------ Topics of interest include, but are not limited to: * Applications of KR * Argumentation * Belief revision and update, belief merging, information fusion * Computational aspects of knowledge representation * Concept formation, similarity-based reasoning * Contextual reasoning * Description logics * Explanation finding, diagnosis, causal reasoning, abduction * Inconsistency- and exception tolerant reasoning, paraconsistent logics * KR and autonomous agents, multi-agent systems, logical models of agency * KR and data management, ontology-based data access, queries and updates over incomplete data * KR and decision making, decision theory, game theory and economic models * KR and machine learning, inductive logic programming, knowledge discovery and acquisition * KR and robotics, cognitive robotics * KR and the Web, Semantic Web, formal approaches to knowledge bases * KR in games, general game playing, reasoning in video games and virtual environments, believable agents * KR in natural language understanding and question answering * KR in image and video understanding * Logical approaches to planning and behavior synthesis * Logic programming, answer set programming, constraint logic programming * Nonmonotonic logics, default logics, conditional logics * Reasoning about norms and organizations, social knowledge and behavior * Philosophical foundations of KR * Ontology languages and modeling * Preference modeling and representation, reasoning about preferences, preference-based reasoning * Qualitative reasoning, reasoning about physical systems * Reasoning about actions and change, action languages, situation calculus, dynamic logic * Reasoning about knowledge and belief, epistemic and doxastic logics * Spatial reasoning and temporal reasoning * Uncertainty, representations of vagueness, many-valued and fuzzy logics, relational probability models SUBMISSION INFORMATION ---------------------- Papers must be submitted in AAAI style and PDF format. The maximum length of a submission is 9 pages including abstract, figures, and appendices (if any) but excluding references. Reviewing will be non-blind. AAAI author instructions: http://www.aaai.org/Publications/Author/author.php AAAI author kit: http://www.aaai.org/Publications/Templates/AuthorKit.zip Papers must be submitted via EASYCHAIR using the following URL: http://www.easychair.org/conferences/?conf=kr2014 The conference proceedings will be published by AAAI Press. For complete details, see the conference website: http://kr.org/KR2014/ [kr.org] CONFERENCE CHAIRS ----------------- General Chair: Thomas Eiter (TU Vienna, Austria) Program Chairs: Chitta Baral (Arizona State U, USA), Giuseppe De Giacomo (U "La Sapienza", Italy) Local Organization: Michael Fink, Stefan Woltran (TU Vienna, Austria) Doctoral Consortium: Birte Glimm (U Ulm, Germany), Adrian Pearce (U Melbourne, Australia) Sponsorship: Marco Maratea (U Genova, Italy)