From vmueller at act.edu Sat Jun 1 11:37:38 2013 From: vmueller at act.edu (=?windows-1252?Q?Vincent_C=2E_M=FCller?=) Date: Sat, 1 Jun 2013 12:37:38 +0300 Subject: =?windows-1252?Q?CFP=3A_PT-AI_2013_-_=93Philosophy_and_Theory_of?= =?windows-1252?Q?_Artificial_Intelligence=94=2C_Oxford=2C_21-22?= =?windows-1252?Q?=2E09=2E2013?= Message-ID: - - - please circulate - - - ANNOUNCEMENT & CALL FOR PAPERS Conference PT-AI 2013 - “Philosophy and Theory of Artificial Intelligence” 21-22.09.2013 Oxford, St. Antony's College http://www.pt-ai.org/2013/ INVITED SPEAKERS Jean-Christophe Baillie (Aldebaran Robotics, Paris) Theodore Berger (University of Southern California, L.A.) Selmer Bringsjord (Rensselaer Polytechnic Institute, Troy, NY) Daniel C. Dennett (Tufts University, Boston) Luciano Floridi (University of Hertfordshire & Oxford) Stuart J Russell (UC Berkeley) Murray Shanahan (Imperial College, London) Michael Wheeler (University of Stirling, Scotland) ========================================= ABSTRACTS We request anonymous abstracts of 600-1000 words (plus references) in plain text or PDF, plus a short abstract of up to 120 words. Accepted papers will be presented at the conference and published in the proceedings. (We plan to provide a copy of the proceedings to the corresponding author.) We foresee slots of at least 30 minutes per talk, including discussion. All submissions will be reviewed double-blind by at least two members of the programme committee. Submission online at EasyChair: https://www.easychair.org/conferences/?conf=ptai13 ========================================= DATES Deadline for submission of abstracts: 21.06.2013 Decisions announced: 12.7.2013 Conference: 21-22.09.13 Deadline for submission of full papers: 30.11.13 ========================================= THEMES Participants from all disciplines that are relevant for fundamental issues of present and future AI, especially cognitive science, computer science, neuroscience and philosophy. A broad framework is set by questions like: What are the necessary conditions for artificial intelligence (if any); what are sufficient ones? What do these questions relate to the conditions for intelligence in humans and other natural agents? What are the ethical and societal problems that artificial intelligence raises, or will raise? Some of the key issues will be: • AI and cognitive science • consciousness • dynamical systems • embedded, situated, distributed cognition, extended mind • embodiment, enaction, morphology • ethics of AI and robotics • brain emulation and simulation • goals, emotions, values, free will • hybrid systems, cyborgs • information • intelligence and intelligence testing • intentionality • interactive systems • learning and evolution • multi-agent systems • notions and forms of computing for AI • perception • probabilistic systems • reasoning • social impact of present and future AI • super-intelligence • ... ========================================= PUBLICATION Details on the publication for 2013 are not yet finalized. The papers from the 2011 event were published in a special volume of 'Minds and Machines' (22/2, with papers by Bostrom, Dreyfus, Gomila, O'Regan, Shagrir) and in an edited volume of the SAPERE series with Springer. http://www.springerlink.com/content/0924-6495/22/2/ http://www.springer.com/engineering/robotics/book/978-3-642-31673-9 ========================================= REGISTRATION Online registration will open early June. Participation fee will be £110, reduced £55. Accommodation at St. Antony's is available. Thank you for your time, Vincent C. Müller Chair, PT-AI 2013 +------------------------------- Vincent C. Müller Professor of Philosophy Anatolia College/ACT Thessaloniki James Martin Research Fellow http://www.fhi.ox.ac.uk Faculty of Philosophy University of Oxford http://www.sophia.de -- -- Each email sent from Anatolia mail, including attachments, copies and any forwarding, may be confidential and subject to legal privilege. It is intended for the addressee(s) only. Any opinions expressed in this email (including attachments) are those of the author and do not necessarily reflect the opinions of Anatolia College. Anatolia College will not accept responsibility for any commitments made by its employees outside the scope of its business. Anatolia College does not warrant the accuracy or completeness of such information. Whilst every effort has been taken to ensure protection against virus infection, Anatolia College does not guarantee that any email or any attachments are free from computer viruses or other conditions which may damage or interfere with recipient data, hardware or software. The recipient relies on its own procedures and assumes all risk of use and of opening any attachments. -- -- Each email sent from Anatolia mail, including attachments, copies and any forwarding, may be confidential and subject to legal privilege. It is intended for the addressee(s) only. Any opinions expressed in this email (including attachments) are those of the author and do not necessarily reflect the opinions of Anatolia College. Anatolia College will not accept responsibility for any commitments made by its employees outside the scope of its business. Anatolia College does not warrant the accuracy or completeness of such information. Whilst every effort has been taken to ensure protection against virus infection, Anatolia College does not guarantee that any email or any attachments are free from computer viruses or other conditions which may damage or interfere with recipient data, hardware or software. The recipient relies on its own procedures and assumes all risk of use and of opening any attachments. From leon.vandertorre at uni.lu Mon Jun 3 06:43:33 2013 From: leon.vandertorre at uni.lu (Leon Van Der Torre) Date: Sun, 2 Jun 2013 21:43:33 -0700 Subject: Final CFP: Norms and Normative Multi-Agent Systems@CLIMA XIV Message-ID: <51AC1EF5.306@uni.lu> Final Call for Papers Special Session on Norms and Normative Multi-Agent Systems CLIMA XIV - 14th International Workshop on Computational Logic in Multi-Agent Systems http://centria.di.fct.unl.pt/events/climaXIV/ Corunna, Spain, September 16-17, 2013. Co-located with LPNMR'13. Submission deadline: June 10th (abstracts June 6th). Proceedings: LNCS/LNAI volume (available at the workshop). JLC Special Issue: Selected extended papers will be published in a Special Issue of the Journal of Logic and Computation. ++++++++++++++++++++++++++++++++++++++++++++++++++++ Norms are pervasive in everyday life and influence the conduct of the entities subject to them. One of the main functions of norms is to regulate the behaviour and relationships of agents. Norms have been proposed in multi-agent systems and computer science to deal with coordination issues, to deal with security issues of multi-agent systems, to model legal issues in electronic institutions and electronic commerce, to model multi-agent organizations, etc. We invite submissions related to (but not limited to) one or more of the following topics on agents and norms: * logical foundations of normative systems * computational models of normative systems * computational models of normative multi-agent systems * formal models of norm dynamics * deontic logic * agent autonomy and norms * agent deliberation and norms * normative agent types * programming normative multi-agent systems Following the previous thirteen, very successful, editions, the 14th CLIMA will take place in Corunna, Spain, on the 16th and 17th of September 2013. It will be co-located with LPNMR'13. In addition to CLIMA's regular topics and the session on Norms and Normative Multi-Agent Systems, this edition will feature a special session on Argumentation Technologies. We welcome and encourage the submission of high quality, original papers, which have not been accepted for publication nor are currently under review for another journal or conference. LNCS Proceedings: CLIMA's Proceedings will be published by Springer as a volume in the Lecture Notes in Computer Science, and will be available in time for the workshop. JLC Special Issue: After the workshop, authors of selected papers will be invited to extend and re-submit their work to be considered for inclusion in a CLIMA Special Issue of the Journal of Logic and Computation. Detailed information regarding CLIMA, its topics of interest, the two Special Sessions, formatting and submission instructions is available at http://centria.di.fct.unl.pt/events/climaXIV/ Important dates: * Submission: June 6th (Abstracts) / June 10th (Papers) (Strict) * Notification: June 24th * Camera Ready: July 4th Norms and Normative Multi-Agent Systems Special Session Organiser: * Leon van der Torre, Univ. of Luxembourg, Luxembourg Argumentation Technologies Special Session Organisers: * Paolo Torroni, University of Bologna, Italy * Stefan Woltran, Vienna University of Technology, Austria CLIMA XIV Chairs: * João Leite, New University of Lisbon, Portugal * Tran Cao Son, New Mexico State University, NM, USA Please send all enquiries about CLIMA XIV toclimaxiv2013 at easychair.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From serge.autexier at dfki.de Mon Jun 3 09:36:22 2013 From: serge.autexier at dfki.de (Serge Autexier) Date: Mon, 3 Jun 2013 09:36:22 +0200 (CEST) Subject: CICM 2013: Final Call for Work in Progress Papers, Deadline June 7th, 2013 Message-ID: <20130603073622.3CABA17D48A1@mbp-autexier.informatik.uni-bremen.de> CICM 2013 - Conferences on Intelligent Computer Mathematics July 8-12, 2013 at University of Bath, Bath, UK http://www.cicm-conference.org/2013/cicm.php Final Call for Work-in-Progress Papers ---------------------------------------------------------------------- * Final call for Work-In-Progress Papers on any CICM topic * Submissions 5-10 pages, for poster/talk presentations * Deadline 7th June, notification 20th June * Invited Talks by Patrick Ion (Mathematical Reviews, American Mathematical Society, USA) Assia Mahboubi (École Polytechnique and INRIA/Microsoft Research Joint Centre, France) Ursula Martin (Queen Mary, University of London, UK) * Accepted regular papers are online on the website * Co-Located Workshops: - MathUI'13: Mathematical User Interfaces - OpenMath Workshop 2013 - PLMMS'13: Programming Languages for Mechanized Mathematics Systems - THedu'13: TP Components for Educational Software ---------------------------------------------------------------------- As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction, mathematical publishing and novel user interfaces individually have long and successful histories, we are now seeing increasing opportunities for synergy among these areas. The Conferences on Intelligent Computer Mathematics offers a venue for discussing these areas and their synergy. The conference will take place at the University of Bath (www.bath.ac.uk), with James Davenport as the local organiser. It consists of four tracks: Calculemus Chair: Wolfgang Windsteiger Digital Mathematical Libraries (DML) Chair: Petr Sojka Mathematical Knowledge Management (MKM) Chair: David Aspinall Systems and Projects Chair: Christoph Lange As in previous years, there will be a Doctoral Programme for presentations by Doctoral students. The overall programme is organised by the General Program Chair Jacques Carette. ---------------------------------------------------------------------- Important dates ---------------------------------------------------------------------- WiP paper submission deadline : 7 June 2013 WiP paper Notification of acceptance : 20 June 2013 WiP Camera ready copies due : 5 July 2013 Conference : 8-12 July 2013 ---------------------------------------------------------------------- Tracks ---------------------------------------------------------------------- ========== Calculemus ========== Calculemus 2013 invites the submission of original research contributions to be considered for publication and presentation at the conference. Calculemus is a series of conferences dedicated to the integration of computer algebra systems (CAS) and systems for mechanised reasoning like interactive proof assistants (PA) or automated theorem provers (ATP). Currently, symbolic computation is divided into several (more or less) independent branches: traditional ones (e.g., computer algebra and mechanised reasoning) as well as newly emerging ones (on user interfaces, knowledge management, theory exploration, etc.) The main concern of the Calculemus community is to bring these developments together in order to facilitate the theory, design, and implementation of integrated mathematical assistant systems that will be used routinely by mathematicians, computer scientists and all others who need computer-supported mathematics in their every day business. All topics in the intersection of computer algebra systems and automated reasoning systems are of interest for Calculemus. These include but are not limited to: * Automated theorem proving in computer algebra systems. * Computer algebra in theorem proving systems. * Adding reasoning capabilities to computer algebra systems. * Adding computational capabilities to theorem proving systems. * Theory, design and implementation of interdisciplinary systems for computer mathematics. * Case studies and applications that involve a mix of computation and reasoning. * Case studies in formalization of mathematical theories. * Representation of mathematics in computer algebra systems. * Theory exploration techniques. * Combining methods of symbolic computation and formal deduction. * Input languages, programming languages, types and constraint languages, and modeling languages for mathematical assistant systems. * Homotopy type theory. * Infrastructure for mathematical services. === DML === Mathematicians dream of a digital archive containing all peer-reviewed mathematical literature ever published, properly linked, validated and verified. It is estimated that the entire corpus of mathematical knowledge published over the centuries does not exceed 100,000,000 pages, an amount easily manageable by current information technologies. Track objective is to provide a forum for development of math-aware technologies, standards, algorithms and formats towards fulfillment of the dream of global digital mathematical library (DML). Computer scientists (D) and librarians of digital age (L) are especially welcome to join mathematicians (M) and discuss many aspects of DML preparation. Track topics are all topics of mathematical knowledge management and digital libraries applicable in the context of DML building -- processing of math knowledge expressed in scientific papers in natural languages, namely: * Math-aware text mining (math mining) and MSC classification * Math-aware representations of mathematical knowledge * Math-aware computational linguistics and corpora * Math-aware tools for [meta]data and fulltext processing * Math-aware OCR and document analysis * Math-aware information retrieval * Math-aware indexing and search * Authoring languages and tools * MathML, OpenMath, TeX and other mathematical content standards * Web interfaces for DML content * Mathematics on the web, math crawling and indexing * Math-aware document processing workflows * Archives of written mathematics * DML management, business models * DML rights handling, funding, sustainability * DML content acquisition, validation and curation === MKM === Mathematical Knowledge Management is an interdisciplinary field of research in the intersection of mathematics, computer science, library science, and scientific publishing. The objective of MKM is to develop new and better ways of managing sophisticated mathematical knowledge, based on innovative technology of computer science, the Internet, and intelligent knowledge processing. MKM is expected to serve mathematicians, scientists, and engineers who produce and use mathematical knowledge; educators and students who teach and learn mathematics; publishers who offer mathematical textbooks and disseminate new mathematical results; and librarians and mathematicians who catalog and organize mathematical knowledge. The conference is concerned with all aspects of mathematical knowledge management. A non-exclusive list of important topics includes: * Representations of mathematical knowledge * Authoring languages and tools * Repositories of formalized mathematics * Deduction systems * Mathematical digital libraries * Diagrammatic representations * Mathematical OCR * Mathematical search and retrieval * Math assistants, tutoring and assessment systems * MathML, OpenMath, and other mathematical content standards * Web presentation of mathematics * Data mining, discovery, theory exploration * Computer algebra systems * Collaboration tools for mathematics * Challenges and solutions for mathematical workflows ==================== Systems and Projects ==================== The Systems and Projects track of the Conferences on Intelligent Computer Mathematics is a forum for presenting available systems and new and ongoing projects in all areas and topics related to the CICM conferences: * Deduction and Computer Algebra (Calculemus) * Digital Mathematical Libraries (DML) * Mathematical Knowledge Management (MKM) * Artificial Intelligence and Symbolic Computation (AISC) The track aims to provide an overview of the latest developments and trends within the CICM community as well as to exchange ideas between developers and introduce systems to an audience of potential users. ---------------------------------------------------------------------- Submission Instructions ---------------------------------------------------------------------- Work-in-progress submissions are intended to provide a forum for the presentation of original work that is not (yet) in a suitable form for submission as a full or system description paper. This includes work in progress and emerging trends. Their size is not limited, but we recommend 5-10 pages. Accepted work-in-progress papers will be presented at the conference as short teaser talks and as posters. The work-in-progress proceedings will be published online with CEUR-WS.org. WiP papers should be prepared in LaTeX and formatted according to the requirements of Springer's LNCS series (the corresponding style files can be downloaded from http://www.springer.de/comp/lncs/authors.html). By submitting a paper the authors agree that if it is accepted at least one of the authors will attend the conference to present it. Electronic submission is done through easychair http://www.easychair.org/conferences/?conf=cicm2013 ---------------------------------------------------------------------- Programme Committee ---------------------------------------------------------------------- Akiko Aizawa, NII, The University of Tokyo, Japan Jesse Alama, CENTRIA, FCT, Universidade Nova de Lisboa, Portugal Rob Arthan, Queen Mary University of London, UK Andrea Asperti, University of Bologna, Italy David Aspinall, University of Edinburgh, UK Jeremy Avigad, Carnegie Mellon University, US Thierry Bouche, Université Joseph Fourier (Grenoble), France Jacques Carette, McMaster University, Canada John Charnley, Department of Computing, Imperial College London, UK Janka Chlebíková, School of Computing, University of Portsmouth, UK Simon Colton, Department of Computing, Imperial College, London, UK Leo Freitas, Newcastle University, UK Deyan Ginev, Jacobs University Bremen, Germany Gudmund Grov, Heriot-Watt University, Edinburgh, UK Thomas Hales, University of Pittsburgh, US Yannis Haralambous, Télécom Bretagne, France Jónathan Heras, University of Dundee, UK Hoon Hong, North Carolina State University, US Predrag Janičić, University of Belgrade, Serbia Cezary Kaliszyk, University of Innsbruck, Austria Manfred Kerber, University of Birmingham, UK Adam Kilgarriff, Lexical Computing Ltd, UK Andrea Kohlhase, Jacobs University Bremen, Germany Michael Kohlhase, Jacobs University Bremen, Germany Temur Kutsia, RISC Institute, JKU Linz, Austria Christoph Lange, University of Birmingham, UK Paul Libbrecht, Martin Luther University Halle-Wittenberg, Germany Christoph Lüth, DFKI Bremen, Germany Till Mossakowski, DFKI Bremen, Germany Magnus O. Myreen, University of Cambridge, UK Florian Rabe, Jacobs University Bremen, Germany Jiří Rákosník, Institute of Mathematics, Academy of Sciences, Czech Republic Carsten Schuermann, IT University of Copenhagen, Denmark Petr Sojka, Masaryk University, Faculty of Informatics, Czech Republic Hendrik Tews, TU Dresden, Germany Frank Tompa, University of Waterloo, Canada Josef Urban, Radboud University, Netherlands Stephen Watt, University of Western Ontario, Canada Makarius Wenzel, Université Paris-Sud 11, France Wolfgang Windsteiger, RISC Institute, JKU Linz, Austria Richard Zanibbi, Rochester Institute of Technology, US -- Dr. Serge Autexier, serge.autexier at dfki.de, http://www.dfki.de/~serge/ Research Department Cyber-Physical Systems MZH, Room 3120 Phone: +49 421 218 59834 Bibliothekstr.1, D-28359 Bremen Fax: +49 421 218 98 59834 ---------------------------------------------------------------------- Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH principal office, *not* the address for mail etc.!!!: Trippstadter Str. 122, D-67663 Kaiserslautern management board: Prof. Wolfgang Wahlster (chair), Dr. Walter Olthoff supervisory board: Prof. Hans A. Aukes (chair) Amtsgericht Kaiserslautern, HRB 2313 ---------------------------------------------------------------------- From peterschueller at sabanciuniv.edu Mon Jun 3 16:03:25 2013 From: peterschueller at sabanciuniv.edu (peterschueller at sabanciuniv.edu) Date: Mon, 03 Jun 2013 17:03:25 +0300 Subject: [Deadline extended: June 15] CFP: Workshop on Knowledge Representation and Reasoning in Robotics @ ICLP2013, Istanbul, Turkey Message-ID: (Apologies for cross-posting.) CALL FOR PAPERS AND POSTER ABSTRACTS Workshop on Knowledge Representation and Reasoning in Robotics at the International Conference on Logic Programming (ICLP). Location: Istanbul, Turkey. Date of Workshop: August 25, 2013. Workshop web site: http://www.cs.ttu.edu/~smohan/krr_iclp13/ Conference web site: http://www.iclp2013.org/en/default.asp WORKSHOP SCOPE Mobile robots (and agents) are increasingly being used in a range of application domains such as disaster rescue, surveillance, health care and navigation. A formidable challenge to the widespread deployment of robots in our homes, offices and other complex domains is the ability to represent, reason with and revise incomplete and inconsistent domain knowledge obtained from sensor inputs and high-level human feedback. Although many algorithms have been developed for representing and reasoning with domain knowledge, the research community is fragmented, with separate vocabularies that are increasingly (and ironically) making it difficult for these researchers to communicate with each other. As a result, the rich body of research in knowledge representation for cognitive agents is not fully exploited by robotics researchers. For instance, declarative programming paradigms provide non-monotonic reasoning capabilities essential for robotics, although they do not always consider the challenge of modeling the uncertainty in robot application domains. In parallel, many robotics researchers are developing probabilistic reasoning algorithms that elegantly model the uncertainty in sensing and navigation on robots, although it is a challenge to use such algorithms to represent and reason with commonsense knowledge. In recent years, algorithms have also been developed for combining logical and probabilistic reasoning, but these algorithms do not support the desired knowledge representation and reasoning capabilities, or fail to address problems (e.g., frame problem, ramification problem) that are well understood in the logic programming community. This workshop seeks to engage the logic programming community in robotics research challenges. The objective is to promote a deeper understanding of recent breakthroughs and tough challenges in the logical programming and probabilistic robotics communities, resulting in collaborative efforts towards addressing the knowledge representation and reasoning challenges in robotics. Topics of interest include (but are not limited to): * Knowledge acquisition and representation. * Reasoning with incomplete and inconsistent knowledge. * Reasoning about actions and change. * Planning and scheduling. * Learning and symbol grounding. * Cognitive architectures. * Multiagent systems. We are especially interested in papers describing efforts to integrate knowledge representation, logical reasoning and/or probabilistic reasoning on robots and agents in different application domains. PAPER SUBMISSION Paper submissions can be in one of the following categories: * Regular paper: the length of regular papers (including figures and bibliography) should not exceed 12 pages. * Poster/summary paper: the length of poster/summary papers (including all figures and bibliography) should not exceed 4 pages. Papers must be written in English using the same format used for ICLP submissions: http://www.iclp2013.org/en/Submissions.html Easychair paper submission web site: https://www.easychair.org/conferences/?conf=krr2013 IMPORTANT DATES Submission deadline: June 15, 2013 Notifications: June 30, 2013 Camera-ready deadline: July 10, 2013 Workshop at ICLP: August 25, 2013 ORGANIZERS Mohan Sridharan Department of Computer Science Texas Tech University, USA http://www.cs.ttu.edu/~smohan/ Fangkai Yang Department of Computer Sciences The University of Texas at Austin, USA http://www.cs.utexas.edu/~fkyang Volkan Patoglu Mechatronics Program Faculty of Engineering and Natural Sciences Sabanci University, Istanbul, Turkey http://myweb.sabanciuniv.edu/vpatoglu/ Peter Schueller Computer Science Program Faculty of Engineering and Natural Sciences Sabanci University, Istanbul, Turkey http://www.peterschueller.com/ From Jason.Williams at microsoft.com Mon Jun 3 16:37:20 2013 From: Jason.Williams at microsoft.com (Jason Williams (MSR)) Date: Mon, 3 Jun 2013 14:37:20 +0000 Subject: Call for demonstrations : SIGDIAL 2013 CONFERENCE : 22-24 August 2013 : Metz, France Message-ID: <4532e36066c04fd4908f454b6c948566@BY2PR03MB044.namprd03.prod.outlook.com> SIGDIAL 2013 CONFERENCE 14th Annual Meeting of the Special Interest Group on Discourse and Dialogue http://www.sigdial.org/workshops/conference14/ Metz, France 22-24 August 2013 CALL FOR DEMONSTRATIONS The program committee of SigDial 2013 welcomes the submission of demonstration descriptions. Demonstrations will be presented in special sessions, separate from short paper presentations and poster sessions. Accepted demonstration submissions will be published in a dedicated section of the conference proceedings. Demo descriptions should be no longer than 3 pages, including references. Demo submissions should follow the two-column ACL 2013 format. We strongly recommend the use of ACL LaTeX style files or Microsoft Word style files tailored for the ACL 2013 conference. Submissions must conform to the official ACL 2013 style guidelines (http://acl2013.org/site/call.html), and they must be electronic in PDF. Submissions will not be anonymous. Demonstrations which have appeared (or will appear) elsewhere may be presented at SigDial, although this should be noted at the time of submission. Authors are encouraged to submit additional supportive material such as video clips or sound clips and examples of available resources for review purposes. Submission is electronic using paper submission software at https://www.softconf.com/d/sigdial2013/ IMPORTANT DATES Demo Paper Submission Deadline Tuesday, 2 July 2013 (23:59, GMT-11) Demo Paper Notification Wednesday, 10 July 2013 Final Demo Paper Due Wednesday, 24 July 2013 Conference Thursday-Saturday, 22-24 August 2013 (Thu morning - Saturday mid-day) Any questions regarding submissions can be sent to the technical program co-chairs at program-chairs[at]sigdial.org. SigdDial 2013 Technical Program Co-Chairs Barbara Di Eugenio, University of Illinois at Chicago, USA Jason D. Williams, Microsoft Research, USA From stefan at szeider.net Wed Jun 5 11:26:42 2013 From: stefan at szeider.net (Stefan Szeider) Date: Wed, 5 Jun 2013 11:26:42 +0200 Subject: FLoC 2014 Call for Workshops (The Sixth Federated Logic Conference, July 2014,Vienna, Austria) Message-ID: <9EA282CA-5DD1-4EA8-AED1-BA3D0C587830@szeider.net> [apologies for cross posting] THE SIXTH FEDERATED LOGIC CONFERENCE (FLoC 2014) Part of VIENNA SUMMER OF LOGIC (VSL 2014) July 2014, Vienna, Austria CALL FOR WORKSHOPS The Sixth Federated Logic Conference (FLoC 2014) will be part of the Vienna Summer of Logic (VSL), the largest logic event in history, with over 2000 expected participants. FLoC 2014 will host eight conferences and many workshops. Each workshop will be affiliated with one of the eight conferences. 26th International Conference on Computer Aided Verification (CAV) Workshop Chair: Martina Seidl http://fmv.jku.at/seidl/ 27th IEEE Computer Security Foundations Symposium (CSF) Workshop Chair: Luca Vigano http://profs.sci.univr.it/~vigano/ 30th International Conference on Logic Programming (ICLP) Workshop Chair: Haifeng Guo http://faculty.ist.unomaha.edu/hguo/ 7th International Joint Conference on Automated Reasoning (IJCAR) Workshop Chair: Matthias Horbach http://www.mpi-inf.mpg.de/~horbach/ 5th Conference on Interactive Theorem Proving (ITP) Workshop Chair: David Pichardie http://www.irisa.fr/celtique/pichardie/ 29th ACM/IEEE Symposium on Logic in Computer Science (LICS) joined with the 23rd EACSL Annual Conference on Computer Science Logic (CSL) Workshop Chair: Georg Moser http://cl-informatik.uibk.ac.at/users/georg/ 25th International Conference on Rewriting Techniques and Applications (RTA) joined with the 12th International Conference on Typed Lambda Calculi and Applications (TLCA) Workshop Chair: Aleksy Schubert http://www.mimuw.edu.pl/~alx/ 17th International Conference on Theory and Applications of Satisfiability Testing (SAT) Workshop Chair: Ines Lynce http://sat.inesc-id.pt/~ines/ SUBMISSION OF WORKSHOP PROPOSALS Researchers and practitioners are invited to submit proposals for workshops on topics in the field of computer science, related to logic in the broad sense. Each workshop proposal must indicate one hosting conference among the participating conferences. It is suggested that prospective workshop organizers contact the relevant conference Workshop Chair before submitting a proposal. Proposals should be submitted electronically to EasyChair at the following address: http://www.easychair.org/conferences/?conf=floc14cfw Proposals should consist of two parts. First, a short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant). A second, organizational part should include: * contact information of the workshop organizers * proposed hosting conference * estimate of the audience size * proposed format and agenda (for example, paper presentations, tutorials, demo sessions, etc.) * potential invited speakers * procedures for selecting papers and participants * plans for dissemination, if any (for example, special issues of journals) * duration (which may vary from one day to two days) and preferred period The FLoC Organizing Committee will determine the final list of accepted workshops based on the recommendations from the Workshop Chairs of the hosting conferences and subject to the availability of space and facilities. Further information can be found at the FLoC 2014 Workshop Guide http://vsl2014.at/floc-ws/ IMPORTANT DATES Submission of workshop proposals: by September 30, 2013 Notification: by November, 2013 Pre-FLoC workshops: Saturday & Sunday, July 12-13 Mid-FLoC workshops: Thursday & Friday, July 17-18 Post-FLoC workshops: Wednesday & Thursday, July 23-24 CONTACT INFORMATION Questions regarding workshop proposals should be sent to the workshop chairs of conferences that are supposed to host the workshop (see above). General questions should be sent to floc14cfw at easychair.org Please consult the FLoC 2014 Workshop Guide http://vsl2014.at/floc-ws/ FLoC 2014 WORKSHOP CHAIR Stefan Szeider http://www.szeider.net Vienna University of Technology From womo2013 at easychair.org Thu Jun 6 01:45:40 2013 From: womo2013 at easychair.org (Chiara Del Vescovo) Date: Thu, 6 Jun 2013 00:45:40 +0100 Subject: [WoMO13] 3rd CfP: 7th Int'l Workshop on Modular Ontologies (WoMO-13) Message-ID: ======================================================== 7th Int'l Workshop on Modular Ontologies (WoMO) Corunna, Spain, September, 2013 held in conjunction with LPNMR 2013 --- Third Call for Papers --- --- Student Travel Grants available --- ======================================================== Submission deadline: July 5, 2013 ======================================================== http://www.iaoa.org/womo/2013.html MODULARITY, studied for years in software engineering, allows mechanisms for easy and flexible reuse, generalization, structuring, maintenance, design patterns, and comprehension. In formal and applied ontology, modularity is central to reducing the complexity of designing and understanding ontologies, and to facilitating ontology verification, reasoning, development, maintenance and integration. Recent research on ontology modularity shows substantial progress in foundations of modularity, techniques of modularization and modular development, distributed reasoning and empirical evaluation. These results provide a solid foundation and exciting prospects for further research and development. The workshop continues a series of successful events that have been an excellent venue for practitioners and researchers to discuss latest and current work. The most recent WoMOs were held at ESSLLI 2011 and FOIS/ICBO 2012. This time WoMO is organised as a workshop of LPNMR 2013: the 12th International Conference on Logic Programming and Non-monotonic Reasoning. LPNMR is well-established as the main conference in the field. The workshop will be open to all attendants of LPMNR'13 and its workshops. Workshop speakers will be required to register for WoMO via the LPMNR'13 website. Registration for WoMO only will be possible. STUDENT TRAVEL GRANTS: With the generous support of the IAOA, we are happy to provide funding to students. Priority will be given to student presenters and authors of accepted papers. More details will be published at a later date. TOPICS include, but are not limited to: - What is modularity?: kinds of modules and their properties; modules vs. contexts; design patterns; granularity of representation; - Logical/foundational studies: modular ontology languages; reconciling inconsistencies across modules; formal structuring of modules; heterogeneity; hybrid theories; intertheory relations (conservativity, interpretability, strong equivalence, inseparability, etc.) - Algorithmic approaches: distributed and incremental reasoning; modularization and module extraction; sharing, linking, reuse; privacy; complexity of reasoning; implemented systems; - Evaluation of modularizations: case studies or other analyses of ontology modularizations (why it is modularized in a certain way, what does it address, how can it be improved); how to measure the adequacy of a modularization; comparison of modularizations with respect to philosophical, logical, reasoning, cognitive, or social aspects; - Applications: semantic web; life sciences; earth sciences; bio-ontologies; natural language processing; space and time; ambient intelligence; social intelligence; technology and engineering; collaborative ontology development and ontology versioning. IMPORTANT DATES Paper Submission: July 5, 2013 Notification: August 19, 2013 Camera ready: September 2, 2013 Workshop: September 15, 2013 SUBMISSION GUIDELINES: We welcome submissions on modularity in a broad sense. The workshop is open to papers of theoretical or practical nature from various disciplines. Submissions can be long papers (11 pages) or short papers (5 pages), formatted according to Springer LNCS style (see http://www.springer.com/comp/lncs/Authors.html), prepared in PDF format and submitted no later than the submission deadline, through the EasyChair Submission System (see http://www.easychair.org/conferences/?conf=womo2013). Submitted papers will be peer-reviewed by members of the program committee. Accepted papers will be made available in the proceedings to be published electronically in the CEUR Workshop Proceedings series (see http://www.ceur-ws.org). Proceedings of WoMO 2011 and 2012 can be found at http://www.booksonline.iospress.nl/Content/View.aspx?piid=20369 and at http://ceur-ws.org/Vol-875/. WORKSHOP CHAIRS: Torsten Hahmann, University of Toronto, Canada David Pearce, Universidad Politecnica de Madrid, Spain Chiara Del Vescovo, University of Manchester, UK Dirk Walther, TU Dresden, Germany PROGRAM COMMITTEE: Kenneth Baclawski, VIStology, Inc. Eva Blomqvist, Linköping University Alex Borgida, Rutgers University Stefano Borgo, Laboratory for Applied Ontology, ISTC-CNR, Trento Gerhard Brewka, University of Leipzig Mike Dean, Raytheon BBN Technologies Thomas Eiter, Technical University of Vienna Pawel Garbacz, The John Paul II Catholic University of Lublin Dagmar Gromann, Vienna University of Economics and Business Michael Gruninger, University of Toronto Robert Hoehndorf, University of Cambridge Dieter Hutter, DFKI GmbH Tomi Janhunen, Aalto University Pavel Klinov, University of Ulm Christoph Lange, University of Birmingham Thomas Meyer, Centre for Artificial Intelligence Research, UKZN and CSIR Meraka Leo Obrst, MITRE Marco Schorlemmer, Artificial Intelligence Research Institute, IIIA, CSIC Luciano Serafini, Fondazione Bruno Kessler Dmitry Tsarkov, The University of Manchester INVITED SPEAKERS: TBA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From brendon.woodford at otago.ac.nz Thu Jun 6 04:23:48 2013 From: brendon.woodford at otago.ac.nz (Brendon Woodford) Date: Thu, 6 Jun 2013 02:23:48 +0000 Subject: Final CFP: 26th Australasian Joint Conference on Artificial Intelligence, 3-6 December, Dunedin, New Zealand Message-ID: <4E09E4C2A5ED7442A4F667D4D3394CE87837BB6E@ITS-EXM-P06.registry.otago.ac.nz> [Apologies for cross-postings] Final Call for Papers 26th Australasian Joint Conference on Artificial Intelligence (AI 2013) 3-6 December, 2013 Dunedin, New Zealand http://ai2013.otago.ac.nz Since the first AI Conference took place in Sydney in 1987, the series of annual Australasian Joint Conferences on Artificial Intelligence has become the premier event for Artificial Intelligence researchers in Australasia and one of the major international forums on AI worldwide. In 2008 the AI conference was hosted in New Zealand for the first time, in Auckland. In 2013 the 26th Australasian Joint Conference on Artificial Intelligence returns to New Zealand, and will be held in Dunedin, hosted by the University of Otago. AI 2013 will be co-located with the 16th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2013): http://prima2013.otago.ac.nz/ Prospective authors are invited to submit original research and application papers in any area of Artificial Intelligence, including but not limited to the following: * Agent-based and multiagent systems * AI applications and innovations * Cognitive modelling and computer human interaction * Commonsense reasoning * Computer vision * Constraint satisfaction, search, and optimisation * Evolutionary computation * Game playing and interactive entertainment * Information retrieval, integration, and extraction * Knowledge acquisition and ontologies * Knowledge representation and reasoning * Machine learning and data mining * Model-based systems * Multidisciplinary AI * Natural language processing * Planning and scheduling * Robotics * Social choice * Uncertainty in AI * Web and information systems All papers should be submitted electronically in PDF format and formatted using Springer's manuscript submission guidelines: http://www.springer.de/comp/lncs/authors.html Submitted papers should not exceed 12 pages and should not be under review or submitted for publication elsewhere during the review period. All papers will be peer reviewed by at least three independent referees. Reviews will be double blind; authors must avoid including anything that can be used to identify them. Submission will be through the EasyChair conference management system at the following URL: https://www.easychair.org/conferences/?conf=26ai2013 All accepted papers submitted to the Conference will be published by Springer in the Lecture Notes in Artificial Intelligence (LNAI) series. At least one author of each accepted paper is required to register for the conference and to present the paper. Important Dates: Submissions Due: 1 July 2013 Notifications: 19 August 2013 Camera-Ready: 14 September 2013 Early Registration: 31 October 2013 Conference: 3-6 December 2013 From paliourg at iit.demokritos.gr Thu Jun 6 14:51:43 2013 From: paliourg at iit.demokritos.gr (George Paliouras) Date: Thu, 6 Jun 2013 15:51:43 +0300 Subject: BioASQ challenge on biomedical IR, QA, summarization (task 1b) about to start Message-ID: <00a501ce62b4$ab041590$010c40b0$@demokritos.gr> [ please distribute - apologies for multiple postings ] BioASQ challenge on large-scale biomedical semantic indexing and question answering (BioASQ workshop after CLEF 2013 in Valencia, Spain on September 27, 2013) Web site: http://bioasq.org/ twitter: https://twitter.com/bioasq The second task of the BioASQ challenge (Task 1B: biomedical question answering) will start on Wednesday June 19, 2013. The task is related to: * information retrieval, including document and snippet retrieval, * question answering for document collections and ontologies, * summarization from documents and structured information. Task 1B will use benchmark datasets containing English questions and gold standard (reference) answers. The datasets are being constructed by a team of biomedical experts from around Europe. Task 1B will run in two phases: - Phase A: BioASQ will release questions from the benchmark datasets. The participants will have to respond with relevant concepts (from designated terminologies and ontologies), relevant articles (in English, from designated article repositories), relevant snippets (from the relevant articles), and relevant RDF triples (from designated ontologies). - Phase B: BioASQ will release questions and gold (correct) relevant concepts, articles, snippets, and RDF triples from the benchmark datasets. The participants will have to respond with "exact" answers (e.g., named entities in the case of factoid questions) and "ideal" answers (paragraph-sized summaries), both in English. It is allowed to participate in both or only one of the phases, and in each phase it is allowed to return all or only some of the expected answers (e.g., only snippets in Phase A, only exact answers in Phase B). A development dataset of 29 questions and gold answers is already available at: http://bioasq.lip6.fr/general_information/Task1b/#developmentDataset To make participating in Task 1B easier, the task will run in three consecutive periods (batches), one every 3 weeks. It is allowed to participate in some or all of the batches. Prizes will be awarded to the winners of each batch. Check the following page for more information: http://www.bioasq.org/participate/prizes For each batch, first only the questions of the batch will be released, and the participants will have to submit their answers for Phase A (concepts, articles, snippets, RDF triples) within 24 hours; then the gold concepts, articles, snippets, and RDF triples for the questions of the batch will also be provided, and the participants will again have 24 hours to submit their answers for Phase B ("exact" and "ideal" answers of different types, depending on the question). More information about the task can be found at: http://bioasq.lip6.fr/general_information/Task1b/ Registration for Task 1B is open and will remain open until the end of the challenge in August. In order to register and participate, please visit the BioASQ participants area: http://bioasq.lip6.fr/ Important dates: June 19, 2013: Start of Task 1B - first batch July 10, 2013: Second batch of Task 1B July 31, 2013: Third batch of Task 1B September 27, 2013: BioASQ Workshop (collocated with CLEF 2013, Valencia, Spain). Good luck from the BioASQ team! The BioASQ challenge and workshop are organised by the BioASQ project, supported by the European Commission within the 7th Framework Programme (Grant Agreement No. 318652). -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tkren at kr.tuwien.ac.at Thu Jun 6 21:44:05 2013 From: tkren at kr.tuwien.ac.at (Thomas Krennwallner) Date: Thu, 6 Jun 2013 21:44:05 +0200 Subject: Call for Expression of Interest - WWTF Vienna Research Groups for Young Investigators Message-ID: [Apologies for cross-posting] WWTF Vienna Research Groups for Young Investigators Call 2013 - Cognitive Sciences Call for Expressions of Interest --------------------------------- The Faculty of Informatics at the Vienna University of Technology is looking for outstanding young researchers from abroad to set up and manage an independent research group as part of the Vienna Science and Technology Fund's (WWTF) VRGYI Call 2013 - Cognitive Sciences. Applications are sought from researchers who have recently completed their PhD (2-8 years ago) with an excellent research track record. Selected candidates will, together with an experienced researcher of the Faculty of Informatics as a proponent, prepare a proposal to be submitted to the WWTF VRSYI Call 2013 - Cognitive Sciences. This call focuses on cognitive processes in humans, animals and/or machines. Should this proposal be successful, the proposed project will be funded to the amount of 1.5 million EUR by the Vienna Science and Technology Fund (WWTF) for a period of 6 - 8 years. The Vienna University of Technology will also contribute to the funding of the project. During this time the successful candidate(s) will set up and manage his or her own research group as a group leader. He or she will receive a tenure-track position, which will be later transformed into a tenured position subject to a positive overall assessment, including - amongst other things - an interim evaluation of the project. Application procedure: ---------------------- Applications should be sent to the responsible contact person (proponent) of the respective host lab, institute or group. The application should consist of - CV (including a list of publications) - a brief outline of the intended research project *** Deadline: June 15, 2013 *** Unconventional research careers will also be taken into consideration. Female applicants are explicitly encouraged to apply. Among the possible hosting groups of the Faculty of Informatics at the Vienna University of Technology is the Knowledge Based Systems Group (Institute of Information Systems), which has research expertise in Knowledge Representation and Reasoning, Computational Logic and Complexity, Declarative Problem Solving, Intelligent Agents, and Mobile Robots. Intended research projects need to be a synergetic fit with these topics and research competence of the group. For more information, see http://www.informatik.tuwien.ac.at/aktuelles/736 http://www.wwtf.at/programmes/ci/index.php?lang=EN http://www.kr.tuwien.ac.at/research/index.html Contact: Prof. Gerald Steinhardt Dean of the Faculty of Informatics, Vienna University of Technology dekan at informatik.tuwien.ac.at phone: +43-1-58801-18001 Prof. Thomas Eiter Head of the Institute of Information Systems, Vienna University of Technology thomas.eiter at tuwien.ac.at phone: +43-1-58801-18460 From Thomas.Agotnes at infomedia.uib.no Fri Jun 7 08:39:49 2013 From: Thomas.Agotnes at infomedia.uib.no (=?iso-8859-1?Q?Thomas_=C5gotnes?=) Date: Fri, 7 Jun 2013 08:39:49 +0200 Subject: Last CFP SOCREAL 2013 [EXTENDED DEADLINE]: 3rd International Workshop on Philosophy and Ethics of Social Reality, Sapporo, Japan Message-ID: The Last Call for Papers [DEADLINE EXTENDED: 24 June 2013] SOCREAL 2013 Third International Workshop on Philosophy and Ethics of Social Reality 25 - 27 October 2013 Hokkaido University, Sapporo, Japan Under the Auspices of Center for Applied Ethics and Philosophy (CAEP) Graduate School of Letters, Hokkaido University and Grant-in-Aid for Scientific Research on Innovative Areas: Prediction and Decision Making (23120002) of the Ministry of Education, Culture, Sports, Science and Technology (MEXT) In the past two and a half decades, a number of attempts have been made in order to model various aspects of social interaction among agents including individual agents, organizations, and individuals representing organizations. The aim of SOCREAL Workshop is to bring together researchers working on diverse aspects of such interaction in logic, philosophy, ethics, computer science, cognitive science and related fields in order to share issues, ideas, techniques, and results. The first SOCREAL Workshop was held on 9 - 10 March 2007, and the second SOCREAL Workshop was held on 27 - 28 March 2010. Building upon the success of SOCREAL 2007 and 2010, its third edition, SOCREAL 2013, will be held on 25 - 27 October 2013. SOCREAL 2013 will consist of lectures by invited speakers and presentations of submitted papers. Researchers from various fields, including logic, philosophy, ethics, computer science, cognitive science are hereby invited to submit an extended abstract (up to two thousand words) by 24 June 2013 both to CAEP (caep at let.hokudai.ac.jp) and to yamada at let.hokudai.ac.jp. Each abstract will be peer-reviewed by the program committee. The abstract should be written in English and sent as an attachment in pdf format. Each abstract should include a title, names and contact details of all the authors. It is requisite for at least one of the author(s) of each accepted paper to attend the workshop and present the paper. The working language of SOCREAL Workshop is English. Topics of interest include, but are not limited to * language (or communication) as part of social reality, * speech acts (or communicative acts) as what shape social reality, * (moral) commitments (and conflicts) in social interaction, * logic and game theory as tools for studying social reality, * (organized) collective agency, * norms and normative systems, * social institutional facts and their dynamics, * social choice, * rationality in social interaction. You can learn what SOCREAL Workshop is like from the website of SOCREAL 2010 located at: http://www.hucc.hokudai.ac.jp/~k15696/home/sr10/ . INVITED SPEAKERS INCLUDE Thomas Agotnes (University of Bergen, Norway, and Southwest University, China) Johan van Benthem (University of Amsterdam, and Stanford University) Fenrong Liu (Tsinghua University, China) Tomoyuki Yamada (Hokkaido University, Japan) Berislav Zarnic (University of Split, Croatia) PUBLICATION A printed booklet containing the abstracts of all the accepted papers will be available at the workshop. On-line proceedings containing the papers and the presentation slides presented at the workshop will be made available after the workshop. Authors of the presented papers will also be invited to submit (the revised version of) the full papers for publication in an issue of The Journal of Applied Ethics and Philosophy after the workshop. The papers should be written according to the notes to contributors of the journal, and will be peer-reviewed. Further particularities and instructions will be announced after the workshop. GRANTS A limited number of grants of 20,000 to 40,000 yen will be available for postgraduate students and non-tenured scholars who present papers at the workshop on a competitive basis. Priority is given to overseas students and scholars. Anyone who wishes to apply for the grant should submit the completed Grant Application Form which will be made available shortly at the workshop website. IMPORTANT DATES [Updated] Deadline for Submission of Abstracts (Extended): 24 June 2013 Notification of Acceptance: 22 July 2013 Deadline for Grant Application: 10 September 2013 Workshop: 25-27 October 2013 WORKSHOP CO-CHAIRS Thomas Agotnes (University of Bergen, Norway, and Southwest University, China) Tomoyuki Yamada (Hokkaido University, Japan) PROGRAM COMMITTEE Thomas Agotnes (University of Bergen, Norway, and Southwest University, China) Johan van Benthem (University of Amsterdam, The Netherlands, and Stanford University, USA) Jose Carmo (Universidade da Madeira, Portugal) Mamoru Kaneko (Waseda University, Japan) Fenrong Liu (Tsinghua University, China) Yuko Murakami (Tohoku University, Japan) Yasuo Nakayama (Osaka University, Japan) Okada Mitsuhiro (Keio University, Japan) Manuel Rebuschi (Nancy University, France) Nobuyuki Takahashi (Hokkaido University, Japan) Allard Tamminga (Rijksuniversiteit Groningen, The Netherlands) Tomoyuki Yamada (Hokkaido University, Japan) Berislav Zarnic (University of Split, Croatia) LOCAL ORGANIZING COMMITTEE Nobuo Kurata (Hokkaido University) Koji Nakatogawa (Hokkaido University) Shunzo Majima (Hokkaido University) Yoshihiko Ono (Hokkaido University) Tomoyuki Yamada (Hokkaido University) CONTACT Tomoyuki Yamada (yamada at let.hokudai.ac.jp) Further information will be made available shortly at the workshop website at: http://www.hucc.hokudai.ac.jp/~k15696/home/sr13/ . Workshop co-chairs Thomas Agotnes Tomoyuki Yamada From aspocp at gmail.com Tue Jun 11 11:48:34 2013 From: aspocp at gmail.com (Yuliya Lierler) Date: Tue, 11 Jun 2013 04:48:34 -0500 (CDT) Subject: final CfP ASPOCP 2013 (abstract due today): 6th Workshop on Answer Set Programming and Other Computing Paradigms Message-ID: <20130611094835.0360D322249@yuliya.localdomain> Apologies for cross-posting. =============================================================================== CALL FOR PAPERS ASPOCP 2013 6th Workshop on Answer Set Programming and Other Computing Paradigms http://www.kr.tuwien.ac.at/events/aspocp2013 August 25th, 2013 Collocated with the International Conference on Logic Programming 2013 Istanbul, Turkey August 24-29, 2013 =============================================================================== AIMS AND SCOPE Since its introduction in the late 1980s, answer set programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was found to be closely related to SAT, which has led to a method of computing answer sets using SAT solvers and techniques adapted from SAT. While this has been the most studied relationship which is currently extended towards satisfiability modulo theories (SMT), the relationship of ASP to other computing paradigms, such as constraint satisfaction, quantified boolean formulas (QBF), first-order logic (FOL), or FO(ID) logic is also the subject of active research. New methods of computing answer sets are being developed based on the relation between ASP and other paradigms, such as the use of pseudo-Boolean solvers, QBF solvers, FOL theorem provers, and CLP systems. Furthermore, the practical applications of ASP also foster work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration of ASP with description logics (in the realm of the Semantic Web), constraint satisfaction, and general means of external computation. This workshop will facilitate the discussion about crossing the boundaries of current ASP techniques in theory, solving, and applications, in combination with or inspired by other computing paradigms. TOPICS Topics of interests include (but are not limited to): - ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL). - ASP and constraint programming. - ASP and other logic programming paradigms, e.g., FO(ID). - ASP and other nonmonotonic languages, e.g., action languages. - ASP and external means of computation. - ASP and probabilistic reasoning. - ASP and machine learning. - New methods of computing answer sets using algorithms or systems of other paradigms. - Language extensions to ASP. - ASP and multi-agent systems. - ASP and multi-context systems. - Modularity and ASP. - ASP and argumentation. - Multi-paradigm problem solving involving ASP. - Evaluation and comparison of ASP to other paradigms. - ASP and related paradigms in applications. - Hybridizing ASP with procedural approaches. - Enhanced grounding or beyond grounding. SUBMISSIONS Papers must describe original research and should not exceed 15 pages in the Springer LNCS format . Paper submission will be handled electronically by means of the Easychair system. The submission page is available at http://www.easychair.org/conferences/?conf=aspocp13 IMPORTANT DATES Abstract submission: June 11, 2013 Paper submission deadline: June 18, 2013 Notification: July 11, 2013 Camera-ready articles due: July 25, 2013 Workshop: August 25, 2013 PROCEEDINGS The workshop contributions will be published electronically, using the Computing Research Repository (CoRR). LOCATION The workshop will be held in Istanbul, Turkey, collocated with the International Conference on Logic Programming (ICLP) 2013. WORKSHOP CO-CHAIRS Michael Fink, Vienna University of Technology, Austria Yuliya Lierler, University of Nebraska at Omaha, USA PROGRAM COMMITTEE Marcello Balduccini, Kodak Research Labs, USA Pedro Cabalar, Corunna University, Spain Sandeep Chintabathina, University of Arkansas at Pine Bluff, USA Selim T. Erdogan, Independent Researcher, Turkey Wolfgang Faber, University of Calabria, Italy Cristina Feier, University of Oxford, UK Martin Gebser, University of Potsdam, Germany Gregory Gelfond, Arizona State University, USA Giovambattista Ianni, University of Calabria, Italy Daniela Inclezan, Miami University in Ohio, USA Joohyung Lee, Arizona State University, USA Joao Leite, New University of Lisbon, Portugal Vladimir Lifschitz, University of Texas at Austin, USA Marco Maratea, University of Genoa, Italy Alessandro Mosca, Free University of Bolzano, Italy Emilia Oikarinen, Aalto University, Finland David Pearce, Universidad Politecnica de Madrid, Spain Axel Polleres, Siemens AG Corporate Technology, Austria Guillermo R. Simari, Universidad Nacional del Sur, Argentina Evgenia Ternovska, Simon Fraser University, Canada Hans Tompits, Vienna University of Technology, Austria Miroslaw Truszczynski, University of Kentucky, USA Joost Vennekens, Catholic University of Leuven, Belgium Marina De Vos, University of Bath, UK Stefan Woltran, Vienna University of Technology, Austria Fangkai Yang, University of Texas at Austin, USA Jia-Huai You, University of Alberta, Canada From bulling at in.tu-clausthal.de Wed Jun 12 10:14:11 2013 From: bulling at in.tu-clausthal.de (Nils Bulling) Date: Wed, 12 Jun 2013 10:14:11 +0200 Subject: Third CFP: PRIMA 2013 - 16th International Conference on Principles and Practice of Multi-Agent Systems Message-ID: <2E94F71F-D43B-4394-8346-EF007B60E45D@in.tu-clausthal.de> Apologies for multiple postings ======================================================================================================= Third CFP: PRIMA 2013 - 16th International Conference on Principles and Practice of Multi-Agent Systems ======================================================================================================== Dates: December 3-6, 2013 Location: Dunedin, New Zealand Submission deadline: 1 July 2013 Website: http://prima2013.otago.ac.nz/ Co-located event: PRIMA 2013 is co-located with Australasian Artificial Intelligence conference (http://ai2013.otago.ac.nz/). -------------------------------------- Agent computing is an exciting, transformational approach to developing computer systems that can rapidly and reliably solve real-world problems that usually demand human knowledge and expertise. The value, power and flexibility of agent and multi-agent systems has been demonstrated in application areas such as logistics, manufacturing, simulation, robotics, decision support, entertainment, and especially in online market environments. As one of the largest and fastest growing research fields of Computer Science, agent research today includes a wealth of topics. The PRIMA 2013 Program Committee invites submissions of original, unpublished, theoretical and applied work on any such topic, and encourages reports on the development of prototype and deployed agent systems, and of experiments that demonstrate novel agent system capabilities, which include the topics given below. Note: There will be a special track (special focus area) on applications of multi-agent systems. The papers for this track would report experiences on using agents in an application domain and also discuss the challenges (resolved and unresolved issues) in deploying them. In general, papers discussing lessons learned and general directions of research using agents are solicited for this track. Topics (not limited to the following): ======================================= Foundations of Agents and Multi-Agent Systems +Logics of Agency +Logics of Multi-Agent Systems +Normative Systems +Computational Game Theory +Uncertainty in Agent Systems +Agent and Multi-Agent Learning Agent and Multi-Agent System Architectures +Agent Programming Languages and Platforms +Multi-Agent System Languages and Platforms +BDI Architectures and Extensions +Normative Multi-Agent Systems Agent-Oriented Software Engineering +AOSE Methodologies +Tools for Agent and Multi-Agent System Development +Formal Specification and Verification +Testing, debugging and evolution +Deployed System Case Studies Agent-Based Modelling and Simulation +Simulation Languages and Platforms +Artificial Societies +Virtual Environments +Workflow Simulation +Emergent Behaviour +Modelling System Dynamics +Application Case Studies Cooperation/Collaboration, Coordination/Communication +Agent Communication Languages and Protocols +Distributed Problem Solving +Teamwork Models +Coalition Formation +Argumentation +Negotiation +Bargaining +Auctions and Mechanism Design +Trust and Reputation +Computational Voting Theory Hybrid Technologies +Agents in Planning +Agent-Based Scheduling and Optimization +Distributed Constraint Satisfaction +Agents and Data Mining +Semantic Web Agents +Agents and Grid Computing +Agents and Service Oriented Computing +Agents and Pervasive Computing +Robotics and Multi-Robot Systems +Ubiquitous computing and ambient intelligence Application Domains +Healthcare +Transport/Logistics +Emergency/Disaster Management +Energy/Utility Management +Sustainability/Resource Management +Games/Entertainment +eBusiness/eCommerce/eGovernment +eResearch/eLearning +Security/Surveillance +Smart Cities +Financial markets Applications +Adaptive Personal Assistants +Embodied Conversational Agents +Virtual Characters +Multi-Modal User Interfaces +Autonomous Systems +Mobile Agents +Human-Robot Interaction +Social Recommender Systems +Algorithmic trading agents Paper Submission ================= Two types of contributions are solicited: - Full papers, up to 16 pages in LNCS format, should present original theoretical and/or experimental research in any of the areas listed above that has not been previously published, accepted for publication, or is not currently under review by another conference or journal. Note that some full papers may be accepted as short papers (see below). - Short papers (early innovation papers), up to 8 pages in LNCS format showcasing works-in-progress (will be reviewed with an emphasis on novelty/originality of the idea). Both full and short papers will be included in the conference proceedings by Springer (LNAI series). Authors of both types of papers will need to present their work at the conference. Please refer to the Paper Submission page (http://prima2013.otago.ac.nz/submission) for details on how to format your paper and how to submit your paper via EasyChair. Important Dates ================ Submissions Due: 1 July 2013 Notifications: 19 August 2013 Camera-Ready: 14 September 2013 Early Registration: 31 October 2013 Conference: 3-6 December 2013 Conference Committees ===================== General chairs Assoc. Prof. Frank Dignum, Utrecht University Professor Martin Purvis, University of Otago Program chairs Assoc. Prof. Guido Boella, University of Torino Asst. Prof. Edith Elkind, Nanyang Technological University Dr Bastin Tony Roy Savarimuthu, University of Otago Senior Advisors Prof. Aditya Ghose, University of Wollongong Prof. Sandip Sen, University of Tulsa Prof. Makoto Yokoo, Kyushu University ========================================================================================== From fstolzenburg at hs-harz.de Wed Jun 12 10:44:19 2013 From: fstolzenburg at hs-harz.de (Frieder Stolzenburg) Date: Wed, 12 Jun 2013 10:44:19 +0200 Subject: KI 2013: Workshop on Visual and Spatial Cognition - 2nd CfP Message-ID: <51B834E3.1040706@hs-harz.de> KI 2013: Workshop on Visual and Spatial Cognition - 2nd Call for Papers - KIK – KI & Kognition Workshop Series Description of Workshop Topic and Goal The ability to process spatial information is crucial for various tasks as diverse as navigation, planning, and managing abstract concepts. Research issues in spatial cognition range from the investigation of human spatial cognition to mobile robot navigation. Much of that research effort, however, has been experimental, putting little stress on precise models of the involved representations and processes. Obviously, spatial cognition is closely related to visual cognition of places and scenes in general. Different visualization techniques and reasoning formalisms serve to analyze spatial cognition processes. They can be used to achieve a more general cognitive model. This workshop aims at bringing together researchers from Artificial Intelligence, Computer Science, Cognitive Psychology, Cognitive Robotics, Geographic Information Science, and related areas to foster a multi-disciplinary exchange between research in visual and spatial cognition. Topics of interest include, but are not limited to the following: * Spatial and temporal reasoning and cognition * Psychological studies of human visual and spatial cognition * Cognitive architectures/computational cognitive models of spatial reasoning * Cognitive systems interacting with their environment and with humans * Perception-based representation of high-level cognitive concepts * Novel techniques in spatial cognition, e.g., eye tracking, fMRI, etc. * Object and scene recognition * Human-computer interaction and cognitive robotics This workshop continues a series of successful workshops initiated by the Special Interest Group "Cognition" in the GI (German Informatics Society) and will be held in conjunction with KI 2013 in Koblenz. List of Important Dates * Submission deadline: July 1st, 2013 * Notification: August 16th, 2013 * Camera-ready copy: August 31th, 2013 * Workshop: September September 17th, 2013 Submission and Contribution Format: The workshop will be held in English, in order to attract an international audience. Each presenter is required to submit a short paper (4-8 pages) on the presented topic formatted according to the Springer LNCS guidelines (). The agenda will leave enough room for discussions. So each talk will be followed by a discussion period of 10 minutes. Papers are subject to regular peer review and subsequent publication within the workshop proceedings. Submissions should be sent as pdf file to . Organizers Marco Ragni University of Freiburg ragni at cognition.uni-freiburg.de http://portal.uni-freiburg.de/cognition/members/ragni Michael Raschke University of Stuttgart (VIS) michael.raschke at vis.uni-stuttgart.de http://www.vis.uni-stuttgart.de/institut/mitarbeiterInnen/michael-raschke.html Frieder Stolzenburg (contact person) Harz University of Applied Sciences fstolzenburg at hs-harz.de http://fstolzenburg.hs-harz.de/ Program Committee Thomas Barkowsky, U Bremen Michael Burch, U Stuttgart Lewis Chuang, MPI für Kybernetik Christian Freksa, U Bremen Reinhard Moratz, U Maine Bernhard Nebel, U Freiburg Thomas Röfer, DFKI Bremen Ute Schmid, U Bamberg Workshop homepage: -- Prof. Dr. Frieder Stolzenburg Hochschule Harz (Harz University of Applied Sciences) FB Automatisierung und Informatik (Automation & Computer Sciences Dep.) Friedrichstr. 57-59 D-38855 Wernigerode (Germany) Raum (Office): 2.008 Tel: +49 3943 659-333 Fax: +49 3943 659-399 Skype: fstolzenburg E-Mail: fstolzenburg at hs-harz.de WWW: http://fstolzenburg.hs-harz.de/ From renata at ime.usp.br Wed Jun 12 14:11:00 2013 From: renata at ime.usp.br (Renata Wassermann) Date: Wed, 12 Jun 2013 09:11:00 -0300 Subject: CFP : ONTOBRAS - 6th Brazilian Conference on Ontologies Message-ID: CFP : ONTOBRAS - 6th Brazilian Conference on Ontologies With apologies for multiple posting. Please forward to interested parties. -------------------------------------------------------------------- Call for Papers -------------------------------------------------------------------- ONTOBRAS 6th Brazilian Conference on Ontologies September 23 - 25, 2013 - Belo Horizonte / MG - Brasil Co-located event: 2nd Workshop on Semantic Web and Amazonian Biodiversity Ontology Ontology is a cross-disciplinary field concerning with the study of concepts and theories that support the building of shared conceptualizations of specific domains. In recent years, there has been a growing interest in the application of ontologies to solve modeling and classification problems in diverse areas such as Computer Science, Information Science, Philosophy, Artificial Intelligence, Linguistic, Knowledge Management and many others. The Brazilian Conference on Ontologies foresees an opportunity and scientific environment in which researchers and practitioners from Information Sciences and Computer Science can exchange the theories, methodologies, languages, tools and experience related to the ontology development and application. In particular, this Sixth Edition of the Conference is being held simultaneously with the Second Workshop on Semantic Web and Amazonian Biodiversity Ontology, putting forward the effort of the research community in integrating the previous events about Ontologies that has happened in Brazil in recent years, in order to create a unique highly scientifically qualified international forum for presenting and discussing the subject. Therefore, we provide a non-comprehensive list of areas and researchers’ communities from which we expect to receive submissions: - Information Science, for instance working with ontologies, thesauri, knowledge management among other applications, - Databases, for instance working with semantic data integration, linked open data, among other applications, - Artificial Intelligence, for instance working with knowledge based systems, agents, ontology reasoning, among other applications - Software Engineering, for instance working with conceptual modeling, Business Process Models, among other applications, - Informatics in Education, for instance working with Educational Ontologies , Semantic Web-based Educational Standards, among other applications, - Linguistics and philosophy, working with natural language processing using ontologies, theories of representation, among other applications. Researchers and practitioners are invited to submit theoretical, technical and practical research contributions that directly or indirectly address the issues above. Particularly welcome are e-science, life-sciences, e-business and cultural applications. CALL FOR PAPERS We would like to invite you to participate in the 6th Brazilian Conference on Ontologies, which will be held this year in Belo Horizonte, MG, Brazil, on September 23-24. ONTOBRAS is the Brazilian meeting for discussing Ontologies and this year will be sponsored by Federal University of Minas Gerais. We are interested in the various aspects of the field, from its philosophical and theoretical foundations to the new technologies and innovative applications. In this edition, the meeting is opened to submissions in two categories: - Full papers (maximum 12 pages) written in English and describing work with clear demonstrated results. Accepted full paper will be invited for oral presentation. The best full papers will be invited to be extended for publication in an influential international journal. - Short papers (maximum 6 pages) written in Portuguese, English, or Spanish and describing ongoing work. Accepted short papers will be invited for poster presentations. All submissions must be in Adobe Portable Document Format (PDF) and must follow the article formatting rules provided by the Brazilian Computing Society (SBC). The models for Microsoft Office Word can be downloaded at this link: http://www.inf.ufrgs.br/ontobras-most2011/sites/default/files/sbc_template.doc; models for OpenOffice and Latex can be found at this link: http://www.inf.ufrgs.br/ontobras-most2011/sites/default/files/Template_SBC.zip. Submissions should be done via Easychair: https://www.easychair.org/conferences/?conf=ontobras2013 The conference proceedings will be published in the online journal CEUR-WS ( http://www.ceur-ws.org). IMPORTANT DATES - Main track submission deadline: July 15, 2013 - Acceptance notification: August 15, 2013 - Final version: August 27, 2013 TOPICS Suggested areas include, but are not limited to: - Ontology and Conceptual Modeling: Ontological Foundations for Conceptual Modeling and Metamodeling Foundational ontologies Upper-level ontologies Semantic consistency Ontology-based conceptual modeling tools and environments - Ontologies and Knowledge Organization: Facets Theory Concept Theory Terminology Folksonomies Documentary languages. Thesaurus Taxonomies Metadata - Ontology Engineering: Methodology, languages and tools Composition and modularity Merging, mapping and alignment Ontology language interoperability Integration methods, problems and practice - Semantic Web: Modelling Information retrieval Ontology Search - Ontology and Natural Language Processing: Linguistic ontologies applied to text processing Patterns of ontologies for specific applications - Ontology applications: Domain ontologies in e-science, e-business, natural sciences and others Knowledge management Ontologies and semantic technologies in Education - Ontology Visualization KEYNOTE SPEAKERS / TUTORIALS To be announced. PANEL A panel on Brazilian federal e-government solutions, applications, success cases, standards, efforts and actions performed by the Brazilian W3C Office will be presented at the event. COMMITTEES General Chairs - ONTOBRAS - Marcello Peixoto Bax (UFMG, Brazil) - Fernando Silva Parreiras (FUMEC, Brazil) Chair - AMAZONIA SEMANTICA - José Laurindo Campos dos Santos (INPA, Brazil) Program Chairs - ONTOBRAS - Maurício Almeida (ECI - UFMG) - Renata Wassermann (IME - USP) Steering Committee - Andreia Malucelli (PUCPR, Brazil) - Bernadette Loscio (UFPE, Brazil) - Fernando Gauthier (UFSC, Brazil) - Fred Freitas (UFPE, Brazil) - Giancarlo Guizzardi (UFES, Brazil) - Mara Abel (UFRGS, Brazil) - Marcello Bax (UFMG, Brazil) - Maria Claudia Cavalcanti (IME, Brazil) - Maria Luiza de Almeida Campos (UFF, Brazil) - Renata Vieira (PUCRS, Brazil) - Sonia Elisa Caregnato (UFRGS, Brazil) Program Committee Alan Pedro da Silva (UFAL, Brazil) Alcione Oliveira (UFV, Brazil) Alexandre Rademaker (FGV, Brazil) Alicia Diaz (UNLP, Argentina) Ana Maria de Carvalho Moura (LNCC/RJ, Brazil) Anarosa Alves Franco Brandão (USP, Brazil) Andre Freitas (DERI, Ireland) Andreia Malucelli (PUCPR, Brazil) Cassia Trojahn (INRIA & LIG, France) Claudio Gutierrez (UCHILE, Chile) Emerson Paraiso (PUCPR, Brazil) Evandro de Barros Costa (UFAL, Brazil) Fabio Andre Porto (LNCC, Brazil) Fernanda Lima (UnB, Brazil) Fernando Naufel do Amaral (UFF, Brazil) Fernando Silva Parreiras (FUMEC, Brazil) Flavio S. Correa Da Silva (USP, Brazil) Fred Freitas (UFPE, Brazil) Frederico Durao (CESAR, Brazil) Gabriela Henning (UNL, Argentine) Gerd Wagner (BTU Cottbus, Germany) Ig Ibert Bittencourt (UFAL, Brazil) Jaime Simão Sichman (USP, Brazil) José Parente de Oliveira (ITA, Brazil) Lucelene Lopes (PUCRS, Brazil) Mara Abel (UFRGS, Brazil) Marcela Vegetti (INGAR/UTN, Argentine) Marcelo Bax (UFMG, Brazil) Marcio Moretto Ribeiro (USP, Brazil) Maria Luiza Campos (UFRJ, Brazil) Mauricio Almeida (ECI-UFMG, Brazil) Monalessa Barcellos (UFES, Brazil) Oscar Corcho (UPM, Spain) Osvaldo Pessoa (USP, Brazil) Regina Braga (UFJF, Brazil) Renata Galante (UFRGS, Brazil) Renata Wassermann (IME-USP, Brazil) Ricardo Falbo (UFES, Brazil) Roberta Ferrario (LOA, Italy) Sandro Fiorini (UFRGS, Brazil) Sônia Elisa Caregnato (UFRGS, Brazil) Sean Siqueira (UNIRIO, Brazil) Seiji Isotani (USP, Brazil) Stefan Schulz (MUG, Austria) -- Renata Wassermann Associate Professor Computer Science Department University of São Paulo -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From math.semantic.web at gmail.com Wed Jun 12 16:17:50 2013 From: math.semantic.web at gmail.com (Christoph LANGE) Date: Wed, 12 Jun 2013 15:17:50 +0100 Subject: CfP for Math. in Computer Science Special Issue on 'Enabling Domain Experts to use Formalised Reasoning' (deadline 31 Oct) Message-ID: <51B8830E.4000703@gmail.com> Call for Papers for a Special Issue of MATHEMATICS IN COMPUTER SCIENCE ENABLING DOMAIN EXPERTS TO USE FORMALISED REASONING http://www.cs.bham.ac.uk/research/projects/formare/pubs/mcs-doform/ Guest editors: Manfred Kerber, Christoph Lange, Colin Rowat We invite high-quality original research papers to a special issue of the Birkhäuser/Springer journal Mathematics in Computer Science on the use of systems based on a formal, explicit, machine-verifiable representation of knowledge in application domains such as economics, engineering, health care, education. Examples include: * problems from application domains, which could benefit from better verification and knowledge management facilities, and * knowledge management and verification tools, which domain experts can use without a computer science background. (Read more about our topics of interest) For further examples, please see the Symposium on Enabling Domain Experts to use Formalised Reasoning (http://www.cs.bham.ac.uk/research/projects/formare/events/aisb2013/) held at the annual convention of the AISB (Society for the Study of Artificial Intelligence and Simulation of Behaviour) in April 2013. Submission: 31 October 2013 Notification: 15 December 2013 Revised version due: 15 January 2014 Final version due: 15 February 2014 Publication (expected): April 2014 Topics of interest include but are not limited to: * for domain experts: what problems in application domains could benefit from better verification and knowledge management facilities? Possible fields include: - Example 1 (economics): auctions, value-at-risk models, trading algorithms, market design - Example 2 (engineering): system interoperability, manufacturing processes, product classification * for computer scientists: how to provide the right knowledge management and verification tools to domain experts without a computer science background? - wikis and blogs for informal, semantic, semiformal, and formal mathematical knowledge; - general techniques and tools for online collaborative mathematics; - tools for collaboratively producing, presenting, publishing, and interacting with online mathematics; - automation and human-computer interaction aspects of mathematical wikis; - ontologies and knowledge bases designed to support knowledge management and verification in application domains; - practical experiences, usability aspects, feasibility studies; - evaluation of existing tools and experiments; - requirements, user scenarios and goals. Submissions should be approximately 20 pages long, should follow publishers' instructions and should be submitted via EasyChair. Potential contributors may contact the guest editors (doformmcs2014 at easychair.org) to discuss the suitability of topics and papers. -- Christoph Lange, School of Computer Science, University of Birmingham http://cs.bham.ac.uk/~langec/, Skype duke4701 → Intelligent Computer Mathematics, 8–12 July, Bath, UK. Early registration deadline 23 June; http://cicm-conference.org/2013/ → Knowledge and Experience Management, 7-9 October, Bamberg, Germany. Submission until 1 July; http://minf.uni-bamberg.de/lwa2013/cfp/fgwm/ → Modular Ontologies (WoMO), 15 September, Corunna, Spain. Submission until 5 July; http://www.iaoa.org/womo/2013.html From gupta at utdallas.edu Wed Jun 12 20:42:07 2013 From: gupta at utdallas.edu (Gopal Gupta) Date: Wed, 12 Jun 2013 13:42:07 -0500 Subject: Call for Papers: Logic Based Program Synthesis and Transformation (LOPSTR'13) in Madrid (deadline extended) In-Reply-To: References: Message-ID: <51B8C0FF.6070902@utdallas.edu> Please post. Thanks. -Gopal Gupta [Apologies for multiple messages] Dear Colleague: The paper submission deadline for LOPSTR'13 has been extended to June 24. Please consider submitting a paper. The call for papers is included below. The conference URL is: http://www.utdallas.edu/~gupta/lopstr/ Regards, Gopal Gupta http://www.utdallas.edu/~gupta ============================================================ LOPSTR'13 23rd International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2013 http://www.utdallas.edu/~gupta/lopstr Madrid, Spain, September 18-20, 2013 DEADLINE: Paper submission: June 24, 2013 ============================================================ The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 23rd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2013) will be held in Madrid, Spain; previous symposia were held in Leuven, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, Manchester and Odense (you might have a look at the contents of past LOPSTR symposia). LOPSTR 2013 will be co-located with PPDP 2013 (International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * specification * verification * analysis * specialization * composition * certification * transformational techniques in SE * synthesis * transformation * optimisation * inversion * program/model manipulation * security * applications and tools Survey papers, that present some aspect of the above topics from a new perspective, and application papers, that describe experience with industrial applications, are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Important Dates Paper submission: June 24, 2013 Notification (for pre-proceedings): July 24, 2013 Camera-ready (for pre-proceedings): August 5, 2013 Symposium: September 18-20, 2013 Submissions must be formatted in the Lecture Notes in Computer Science style. They cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Referees are not required to read the appendices, and thus papers should be intelligible without them. Full papers can be directly accepted for publication in the formal proceedings to be published by Springer in the LNCS series or accepted only for presentation at the symposium. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Authors should submit an electronic copy of the paper (written in English) in PDF or Postscript (Level 2). Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords. The keywords will be used to assist us in selecting appropriate reviewers for the paper. If electronic submission is impossible, please contact the program chair for information on how to submit hard copies. Papers should be submitted to the submission website for LOPSTR 2013. Program Committee Salvador Abreu Universidade de Evora and CENTRIA Elvira Albert Complutense University of Madrid, Spain Sergio Antoy Portland State University, US Henning Christiansen Roskilde University, Denmark Hai Feng Guo University of Nebraska at Omaha Gopal Gupta University of Texas at Dallas (Program Chair) Manuel Hermenegildo T.U. Madrid and IMDEA Software Research Institute Jacob Howe City University Patricia Hill University of Parma Michael Leuschel University of D??sseldorf Paulo Moura Universidade da Beira Interior, Portugal Ricardo Pe??a Universidad Complutense de Madrid Enrico Pontelli New Mexico State University I. V. Ramakrishnan SUNY Stony Brook Neda Saeedloei University of Texas at Dallas Hirohisa Seki Nagoya Institute of Technology Paul Tarau University of North Texas Neng-Fa Zhou CUNY Brooklyn College and Graduate Center Program Chair: Gopal Gupta Department of Computer Science The University of Texas at Dallas USA Symposium Chair Ricardo Pena Facultad de Informatics Universidad Complutense de Madrid 28040 Madrid, Spain From alx at mimuw.edu.pl Thu Jun 13 01:40:44 2013 From: alx at mimuw.edu.pl (Aleksy Schubert) Date: Thu, 13 Jun 2013 01:40:44 +0200 Subject: CFP Post-proceedings TYPES 2013 Types for Proofs and Programs (open call) Message-ID: <51B906FC.3060005@mimuw.edu.pl> [apologies for cross posting] Call for papers: Types for Proofs and Programs, post-proceedings of TYPES 2013 (open call) ---------------------------------------------- TYPES is a major forum for the presentation of research on all aspects of type theory and its applications. The post-proceedings of TYPES 2013, which was held in Toulouse, are open to everyone, also those who did not participate in the conference. We would like to invite all researchers that study type systems to share their results concerning type-based theorem proving environments or type-based formal modelling, in particular we welcome submissions on any topic in the following list: - Foundations of type theory and constructive mathematics. - Applications of type theory. - Dependently-typed programming. - Industrial uses of type theory technology. - Meta-theoretic studies of type systems. - Proof-assistants and proof technology. - Formalisation of proofs in type theory. - Extraction of implementations from proofs. - Automation in computer-assisted reasoning. - Links between type theory and functional programming. - Links between type theory and object-oriented programming. - Type theory in linguistics. Important dates --------------- Abstract submission deadline: 2013-09-09 Paper submission deadline: 2013-09-16 Notification of acceptance: 2014-02-17 Details ------- * Papers must be submitted in PDF format using EasyChair: https://www.easychair.org/conferences/?conf=types13postproceedin * Authors have the option to include an attachment (.zip or .tgz) containing mechanised proofs, but reviewers are not obliged to take these attachments into account. Attachments will not be published together with the papers. * The post-proceedings will be published in LIPIcs (Leibniz International Proceedings in Informatics, http://www.dagstuhl.de/en/publications/lipics), an open-access series of conference proceedings. * Authors of accepted papers retain copyright, but are expected to sign an author agreement with Schloss Dagstuhl—Leibniz-Zentrum für Informatik, see http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/. * For information about how to prepare submissions, see http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/. In general, please refer to the dedicated web site http://www.irit.fr/TYPES2013/Postproceedings.html for more detailed/specific information. * We recommend to keep the length of the contributions in the range of 15-25 pages, and 25 pages is the upper limit for the submissions. * In case of questions, please contact one of the editors. Editors ------- Ralph Matthes IRIT (CNRS and University of Toulouse), France Aleksy Schubert University of Warsaw, Poland From grlmc at urv.cat Sat Jun 15 21:38:06 2013 From: grlmc at urv.cat (GRLMC) Date: Sat, 15 Jun 2013 21:38:06 +0200 Subject: SSTiC 2013: next registration deadline 26 June Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************* 2013 INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING SSTiC 2013 Tarragona, Spain July 22-26, 2013 Organized by Rovira i Virgili University http://grammars.grlmc.com/SSTiC2013/ ********************************************************************* +++ next registration deadline: June 26 +++ ********************************************************************* AIM: SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers. SSTiC 2013 will cover the whole spectrum of computer science by means of 56 six-hour courses dealing with hot topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work. ADDRESSED TO: Graduate students from around the world. There are no pre-requisites in terms of the academic degree the attendee must hold. However, since there will be several levels among the courses, in the description of some of them reference may be made to specific knowledge background. SSTiC 2013 is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field. Finally, senior researchers will find it fruitful to listen and discuss with people who are main references of the diverse branches of computing nowadays. REGIME: 7 parallel sessions will be held during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another. VENUE: Palau Firal i de Congressos de Tarragona Arquitecte Rovira, 2 43001 Tarragona http://www.palaucongrestgna.com COURSES AND PROFESSORS: Shun-ichi Amari (Riken) [introductory] Information Geometry and Its Applications James Anderson (Chapel Hill) [intermediate] Scheduling and Synchronization in Real-Time Multicore Systems Pierre Baldi (Irvine) [intermediate] Big Data Informatics Challenges and Opportunities in the Life Sciences Yoshua Bengio (Montréal) [introductory/intermediate] Deep Learning of Representations Stephen Brewster (Glasgow) [advanced] Multimodal Human-Computer Interaction Bruno Buchberger (Linz) [introductory] Groebner Bases: An Algorithmic Method for Multivariate Polynomial Systems. Foundations and Applications Rajkumar Buyya (Melbourne) [intermediate] Cloud Computing Jan Camenisch (IBM Zurich) [intermediate] Cryptography for Privacy Larry S. Davis (College Park) [intermediate] Video Analysis of Human Activities Paul De Bra (Eindhoven) [intermediate] Adaptive Systems Paul Dourish (Irvine) [introductory] Ubiquitous Computing in a Social Context Max J. Egenhofer (Maine) [introductory/intermediate] Qualitative Spatial Relations: Formalizations and Inferences Richard M. Fujimoto (Georgia Tech) [introductory] Parallel and Distributed Simulation David Garlan (Carnegie Mellon) [advanced] Software Architecture: Past, Present and Future Mario Gerla (Los Angeles) [intermediate] Vehicle Cloud Computing Georgios B. Giannakis (Minnesota) [advanced] Sparsity and Low Rank for Robust Data Analytics and Networking Ralph Grishman (New York) [intermediate] Information Extraction from Natural Language Francisco Herrera (Granada) [intermediate] Imbalanced Classification: Current Approaches and Open Problems Paul Hudak (Yale) [introductory] Euterpea: From Signals to Symphonies Using Haskell Niraj K. Jha (Princeton) [intermediate] FinFET Circuit Design George Karypis (Minnesota) [introductory] Introduction to Parallel Computing: Architectures, Algorithms, and Programming Aggelos K. Katsaggelos (Northwestern) [intermediate/advanced] Sparsity-based Advances in Image Processing Arie E. Kaufman (Stony Brook) [advanced] Advances in Visualization Hugo Krawczyk (IBM Research) [intermediate] An Introduction to the Design and Analysis of Authenticated Key Exchange Protocols Pierre L'Ecuyer (Montréal) [intermediate] Quasi-Monte Carlo Methods in Simulation: Theory and Practice Laks Lakshmanan (British Columbia) [intermediate/advanced] Information and Influence Spread in Social Networks Wenke Lee (Georgia Tech) [introductory] DNS-based Monitoring of Malware Activities Maurizio Lenzerini (Roma La Sapienza) [intermediate] Ontology-based Data Integration Ming C. Lin (Chapel Hill) [introductory/intermediate] Physically-based Modeling and Simulation Jane W.S. Liu (Academia Sinica) [intermediate] Critical Information and Communication Technologies for Disaster Preparedness and Response Satoru Miyano (Tokyo) [intermediate] How to Hack Cancer Systems with Computational Methods Aloysius K. Mok (Austin) [intermediate] From Real-time Systems to Cyber-physical Systems Hermann Ney (Aachen) [intermediate/advanced] Probabilistic Modelling for Natural Language Processing - with Applications to Speech Recognition, Handwriting Recognition and Machine Translation Cathleen A. Norris (North Texas) & Elliot Soloway (Ann Arbor) [introductory] Primary & Secondary Educational Computing in the Age of Mobilism Jeff Offutt (George Mason) [intermediate] Cutting Edge Research in Engineering of Web Applications David Padua (Urbana) [intermediate] Parallel Programming with Abstractions Bijan Parsia (Manchester) [introductory] The Semantic Web: Conceptual and Technical Foundations Charles E. Perkins (FutureWei) [intermediate/advanced] Beyond 4G Prabhakar Raghavan (Google) [introductory/intermediate] Web Search and Advertising Phillip Rogaway (Davis) [introductory/intermediate] Provably Secure Symmetric Encryption Gustavo Rossi (La Plata) [intermediate] Topics in Model Driven Web Engineering Kaushik Roy (Purdue) [introductory/intermediate] Low-energy Computing Robert Sargent (Syracuse) [introductory] Validating Models Douglas C. Schmidt (Vanderbilt) [intermediate] Patterns and Frameworks for Concurrent and Networked Software Bart Selman (Cornell) [intermediate] Fast Large-scale Probabilistic and Logical Inference Methods Mubarak Shah (Central Florida) [intermediate/advanced] Visual Crowd Surveillance Ron Shamir (Tel Aviv) [introductory] Revealing Structure in Disease Regulation and Networks Dawn Xiaodong Song (Berkeley) [introductory] Selected Topics in Computer Security Mike Thelwall (Wolverhampton) [introductory] Sentiment Strength Detection for the Social Web Julita Vassileva (Saskatchewan) [introductory/intermediate] Engaging Users in Social Computing Systems Philip Wadler (Edinburgh) [introductory] Topics in Lambda Calculus and Life Yao Wang (Polytechnic New York) [introductory/advanced] Video Compression: Fundamentals and Recent Development Gio Wiederhold (Stanford) [introductory] Software Economics: How Do the Results of the Intellectual Efforts Enter the Global Market Place Limsoon Wong (National Singapore) [introductory/intermediate] The Use of Context in Gene Expression and Proteomic Profile Analysis Michael Wooldridge (Oxford) [introductory] Autonomous Agents and Multi-Agent Systems Ronald R. Yager (Iona) [introductory/intermediate] Fuzzy Sets and Soft Computing Philip S. Yu (Illinois Chicago) [advanced] Mining Big Data REGISTRATION: It has to be done at http://grammars.grlmc.com/SSTiC2013/Registration.php Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed when the capacity of the venue will be complete. FEES: Fees may be for the whole week (full-time participant) or per blocks of days (part-time participant). They are a flat rate allowing one to attend all courses within the time window set: 5, 4, 3 or 2 days. Fees vary depending on the deadline. ACCOMMODATION: Information about accommodation is available on the website of the School. CERTIFICATE: Participants will be delivered a certificate of attendance. IMPORTANT DATES: Announcement of the programme: January 26, 2013 Registration deadlines: next: June 26, 2013 last: July 25, 2013 QUESTIONS AND FURTHER INFORMATION: Lilica Voicu: florentinalilica.voicu at urv.cat POSTAL ADDRESS: SSTiC 2013 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34-977-559543 Fax: +34-977-558386 ACKNOWLEDGEMENTS: Departament d’Economia i Coneixement, Generalitat de Catalunya Universitat Rovira i Virgili From youakim.badr at insa-lyon.fr Mon Jun 17 12:28:54 2013 From: youakim.badr at insa-lyon.fr (Youakim Badr) Date: Mon, 17 Jun 2013 12:28:54 +0200 (CEST) Subject: CFP: 5th International ACM Conference on Management of Emergent Digital EcoSystems (MEDES'13), Luxembourg Message-ID: <1893618140.10260885.1371464934420.JavaMail.root@insa-lyon.fr> ------ Sorry for cross-postings -------- The 5th International ACM Conference on Management of Emergent Digital EcoSystems (MEDES 2013) http://sigappfr.acm.org/MEDES/13/ October 29-31, 2013 Abbey of Neumunster, Luxembourg Description and Objectives --------------------------- In the world of the Internet, the rapid growth and exponential use of digital medias leads to the emergence of virtual environments namely digital ecosystems composed of multiple and independent entities such as individuals, organizations, services, software and applications sharing one or several missions and focusing on the interactions and inter-relationships among them. The digital ecosystem exhibits self-organizing environments, thanks to the re-combination and evolution of its "digital components", in which resources provided by each entity are properly conserved, managed and used. The underlying resources mainly comprehend data management, innovative services, computational intelligence and self-organizing platforms. Due to the multi-disciplinary nature of digital ecosystems and their characteristics, they are highly complex to study and design. This also leads to a poor understanding as to how managing resources will empower digital ecosystems to be innovative and va! lue-creating. The application of Information Technologies has the potential to enable the understanding of how entities request resources and ultimately interact to create benefits and added-values, impacting business practices and knowledge. These technologies can be improved through novel techniques, models and methodologies for fields such as data management, web technologies, networking, security, human-computer interactions, artificial intelligence, e-services and self-organizing systems to support the establishment of digital ecosystems and manage their resources. The International ACM Conference on Management of Emergent Digital EcoSystems (MEDES) aims to develop and bring together a diverse community from academia, research laboratories and industry interested in exploring the manifold challenges and issues related to resource management of Digital Ecosystems and how current approaches and technologies can be evolved and adapted to this end. The conference seeks related original research papers, industrial papers and proposals for demonstrations. Topics ------- In this call, we solicit original research and technical papers not published elsewhere. The papers can be theoretical, practical and application oriented on the following themes (but not limited to): - Digital Ecosystem Infrastructure - Big Data - Services - Cloud Computing - Emergent Intelligence - Trust, Security & Privacy - Data & Knowledge Management - Web and Standards - Networks and Protocols Paper Submission ---------------- Submissions must be in an electronic form as PDF format and should be uploaded using the conference website. The submitted paper should be at most 8 ACM single-space printed pages. Papers that fail to comply with length limit will be rejected. Submissions will be peer-reviewed by at least 3 peer reviewers. After the preliminary notification date, authors rebut by evidence and arguments all reviewer inquiries and their comments. Based on the rebuttal feedback, reviewers notify authors with the final decision. Selection criteria will include: relevance, significance, impact, originality, technical soundness, and quality of presentation. Preference will be given to submissions that take strong or challenging positions on important emergent topics related to Digital Ecosystems. At least one author should attend the conference to present the paper. The conference Proceedings will be published by ACM and indexed by the ACM Digital Library and DBLP. Important Dates ---------------- - Extended Submission Deadline: June 30, 2013 (extended) - Preliminary Notification of Acceptance: September 1st, 2013 - Rebuttal Deadline: September 4th, 2013 - Final Notification of Acceptance: September 5th, 2012 - Camera Ready: September 20th, 2013 - Conference Dates: October 28-31, 2013 Special issues and Journal Publication --------------------------------------- Extended versions of selected papers will be published in several peer reviewed journals. The list of journals will be announced later. General Chairs --------------- Latif Ladid,University of Luxembourg, Luxembourg Peter A. Bruck, Research Studios Austria Forschungsgesellschaft mbH, Austria Antonio Montes, Centro de Tecnologia da Informacao Renato Archer, Brazil Program Chairs -------------- Fernando Ferri, IRPPS-CNR, Italy Richard Chbeir, University of Pau and Adour Countries, France Local Organizing Chairs ------------------------------- Frederic Andres, National Institute of Informatics, Japan Ingrid Zantis, Zantis-Consulting, Luxembourg Jean-Paul Hengen, ICT Sector Development, Luxembourg Publicity Chairs ------------------ Youakim Badr, INSA-Lyon, France Stephane Bressan, NUS, Singapour Rajkumar Kannan,Bishop Heber College Autonomous, India Patrizia Grifoni, IRPPS-CNR, Italy International Program Committee -------------------------------- (See website of the conference) From markus.kroetzsch at cs.ox.ac.uk Mon Jun 17 15:46:36 2013 From: markus.kroetzsch at cs.ox.ac.uk (=?windows-1252?Q?Markus_Kr=F6tzsch?=) Date: Mon, 17 Jun 2013 14:46:36 +0100 Subject: [CfP] 2nd Int Workshop on Ordering and Reasoning (OrdRing2013) @ISWC2013 Message-ID: <51BF133C.7070707@cs.ox.ac.uk> [Apologies if you receive multiple copies of this call.] [2nd CALL FOR PAPERS] 2nd International Workshop on Ordering and Reasoning (OrdRing2013) October 21st/22nd, 2013 - Sydney, Australia Collocated with the 12th International Semantic Web Conference (ISWC 2013) http://www.streamreasoning.org/events/ordring2013 IMPORTANT DATES --------------- Abstract submission deadline: 3 July 2013 Paper submission deadline: 10 July 2013 Notification of acceptance: 9 August 2013 GOALS AND TOPICS ---------------- More and more applications require real-time processing of massive, dynamically generated, ordered data; where order is often an essential factor reflecting recency, proximity or relevance. Stream and rank-aware data management techniques are progressively providing reactive and reliable query answering over such massive datasets, allowing integration of highly dynamic sources. Key to their success is the use of streaming algorithms that harness the natural or enforceable orders in the data. The expressive power of Semantic technologies is needed in those applications, but Semantic Technologies risk being unable to address the needs of those applications, because they do not consider ordering as an essential property. Ranking results is often seen as an “added task”, performed after inference, without affecting the inference process, which is order-agnostic. However, we perceive a trend towards order-aware semantic technologies: both researchers and practitioners understand that order matters in reasoning over massive and highly dynamic data. The idea of Stream Reasoning is gaining considerable momentum. Some top-k query answering techniques for Linked Data appeared. Several works are considering SPARQL query answering on RDF annotated with labels partially ordered. The Description Logic community is investigating top-k ontological query answering. This workshop aims at bringing together this growing and very active community interested in integrating ordering with reasoning by using methods inspired by stream and rank-aware data management. We see this workshop as a first step to stimulate and guide a paradigm shift in semantic technologies. Topics include, but not limited to: - Inferencing with streaming algorithms - Ontological query answering over highly dynamic data - Incremental maintenance of materialization of highly dynamic data - Ontological top-k query answering over massive ordered data - A top-k query answering for fuzzy logics - Continuous query answering for fuzzy logics - Knowledge Representation for ordered facts - Applications of stream reasoning and top-k ontological query answering - Role of parallelization and distribution in order-aware semantic technologies - Harvesting and combining orders in data - Approximation approaches to inference with orderings - Proposals for and applications of benchmarks - Implementation and evaluation experiences SUBMISSION GUIDELINES AND PROCEEDINGS ------------------------------------- We will welcome submissions describing ideas, experiments, and application visions originating from requirements for, and efforts aimed at, interleaving ordering and reasoning. We will encourage demos and posters not exceeding 4 pages, short position papers not exceeding 6 pages as well as longer technical papers not exceeding 12 pages. They should follow the LNCS proceedings style files. Submissions should be formatted according to the Lecture Notes in Computer Science guidelines for proceedings available at http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0. Papers should be submitted in PDF format. All submissions will be done electronically via the OrdRing2013 web submission system (http://www.easychair.org/conferences/?conf=ordring2013). The Workshop Proceedings will be published as CEUR Workshop Proceedings (www.ceur-ws.org) ORGANISING COMMITTEE -------------------- Emanuele Della Valle (Politecnico di Milano) Markus Krötzsch (University of Oxford) Stefan Schlobach (Vrije Universiteit Amsterdam) Irene Celino (CEFRIEL) PROGRAM COMMITTEE ----------------- * Alessandro Bozzon (Delft University of Technology) * David Carral (Wright State University) * Oscar Corcho (Universidad Politécnica de Madrid) * Peter Haase (fluid Operations) * Carsten Lutz (Universität Bremen) * Jeff Z. Pan (University of Aberdeen) * Axel Polleres (Siemens AG Österreich / DERI, National University of Ireland, Galway) * Sebastian Rudolph (Technische Universität Dresden) * Steffen Staab (University of Koblenz-Landau) * Umberto Straccia (ISTI-CNR) * Guido Vetere (IBM) * Haofen Wang (Shanghai Jiao Tong University) * Kewen Wang (Griffith University) * Gerhard Weikum (Max-Planck Institute for Informatics) * Zhe Wu (Oracle) -- Dr. Markus Kroetzsch Department of Computer Science, University of Oxford Room 306, Parks Road, OX1 3QD Oxford, United Kingdom +44 (0)1865 283529 http://korrekt.org/ From prich at andrew.cmu.edu Tue Jun 18 20:52:23 2013 From: prich at andrew.cmu.edu (Patricia Rich) Date: Tue, 18 Jun 2013 14:52:23 -0400 Subject: 1st Call for Proposals: NASSLLI 2014 / North American Summer School in Logic, Language and Information Message-ID: ************************* NASSLLI 2014 North American Summer School in Logic, Language and Information 2014http://nasslli2014.com/ June 23-27 2014, University of Maryland, College Park 1st CALL for COURSE and WORKSHOP PROPOSALS The sixth NASSLLI (after previous editions at UT Austin, Stanford University, Indiana University and UCLA) will be hosted at the University of Maryland, College Park, June 23-27 2014. The summer school, aimed at graduate students and advanced undergraduates in a wide variety of fields, is loosely modeled on the long-running ESSLLI series in Europe. It will consist of a number of courses and workshops, selected on the basis of proposals. By default, courses and workshops meet for 90 minutes on each of five days. Proposals are invited for courses or workshops that present interdisciplinary work between the areas of logic, linguistics, computer science, cognitive science, philosophy and artificial intelligence, though work in just one area is within the scope of the summer school if it can be applied in other fields. Examples of possible topics would include e.g. logics for communication, computational semantics, modal logics, game theory and decision theory, dynamic semantics, machine learning, Bayesian cognitive modeling, probabilistic models of language and communication, and automated theorem proving. We encourage potential course or workshop contributors to check out previous programs at: * http://nasslli2012.com/ * http://www.linguistics.ucla.edu/nasslli04/program.html * http://www.stanford.edu/group/nasslli/ * http://www.indiana.edu/~nasslli/2003/program.html * http://www.indiana.edu/~nasslli/ Courses and workshops should aim to be accessible to an interdisciplinary, graduate level audience. Courses may certainly focus on a single area, but lecturers should then include introductory background, try to avoid specialized notation that cannot be applied more widely, and spend time on the question of how the topic is relevant to other fields. A workshop can be more accessible if its program is bracketed by broader-audience talks that introduce and summarize the week's presentations. Associated Workshops/Conferences: In addition to courses and workshops taking place during the main NASSLLI five day session, NASSLLI welcomes proposals for 1-3 day workshops or conferences hosted on campus immediately before or after the summer school, thus on the weekends of June 15-17 and June 23-25 2012. Previous such associated meetings have included the Dynamic Epistemic Logic Workshop, the Mathematics of Language conference, and the Theoretical Aspects of Reasoning About Knowledge (TARK) conference. Submission Details: Submissions should be submitted using EasyChair (https://www.easychair.org/conferences/?conf=nasslli2014), and should indicate 1) person(s) in charge of the course/workshop and affiliation(s) 2) type of event (one week course or workshop, 90 min a day) 3) course/workshop title 4) an outline of the course/workshop up to 500 words 5) Special equipment (if any) needed to teach the course (beamer, computer ...) 6) a statement about the instructor's experience in teaching in interdisciplinary settings 7) expected costs (whether you want to be paid hotel and/or travel, and descriptions of funding in hand or for which you will apply) Financial Details: A course may be taught by one or two persons. Conference fees are waived for all instructors. However, we can only guarantee paid accommodation for one instructor per course. Where need arises, we hope to be able to reimburse instructors for reasonable travel expenses. However, we encourage all lecturers to fund their own travel if this is feasible, since this will allow us to use our available funding for student scholarships. We must also stress that while proposals from all over the world are welcomed, the Summer School can in general expect only to reimburse travel costs for travel from destinations within North America to Maryland, although exceptions can be made depending on the financial situation. Workshops are more complicated financially than courses, and a proposal for a workshop should include a plan to obtain some outside funding for the speakers. Schedule:September 1 2013 - Review of course proposals will begin; we will continue to accept proposals until the schedule is filled;October 1 2013 - Course/workshop proposers notified of p.c. decisions;May 15, 2014 - Material for courses available for printing; Local Organizers and Program Committee: The local organizer for NASSLI 2014 is Eric Pacuit. The Program Committee is co-chaired by Thomas Icard (Stanford) and Mandy Simons (CMU). The full committee will be announced soon on the NASSLI 2014 website. Contact Information: For questions relating to proposals and proposal submission, send email to pc at nasslli2014.com For questions relating to local organization, send email to oc at nasslli2014.com Standing NASSLLI Steering Committee: David Beaver, University of Texas, Austin Phokion Kolaitis, UC Santa Cruz and IBM Almaden Research Center Lawrence S. Moss, Indiana University Valeria de Paiva , Rearden Commerce, Inc. Stuart Shieber, Harvard University Moshe Vardi, Rice University -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ngonga at informatik.uni-leipzig.de Thu Jun 20 13:48:18 2013 From: ngonga at informatik.uni-leipzig.de (Axel Ngonga) Date: Thu, 20 Jun 2013 13:48:18 +0200 Subject: BioASQ workshop CfP Message-ID: <51C2EC02.6060608@informatik.uni-leipzig.de> Apologies for multiple postings. =================================================================== BioASQ Workshop Website: http://www.bioasq.org/news/bioasq-workshop Project URL: http://www.bioasq.org/ Post-conference workshop after CLEF 2013, September 27, Valencia, Spain =================================================================== *Scope* Every day, we generate 2.5 quintillion bytes of data. In domains such as bio-medicine, approximately 3000 new articles are published on the Web every day. This averages to more than 2 articles every minute. In addition to the sheer amount of information available on the Web, the variety of this information increases everyday and ranges for structured data in the form of ontologies to unstructured data in the form of documents. Staying on top of this huge amount of diverse data requires methods that allow detecting and integrating portions of datasets that satisfy the information need of given users from sources such as documents, ontologies, Linked Data sets, etc. Developing tools to achieve this bold goal requires combining techniques from several disciplines including Natural Language Processing (e.g., question answering, document summarization, ontology verbalization), Information Retrieval (e.g., document and passage retrieval), Machine Learning (e.g., large-scale hierarchical classification, clustering, etc.), Semantic Web/Linked Data (e.g., reasoning, link discovery) and Databases (e.g., storage and retrieval of triples, indexing, etc.). The aim of the BioASQ workshop is to bring experts from these domains together in order to push the research frontier towards hybrid information systems that will be able to deal with the whole diversity of the Web, especially for, but not restricted to the context of bio-medicine. During the workshop, the results of the open BioASQ challenge will also be presented. The topics of interest include (but are not restricted to): * Large-scale hierarchical text classification * Large-scale classification of documents onto ontology concepts (semantic indexing) * Classification of questions onto ontological concepts * Scalable approaches to document clustering * Text summarization, especially multi-document and query-focused summarization * Verbalization of structured information and related queries (RDF, OWL, SPARQL, etc.) * Question Answering over structured, semi-structured and unstructured data * Reasoning for information retrieval and question answering * Information retrieval over fragmented sources of information * Efficient indexing and storage structures for information retrieval * Delivery of the retrieved information in a concise and user-understandable form Papers are to be submitted in the LNCS format. We accept both short (max. 6 pages) and long submissions (max. 12 pages). All submissions must be carried out on EasyChair (https://www.easychair.org/conferences/?conf=bioasq2013). The proceedings will be published at http://ceur-ws.org/. Important dates Submission Deadline: August 15th, 2013 Notification of acceptance/rejection: August 31st, 2013 Camera-Ready Deadline: September 15th, 2013 Workshop: September 27th, 2013 Organization The BioASQ project, led by George Paliouras, NCSR “Demokritos”, Greece. -- Axel Ngonga, Dr. rer. nat Head of SIMBA/AKSW Augustusplatz 10 Room P616 04109 Leipzig Tel: +49 (0)341 9732341 Fax: +49 (0)341 9732239 From sasopublicitychair at yahoo.com Sat Jun 22 10:09:12 2013 From: sasopublicitychair at yahoo.com (SASO Publicity Chair) Date: Sat, 22 Jun 2013 10:09:12 +0200 Subject: =?UTF-8?B?77u/SUVFRSBTQVNPIFdvcmtzaG9wczogQ2FsbCBmb3IgUGFwZXJz?= In-Reply-To: <51A61DA5.5090603@yahoo.com> References: <519113A3.5030202@yahoo.com> <51911409.6090902@ethz.ch> <51A61D71.7000409@ethz.ch> <51A61DA5.5090603@yahoo.com> Message-ID: <51C55BA8.1030101@yahoo.com> IEEE SASO Workshops: Call for Papers *** Important Dates *** Paper Submission Deadline: July 11, 2013 Paper Acceptance Notification: July 25, 2013 Camera-Ready Deadline: August 14, 2013 Early Registration Deadline: August 21, 2013 Workshop Dates: September 9/13, 2013 ****************************************** *** Adaptive Host and Network Security *** (AHAN 2013) ****************************************** Monday, September 9th, 2013 http://www.dollabs.com/ahanssaso2013.htm Organizing Committee: Stuart Wagner, Applied Communication Sciences, NJ, USA Robert Laddaga, DOLL Inc., MA, USA Robert Watson, University of Cambridge, UK There is a clear need to develop systems at both the host level and the network level to actively adapt to cyber attacks and to provide greater protection for networked computation at all levels. The significance of this workshop is to bring together researchers from different areas such as networking, programming languages, computer hardware, and operating systems to gain broad insights into specific research issues related to adaptive host and network security, and to foster discussions about ongoing research, establish directions for future research and collaborations, and identify best practices for adaptive security. ******************************************************************************* *** Socially Adaptive and Socio-Aware Information and Communication Systems *** (SocioAware 2013) ******************************************************************************* Monday, September 9th, 2013 http://www.socioaware.net/ Organizing Committee: Peter Sturm, University of Trier, Germany Jean Botev, University of Luxembourg, Luxemburg Ingo Scholtes, ETH Zurich, Switzerland Markus Esch, Fraunhofer Institute, Germany Bernd Klasen, University of Luxemburg/SES Astra, Luxemburg Social services and utilities pervade more and more aspects of our daily lives and will conceivably become an integral part of future software systems. While it is common and important to investigate how the associated gradual convergence of social and technical systems influences individuals and society, the fact that this influence is mutual is far less explored. Networked computing infrastructures involving cloud computing, virtualization techniques, Peer-to-Peer technologies or other Internet-based applications are shaped not only by technological considerations but, increasingly, also by the social structures and processes into which they are embedded. The growing interconnectedness of users leads to highly correlated behavior and the emergence of collective phenomena which naturally retroact on the technical systems by which they are mediated. The workshop seeks to shed light on the question how the increasing pervasion of technical infrastructures with social aspects affects the engineering of reliable and scalable networked computing systems. A particular focus will be laid upon the question how the ongoing trend towards a rigorous mathematical modeling of self-organization processes in social systems (for instance in the language of complex networks, dynamical systems and random matrix theory) can influence and inspire the design of distributed algorithms, network topologies and communication protocols, resulting in what may be called socio-aware networked computing systems. ********************************************************** *** Trustworthy Self-Organising and Autonomous Systems *** (TSOAS 2013) ********************************************************** Monday, September 9th, 2013 http://tsos.isse.de/2013/ Organizing Committee: Wolfgang Reif, University of Augsburg, Germany Christian Müller-Schloer, Leibniz University Hannover, Germany Audun Jøsang, University of Oslo, Norway Jan-Philipp Steghöfer, University of Augsburg, Germany The nature of self-organizing and autonomous systems and cyper-physical entities demands that issues of trust and their trustworthiness become a primary concern. The Fourth Edition of the Workshop on Trustworthy Self-Organizing and Autonomous Systems (TSOS 2013) will provide an open stage for discussions about the different facets of trust in self-organizing and autonomous systems, how every single one of them can be fostered, and how they relate. ******************************************************************** *** Challenges for Achieving Self-Awareness in Autonomic Systems *** (AWARE 2013) ******************************************************************** Friday, September 13th, 2013 http://www.aware-project.eu/saso-2013/ Organizing Committee: Emma Hart, Edinburgh Napier University, UK Giacomo Cabri, Università di Modena e Reggio Emilia, Italy Jeremy Pitt, Imperial College London, UK As technology continues to rapidly advance, the management of systems becomes increasingly more difficult: systems are likely to be composed of heterogeneous devices, the topology of the system can dynamically change to device mobility; components of the system are probably programmed with different models, and emergent behaviours can occur, not pre-programmed into the system. On top of this, users of systems expect 24/7 reliability, high levels of security, and privacy of their data. The scale of the challenge imposed by the necessity to manage these systems is such that control can no longer be devolved to a human. Systems must be able to manage themselves, delivering high-quality of service while at the same time optimising overall performance and resource usage. This poses significant challenges - systems must respond to ever changing conditions, and continuously adapt to external context (such as user requirements and behaviour). Awareness will be required across a hierarchy of levels, ranging from an individual component level to global levels of patterns of use, system performance, network conditions and available resources. The goal of the workshop is to identify key challenges involved in creating self-aware systems which are capable of autonomous management, and consider methods by which these challenges can be addressed. ************************************************************************************* *** Computationally Adapted {laws | policies | norms} for Self-Organising Systems *** (CA*OS 2013) ************************************************************************************* Friday, September 13th, 2013 http://www.iis.ee.ic.ac.uk/~dbusquet/CAOS2013/ Organizing Committee: Gerrit Anders, University of Augsburg Didac Busquets, Imperial College London, UK Giuseppe Contissa, European University Institute, Italy Bastin Tony Roy Savarimuthu, University of Otago, New Zealand Many systems, as well as organisations, are characterised by having a set of rules that drive (and limit) the interactions amongst their components. These rules may range from simple ones to complex legal systems, norms, contracts or policies, among others. Examples of this kind of systems may be technical systems such as computing grids or sensor networks, which have to share limited resources, as well as socio-technical systems, with humans involved in the functioning of the system, such as in smart grids. While in many cases these rules would be fixed, probably set by some authority, there is an increasing need of flexibility and openness. This includes changing existing rules, generating new ones, deciding who makes the decisions and when these are made, setting what happens when agents do not follow the rules, or assessing whether a set of rules fits the system's purpose, among others. The aim of the workshop is to discuss, based on high quality position or research papers, the different aspects, effects, and representations of law, norms, and justice in self-organising systems and to debate the impact of current and future technical self-organising systems on legal systems. Thank you very much for your attention, IEEE SASO 2013 workshop chair From grlmc at urv.cat Sun Jun 23 13:04:19 2013 From: grlmc at urv.cat (GRLMC) Date: Sun, 23 Jun 2013 13:04:19 +0200 Subject: TPNC 2013: 3rd call for papers Message-ID: <7A4395C11AA140A58958E3F32B010302@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ************************************************************************* 2nd INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING TPNC 2013 Cáceres, Spain December 3-5, 2013 Organized by: Computer Architecture and Logic Design Group (ARCO) University of Extremadura Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/tpnc2013/ ********************************************************************* AIMS: TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2013 will reserve significant room for young scholars at the beginning of their career. It aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature. VENUE: TPNC 2013 will take place in Cáceres, in Western Spain, 300 kms. to the southwest of Madrid and 100 kms. to the Portuguese border. The old city is a UNESCO World Heritage site. SCOPE: Topics of either theoretical, experimental, or applied interest include, but are not limited to: * Nature-inspired models of computation: - amorphous computing - cellular automata - chaos and dynamical systems based computing - evolutionary computing - membrane computing - neural computing - optical computing - swarm intelligence * Synthesizing nature by means of computation: - artificial chemistry - artificial immune systems - artificial life * Nature-inspired materials: - computing with DNA - nanocomputing - physarum computing - quantum computing and quantum information - reaction-diffusion computing * Information processing in nature: - developmental systems - fractal geometry - gene assembly in unicellular organisms - rough/fuzzy computing in nature - synthetic biology - systems biology * Applications of natural computing to: algorithms, bioinformatics, control, cryptography, design, economics, graphics, hardware, learning, logistics, optimization, pattern recognition, programming, robotics, telecommunications etc. A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions. STRUCTURE: TPNC 2013 will consist of: ‐ invited talks ‐ invited tutorials ‐ peer-reviewed contributions INVITED SPEAKERS: Risto Miikkulainen (Austin), Evolving Neural Networks (tutorial) Yew-Soon Ong (Singapore), Advances in Memetic Computation Xin Yao (Birmingham), Evolutionary Algorithm Portfolios for Numerical Optimisation PROGRAMME COMMITTEE: Selim G. Akl (Kingston, CA) Thomas Bäck (Leiden, NL) Peter J. Bentley (London, UK) Hans-Georg Beyer (Dornbirn, AT) Mauro Birattari (Brussels, BE) Jinde Cao (Nanjing, CN) Vladimir Cherkassky (Minneapolis, US) Sung-Bae Cho (Seoul, KR) John A. Clark (York, UK) Carlos A. Coello Coello (Mexico DF, MX) David W. Corne (Edinburgh, UK) Peter Dayan (London, UK) Bernard De Baets (Ghent, BE) Andries P. Engelbrecht (Pretoria, ZA) Enrique Herrera-Viedma (Granada, ES) Yaochu Jin (Guildford, UK) Nikola Kasabov (Auckland, NZ) Vladik Kreinovich (El Paso, US) Kwong-Sak Leung (Hong Kong, CN) Xiaohui Liu (London, UK) Manuel Lozano (Granada, ES) Carlos Martín-Vide (Tarragona, ES, chair) Julian F. Miller (York, UK) Frank Neumann (Adelaide, AU) Leandro Nunes de Castro (São Paulo, BR) Nikhil R. Pal (Kolkata, IN) Günther Palm (Ulm, DE) José Carlos Príncipe (Gainesville, US) Helge Ritter (Bielefeld, DE) Conor Ryan (Limerick, IE) Hava Siegelmann (Amherst, US) Moshe Sipper (Beer-Sheva, IL) Thomas Stützle (Brussels, BE) Ponnuthurai N. Suganthan (Singapore, SG) Johan Suykens (Leuven, BE) Kay Chen Tan (Singapore, SG) Dacheng Tao (Sydney, AU) Jon Timmis (York, UK) Marco Tomassini (Lausanne, CH) Michael D. Vose (Knoxville, US) Michael N. Vrahatis (Patras, GR) Harald Weinfurter (Munich, DE) Rolf Würtz (Bochum, DE) Jun Zhang (Guangzhou, CN) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Martín-Vide (Tarragona, co-chair) Bianca Truthe (Magdeburg) Miguel A. Vega-Rodríguez (Cáceres, co-chair) Florentina Lilica Voicu (Tarragona) LOCAL COMMITTEE: Víctor Berrocal-Plaza José M. Chaves-González Juan A. Gómez-Pulido David L. González-Álvarez José M. Granado-Criado Alejandro Hidalgo-Paniagua José M. Lanza-Gutiérrez Álvaro Rubio-Largo Sergio Santander-Jiménez Miguel A. Vega-Rodríguez (chair) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices) and should be formatted according to the standards of the Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=tpnc2013 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. A special issue of the journal Soft Computing (Springer, 2011 impact factor: 1.880) will be later published containing peer-reviewed extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The period for registration is open from April 17 to December 3, 2013. The registration form can be found at: http://grammars.grlmc.com/tpnc2013/Registration DEADLINES: Paper submission: July 16, 2013 (23:59h, CET) Notification of paper acceptance or rejection: August 27, 2013 Final version of the paper for the LNCS proceedings: September 3, 2013 Early registration: September 10, 2013 Late registration: November 19, 2013 Starting of the conference: December 3, 2013 End of the conference: December 5, 2013 Submission to the post-conference special issue: March 5, 2014 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: TPNC 2013 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34-977-559543 Fax: +34-977-558386 ACKNOWLEDGEMENTS: Departament d’Economia i Coneixement, Generalitat de Catalunya Universidad de Extremadura Universitat Rovira i Virgili From tony.savarimuthu at otago.ac.nz Tue Jun 25 05:40:50 2013 From: tony.savarimuthu at otago.ac.nz (Tony Savarimuthu) Date: Tue, 25 Jun 2013 03:40:50 +0000 Subject: Third CFP: CA*OS @ SASO 2013: Workshop on Computationally Adapted {laws | policies | norms} for self-Organising Systems (deadline: 11th July) Message-ID: Apologies for multiple posting *********************************************************************** CA*OS 2013 1st Workshop on Computationally Adapted {laws | policies | norms} for self-Organising Systems September 13, 2013; Philadelphia (PA), USA; 9-13 September 2013 http://www.iis.ee.ic.ac.uk/~dbusquet/CAOS2013 Affiliated to SASO 2013 Seventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems Submission Deadline: July 11, 2013 *********************************************************************** Call for Papers =============== Many systems, as well as organisations, are characterised by having a set of rules that drive (and limit) the interactions amongst their components. These rules may range from simple ones to complex legal systems, norms, contracts or policies, among others. Examples of this kind of systems may be technical systems such as computing grids or sensor networks, which have to share limited resources, as well as socio-technical systems, with humans involved in the functioning of the system, such as in smart grids. While in many cases these rules would be fixed, probably set by some authority, there is an increasing need of flexibility and openness, i.e., participating agents should be able to be involved in the decision making about how the system is run. This is the case in self-organising systems, where the components play a fundamental role in modifying and adapting such rules. This includes changing existing rules, generating new ones, deciding who makes the decisions and when these are made, setting what happens when agents do not follow the rules, or assessing whether a set of rules fits the system's purpose, among others. The aim of the workshop is to discuss - based on high quality position or research papers - the different aspects, effects, and representations of law, norms, and justice in self-organising systems and to debate the impact of current and future technical self-organising systems on legal systems. Therefore, we want to bring together researchers of different communities such as Multi-Agent Systems, Autonomic Computing, Organic Computing, Trust Management, Cyber-Physical Systems, Distributed Systems and social sciences. The workshop is an opportunity to promote a common understanding of the concept of computational justice, present on-going research, and identify areas where more attention from the community is required. Topics ====== Examples of areas of interest include, but are not limited to, the following: - Self-organising norm-governed systems - Contract-based systems - Self-organising and evidence-based policies - Computational justice - Representation of and reasoning about computational laws - Impact of technical, self-organising systems on legal systems - Games with mutable rules Aim of the Workshop and Audience ================================ The workshop is aimed at researchers that have been investigating concepts or mechanisms to formalise, incorporate, or reason about computational justice, rules, laws, or norms in self-organising systems or that have been looking into self-organising systems that require such mechanisms to enable efficient, sustainable, and robust operation. We explicitly encourage participation of researchers from different communities within computer science as well as social sciences. The workshop will be set in an informal and cooperative atmosphere with ample time allotted to discussions. Important Dates =============== * Paper submission: July 11, 2013 * Acceptance Notification: July 25, 2013 * Camera-ready version: August 14, 2013 * Workshop: September 13, 2013 Paper Submission ================ The workshop organizers solicit both original research papers as well as position papers on the topics outlined in the Call for Papers. Each paper will be reviewed in a double-blind process. The decision will be based on the motivation of the research, the clarity of the claims of the contribution, the relevance of the research to the domain of self-organizing systems, its evaluation, and the thoroughness of the related work comparison. Submitted papers must not have been previously published or submitted elsewhere. The proceedings of all SASO workshops will be published by IEEE Computer Society Press and made available as a part of the IEEE digital library. Submissions should not exceed 6 pages and formatted according to the IEEE Computer Society Press proceedings style guide and submitted electronically in pdf format. Please submit your papers using the conference management system that will be linked on the website well in advance of the submission deadline. One of the authors has to register for the conference and workshop. Workshop Organization ===================== - Gerrit Anders University of Augsburg Universitätsstr. 6a 86159 Augsburg, Germany Tel. +49 821 598 2187 anders at informatik.uni-augsburg.de - Dr. Didac Busquets Imperial College London Exhibition Road, South Kensington Campus, SW7 2BT London, United Kingdom Tel. +44 (0)207 594 6187 didac.busquets at imperial.ac.uk - Dr. Giuseppe Contissa European University Institute Law Department Villa Schifanoia - Via Boccaccio 121, I-50133 Florence, Italy Office Tel: +39 055 4685 406 giuseppe.contissa at eui.eu - Dr. Bastin Tony Roy Savarimuthu Department of Information Science University of Otago 60 Clyde Street Dunedin, New Zealand Tel. +64 3 4795143 tony.savarimuthu at otago.ac.nz Program Committee ================= Prof. Dr. Christian Müller-Schloer, Leibniz University Hannover (Germany) Dr. Tina Balke, University of Surrey (UK) Dr. Maite Lopez, Universitat de Barcelona (Spain) Prof. Dr. Elisabeth André, University of Augsburg (Germany) Dr. Jeremy Pitt, Imperial College London (UK) Dr. Regis Riveret, Imperial College London (UK) Prof. Antonino Rotolo, Universita di Bologna (Italy) Dr. Jordi Sabater, Artificial Intelligence Research Institute (Spain) Prof. Giovanni Sartor, Universita di Bologna (Italy) Dr. Sven Tomforde, University of Augsburg (Germany) Dr. Wamberto Vasconcelos, University of Aberdeen (UK) Dr. Daniel Villatoro, Barcelona Digital (Spain) Prof. Christiano Castelfranchi, Institute of Cognitive Sciences and Technology (Italy) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jist2013 at yonsei.ac.kr Tue Jun 25 11:14:00 2013 From: jist2013 at yonsei.ac.kr (=?UTF-8?B?SklTVDIwMTM=?=) Date: Tue, 25 Jun 2013 18:14:00 +0900 (KST) Subject: =?UTF-8?B?W0pJU1QyMDEzXSBDYWxsIEZvciBQYXBlcnM=?= Message-ID: <51c960ea3fa1_@_imoxion.com> ----------------------------------------------------------------------------------------------- - Our apologies if you receive multiple copies of this CFP - ----------------------------------------------------------------------------------------------- ***** PAPER SUBMISSION DEADLINE ***** 23:59 (Hawaii Time), August 20, 2013 ----------------------------------------------------------------------------------------------- CALL FOR PAPERS JIST2013 The Joint International Semantic Technology Conference http://smartweb.yonsei.ac.kr/jist2013/ sponsored by Korea Intelligent Information System Society November 28-30, 2013 Seoul, Korea ----------------------------------------------------------------------------------------------- The Joint International Semantic Technology Conference (JIST) is a regional federation of Semantic Technology related conferences. The mission of JIST is to bring together researchers in Semantic Technology research community and other areas of semantic related technologies to present their innovative research results or novel applications of semantic technologies. The JIST 2013solicits the submission of original research papers on Semantic Web and Data Science related technologies, as well as papers on applications of semantic technologies. Topics of interest include, but are not limited to: l Ontology and Reasoning - Ontology modeling, reuse, extraction, and evolution - Ontology mapping, merging, and alignment - Ontology evaluation - Searching and ranking ontologies - Reasoning over Semantic Web data - New formalisms (such as probabilistic approaches) - Lightweight semantics (linked data, microformats, etc.) l Management of Semantic Web Data - Languages, tools, and methodologies for Semantic Web data - Database, IR, and AI technologies for Semantic Web data - Robust and scalable knowledge management and reasoning on the Web - Machine learning and information extraction on the Web - Cleaning, assurance, and provenance of Semantic Web data, services, and processes l Linked Data - Publication of Linked Data - Consumption of Linked Data - Reasoning with Linked Data - Search, query, integration, and analysis on Linked Data - Integration and mashup of Linked Data - Mining of Linked Data - Domain specific applications (eGovernment, disaster, life science etc.) l Social Semantic Web - Semantics for social media data - Social network analysis with Semantic Web Technologies - Querying, mining and analysis of social semantic data - Social Semantic Web applications - Semantic Web technologies for collaboration and cooperation - Representing and reasoning about trust, privacy, and security l Applications of the Semantic Web - Semantic Web for big data - Semantic Web for desktops or personal information management - Semantic Web for multimedia, sensors, and situational awareness - Semantic Web for P2P, services, agents, grids, and middleware - Semantic Web for software and systems engineering - Mobile Semantic Web - Interface for Semantic Web l Big Data and Data Science - Knowledge Graph and Entity Graph Generation - Graph Mining for Big Data - Data Journalism - Open Data Government - Advanced Data Analytics - Data Centric Science and Management - Data Art and Data Centric Humanities l Empirical Issues of Semantic Web Technology - Description of an implemented application of semantic technology in a specific domain - Analysis and evaluation of usability and uptake of semantic tools - Learned lessons and best practices from deploying and using an application or service based on semantic technology - Assessment of costs and benefits of implementing, deploying, using, and managing semantic technology - Pragmatics of using or deploying semantic technology in real-world scenarios - Comparison of semantic technology with alternative approaches that use conventional or competing technologies PAPER SUBMISSION AND PUBLICATION Submissions to JIST 2013 should describe original, significant research on the semantic technologies. Submissions to JIST 2013 are expected to present their claimed contribution, with clear evidence to support their claims. All submissions will be critically reviewed by at least three members of the program committee. To assess submissions, reviewers will judge their relevance to semantic technologies and data science, their originality, the technical soundness of their proposed approach and the readability of the submission. Submissions must be in PDF format, using the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). Submissions must be no longer than 16 pages for REGULAR TECHNICAL SESSIONS and 6 pages for IN-USE TRACK and SPECIAL TRACK. Submissions that exceed this limit may be rejected without review. JIST 2013 will not accept submissions that are under review for or have already been published in or accepted for publication in a journal or another conference. The proceedings will be published as a book in Lecture Note for Computer Science (LNCS) by Springer. At least one author of each accepted paper must register for the conference and present the paper there. IMPORTANT DATES l Submissions due: 23:59 (Hawaii Time), August 20, 2013 l Notification of acceptance: October 10, 2013 l Camera ready: October 21, 2013 l Conference: November 28-30, 2013 ORGANIZATION l General Chair: Hong-Gee Kim, Seoul National University, Korea l Program Chairs: Wooju Kim, Yonsei University, Korea Ying Ding, Indiana University, USA l In-Use Track Chair: Jie Tang, Tsinghua University, China Younghwan Lee, Konkuk University, Korea l Poster and Demo Chairs: Guilin Qi, Southeastern University, China Kouji Kozaki, Osaka University, Japan l Workshop Chairs: Thepchai Supnithi, Thailand Jason Jung, Yeungnam Univeristy, Korea l Tutorial Chairs: Haklae Kim, Samsung Electronics, Korea Hanmin Jung, Korea Institute of Science and Technology Information, Korea l Industry Chair: Laurentiu Vasiliu, Peracton Co., Ireland Takahiro Kawamura, Toshiba, Japan l Publicity Chair: Myungdae Cho, Seoul National University, Korea l Local Organizing Chair: June Seok Hong, Kyonggi University, Korea for(i=0;i From evomusart at gmail.com Tue Jun 25 11:51:18 2013 From: evomusart at gmail.com (Juan Romero) Date: Tue, 25 Jun 2013 11:51:18 +0200 Subject: evoMUSART 2014 - First Call For Papers Message-ID: Please distribute (Apologies for cross posting) ---------------------------------------------------------------------------- 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, Baetha, Andalusia, Spain Part of evo* 2014 evo*: http://www.evostar.org ---------------------------------------------------------------------------- New this year: Special track on Artificial Neural Network applied to Music, Sound, Art and Design ---------------------------------------------------------------------------- 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 Baetha, 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 1 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 ---------------------------------------------------------------------------- To be confirmed ---------------------------------------------------------------------------- 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 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From youakim.badr at insa-lyon.fr Tue Jun 25 16:04:03 2013 From: youakim.badr at insa-lyon.fr (Youakim Badr) Date: Tue, 25 Jun 2013 16:04:03 +0200 (CEST) Subject: Deadline Approaching for ACM MEDES'13 :: Luxembourg In-Reply-To: <1470103090.11673365.1372168648310.JavaMail.root@insa-lyon.fr> Message-ID: <1202691895.11676429.1372169042997.JavaMail.root@insa-lyon.fr> CALL FOR RESEARCH PAPERS -------------------------- Deadline: JUNE 30, 2013 The 5th International ACM Conference on Management of Emergent Digital EcoSystems (MEDES 2013) http://sigappfr.acm.org/MEDES/13/ October 29-31, 2013 Abbey of Neumunster, Luxembourg Description and Objectives --------------------------- In the world of the Internet, the rapid growth and exponential use of digital medias leads to the emergence of virtual environments namely digital ecosystems composed of multiple and independent entities such as individuals, organizations, services, software and applications sharing one or several missions and focusing on the interactions and inter-relationships among them. The digital ecosystem exhibits self-organizing environments, thanks to the re-combination and evolution of its "digital components", in which resources provided by each entity are properly conserved, managed and used. The underlying resources mainly comprehend data management, innovative services, computational intelligence and self-organizing platforms. Due to the multi-disciplinary nature of digital ecosystems and their characteristics, they are highly complex to study and design. This also leads to a poor understanding as to how managing resources will empower digital ecosystems to be innovative and value-creating. The application of Information Technologies has the potential to enable the understanding of how entities request resources and ultimately interact to create benefits and added-values, impacting business practices and knowledge. These technologies can be improved through novel techniques, models and methodologies for fields such as data management, web technologies, networking, security, human-computer interactions, artificial intelligence, e-services and self-organizing systems to support the establishment of digital ecosystems and manage their resources. The International ACM Conference on Management of Emergent Digital EcoSystems (MEDES) aims to develop and bring together a diverse community from academia, research laboratories and industry interested in exploring the manifold challenges and issues related to resource management of Digital Ecosystems and how current approaches and technologies can be evolved and adapted to this end. The conference seeks related original research papers, industrial papers and proposals for demonstrations. Topics ------- In this call, we solicit original research and technical papers not published elsewhere. The papers can be theoretical, practical and application oriented on the following themes (but not limited to): - Digital Ecosystem Infrastructure - Big Data - Services - Cloud Computing - Emergent Intelligence - Trust, Security & Privacy - Data & Knowledge Management - Web and Standards - Networks and Protocols Paper Submission ---------------- Submissions must be in an electronic form as PDF format and should be uploaded using the conference website. The submitted paper should be at most 8 ACM single-space printed pages. Papers that fail to comply with length limit will be rejected. Submissions will be peer-reviewed by at least 3 peer reviewers. After the preliminary notification date, authors rebut by evidence and arguments all reviewer inquiries and their comments. Based on the rebuttal feedback, reviewers notify authors with the final decision. Selection criteria will include: relevance, significance, impact, originality, technical soundness, and quality of presentation. Preference will be given to submissions that take strong or challenging positions on important emergent topics related to Digital Ecosystems. At least one author should attend the conference to present the paper. The conference Proceedings will be published by ACM and indexed by the ACM Digital Library and DBLP. Important Dates ---------------- - Extended Submission Deadline: June 30, 2013 (firm date) - Preliminary Notification of Acceptance: September 1st, 2013 - Rebuttal Deadline: September 4th, 2013 - Final Notification of Acceptance: September 5th, 2012 - Camera Ready: September 20th, 2013 - Conference Dates: October 29-31, 2013 Call For Demonstration: Proposals Submission Deadline: July 1st, 2013 Call for Call for Special Track Proposals: Proposals Submission Deadline: April 15, 2013 Special issues and Journal Publication --------------------------------------- Extended versions of selected papers will be published in several peer reviewed journals. The list of journals will be announced later. General Chairs --------------- Latif Ladid,University of Luxembourg, Luxembourg Peter A. Bruck, Research Studios Austria Forschungsgesellschaft mbH, Austria Antonio Montes, Centro de Tecnologia da Informacao Renato Archer, Brazil Program Chairs -------------- Fernando Ferri, IRPPS-CNR, Italy Richard Chbeir, University of Pau and Adour Countries, France Local Organizing Chairs ------------------------------- Frederic Andres, National Institute of Informatics, Japan Ingrid Zantis, Zantis-Consulting, Luxembourg Jean-Paul Hengen, ICT Sector Development, Luxembourg Publicity Chairs ------------------ Youakim Badr, INSA-Lyon, France Stephane Bressan, NUS, Singapour Rajkumar Kannan,Bishop Heber College Autonomous, India Patrizia Grifoni, IRPPS-CNR, Italy International Program Committee -------------------------------- (See website of the conference) From pangjun at gmail.com Wed Jun 26 09:53:00 2013 From: pangjun at gmail.com (Jun PANG) Date: Wed, 26 Jun 2013 09:53:00 +0200 Subject: Software Verification and Testing Track at ACM SAC 2014: 2nd CfP Message-ID: ================================================== 29th Annual ACM Symposium on Applied Computing Software Verification and Testing Track March 24 - 28, 2014, Gyeongju, Korea More information: http://fmt.cs.utwente.nl/conferences/sac-svt2014/ and http://www.acm.org/conferences/sac/sac2014/ =================================================== Important dates --------------- * September 13, 2013: Submission deadline * November 15, 2013: Notification of acceptance/rejection * December 6, 2013: Camera-ready versions due ACM Symposium on Applied Computing ---------------------------------- The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the past twenty-eight years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing. SAC 2014 is sponsored by SIGAPP and will be held at the he historic city of Gyeongju (knows as the Museum without Walls) in Korea. Software Verification and Testing Track --------------------------------------- We invite authors to submit new results in formal verification and testing, as well as development of technologies to improve the usability of formal methods in software engineering. Also welcome are detailed descriptions of applications of mechanical verification to large scale software. Possible topics include, but are not limited to: - model checking - theorem proving - correct by construction development - model-based testing - verification-based testing - symbolic execution - static and run-time analysis - abstract interpretation - analysis methods for dependable systems - software certification and proof carrying code - fault diagnosis and debugging - verification of large scale software systems - real world applications and case studies applying software verification Submissions Guidelines ---------------------- Paper submissions must be original, unpublished work. Submissions should be in electronic format, via the START site: https://www.softconf.com/d/sac2014/. Author(s) name(s) and address(es) must not appear in the body of the paper, and self-reference should be avoided and made in the third person. Submitted paper will undergo a blind review process. Authors of accepted papers should submit an editorial revision of their papers that fits within six two-column pages (an extra two pages, to a total of eight pages, may be available at a charge). Please comply to this page limitation already at submission time. Accepted papers will be published in the ACM SAC 2014 proceedings. Paper registration is required, allowing the inclusion of the paper/poster in the conference proceedings. An author or a proxy attending SAC MUST present the paper. This is a requirement for the paper/poster to be included in the ACM/IEEE digital library. No-show of scheduled papers and posters will result in excluding them from the ACM/IEEE digital library. A special issue of Science of Computer Programming has been confirmed. Selected papers will be invited for submission, and will be peer-reviewed according to the standard policy of Science of Computer Programming. Student Research Competition ---------------------------- As before, SAC 2013 organises a Student Research Competition (SRC) Program to provide graduate students the opportunity to meet and exchange ideas with researchers and practitioners in their areas of interest. Guidelines and information about the SRC program can be found at http://www.acm.org/conferences/sac/sac2014/. Submission to the SRC program should be in electronic form via the following website https://www.softconf.com/d/sac-src2014. Program Committee ----------------- Marco Faella, University of Naples, Italy Thierry Jeron, IRISA/INRIA Rennes, France Yves Le Traon, University of Luxembourg, Luxembourg Keqin Li, SAP Product Security Research, France Yang Liu, Nanyang Technological University, Singapore Annabelle McIver, Macquarie University, Australi Mercedes Merayo, Universidad Complutense de Madrid, Spain Stephan Merz, INRIA Nancy, France MohammadReza Mousavi, Halmstad University, Sweden Brian Nielsen, Aalborg University, Denmark Jun Pang (co-chair), University of Luxembourg, Luxembourg Hongyang Qu, University of Sheffield, UK Hasan Sözer, Özyeğin University, Turkey Marielle Stoelinga (co-chair), University of Twente, Netherlands Lijun Zhang, Chinese Academy of Sciences, China -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bulling at in.tu-clausthal.de Wed Jun 26 15:15:30 2013 From: bulling at in.tu-clausthal.de (Nils Bulling) Date: Wed, 26 Jun 2013 15:15:30 +0200 Subject: Research Position in Logics and Formal Methods (TU Clausthal, Germany) Message-ID: <467834A1-A469-42A2-A535-17655FA374F5@in.tu-clausthal.de> ------------------------------------------------------ Research Position in Logics and Formal Methods (TU Clausthal, Germany) (1 year fixed-term) ------------------------------------------------------ A PDF version of the announcement can be found here: http://www.in.tu-clausthal.de/fileadmin/homes/CIG/pos_13_maslogic.pdf Position --------------------------- The Department of Informatics at Clausthal University of Technology is seeking to hire a postdoctoral research fellow or PhD student. The position is associated with a DFG/FNR-funded project on Game Logics and Formal Methods for Multi-Agent Systems. Institutional Environment --------------------------- The position is associated with the Computational Intelligence Group chaired by Prof. Dr. Jürgen Dix at the Department of Informatics at Clausthal University of Technology. The department consists of 11 research groups including the closely related group of Mobile and Enterprise Computing led by Prof. Dr. Jörg Müller. Our group is research-oriented and actively collaborates with many scientists in Europe from the multi-agent and logic community. Candidate Profile --------------------------- Candidates should hold a PhD in a field relevant to the project and have a strong background in - logics and formal methods, or - game theory and foundations of multi-agent systems (established by e.g. an excellent list of publications). The candidate is supposed to have good communication skills in English. Good social skills are also required as cooperation with other researchers is essential. The position does not include any teaching duties. Depending on the strength of the candidate it is also possible to fill the position with a PhD student. In this case the candidate must hold an excellent MSc degree in a field relevant to the project.. Appointment --------------------------- The appointment is full-time for a period of 1 year and to be filled as soon as possible. The gross monthly salary will be in accordance with the pay scale TV-L 13 but depends on qualification of the applicant and the university regulations. Application and Contact --------------------------- Applications should be sent by e-mail to Dr. Nils Bulling (bulling at in.tu-clausthal.de) and have to include a letter of motivation, a curriculum vitae, and a list of publications (only in PDF format). The deadline for applications is Monday, 15th July 2013. For further information please feel free to contact Dr. Nils Bulling (bulling at in.tu-clausthal.de) and to visit our website: http://cig.in.tu-clausthal.de. -- Dr. Nils Bulling Clausthal University of Technology, Germany http://www.nbulling.de phone: +49 5323 72 7182 From fink at kr.tuwien.ac.at Wed Jun 26 20:23:39 2013 From: fink at kr.tuwien.ac.at (Michael Fink) Date: Wed, 26 Jun 2013 20:23:39 +0200 Subject: 2nd CfP ARCOE-LogIC 2013: Acquisition, Representation and Reasoning with Contextualized Knowledge Message-ID: <51CB31AB.1000501@kr.tuwien.ac.at> === CALL FOR PAPERS === Acquisition, Representation and Reasoning with Contextualized Knowledge, 5th International Workshop (ARCOE-LogIC 2013) http://www.arcoe.org/2013 held in collocation with 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-2013), Corunna, Spain -- Important Dates -- Abstracts deadline: 5 Jul 2013 Paper deadline: 12 Jul 2013 Notification: 9 Aug 2013 Camera ready: 23 Aug 2013 Workshop date: 15 Sep 2013 -- Description of the Workshop -- Dealing with context is one of the most interesting and most important problems faced in Artificial Intelligence (AI). Traditional AI applications often require to model, store, retrieve and reason about knowledge that holds within certain circumstances - the context. Without considering this contextual information, reasoning can easily run into problems such as: inconsistency, when considering knowledge in the wrong context; inefficiency, by considering knowledge irrelevant for a certain context; incompleteness, since an inference may depend on knowledge assumed in the context and not explicitly stated. Contextual information is also relevant in many tasks in knowledge representation and reasoning such as common-sense reasoning, dealing with inconsistency, ambiguity and uncertainty, knowledge evolution, and others. In recent years, research in contextual knowledge representation and reasoning became more relevant in the areas of Semantic Web, Linked Open Data, and Ambient Intelligence, where knowledge is not considered a monolithic and static asset, but it is distributed in a network of interconnected heterogeneous and evolving knowledge resources. The ARCOE-LogIC workshop aims to provide a dedicated forum for researchers interested in these topics to discuss recent developments, important open issues, and future directions. -- Topics -- ARCOE-LogIC welcomes submissions on the topics below as well as on their intersection and other topics related to acquisition, representation, reasoning with context and its applications. Philosophical and theoretical foundations of context: * What is context and how should it be represented. * Relevant types of contextual information and their properties, and formalization. * Combining contextual information with object information for reasoning. * Context and common-sense reasoning. * Exploiting context in inconsistency and uncertainty handling, defeasible reasoning and argumentation. * Contextual logic programming. * Updating contextual knowledge and context-aware belief revision. Context modeling and contextual knowledge engineering: * Modeling of user's or agent's context. * Context driven organization of knowledge and modeling. * Ontologies for context modeling. * Context-aware modeling tools and methodology. * Comparisons to context-unaware modeling techniques. Reasoning with context: * Effective context-aware reasoning algorithms and frameworks. * Distributed reasoning with context. * Context-driven heuristics in classical reasoning systems. * Query answering and contextual data access. * Reasoning in uncertain and inconsistent contexts. * Reasoning in defeasible contexts. * Hybrid formalisms for reasoning with context, including sub-symbolic contexts. * Stream reasoning in dynamically changing contexts. Applications of context in areas such as: * Agent communication and coordination. * Semantic Web and Linked Open Data. * Knowledge modularization. * Ontology matching. * Ontology fault diagnosis and repair. * Ontology evolution and versioning. * Information integration. * Ambient intelligence and pervasive computing. * Exploiting context in Web 2.0 applications, e-commerce, and e-learning. -- Submission Requirements -- Submission of regular and position papers is possible. Regular papers are intended for research reports and surveys. ARCOE-LogIC also welcomes reports on significant work in progress which has already achieved some interesting partial results, as well as papers recently submitted or published elsewhere as long as their topic is in line with the workshop. Regular papers should not exceed 12 pages in length including references. Position papers are intended for presentation of interesting new open issues and challenges, and opinions on the status of the field. Position papers are limited to 6 pages including references. All papers must be formatted using the Springer LNCS style: http://www.springer.com/comp/lncs/Authors.html and submitted in PDF format via EasyChair using: https://www.easychair.org/conferences/?conf=arcoelogic2013 All submitted papers will be subject to blind (but not double-blind) peer-review process. Accepted papers will be presented either as oral presentations or as posters, depending on the choice of the program committee. However, all accepted papers will be included in the Working Notes in their full form and will be accessible via the Internet. -- Workshop Co-Chairs -- * Michael Fink, Vienna University of Technology, Austria * Martin Homola, Comenius University of Bratislava, Slovakia * Alessandra Mileo, DERI, National University of Ireland * Ivan Jose Varzinczak, Centre for Artificial Intelligence Research, South Africa -- Steering Committee -- * Alan Bundy, University of Edinburgh, UK * Thomas Eiter, Vienna University of Technology, Austria * Luciano Serafini, Fondazione Bruno Kessler, Trento, Italy -- Resources -- ARCOE-LogIC 2013 website: http://www.arcoe.org/2013/ ARCOE workshop series: http://www.arcoe.org/ Submission site: https://www.easychair.org/conferences/?conf=arcoelogic2013 LPNMR 2013 website: http://lpnmr2013.udc.es/ Enquiries about the ARCOE workshop: arcoe [at] arcoe [dot] org From Jason.Williams at microsoft.com Thu Jun 27 16:44:34 2013 From: Jason.Williams at microsoft.com (Jason Williams (MSR)) Date: Thu, 27 Jun 2013 14:44:34 +0000 Subject: Final call for demonstrations : SIGDIAL 2013 CONFERENCE : 22-24 August 2013 : Metz, France Message-ID: SIGDIAL 2013 CONFERENCE 14th Annual Meeting of the Special Interest Group on Discourse and Dialogue http://www.sigdial.org/workshops/conference14/ Metz, France 22-24 August 2013 CALL FOR DEMONSTRATIONS The program committee of SigDial 2013 welcomes the submission of demonstration descriptions. Demonstrations will be presented in special sessions, separate from short paper presentations and poster sessions. Accepted demonstration submissions will be published in a dedicated section of the conference proceedings. Demo descriptions should be no longer than 3 pages, including references. Demo submissions should follow the two-column ACL 2013 format. We strongly recommend the use of ACL LaTeX style files or Microsoft Word style files tailored for the ACL 2013 conference. Submissions must conform to the official ACL 2013 style guidelines (http://acl2013.org/site/call.html), and they must be electronic in PDF. Submissions will not be anonymous. Demonstrations which have appeared (or will appear) elsewhere may be presented at SigDial, although this should be noted at the time of submission. Authors are encouraged to submit additional supportive material such as video clips or sound clips and examples of available resources for review purposes. Submission is electronic using paper submission software at https://www.softconf.com/d/sigdial2013/ IMPORTANT DATES Demo Paper Submission Deadline Tuesday, 2 July 2013 (23:59, GMT-11) Demo Paper Notification Wednesday, 10 July 2013 Final Demo Paper Due Wednesday, 24 July 2013 Conference Thursday-Saturday, 22-24 August 2013 (Thu morning - Saturday mid-day) Any questions regarding submissions can be sent to the technical program co-chairs at program-chairs[at]sigdial.org. SigdDial 2013 Technical Program Co-Chairs Barbara Di Eugenio, University of Illinois at Chicago, USA Jason D. Williams, Microsoft Research, USA From sakama at sys.wakayama-u.ac.jp Fri Jun 28 07:26:57 2013 From: sakama at sys.wakayama-u.ac.jp (Chiaki Sakama) Date: Fri, 28 Jun 2013 14:26:57 +0900 Subject: Deadline Extension: LNMR 2013 - 1st Int. Workshop on Learning and Nonmonotonic Reasoning Message-ID: <51CD1EA1.4060503@sys.wakayama-u.ac.jp> --------------- 2nd Call for Papers ------------------------------------------- **** The submission deadline has been extended to July 28, 2013. **** 1st International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2013) http://research.nii.ac.jp/il/lnmr2013.html September 15, 2013, Corunna, Spain co-located with the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013) http://lpnmr2013.udc.es/ ----------------------------------------------------------------------------- *Aims and scope Knowledge representation and reasoning (KR&R) and machine learning are two important fields in artificial intelligence (AI). (Nonmonotonic) logic programming (NMLP) and answer set programming (ASP) provide formal languages for representing and reasoning with commonsense knowledge and realize declarative problem solving in AI. On the other side, inductive logic programming (ILP) realizes inductive machine learning in logic programming, which provides a formal background to inductive learning and the techniques have been applied to the fields of relational learning and data mining. Generally speaking, NMLP and ASP realize nonmonotonic reasoning while lack the ability of (inductive) learning. By contrast, ILP realizes inductive machine learning while most techniques have been developed under the classical monotonic logic. With this background, some researchers attempt to combine techniques in the context of nonmonotonic inductive logic programming (NMILP). Such combination will introduce a learning mechanism to programs and would exploit new applications on the NMLP side, while on the ILP side it will extend the representation language and enable to use existing solvers. Cross-fertilization between learning and nonmonotonic reasoning can also occur in such as: - the use of answer set solvers for Inductive Logic Programming - speed-up learning while running answer set solvers - learning action theories - learning transition rules in dynamical systems - learning normal, extended and disjunctive programs - formal relationships between learning and nonmonotonic reasoning - abductive learning - updating theories with induction - learning biological networks with inhibition - applications involving default and negation This workshop is the first attempt to provide an open forum for the identification of problems and discussion of possible collaborations among researchers with complementary expertise. To facilitate interactions between researchers in the areas of (machine) learning and nonmonotonic reasoning, we welcome contributions focusing on problems and perspectives concerning both learning and nonmonotonic reasoning. *Submissions We solicit original papers which are not published elsewhere. Papers should be written in English and be formatted according to the Springer Verlag LNCS style, which can be obtained from http://www.springeronline.com. Every paper should not exceed 12 pages including the title page, references and figures. All submissions will be peer-reviewed and all accepted papers must be presented at the workshop. *Proceedings Workshop organizers are considering to publish an on-line proceedings in a formal way. The details will be announced later. If there are several good papers, a special journal issue will also be considered. *Important Dates Paper registration: July 21 ***(extended)*** Submission deadline: July 28 ***(extended)*** Notification: August 24 Final version due: September 7 Workshop: September 15 *Workshop co-Chairs Katsumi Inoue, National Institute of Informatics, Japan Chiaki Sakama, Wakayama University, Japan *Program Committee Dalal Alrajeh (Imperial College London, UK) Marcello Balduccini (Kodak Research Laboratories, USA) Chitta Baral (Arizona State University, USA) Gauvain Bourgne (Universite' Pierre et Marie Curie, France) Luc De Raedt (Katholieke Universiteit Leuven, Belgium) Katsumi Inoue (National Institute of Informatics, Japan) Francesca A. Lisi (Universita` degli Studi di Bari "Aldo Moro", Italy) Stephen Muggleton (Imperial College London, UK) Adrian Pearce (University of Melbourne, Australia) Oliver Ray (University of Bristol, UK) Chiaki Sakama (Wakayama University, Japan) Taisuke Sato (Tokyo Institute of Technology, Japan) Torsten Schaub (University of Potsdam, Germany) ----------------------------------------------------------------------------- -------------- n?chster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From peterschueller at sabanciuniv.edu Fri Jun 28 07:52:01 2013 From: peterschueller at sabanciuniv.edu (peterschueller at sabanciuniv.edu) Date: Fri, 28 Jun 2013 08:52:01 +0300 Subject: Final CFP: Workshop on Natural Language Processing and Automated Reasoning @ LPNMR'2013, A Corunna, Spain Message-ID: (Apologies for cross-posting.) NEWS: Workshop Date announced: September 15! CALL FOR PAPERS Workshop on Natural Language Processing and Automated Reasoning (NLPAR 2013) http://sites.google.com/site/nlpar2013 http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=30355©ownerid=46559 Collocated with the 12th International Conference on Logic Programming and Nonmonotonic Reasoning 2013, A Corunna, Spain, September 15-19, 2013 AIMS AND SCOPE Natural Language Processing (NLP) has been of interest for a long time; to the Artificial Intelligence community in general and to the Logic Programming and Automated Reasoning community in particular. NLP approaches that are based on mathematical logic promise a deeper understanding of natural language than possible with purely statistics-based methods. A deep understanding is beneficial and necessary in most areas of NLP, for example word and entity recognition; word sense disambiguation; parsing and syntactical disambiguation; and reasoning over the semantics and pragmatics of words, phrases, sentences, and whole discourses. This workshop aims to bring together researchers with a common interest in addressing the challenges of natural language processing using automated reasoning methods. As submissions to this workshop, theoretical results, reports about systems and experiments, and work that combines mathematical logic and statistical methods, are welcome. Topics include but are not limited to: * Morphology * Named Entity Recognition * Syntax * Coreference Resolution * Semantics * Discourse * Pragmatics * Ontologies for NLP * Controlled Natural Language * Question Answering * Recognizing Textual Entailment * Natural Language Generation * Text Summarization * Machine Translation INSTRUCTIONS FOR AUTHORS NLPAR 2013 aims to present original scientific research, and will not accept any paper which, at the time of submission, has already been published or accepted for publication in a journal or previous conference. Submissions must be written in English and formatted according to the Springer LNCS/LNAI author instructions. http://www.springer.com/comp/lncs/Authors.html Papers must present original research and not exceed 12 pages including title page, references and figures. Paper submission and peer review is electronic and managed through the following easychair webpage. https://www.easychair.org/conferences/?conf=nlpar2013 Proceedings will be published online after the workshop, we intend to publish them as CEUR workshop proceedings on CEUR-WS.org. IMPORTANT DATES * Paper registration: June 30, 2013 * Paper submission: July 7, 2013 * Notification: August 25, 2013 * Final version: September 8, 2013 * Workshop: September 15, 2013 ORGANIZING COMMITTEE Chitta Baral (Arizona State University, USA) Peter Schueller (Sabanci University, Turkey) Email Contact: nlpar2013 at easychair.org PROGRAM COMMITTEE Marcello Balduccini (Kodak Research Laboratories) Johan Bos (University of Groningen) Vinay Chaudhri (SRI International) Esra Erdem (Sabanci University) Christian Fermueller (Vienna University of Technology) Michael Gelfond (Texas Tech University) Yuliya Lierler (University of Nebraska at Omaha) From grlmc at urv.cat Fri Jun 28 23:00:20 2013 From: grlmc at urv.cat (GRLMC) Date: Fri, 28 Jun 2013 23:00:20 +0200 Subject: SSTiC 2013: last call Message-ID: <15C7F9970915408392637F575E780D49@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************* 2013 INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING SSTiC 2013 Tarragona, Spain July 22-26, 2013 Organized by Rovira i Virgili University http://grammars.grlmc.com/SSTiC2013/ ********************************************************************* AIM: SSTiC 2013 will be an open forum for the convergence of top class well recognized computer scientists and people at the beginning of their research career (typically PhD students) as well as consolidated researchers. SSTiC 2013 will cover the whole spectrum of computer science by means of 54 six-hour courses dealing with hot topics at the frontiers of the field. By actively participating, lecturers and attendees will share the idea of scientific excellence as the main motto of their research work. ADDRESSED TO: Graduate students from around the world. There are no pre-requisites in terms of the academic degree the attendee must hold. However, since there will be several levels among the courses, in the description of some of them reference may be made to specific knowledge background. SSTiC 2013 is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field. Finally, senior researchers will find it fruitful to listen and discuss with people who are main references of the diverse branches of computing nowadays. REGIME: 6 parallel sessions will be held during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another. VENUE: Campus Catalunya Universitat Rovira i Virgili Av. Catalunya, 35 43002 Tarragona COURSES AND PROFESSORS: Shun-ichi Amari (Riken) [introductory] Information Geometry and Its Applications James Anderson (Chapel Hill) [intermediate] Scheduling and Synchronization in Real-Time Multicore Systems Pierre Baldi (Irvine) [intermediate] Big Data Informatics Challenges and Opportunities in the Life Sciences Yoshua Bengio (Montréal) [introductory/intermediate] Deep Learning of Representations Stephen Brewster (Glasgow) [advanced] Multimodal Human-Computer Interaction Bruno Buchberger (Linz) [introductory] Groebner Bases: An Algorithmic Method for Multivariate Polynomial Systems. Foundations and Applications Rajkumar Buyya (Melbourne) [intermediate] Cloud Computing Jan Camenisch (IBM Zurich) [intermediate] Cryptography for Privacy Larry S. Davis (College Park) [intermediate] Video Analysis of Human Activities Paul De Bra (Eindhoven) [intermediate] Adaptive Systems Paul Dourish (Irvine) [introductory] Ubiquitous Computing in a Social Context Max J. Egenhofer (Maine) [introductory/intermediate] Qualitative Spatial Relations: Formalizations and Inferences Richard M. Fujimoto (Georgia Tech) [introductory] Parallel and Distributed Simulation David Garlan (Carnegie Mellon) [advanced] Software Architecture: Past, Present and Future Mario Gerla (Los Angeles) [intermediate] Vehicle Cloud Computing Ralph Grishman (New York) [intermediate] Information Extraction from Natural Language Francisco Herrera (Granada) [intermediate] Imbalanced Classification: Current Approaches and Open Problems Paul Hudak (Yale) [introductory] Euterpea: From Signals to Symphonies Using Haskell Niraj K. Jha (Princeton) [intermediate] FinFET Circuit Design George Karypis (Minnesota) [introductory] Introduction to Parallel Computing: Architectures, Algorithms, and Programming Aggelos K. Katsaggelos (Northwestern) [intermediate/advanced] Sparsity-based Advances in Image Processing Arie E. Kaufman (Stony Brook) [advanced] Advances in Visualization Hugo Krawczyk (IBM Research) [intermediate] An Introduction to the Design and Analysis of Authenticated Key Exchange Protocols Pierre L'Ecuyer (Montréal) [intermediate] Quasi-Monte Carlo Methods in Simulation: Theory and Practice Laks Lakshmanan (British Columbia) [intermediate/advanced] Information and Influence Spread in Social Networks Wenke Lee (Georgia Tech) [introductory] DNS-based Monitoring of Malware Activities Maurizio Lenzerini (Roma La Sapienza) [intermediate] Ontology-based Data Integration Ming C. Lin (Chapel Hill) [introductory/intermediate] Physically-based Modeling and Simulation Jane W.S. Liu (Academia Sinica) [intermediate] Critical Information and Communication Technologies for Disaster Preparedness and Response Satoru Miyano (Tokyo) [intermediate] How to Hack Cancer Systems with Computational Methods Aloysius K. Mok (Austin) [intermediate] From Real-time Systems to Cyber-physical Systems Hermann Ney (Aachen) [intermediate/advanced] Probabilistic Modelling for Natural Language Processing - with Applications to Speech Recognition, Handwriting Recognition and Machine Translation Cathleen A. Norris (North Texas) & Elliot Soloway (Ann Arbor) [introductory] Primary & Secondary Educational Computing in the Age of Mobilism Jeff Offutt (George Mason) [intermediate] Cutting Edge Research in Engineering of Web Applications Bijan Parsia (Manchester) [introductory] The Semantic Web: Conceptual and Technical Foundations Charles E. Perkins (FutureWei) [intermediate/advanced] Beyond 4G Prabhakar Raghavan (Google) [introductory/intermediate] Web Search and Advertising Phillip Rogaway (Davis) [introductory/intermediate] Provably Secure Symmetric Encryption Gustavo Rossi (La Plata) [intermediate] Topics in Model Driven Web Engineering Kaushik Roy (Purdue) [introductory/intermediate] Low-energy Computing Robert Sargent (Syracuse) [introductory] Validating Models Douglas C. Schmidt (Vanderbilt) [intermediate] Patterns and Frameworks for Concurrent and Networked Software Bart Selman (Cornell) [intermediate] Fast Large-scale Probabilistic and Logical Inference Methods Mubarak Shah (Central Florida) [intermediate/advanced] Visual Crowd Surveillance Ron Shamir (Tel Aviv) [introductory] Revealing Structure in Disease Regulation and Networks Dawn Xiaodong Song (Berkeley) [introductory] Selected Topics in Computer Security Mike Thelwall (Wolverhampton) [introductory] Sentiment Strength Detection for the Social Web Julita Vassileva (Saskatchewan) [introductory/intermediate] Engaging Users in Social Computing Systems Philip Wadler (Edinburgh) [introductory] Topics in Lambda Calculus and Life Yao Wang (Polytechnic New York) [introductory/advanced] Video Compression: Fundamentals and Recent Development Gio Wiederhold (Stanford) [introductory] Software Economics: How Do the Results of the Intellectual Efforts Enter the Global Market Place Limsoon Wong (National Singapore) [introductory/intermediate] The Use of Context in Gene Expression and Proteomic Profile Analysis Michael Wooldridge (Oxford) [introductory] Autonomous Agents and Multi-Agent Systems Ronald R. Yager (Iona) [introductory/intermediate] Fuzzy Sets and Soft Computing Philip S. Yu (Illinois Chicago) [advanced] Mining Big Data REGISTRATION: It has to be done at http://grammars.grlmc.com/SSTiC2013/Registration.php Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed when the capacity of the venue will be complete. It is highly convenient to register prior to the event. FEES: Fees may be for the whole week (full-time participant) or per blocks of days (part-time participant). They are a flat rate allowing one to attend all courses within the time window set: 5, 4, 3 or 2 days. Fees vary depending on the deadline. ACCOMMODATION: Information about accommodation is available on the website of the School. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: Lilica Voicu: florentinalilica.voicu at urv.cat POSTAL ADDRESS: SSTiC 2013 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34-977-559543 Fax: +34-977-558386 ACKNOWLEDGEMENTS: Departament d’Economia i Coneixement, Generalitat de Catalunya Universitat Rovira i Virgili From brendon.woodford at otago.ac.nz Sat Jun 29 01:29:57 2013 From: brendon.woodford at otago.ac.nz (Brendon Woodford) Date: Fri, 28 Jun 2013 23:29:57 +0000 Subject: AI 2013 CFP: Due Date July 21, 2013 (Extended Message-ID: <4E09E4C2A5ED7442A4F667D4D3394CE87837F1E5@ITS-EXM-P06.registry.otago.ac.nz> [Apologies for cross-posting] CALL FOR PAPERS *** Note extended submission deadline: now 21 July *** 26th Australasian Joint Conference on Artificial Intelligence AI 2013 3-6 December, 2013 Dunedin, New Zealand http://ai2013.otago.ac.nz/ Since the first AI Conference took place in Sydney in 1987, the series of annual Australasian Joint Conferences on Artificial Intelligence has become the premier event for Artificial Intelligence researchers in Australasia and one of the major international forums on AI worldwide. In 2008 the AI conference was hosted in New Zealand for the first time, in Auckland. In 2013 the 26th Australasian Joint Conference on Artificial Intelligence returns to New Zealand, and will be held in Dunedin, hosted by the University of Otago. AI 2013 will be co-located with the 16th International Conference on Principles and Practice in Multi-Agent Systems (PRIMA 2013, http://prima2013.otago.ac.nz/) and the 1st New Zealand Agent School (http://prima2013.otago.ac.nz/agent-school/). Prospective authors are invited to submit original research and application papers in any area of Artificial Intelligence, including but not limited to the following: * Agent-based and multiagent systems * AI applications and innovations * Cognitive modelling and computer human interaction * Commonsense reasoning * Computer vision * Constraint satisfaction, search, and optimisation * Evolutionary computation * Game playing and interactive entertainment * Information retrieval, integration, and extraction * Knowledge acquisition and ontologies * Knowledge representation and reasoning * Machine learning and data mining * Model-based systems * Multidisciplinary AI * Natural language processing * Planning and scheduling * Robotics * Social choice * Uncertainty in AI * Web and information systems All papers should be submitted electronically in PDF format and formatted using Springer's manuscript submission guidelines: http://www.springer.de/comp/lncs/authors.html Submitted papers should not exceed 12 pages and should not be under review or be submitted for publication elsewhere during the review period. All papers will be peer reviewed by at least three independent referees. Reviews will be double blind; authors must avoid including anything that can be used to identify them. IN PARTICULAR, AUTHOR NAMES SHOULD NOT APPEAR IN THE TITLE BLOCK. Submission will be through the Easychair conference management system at the following URL: https://www.easychair.org/conferences/?conf=26ai2013 All accepted papers submitted to the Conference will be published by Springer in the Lecture Notes in Artificial Intelligence (LNAI) series. At least one author of each accepted paper is required to register for the conference and to present the paper. Important Dates: *** Note extended deadline and change to notification date *** Submissions due: 21 July (AWST: Australian Western Standard Time) Notifications: 4 September Camera-ready copy due: 18 September Early registration: 31 October 1st NZ Agent School: 1 December Doctoral consortium: 2 December Workshops and tutorials: 3 December Conference: 4-6 December From womo2013 at easychair.org Sun Jun 30 18:20:14 2013 From: womo2013 at easychair.org (Chiara Del Vescovo) Date: Sun, 30 Jun 2013 17:20:14 +0100 Subject: Final CfP: 7th Int'l Workshop on Modular Ontologies WoMO-13 --- DEADLINE EXTENDED --- Message-ID: ======================================================== 7th Int'l Workshop on Modular Ontologies (WoMO) Corunna, Spain, September, 2013 held in conjunction with LPNMR 2013 --- Final Call for Papers --- ======================================================== +++ STUDENT TRAVEL GRANTS AVAILABLE +++ +++ EXTENDED SUBMISSION DEADLINE: July 12, 2013 +++ ======================================================== +++ Following requests, we have extended the submission deadline to July 12, 2013. +++ INVITED SPEAKERS: * Till Mossakowski, University of Bremen, Germany Till Mossakowski is extraordinary professor of computer science at the University of Bremen. He is a leading international figure in modular and heterogeneous specification of logical theories and ontologies. * George Vouros, University of Piraeus, Greece George Vouros is a professor in the Department of Digital Systems at the University of Piraeus. His research work spans from knowledge representation and reasoning, focusing on the engineering, acquisition, evolution, alignment, and coordination of ontologies, to multi-agent systems, focusing on agent organizations and their adaptation, agents' collaboration and coordination, and architectures of collaborative agents. http://www.iaoa.org/womo/2013.html MODULARITY, studied for years in software engineering, allows mechanisms for easy and flexible reuse, generalization, structuring, maintenance, design patterns, and comprehension. In formal and applied ontology, modularity is central to reducing the complexity of designing and understanding ontologies, and to facilitating ontology verification, reasoning, development, maintenance and integration. Recent research on ontology modularity shows substantial progress in foundations of modularity, techniques of modularization and modular development, distributed reasoning and empirical evaluation. These results provide a solid foundation and exciting prospects for further research and development. The workshop continues a series of successful events that have been an excellent venue for practitioners and researchers to discuss latest and current work. The most recent WoMOs were held at ESSLLI 2011 and FOIS/ICBO 2012. This time WoMO is organised as a workshop of LPNMR 2013: the 12th International Conference on Logic Programming and Non-monotonic Reasoning. LPNMR is well-established as the main conference in the field. The workshop will be open to all attendants of LPMNR'13 and its workshops. Workshop speakers will be required to register for WoMO via the LPMNR'13 website. Registration for WoMO only will be possible. STUDENT TRAVEL GRANTS: With the generous support of the IAOA, we are happy to provide funding to students. Priority will be given to student presenters and authors of accepted papers. More details will be published at a later date. TOPICS include, but are not limited to: - What is modularity?: kinds of modules and their properties; modules vs. contexts; design patterns; granularity of representation; - Logical/foundational studies: modular ontology languages; reconciling inconsistencies across modules; formal structuring of modules; heterogeneity; hybrid theories; intertheory relations (conservativity, interpretability, strong equivalence, inseparability, etc.) - Algorithmic approaches: distributed and incremental reasoning; modularization and module extraction; sharing, linking, reuse; privacy; complexity of reasoning; implemented systems; - Evaluation of modularizations: case studies or other analyses of ontology modularizations (why it is modularized in a certain way, what does it address, how can it be improved); how to measure the adequacy of a modularization; comparison of modularizations with respect to philosophical, logical, reasoning, cognitive, or social aspects; - Applications: semantic web; life sciences; earth sciences; bio-ontologies; natural language processing; space and time; ambient intelligence; social intelligence; technology and engineering; collaborative ontology development and ontology versioning. IMPORTANT DATES: Paper Submission: July 12, 2013 (extended) Notification: August 19, 2013 Camera ready: September 2, 2013 Workshop: September 15, 2013 SUBMISSION GUIDELINES: We welcome submissions on modularity in a broad sense. The workshop is open to papers of theoretical or practical nature from various disciplines. Submissions can be long papers (11 pages) or short papers (5 pages), formatted according to Springer LNCS style (see http://www.springer.com/comp/lncs/Authors.html), prepared in PDF format and submitted no later than the submission deadline, through the EasyChair Submission System (see http://www.easychair.org/conferences/?conf=womo2013). Submitted papers will be peer-reviewed by members of the program committee. Accepted papers will be made available in the proceedings to be published electronically in the CEUR Workshop Proceedings series (see http://www.ceur-ws.org). Proceedings of WoMO 2011 and 2012 can be found at http://www.booksonline.iospress.nl/Content/View.aspx?piid=20369 and at http://ceur-ws.org/Vol-875/. WORKSHOP CHAIRS: Torsten Hahmann, University of Toronto, Canada David Pearce, Universidad Politecnica de Madrid, Spain Chiara Del Vescovo, University of Manchester, UK Dirk Walther, TU Dresden, Germany PROGRAM COMMITTEE: Kenneth Baclawski, Northeastern University, Boston, MA, USA Eva Blomqvist, Linköping University, Sweden Alex Borgida, Rutgers University, USA Stefano Borgo, Laboratory for Applied Ontology, ISTC-CNR, Trento, Italy Gerhard Brewka, University of Leipzig, Germany Mike Dean, Raytheon BBN Technologies, Ann Arbor, MI, USA Thomas Eiter, Technical University of Vienna, Austria Pawel Garbacz, Catholic University of Lublin, Poland Dagmar Gromann, Vienna University of Economics and Business, Austria Michael Gruninger, University of Toronto, Canada Robert Hoehndorf, University of Cambridge, UK Dieter Hutter, DFKI GmbH, Bremen, Germany Tomi Janhunen, Aalto University, Helsinki, Finland Pavel Klinov, University of Ulm, Germany Christoph Lange, University of Birmingham, UK Thomas Meyer, CSIR Meraka Institute, Pretoria, South Africa Leo Obrst, MITRE, McLean, VA, USA Marco Schorlemmer, IIIA-CSIC, Barcelona, Spain Luciano Serafini, Fondazione Bruno Kessler, Trento, Italy Dmitry Tsarkov, The University of Manchester, UK -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: