From cambria at nus.edu.sg Mon Jul 1 11:20:30 2013 From: cambria at nus.edu.sg (Erik Cambria) Date: Mon, 1 Jul 2013 17:20:30 +0800 Subject: CFP: IEEE Computational Intelligence Magazine (Impact Factor: 4.629) Message-ID: <9285794C-FA90-47BD-BA41-3524A811BECF@nus.edu.sg> Apologies for cross-posting. Submissions are invited for a special issue on Computational Intelligence for Natural Language Processing of IEEE Computational Intelligence Magazine, which now has a 4.629 impact factor . Deadline for submission is in one month from today, no extensions will be granted. For more/up-to-date info, please visit http://sentic.net/cinlp RATIONALE The textual information available on the Web can be broadly grouped into two main categories: facts and opinions. Facts are objective expressions about entities or events. Opinions are usually subjective expressions that describe people's sentiments, appraisals, or feelings towards such entities and events. Much of the existing research on textual information processing has been focused on mining and retrieval of factual information, e.g., text classification, text recognition, text clustering, and many other text mining and natural language processing (NLP) tasks. Little work had been done on the processing of opinions until only recently. One of the main reasons for the lack of studies on opinions is the fact that there was little opinionated text available before the recent passage from a read-only to a read-write Web. Before that, in fact, when people needed to make a decision, they typically asked for opinions from friends and family. Similarly, when organizations wanted to find the opinions or sentiments of the general public about their products and services, they had to specifically ask people by conducting opinion polls and surveys. However, with the advent of the Social Web, the way people express their views and opinions has dramatically changed. They can now post reviews of products at merchant sites and express their views on almost anything in Internet forums, discussion groups, and blogs. Such online word-of-mouth behavior represents new and measurable sources of information with many practical applications. Nonetheless, finding opinion sources and monitoring them can be a formidable task because there are a large number of diverse sources and each source may also have a huge volume of opinionated text. In many cases, in fact, opinions are hidden in long forum posts and blogs. It is extremely time-consuming for a human reader to find relevant sources, extract related sentences with opinions, read them, summarize them, and organize them into usable forms. Thus, automated opinion discovery and summarization systems are needed. Sentiment analysis grows out of this need: it is a very challenging NLP or text mining problem. Due to its tremendous value for practical applications, there has been an explosive growth of both research in academia and applications in the industry. All the sentiment analysis tasks, however, are very challenging. Our understanding and knowledge of the problem and its solution are still limited. The main reason is that it is a NLP task, and NLP has no easy problems. Another reason may be due to our popular ways of doing research. So far, in fact, researchers have relied a lot on traditional machine learning algorithms. Some of the most effective machine learning algorithms, however, produce no human understandable results. Apart from some superficial knowledge gained in the manual feature engineering process, in fact, such algorithms may achieve improved accuracy, but little about how and why is actually known. All such approaches, moreover, rely on syntactic structure of text, which is far from the way human mind processes natural language. TOPICS Articles are thus invited in area of computational intelligence for natural language processing and understanding. The broader context of the Special Issue comprehends artificial intelligence, knowledge representation and reasoning, data mining, artificial neural networks, evolutionary computation, and fuzzy logic. Topics include, but are not limited to: • Computational intelligence for big social data analysis • Biologically inspired opinion mining • Concept-level opinion and sentiment analysis • Computational intelligence for social media retrieval and analysis • Computational intelligence for social media marketing • Social network modeling, simulation, and visualization • Semantic multi-dimensional scaling for sentiment analysis • Computational intelligence for patient opinion mining • Sentic computing • Multilingual and multimodal sentiment analysis • Multimodal fusion for continuous interpretation of semantics • Computational intelligence for time-evolving sentiment tracking • Computational intelligence for cognitive agent-based computing • Human-agent, -computer, and -robot interaction • Domain adaptation for sentiment classification • Affective common-sense reasoning • Computational intelligence for user profiling and personalization • Computational intelligence for knowledge acquisition TIMEFRAME August 1st, 2013: Paper submission deadline September 1st, 2013: Notification of acceptance October 1st, 2013: Final manuscript due February, 2014: Publication SUBMISSION The maximum length for the manuscript is typically 25 pages in single column with double-spacing, including figures and references. Authors of papers should specify in the first page of their manuscripts corresponding author’s contact and up to 5 keywords. Submission should be made via email to one of the guest editors below. GUEST EDITORS • Erik Cambria, National University of Singapore (Singapore) • Bebo White, Stanford University (USA) • Tariq S. Durrani, Royal Society of Edinburgh (UK) • Newton Howard, MIT Media Laboratory (USA) _______________________________ Erik Cambria, PhD 康文涵 Research Scientist Temasek Laboratories Cognitive Science Programme National University of Singapore 5A Engineering Drive 1, Singapore 117411 Skype: senticnet Website: http://sentic.net Email: cambria at nus.edu.sg Twitter: http://twitter.com/senticnet Facebook: http://facebook.com/senticnet From t.balke at surrey.ac.uk Wed Jul 3 16:48:53 2013 From: t.balke at surrey.ac.uk (t.balke at surrey.ac.uk) Date: Wed, 3 Jul 2013 15:48:53 +0100 Subject: Extended Deadline: PRIMA 2013 - 16th International Conference on Principles and Practice of Multi-Agent Systems Message-ID: Apologies for multiple postings ======================================================================================================= Extended Deadline: PRIMA 2013 - 16th International Conference on Principles and Practice of Multi-Agent Systems ======================================================================================================== Dates: December 3-6, 2013 Location: Dunedin, New Zealand Submission deadline: 21 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. Robotics, being one of the well-known application area for software agents, has attracted special interest in multi-agent system community (e.g. through the special track on Robotics in AAMAS conferences). For PRIMA 2013, among other regular agent topics (see http://prima2013.otago.ac.nz/call-for-papers/), we also solicit papers on robotics that address the research problems that arise from the design and implementation of robots as intelligent agents. Papers focusing on all scientific and technical challenges brought by the interactions among multiple robots, robots and humans, robots and the environment are welcome. Papers should clearly explain how the work reported addresses challenges in robotics, opportunities for novel applications, and fundamental research issues in autonomous robotic systems. The topics of interest in the robotics domain include the following: Cognitive robotics Integrated perception, cognition, and action Human-robot interaction Machine learning for robotics Mapping, localization and exploration Networked robot/sensor systems Robot planning (including action and motion planning) Robot teams, multi-robot systems Robot coordination Robotic agent languages and middleware for robot systems Swarms and collective behaviours The PRIMA 2013 Program Committee invites submissions of original, unpublished, theoretical and applied work on these topics, and encourages reports on the development of prototype and deployed agent-based robotic systems, and of experiments that demonstrate novel agent system capabilities. 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: 21 July 2013 Notifications: 7 September 2013 Camera-Ready: 19 September 2013 Early Registration: 31 October 2013 Conference: 1-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 federico.schlesinger at tu-clausthal.de Wed Jul 3 20:19:08 2013 From: federico.schlesinger at tu-clausthal.de (Federico Schlesinger) Date: Wed, 3 Jul 2013 20:19:08 +0200 Subject: CFP: Special Issue on Belief Change and Argumentation Theory Message-ID: ######################### CALL FOR PAPERS ########################### Annals of Mathematics and Artificial Intelligence Special Issue on Belief Change and Argumentation Theory Jürgen Dix, Sven Ove Hansson, Gabriele Kern-Isberner, Guillermo Simari July 2013 http://amai-cfp.in.tu-clausthal.de ###################################################################### Belief change and argumentation theory both belong to the wide field of knowledge representation, but their focal points are different. Argumentation theory provides frameworks for reasoning by setting up formal structures that allow the processing and evaluation of arguments for or against a certain option. Here, focus is put on dialectical deliberation and on finding justifications for decisions. Belief change theory has its focus on the adjustments of previously held beliefs that are needed in such processes. Recently, some studies and discussions on the interrelations between belief change and argumentation theory have been undertaken: see the Dagstuhl seminar [1]. However, the interrelations between the two fields are still for the most part unexplored. Therefore the Annals of Mathematics and Artificial Intelligence invites contributions to a special issue on Belief Change and Argumentation Theory. Topics of interest include, but are not restricted to: - Foundational and methodological issues that are common to both areas. - The use of methods and tools from belief change theory in argumentation theory, for instance to determine how argument frames should be changed in response to new information. - The use of methods and tools from argumentation theory in belief change theory, for instance in discussions on the plausibility of different patterns of belief change. - Systems and frameworks that contain elements from both belief change and argumentation. - Practical applications of argumentation or belief revision in multi-agent systems or knowledge representation. ####################### Submission #################################### Contributions are invited to be submitted no later than *November 15, 2013.* Submissions should be uploaded directly at http://www.editorialmanager.com/amai/default.asp After registration as author in the system, click on "submit new manuscript" and select "Special Issue on Belief Change and Argumentation Theory" on the pull-down menu button "Choose article type". [1] http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=13231 From pascal.hitzler at wright.edu Thu Jul 4 22:29:37 2013 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Thu, 4 Jul 2013 16:29:37 -0400 Subject: CfP: Semantics For Big Data. Special issue of the Semantic Web journal Message-ID: <51D5DB31.8010908@wright.edu> Call for papers: Special issue of the Semantic Web journal on SEMANTICS FOR BIG DATA http://www.semantic-web-journal.net/blog/call-papers-special-issue-semantic-web-journal-semantics-big-data One of the key challenges in making use of Big Data lies in finding ways of dealing with heterogeneity, diversity, and complexity of the data, while its volume and velocity forbid solutions available for smaller datasets as based, e.g., on manual curation or manual integration of data. Semantic Web Technologies are meant to deal with these issues, and indeed since the advent of Linked Data a few years ago, they have become central to mainstream Semantic Web research and development. We can easily understand Linked Data as being a part of the greater Big Data landscape, as many of the challenges are the same. The linking component of Linked Data, however, puts an additional focus on the integration and conflation of data across multiple sources. Possible Topics Topics of interest focus explicitly on the interplay of Semantics and Big Data, and include the use of semantic metadata and ontologies for Big Data, the use of formal and informal semantics, the integration and interplay of deductive (semantic) and statistical methods, methods to establish semantic interoperability between data sources, ways of dealing with semantic heterogeneity, scalability of Semantic Web methods and tools, and semantic approaches to the explication of requirements from eScience applications. Submissions Deadline: December 20, 2013 - extensions are possible on request Submissions shall be made through the Semantic Web journal website at http://www.semantic-web-journal.net. Note that you need to request an account on the website for submitting a paper. Please indicate in the cover letter that it is for the "Semantics for Big Data" special issue. Submissions are possible in all standing paper type of the journal, see http://www.semantic-web-journal.net/authors for descriptions: full research papers, surveys, linked dataset descriptions, ontology descriptions, application reports, tool/systems reports. Guest Editors Frank van Harmelen, Vrije Universiteit Amsterdam, The Netherlands James A. Hendler, Rensselaer Polytechnic Institute, USA Pascal Hitzler, Kno.e.sis Center, Wright State University, USA Krzysztof Janowicz, University of California, Santa Barbara, USA The editors can be reached by email to contact at semantic-web-journal.net. Guest Editorial Board The guest editorial board will be recruited based on the topics of the submitted papers. -- Prof. Dr. Pascal Hitzler Dept. of Computer Science, Wright State University, Dayton, OH pascal at pascal-hitzler.de http://www.knoesis.org/pascal/ Semantic Web Textbook: http://www.semantic-web-book.org Semantic Web Journal: http://www.semantic-web-journal.net From klin at duch.mimuw.edu.pl Thu Jul 4 23:44:22 2013 From: klin at duch.mimuw.edu.pl (Bartosz Klin) Date: Thu, 4 Jul 2013 23:44:22 +0200 Subject: CALCO 2013: call for participation Message-ID: <20130704214422.GA26960@duch.mimuw.edu.pl> [Apologies for multiple copies] ========================================================================= CALL FOR PARTICIPATION: CALCO 2013 5th International Conference on Algebra and Coalgebra in Computer Science September 3 - 6, 2013 Warsaw, Poland http://coalg.org/calco13/ ========================================================================= REGISTRATION IS NOW OPEN! ========================================================================= -- IMPORTANT DATES -- * Early registration: until August 5th, 2013 * Late registration: until August 26th, 2013 -- SCOPE -- CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. -- INVITED SPEAKERS -- * Andrej Bauer (University of Ljubljana, SI) * Mikolaj Bojanczyk (University of Warsaw, PL) * Neil Ghani (University of Strathclyde, UK) * Damien Pous (CNRS, ENS-Lyon, F) -- ACCEPTED PAPERS -- Please see http://coalg.org/calco13/accepted-papers for a complete list. -- LOCATION -- Warsaw, the capital of Poland, is a lively city with many historic monuments and sights, but also with a thriving business district. It is easily accessible via two airports: the main Chopin Airport, used by most international carriers, and the recently open Warsaw Modlin Airport (30 minutes away by rail), used by budget airlines. -- SATELLITE WORKSHOPS -- CALCO 2013 will be preceded by the CALCO Early Ideas Workshop, chaired by Monika Seisenberger (Swansea University). The workshop is dedicated to presentation of work in progress and original research proposals. PhD students and young researchers are particularly encouraged to contribute. A workshop dedicated to tools based on algebraic and/or coalgebraic principles, CALCO Tools, will be held alongside the main conference, chaired by Lutz Schroeder (Friedrich Alexander Universitaet Erlangen-Nuernberg). Papers of this workshop will be included in the CALCO proceedings. -- PROGRAMME COMMITTEE -- Luca Aceto - Reykjavik University, Iceland Jiri Adamek - TU Braunschweig, D Lars Birkedal - IT University of Copenhagen, DK Filippo Bonchi - CNRS, ENS-Lyon, F Corina Cirstea - University of Southhampton, UK Bob Coecke - University of Oxford, UK Andrea Corradini - University of Pisa, I Mai Gehrke - Universite Paris Diderot - Paris 7, F H. Peter Gumm - Philipps University Marburg, D Gopal Gupta - University of Texas at Dallas, USA Ichiro Hasuo - Tokyo University, Japan Reiko Heckel - University of Leicester, UK (cochair) Bart Jacobs - Radboud University Nijmegen, NL Ekaterina Komendantskaya - University of Dundee, Scotland, UK Barbara Koenig - University of Duisburg-Essen, D Jose Meseguer - University of Illinois, Urbana-Champaign, USA Marino Miculan - University of Udine, I Stefan Milius - Friedrich-Alexander Universitaet Erlangen-Nuernberg, D (cochair) Larry Moss - Indiana University, Bloomington, USA Till Mossakowski - DFKI Lab Bremen and University of Bremen, D Prakash Panangaden - McGill University, Montreal, Canada Dirk Pattinson - Imperial College London, UK Dusko Pavlovic - Royal Holloway, University of London, UK Daniela Petrisan - University of Leicester, UK John Power - University of Bath, UK Jan Rutten - CWI Amsterdam and Radboud University Nijmegen, NL Lutz Schroeder - Friedrich-Alexander Universitaet Erlangen-Nuernberg, D Monika Seisenberger - Swansea University, UK Sam Staton - University of Cambridge, UK Alexandra Silva - Radboud University Nijmegen and CWI Amsterdam, NL Pawel Sobocinski - University of Southampton, UK Yde Venema - University of Amsterdam, NL Uwe Wolter - University of Bergen, NO -- ORGANISING COMMITTEE -- Bartek Klin (University of Warsaw, PL) Andrzej Tarlecki (University of Warsaw, PL) Joanna Ochremiak (University of Warsaw, PL) . From math.semantic.web at gmail.com Fri Jul 5 00:06:12 2013 From: math.semantic.web at gmail.com (Christoph LANGE) Date: Thu, 04 Jul 2013 23:06:12 +0100 Subject: Tutorial 'Mechanised Reasoning in Economics' (Koblenz, Germany, 17 Sept.): early registration until 15 July Message-ID: <51D5F1D4.1040301@gmail.com> CALL FOR PARTICIPATION Applying Mechanised Reasoning in Economics – Making Reasoners Applicable for Domain Experts http://www.cs.bham.ac.uk/research/projects/formare/events/informatik2013/ Tutorial at Informatik 2013 – Computer science adapted to humans, organization and the environment, 43rd annual meeting of the German Informatics Society (Gesellschaft für Informatik e.V. (GI) http://informatik2013.de/ 17 September 2013, 14:00-17:30 Koblenz, Germany AUDIENCE Our audience comprises computer scientists developing or using mechanised reasoning systems, or interested in learning how to use them. The message of this tutorial is: 1. There are interesting nails (problems) out there in economics, waiting for hammers (tools) from computer science to be applied to them. 2. Those domain experts who have the interesting problems do not speak the same language as computer scientists do. 3. Therefore, it takes some effort to make computer science tools applicable in such domains: * giving meaningful feedback on errors, * writing application-oriented documentation, * trying hard to support users who understand textbook mathematics but not proof calculi, etc. MOTIVATION (ECONOMIST'S PERSPECTIVE) We have a vision of increasing confidence in economics' models and mechanisms. Auction designs are under constant evolution as they seek to incorporate lessons learned and to recognise specific features of the markets in which they are run. Similarly, current models for financial risk measurement are too large and change too quickly to be checked by hand. These challenges affect not only the economics sector itself, but also the government as it regulates the economy, and thus the general public. Since the software used is mission critical it should be verified to a high level of reliability. We believe that such problems can be addressed by representing the underlying knowledge in a formal, explicit way that is accessible to mechanised reasoning tools. These have already been applied to economics, albeit by computer scientists rather than the economists themselves. Many economists have postgraduate training in mathematics; historically, it has been less common for them to have training in computer science. Therefore, despite a growing interface (consider, e.g., the ACM Transactions on Economics and Computation), they lack awareness of the existence of reasoning tools and their appropriateness for tasks in economics. Moreover such tools are still challenging to use. The objective of our ForMaRE project (formal mathematical reasoning in economics) is to raise awareness and to enable economists to work with the languages and tools of their choice. RESEARCH CONTEXT (Computer Science Perspective) How can we make formal methods familiar to economists? Concretely, we are developing a basic Auction Theory Toolbox of formalisations, on top of which auction designers can formalise and verify their own auction designs, and we are getting started with applying similar techniques to matching markets and financial risk management. This tutorial reports on our experience and insights from carrying out this research. >From a computer science perspective, our “toolbox building” approach requires 1. identifying the right language to formalise the theory (i.e. being sufficiently expressive while still supporting efficient proofs), and 2. identifying a a mechanised reasoning system whose input and output are comprehensible to economists, who usually do pen-and-paper proofs and are familiar with mathematical textbook notation. We have so far gained experience with the languages/systems Isabelle/HOL and its jEdit IDE, Theorema, CASL and its Hets IDE and the System on TPTP web service, Mizar, as well as Prover9 and Mace4. * Economists may find it appealing that the structure of an Isabelle or Mizar proof resembles the structure of a paper proof, that Theorema is an add-on to the familiar Mathematica CAS with its textbook-like notebook interface, or that Hets allows for uniformly feeding one formalisation into a wide range of highly efficient automated theorem provers. * It may deter them that little documentation for these tools is available, or that it requires strong background knowledge, and that the investigation of unsuccessful automated proof attempts requires a good understanding of the underlying calculus. INTERACTIVE MATCHMAKING The last part of the tutorial involves an interactive matchmaking session. We will try to match tutorial participants who are developers or experienced users of tools (if you are, please contact us in advance!) and economics problems to which consider these tools may be applicable. We will briefly present the respective problem and ask the respective participant for a brief voluntary presentation of his or her tool. From our connections in the economics community (cf. our research collaborators and our organisation of the AISB 2013 symposium on Enabling Domain Experts to use Formalised Reasoning) we have a portfolio of around a dozen potentially matching problems. ORGANISERS * Christoph Lange, Computer Science, University of Birmingham, UK * Manfred Kerber, Computer Science, University of Birmingham, UK * Colin Rowat, Economics, University of Birmingham, UK Please contact us at formare-management at cs.bham.ac.uk. -- 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. http://cicm-conference.org/2013/ → Modular Ontologies (WoMO), 15 September, Corunna, Spain. Submission until 12 July; http://www.iaoa.org/womo/2013.html → Knowledge and Experience Management, 7-9 October, Bamberg, Germany. Submission until 15 July; http://minf.uni-bamberg.de/lwa2013/cfp/fgwm/ → Mathematics in Computer Science Special Issue on “Enabling Domain Experts to use Formalised Reasoning”; submission until 31 October. http://cs.bham.ac.uk/research/projects/formare/pubs/mcs-doform/ From brendon.woodford at otago.ac.nz Fri Jul 5 06:28:11 2013 From: brendon.woodford at otago.ac.nz (Brendon Woodford) Date: Fri, 5 Jul 2013 04:28:11 +0000 Subject: AI 2013 CFP: Due Date July 21, 2013 (Extended Message-ID: <4E09E4C2A5ED7442A4F667D4D3394CE87837FF80@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 schmidt at cs.man.ac.uk Sat Jul 6 09:31:11 2013 From: schmidt at cs.man.ac.uk (Renate Schmidt) Date: Sat, 06 Jul 2013 08:31:11 +0100 Subject: FroCoS 2013: CALL FOR PARTICIPATION Message-ID: <20130706073111.EE6F94D6270@cspc036.cs.man.ac.uk> CALL FOR PARTICIPATION FroCoS 2013 9th International Symposium on Frontiers of Combining Systems Nancy, France September 18-20, 2013 http://frocos2013.loria.fr/ Co-located with TABLEAUX 2013 NOTE: Early registration is until July 31. For online registration, visit http://frocos2013.loria.fr/registration.html Please note the reduced fees for the joint registration FroCoS+TABLEAUX. GENERAL INFORMATION The 9th International Symposium on Frontiers of Combining Systems will be held in Nancy, France, from 18-20 September 2013. The aim of the conference is to publish and promote progress in research areas requiring the development of general techniques and methods for the combination and integration of special, formally defined systems, as well as for the analysis and modularization of complex systems. PROGRAMME The conferences features 4 invited talks and 20 contributed papers. The full programme will be available soon at the conference website. INVITED TALKS - Stephane Demri, New York University & LSV, CNRS Counter Systems: The Quest for Pushing the Decidability Borders (joint invited talk with TABLEAUX 2013) - Konstantin Korovin, The University of Manchester From Resolution and DPLL to Solving Arithmetic Constraints - Joel Ouaknine, University of Oxford Specification and Verification of Linear Dynamical Systems: Advances and Challenges - Lawrence C. Paulson, University of Cambridge MetiTarski's Menagerie of Cooperating Systems CO-LOCATED EVENT FroCoS 2013 will be co-located with the 22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2013) held 16-19 September 2013. Participation in the TABLEAUX sessions is open to FroCoS participants on the overlapping days. There is also an attractive option for joint registration to both FroCoS and TABLEAUX. IMPORTANT DATES 31 Jul 2013 Early registration deadline 16-19 Sep 2013 Tableaux Conference 18-20 Sep 2013 FroCoS Conference REGISTRATION For online registration, please visit: http://frocos2013.loria.fr/registration.html The early registration deadline is July 31. Please refer to the conference website for registration, accommodation and travel information. ORGANIZATION - Pascal Fontaine (PC Co-Chair), LORIA, INRIA, University of Lorraine, France - Christophe Ringeissen (Conference Chair), LORIA, INRIA, France - Renate Schmidt (PC Co-Chair), The University of Manchester, UK We look forward to seeing you in Nancy! From lukasiew at gmail.com Mon Jul 8 15:24:12 2013 From: lukasiew at gmail.com (Thomas Lukasiewicz) Date: Mon, 08 Jul 2013 14:24:12 +0100 Subject: [CFP] SeRSy@ACM RecSys 2013 - 2nd International Workshop on Recommender Systems meet Big Data & Semantic Technologies Message-ID: <51DABD7C.2060108@cs.ox.ac.uk> Apologies for possible multiple posts ============================ CALL FOR PAPERS ============================ 2nd International Workshop on Recommender Systems meet Big Data & Semantic Technologies - SeRSy 2013 in conjunction with RecSys 2013, Hong Kong, October 12-16, 2013 http://sisinflab.poliba.it/sersy2013/ http://recsys.acm.org/recsys13/sersy/ MOTIVATION ---------- Recommendation techniques generally rely on data referring to three kinds of objects: users, items and their relations. The widespread success of Semantic Web techniques, creating a Web of interoperable and machine readable data, offers novel strategies to represent data that might improve the current state of the art of recommender systems, in order to move towards a new generation of recommender systems which fully understand the items they deal with. Indeed, more and more semantic data are published following the Linked Data principles, that enable to set up links between objects in different data sources, by connecting information in a single global data space - the Web of Data. Today, Web of Data includes different types of knowledge represented in a homogeneous form - sedimentary one (encyclopedic, cultural, linguistic, common-sense and real-time one (news, data streams. This data might be useful to interlink diverse information about users, items, and their relations and implement reasoning mechanisms that can support and improve the recommendation process. The challenge is to investigate whether and how this large amount of wide-coverage and linked semantic knowledge can significantly improve complex search and filtering tasks that cannot be solved merely through a straightforward matching of queries (or user profiles) and items. Such tasks involve finding information from large document collections, categorizing and understanding that information, and producing some output, such as an actionable decision. Examples of such tasks include understanding a health problem in order to make a medical decision, or simply deciding which laptop to buy. Recommender systems support users exactly in those complex tasks. TOPICS ------- Topics of interest include (but are not limited to): - Recommendation approaches exploiting Big Data and Semantic technologies - Linked Data for Recommender Systems - Ontology-based recommendation algorithms - Reasoning with Big Data - Discovery of relevant Linked Data sources for recommendation algorithms - Linking, aggregating, intertwining and mining Linked Data for recommender systems - Linked Data in new Recommender Systems architectures - Semantic technologies for Cross-lingual and cross-domain recommender systems - Semantic technologies for improving transparency and explanations - Big datasets for the evaluation - Evaluation methodologies for real time personalization in big datasets - Semantic technologies for improving novelty, diversity and serendipity SUBMISSION ----------------------- We welcome work at all stages of development: papers can describe applied systems, empirical results or theoretically grounded positions. Accepted papers will be published as CEUR workshop proceedings (http://ceur-ws.org). Based on the quality of accepted papers we are planning to schedule a special issue of a top-level journal in 2013. * Full papers (5-6 pages) * Short papers (2-3 pages) * Demos (1-2 pages for description) Papers should be formatted according to the general RecSys2013 submission guidelines. Accepted format is PDF. Please submit your paper via EasyChair at the following URL: https://www.easychair.org/conferences/?conf=sersy2013 You need to open a personal account upon the first login, if you do not have one. IMPORTANT DATES --------------- Submission due: July 22, 2013 Author notification: August 23, 2013 Camera-ready version due: TBA Workshop date: TBA ORGANIZING COMMITTEE -------------------- Marco de Gemmis - University of Bari Aldo Moro, Italy Tommaso Di Noia - Politecnico of Bari, Italy Ora Lassila - Nokia Research Center, Cambridge, U.S. Pasquale Lops - University of Bari Aldo Moro, Italy Thomas Lukasiewicz - University of Oxford, UK Giovanni Semeraro - University of Bari Aldo Moro, Italy PROGRAM COMMITTEE ----------------- TBA CONTACT ----------------- e-mail: sersy2013 at gmail.com Web page: http://sisinflab.poliba.it/sersy2013/ twitter: @sersy2013 linkedin: http://tinyurl.com/sersy2013 From geoff at cs.miami.edu Mon Jul 8 16:04:40 2013 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Mon, 8 Jul 2013 10:04:40 -0400 (EDT) Subject: 10th IWIL Workshop, in South Africa Message-ID: <20130708140440.C9C6B121730@mcclellan.cs.miami.edu> 10th International Workshop on the Implementation of Logics http://www.eprover.org/EVENTS/IWIL-2013.html The 10th International Workshop on the Implementation of Logics will be held on December 14th, 2013, colocated with the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning in Stellenbosch, South Africa. We are looking for contributions describing implementation techniques for and implementations of automated reasoning programs, theorem provers for various logics, logic programming systems, and related technologies. Topics of interest include, but are not limited to: + Propositional logic and decision procedures, including SMT + First-order and higher order logics + Non-classical logics, including modal, temporal, description, and non-monotonic logics + Formal foundations for efficient implementation of logics + Data structures and algorithms for the efficient representation and processing of logical concepts + Proof/model search organization and heuristics for logical reasoning systems + Data analysis and machine learning approaches to search control + Techniques for proof/model search visualization and analysis + Practical constraint handling + Reasoning with ontologies and other large theories + Implementation of efficient theorem provers and model finders for different logics + System descriptions of logical reasoning systems + Issues of reliability, witness generation, and witness verification + Evaluation and benchmarking of provers and other logic-based systems + I/O standards and communication between reasoning systems We are particularly interested in contributions that help the community to understand how to build useful and powerful reasoning systems, and how to apply them in practice. Researchers interested in participating are invited to submit a position statement (2 pages), a short paper (up to 5 pages), or a full papers (up to 15 pages). Submissions should be made via EasyChair at http://www.easychair.org/conferences/?conf=iwil2012 Submissions will be refereed by the program committee, which will select a balanced program of high-quality contributions. Submissions should be in standard-conforming PDF. Final versions will be required to be submitted in LaTeX using the easychair.cls class file. Proceedings will be published as EasyChair Proceedings. If number and quality of the submissions warrant it, we plan to produce a special issue of a recognized journal on the topic of the workshop. Important Dates: Submission of papers/abstracts: October 14th, 2013 Notification of acceptance: November 11th, 2013 Camera ready versions due: December 2nd, 2013 Workshop: December 14th, 2013 Program committee: Stephan Schulz (Co-Chair) TU München Geoff Sutcliffe (Co-Chair) University of Miami Boris Konev (Co-Chair) University of Liverpool Leonardo de Moura Microsoft Research Peter Baumgartner NICTA/Australian National University Uwe Waldmann MPI für Informatik Guillaume Burel ENSIIE/Cedric Andrew Reynolds University of Iowa Tommi Junttila Aalto University Konstantin Korovin The University of Manchester Graham Steel INRIA From tony.savarimuthu at otago.ac.nz Tue Jul 9 01:20:52 2013 From: tony.savarimuthu at otago.ac.nz (Tony Savarimuthu) Date: Mon, 8 Jul 2013 23:20:52 +0000 Subject: The first New Zealand Agent school (co-located with PRIMA 2013) Message-ID: Dear All, The first New Zealand agent school will be held in Dunedin on 1st of December 2013 (see http://prima2013.otago.ac.nz/agent-school/ for registration details). The school is co-located with the PRIMA conference. The submission deadline for the conference has been extended to 21st July - http://prima2013.otago.ac.nz). A list of presenters of the agent school is given below (tentative list): * Prof. Aditya K. Ghose, University of Wollongong, Australia * A/Prof. Takayuki Ito, Nagoya Institute of Technology, Japan * Dr. John Thangarajah, RMIT, Australia * A/Prof. Michael Winikoff, Otago University, New Zealand * Prof. Makoto Yokoo, Kyushu University, JapanTony Regards, Tony -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From lukasiew at gmail.com Tue Jul 9 11:33:55 2013 From: lukasiew at gmail.com (Thomas Lukasiewicz) Date: Tue, 09 Jul 2013 10:33:55 +0100 Subject: CFP URSW 2013 (deadline extended) Message-ID: <51DBD903.1030304@cs.ox.ac.uk> CALL FOR PAPERS 9th International Workshop on Uncertainty Reasoning for the Semantic Web http://c4i.gmu.edu/ursw/2013 In conjunction with the 12th International Semantic Web Conference (ISWC'13) Sydney, Australia October 21-22, 2013 >>>>> New paper submission deadline: 24th July, 2013 <<<<< ISWC is a major international forum for presenting visionary research on all aspects of the Semantic Web. The Uncertainty Reasoning for the Semantic Web (URSW) workshop at ISWC'13 is an exciting opportunity for collaboration and cross-fertilization between the uncertainty reasoning community and the Semantic Web / Linked Data community. Effective methods for reasoning under uncertainty are vital for realizing many aspects of the Semantic Web vision, but the ability of current-generation web technology to handle uncertainty remains extremely limited. Thus, there is a continuing demand for uncertainty reasoning technology among Semantic Web researchers and developers, and the URSW workshop creates a unique opening to bring together two communities with a clear commonality of interest but limited history of interaction. By capitalizing on this opportunity, URSW could spark dramatic progress toward realizing the Semantic Web vision. AUDIENCE The intended audience for this workshop includes the following: - Researchers in uncertainty reasoning technologies with interest in Semantic Web / Linked Data and Web-related technologies; - Semantic Web and Linked Data developers and researchers; - People in the knowledge representation community with interest in the Semantic Web / Linked Data; - Ontology researchers and ontological engineers; - Web services and cloud computing researchers and developers with interest in the Semantic Web / Linked Data. TOPIC LIST We intend to have an open discussion on any topic relevant to the general subject of uncertainty in the Semantic Web and Linked Data (including fuzzy theory, probability theory, and other approaches). Therefore, the following list should be just an initial guide: - Syntax and semantics for extensions to Semantic Web / Linked Data languages to enable representation of uncertainty; - Logical formalisms to support uncertainty in Semantic Web / Linked Data languages; - Probability theory as a means of assessing the likelihood that terms in different ontologies refer to the same or similar concepts; - Architectures for applying plausible reasoning to the problem of ontology mapping; - Using fuzzy approaches to deal with imprecise concepts within ontologies; - The concept of a probabilistic ontology and its relevance to the Semantic Web; - Best practices for representing uncertain, incomplete, ambiguous, or controversial information in the Semantic Web / Linked Data; - The role of uncertainty as it relates to web services and cloud computing; - Interface protocols with support for uncertainty as a means to improve interoperability among web services; - Uncertainty reasoning techniques applied to trust issues in the Semantic Web and Linked Data; - Existing implementations of uncertainty reasoning tools in the context of the Semantic Web and Linked Data; - Issues and techniques for integrating tools for representing and reasoning with uncertainty; - The future of uncertainty reasoning for the Semantic Web and Linked Data. IMPORTANT DATES >>> July 24, 2013 (updated!): Paper submissions due <<< August 9: Paper acceptance notification August 31: Camera-ready papers due October 21-22: 9th Workshop on Uncertainty Reasoning for the Semantic Web SUBMISSION DETAILS The URSW workshop will be accepting submissions of technical papers and position papers. Each submission will be evaluated for acceptability by at least three members of the Program Committee. Decisions about acceptance will be based on relevance to the above topic list, originality, potential significance, topicality and clarity. Since all accepted papers will be presented at the workshop, we require that at least one of the submitting authors must be a registered participant at the ISWC 2013 Conference, and committed to attend the URSW workshop. Submissions to the workshop are only accepted in electronic format and should be sent via the workshop’s submission site: https://www.easychair.org/account/signin.cgi?conf=ursw2013. Papers must be formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). This is the very same format adopted by the ISWC 2013. For complete details, see Springer’s Author Instructions (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Technical papers submitted to the URSW workshop must not exceed 12 pages, including figures and references. Submissions exceeding this limit will not be reviewed. Position papers consist of a summary of ideas, projects, or any research efforts that are relevant to the URSW workshop and must not exceed 4 pages. Following the general acceptance rules of the ISWC 2013 conference, papers that, at the time of submission, are under review for or have already been published in or accepted for publication in a journal or another conference will not be accepted to the URSW workshop. PRESENTATION AND PUBLICATION URSW 2013 will be a half-day workshop. All papers accepted for URSW will be presented during the workshop and published in the workshop proceedings. Authors of accepted technical papers will have 20 minutes to present their work, while authors of accepted position papers will have a 10-minute slot to share their ideas. After each presentation, 5 minutes will be allocated to questions from the audience. Both technical and position papers will be published in the URSW workshop proceedings, to be available after the ISWC 2013 Conference. In addition, extended and revised versions of selected technical papers presented at URSW 2013 will be eligible for participating in an international journal special issue or in a post-proceedings book. ORGANIZING COMMITTEE Fernando Bobillo - University of Zaragoza, Spain Rommel N. Carvalho - George Mason University, USA Paulo C. G. Costa - George Mason University, USA Claudia d’Amato - University of Bari, Italy Nicola Fanizzi - University of Bari, Italy Kathryn Laskey - George Mason University, USA Kenneth J. Laskey – MITRE Corporation, USA Thomas Lukasiewicz – University of Oxford, UK Trevor Martin - University of Bristol, UK Matthias Nickles - DERI, National University of Ireland, Galway, Ireland Michael Pool - Goldman Sachs, USA PROGRAM COMMITTEE Fernando Bobillo – University of Zaragoza, Spain Silvia Calegari - University of Milano-Bicocca, Italy Rommel N. Carvalho - George Mason University, USA Davide Ceolin - VU University Amsterdam, Netherlands Paulo C. G. Costa - George Mason University, USA Fabio G. Cozman - Universidade de Sao Paulo, Brazil Claudia d’Amato - University of Bari, Italy Nicola Fanizzi - University of Bari, Italy Marcelo Ladeira - University of Brasilia, Brazil Kathryn B. Laskey - George Mason University, USA Kenneth J. Laskey - MITRE Corporation, USA Thomas Lukasiewicz - University of Oxford, UK Trevor Martin - University of Bristol, UK Alessandra Mileo - DERI, National University of Ireland, Galway, Ireland Matthias Nickles - DERI, National University of Ireland, Galway, Ireland Jeff Z. Pan - University of Aberdeen, UK Rafael Peñaloza, Technical University Dresden, Germany Michael Pool - Goldman Sachs, USA Livia Predoiu - University of Oxford, UK Guilin Qi - Southeast University, China Célia Ralha - University of Brasilia, Brazil Dave Robertson - University of Edinburgh, UK Daniel Sánchez - University of Granada, Spain Thomas Scharrenbach - Swiss Federal Institute WSL, Switzerland Luciano Serafini - Fondazione Bruno Kessler, Italy Sergej Sizov - University of Koblenz-Landau, Germany Giorgos Stoilos - National and Technical University of Athens, Greece Umberto Straccia - ISTI-CNR, Pisa, Italy Andreas Tolk - Old Dominion University, USA Matthias Thimm - Universität Koblenz, Germany Peter Vojtas - Charles University, Czech Republic We are looking forward to seeing you in Sydney! From Emiliano.Lorini at irit.fr Wed Jul 10 12:11:18 2013 From: Emiliano.Lorini at irit.fr (Emiliano Lorini) Date: Wed, 10 Jul 2013 12:11:18 +0200 Subject: First Call for Papers for the 11th European Workshop on Multi-Agent Systems (EUMAS-2013) In-Reply-To: <50EE93AB.1040803@irit.fr> Message-ID: <1c4f-51dd3380-3-18a89f20@58993808> Could you please distribute the following call for papers for the 11th European Workshop on Multi-Agent Systems (EUMAS-2013) through your mailing list? Thank you very much in advance. Best regards, Emiliano Lorini --------------------------------------------------------- Firt call for papers EUMAS-2013 11th European Workshop on Multi-Agent Systems 12-13 December 2013, Toulouse, France http://www.irit.fr/EUMAS2013/ In the last two decades, we have seen a significant increase of interest in agent-based computing. This field is now set to become one of the key technologies in the 21st century. It is crucial that both academics and industrialists within Europe have access to a forum at which current research and application issues are presented and discussed. Following in the tradition of past EUMAS (Oxford 2003, Barcelona 2004, Brussels 2005, Lisbon 2006, Hammamet 2007, Bath 2008, Agia Napa 2009, Paris 2010, Mastricht 2011, Dublin 2012), the aim of this Eleventh European Workshop on Multi-Agent Systems is to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts. This workshop is primarily intended as a European forum at which researchers and those interested in activities relating to research in the area of autonomous agents and multi-agent systems could meet, present (potentially preliminary) research results, problems, and issues in an open and informal but academic environment. The scope of the event is defined as the scope of the International Journal on Autonomous Agents & Multi-agent Systems (JAAMAS), the International Conference on Autonomous Agents & Multi-agent Systems (AAMAS), and the European Association for Multiagent Systems (EURAMAS). TOPICS OF INTEREST Topics include but are not limited to: Action and Planning Adaptation and Learning Agent Architectures Agent Programming Languages Agents and Complex Systems Agent Based Simulation Ambient Intelligence Applications Argumentation Autonomy Bio-inspired Approaches to Agents and Multi-Agent Systems Cognitive Models Collective and Swarm Intelligence Collective Intentionality Communication Competition Complexity Cooperation Coordination E-*Applications Economic Models Emergence Emotion Formal Models Game Theoretic Models Grid Computing Logics for Multi-Agent Systems Methodologies Negotiation Organisations and Institutions Proactivity and Reactivity Protocols Robotics Self-organisation Semantic Web Agents Agent-based Service Oriented Computing Socio-technical Systems Agent-oriented Software Engineering Standards Teamwork Theories of Agency Tools Trust and Reputation Ubiquitous Computing Verification Virtual Agents SPECIAL SESSION OF LAMAS (LOGICAL ASPECTS OF MULTI-AGENT SYSTEMS) The sixth LAMAS workshop (Logical Aspects of Multi-Agent Systems) will be colocated with EUMAS-2013, as a special session. (See http://icr.uni.lu/lamas2012/cfp.html for the previous edition of the LAMAS workshop). Accepted LAMAS papers are included in the EUMAS-2013 informal proceedings. The submission of papers to the LAMAS special session is subject to the same requirements as the submission of papers to the EUMAS-2013 normal track. Topics of interest for the LAMAS special session include but are not limited to: - Logical systems for specification, analysis, and reasoning about MAS - Modeling MAS with logic-based models - Deductive systems and decision procedures for logics for MAS - Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS - Logic-based tools for MAS - Applications of logics in MAS SUBMISSIONS, PROCEEDINGS AND POST-PROCEEDINGS Submission of papers describing relevant preliminary or completed work are invited. EUMAS-2013 also welcomes papers that are under submission, will be presented or have already been presented at relevant international conferences. We specially invite submissions by students that we think will receive valuable feedback from the the discussion-oriented focus of the workshop. Preliminary student work is welcome; however it has to possess sufficient substance for serving as a discussion basis and therefore has to pass the review cycle in the same way as other work. All submissions should be formatted using Springer LNCS style which can be found at http://www.springer.de/comp/lncs/authors.html. EUMAS-2013 solicits papers in two categories: - Regular research papers of 10 to 15 pages. - Extended abstracts of 2 to 5 pages reporting an interesting work in progress or providing system descriptions. We request the submission of title and abstract prior the paper submission for supporting the tight schedule of reviewing. The authors can submit their abstracts and papers through the EUMAS 2013 Easychair submission site: https://www.easychair.org/conferences/?conf=eumas2013 The workshop is intended primarily as a forum for interaction and discussion. The workshop will provide informal proceedings to registrants electronically (on a USB stick). Printed proceedings will be available for an extra fee covering printing costs. Workshop notes will contain all original papers and abstracts of previously published papers. After the event, we plan to invite a selection of unpublished submissions to be included in a volume published by Springer in the LNCS/LNAI series. The book will collect the papers that received the best grades during the review phase and generated the most animated discussions after the talk. We will use an average of review grades and session chairs evaluation of the discussion for selecting these papers. IMPORTANT DATES Abstract submission deadline: October 14, 2013 Paper submission deadline: October 18, 2013 Notification of acceptance: November 12, 2013 Camera-ready submission: November 29, 2013 EUMAS 2013 workshop: December 12-13, 2013 OFFICIALS PC chair: Emiliano Lorini, IRIT-CNRS, Toulouse, France Organizing committee: Florence Bannay (co-chair), IRIT, Toulouse, France Valérie Camps (co-chair), IRIT, Toulouse, France Program committee: Under construction From ph_r at gmx.net Wed Jul 10 12:46:43 2013 From: ph_r at gmx.net (Philipp Ruemmer) Date: Wed, 10 Jul 2013 12:46:43 +0200 Subject: PhD Position on SMT Reasoning at Uppsala University Message-ID: <1373453203.2855.109.camel@hal3> ====================================================================== -- PhD Position on SMT Reasoning -- -- Uppsala University, Sweden -- ====================================================================== Applications are invited for a PhD student position in Computer Science at Uppsala University, Sweden. The position is partly funded through a Microsoft Research PhD scholarship, and includes benefits such as a PhD summer school organised by Microsoft Research Cambridge. Research will be carried out in the context of a collaboration between Uppsala University and Microsoft Research Cambridge. http://www.uu.se/jobb/phd-students/annonsvisning?tarContentId=248331 Information about the position can be given by Philipp Rümmer Christoph Wintersteiger Application deadline is 15 August, 2013. Subject Area ------------ SMT solvers are constraint solvers that combine highly efficient reasoning about Boolean logic with decision procedures for domains like linear arithmetic, bit-vectors, or arrays. SMT solvers form the backbone of many of today's verification systems, responsible for discharging verification conditions that encode correctness properties of hardware or software designs. Other application areas of SMT solvers include mechanised mathematical reasoning, operations research, compilation techniques, or malware detection. Quantifier treatment in SMT is usually implemented by means of instantiation heuristics. For verification and other applications, efficient handling of quantifiers has been identified as one of the main challenges in the development of solvers. The topic of this PhD research is the extension of the SMT paradigm to the first-order level, by including quantifiers as first-class citizens in solvers. This will be done by combining central SMT concepts, in particular the architecturing of SMT solvers as the combination of little, domain-specific engines, with techniques developed in the context of first-order logic, in particular delayed quantifier instantiation by means of free variables and unification. The research will partly build on tools previously developed in the Uppsala University and Microsoft Research, including the theorem provers Z3 and Princess. Research Environment -------------------- The Department of Information Technology at Uppsala University has a leading position in research as well as teaching at all levels. The Department has about 200 employees, including 80 senior faculty and 80 PhD students. More than 3000 students are enrolled in one or more courses annually. Founded in 1991, Microsoft Research has become one of the largest, fastest-growing, most respected software research organizations in the world. The Microsoft Research Cambridge branch was set up in July 1997, and today hosts over 100 researchers, mostly from Europe. Qualifications Required ----------------------- The candidates should have a Master of Science in Computer Science, Computer Engineering, or equivalent. Experience in mathematical logic, automated reasoning, and formal methods are desirable, as are good implementation skills. The positions are for a maximum of five years and include departmental duties at a level of at most 20% (typically teaching) as well as course studies. You will be expected to teach in Swedish or English. Excellent skills in spoken and written English are an absolute requirement. The department is striving to achieve a more equal gender balance and female candidates are particularly invited to apply. From paliourg at iit.demokritos.gr Wed Jul 10 16:49:02 2013 From: paliourg at iit.demokritos.gr (George Paliouras) Date: Wed, 10 Jul 2013 17:49:02 +0300 Subject: BioASQ challenge - call for participation in new task batches Message-ID: <008501ce7d7c$9e42d5c0$dac88140$@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 third batch of Task 1A (biomedical semantic indexing) and the second batch of Task 1B (biomedical question answering) will start on Monday July 15 and Wednesday July 17, respectively. Task 1A is related to: * hierarchical text classification, * semantic annotation of text. Task 1B is related to: * information retrieval, including document and snippet retrieval, * question answering for document collections and ontologies, * summarization from documents and structured information. Each batch of each task is independent of the previous ones and its winners will be awarded separate prizes. Therefore, you are encouraged to take part in the new batches, even if you did not participate in the previous ones. Registration 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/ Additionally, in an effort to improve the challenge, we have developed the survey at http://goo.gl/28shg. The survey consists of only 4 questions and should take less than 2 mins. We would greatly appreciate your participation. Good luck from the BioASQ team! The BioASQ challenge and workshop are organised by the BioASQ project, supported by the European Commission within the 7th Framework Programme (Grant Agreement No. 318652). From Jeremy.Gibbons at cs.ox.ac.uk Thu Jul 11 22:50:00 2013 From: Jeremy.Gibbons at cs.ox.ac.uk (Jeremy.Gibbons at cs.ox.ac.uk) Date: Thu, 11 Jul 2013 21:50:00 +0100 Subject: FHIES 2013 Call for Participation Message-ID: <201307112050.r6BKo0QY010564@linux2.cs.ox.ac.uk> CALL FOR PARTICIPATION Third International Symposium on Foundations of Health Information Engineering and Systems http://www.cs.ox.ac.uk/FHIES2013/ International Institute for Software Technology United Nations University, Macau 21st-23rd August, 2013 AIMS The purpose of the symposium series on Foundations of Health Information Engineering and Systems is to promote a nascent research area that aims to develop and apply theories and methods from a variety of disciplines for the purpose of modeling, building and certifying software-intensive ICT systems in healthcare. A particular objective of FHIES is to explicitly include a focus on healthcare ICT applications in the developing world (in addition to systems used in the developed countries), since unique engineering challenges arise in that special setting. Because humans often play a pivotal role in the process of using such systems, theories from the human factors engineering community may need to be integrated with methods from the technology-oriented domains in order to create effective engineering methodologies for socio-technical systems in the healthcare domain. Previous FHIES symposia were held in 2011, in Mabalingwe ZA (with post-conference proceedings in Springer LNCS 7151), and in 2012, in Paris FR (with post-conference proceedings in Springer LNCS 7789). REGISTRATION Registration is now open for FHIES 2013. The early registration deadline and the hotel reservation deadline are both 6th August 2013: after that point, the registration fee rises, and the reserved hotel rooms are released. The symposium has grown to three days; in addition to three keynote speakers and 19 accepted submissions, there will be two panel discussions, and a full programme of social events. For more information, including a link to the registration site, please visit the conference webpage. KEYNOTE SPEAKERS * Bill Thies, Microsoft Research, IN "Deploying mHealth Technologies in India: Successes, Failures, and Lessons Learned" * Jane Liu, Academia Sinica, TW "Intelligent Tools for Minimizing Medication Dispensing and Administration Errors" * Joe Cafazzo, Centre for Global eHealth Innovation, CA (title to be confirmed) ACCEPTED SUBMISSIONS * Deshendran Moodley, Christopher Seebregts, Anban Pillay and Thomas Meyer "An ontology-driven modeling platform for regulating eHealth interoperability in low resource settings" * Stephan Arlt, Johannes Faber, Zhiming Liu and Nafees Qamar "DiaMac: A Lightweight System for OpenEHR Interoperability Research" * Luciana Cavalini and Timothy Cook "Use of XML Schema Definition for the Development of Semantically Interoperable Healthcare Applications" * Kudakwashe Dube and Thomas Gallagher "Approach and Method for Generating Realistic Synthetic Electronic Healthcare Records for Secondary Use" * Edhelmira Lima Medina, Orlando Loques and Claudio Tinoco Mesquita "Minha Saude: A Health Social Network For Patients With Cardiovascular Problems" * Yihai Chen, Mark Lawford, Hao Wang and Alan Wassyng "Insulin Pump Software Certification" * Sara Khalid, David Clifton and Lionel Tarassenko "A Patient Mixture Model for Detecting Deterioration in Vital Signs using Track-and-Trigger Observations" * Mauro Santos, David Clifton and Lionel Tarassenko "Performance of Early Warning Scoring Systems to detect patient deterioration in the Emergency Department" * Arjan Mooij, Jozef Hooman, and Rob Albers "Early Fault Detection using Design Models for Collision Prevention in Medical Equipment" * Padraig O'Leary, Patrick Buckley and Ita Richardson "Modeling Care Pathways in a Connected Health Setting" * Padraig O'Leary, John Noll and Ita Richardson "A Resource Flow Approach to Modeling Care Pathways" * Marco Carbone, Anders Skovbo Christensen, Flemming Nielson, Hanne R Nielson, Thomas Hildebrandt and Martin Solvkjaer "ICT-powered Health Care Processes" * Franziska Kuehn and Martin Leucker "Research Challenges for the Safe Interconnection of Medical Devices" * Andrew King, Lu Feng, Oleg Sokolsky and Insup Lee "A Modal Specification Approach for Ad-Hoc Medical Systems" * Dominique Mery and Albert Rizaldi "Modeling Blood Glucose and Insulin Regulatory System in Event-B" * Sara Bessling and Michaela Huhn "Towards Formal Safety Analysis in Feature-Oriented Product Line Development" * Pascal Brandt, Deshendran Moodley, Anban Pillay, Christopher Seebregts and Tulio de Oliviera "An Investigation of Classification Algorithms for Predicting HIV Drug Resistance Without Genotype Resistance Testing" * Kudakwashe Dube, Ngonidzashe Zanamwe, Fredrick J. Mtenzi, Jasmine A. Thomson and Gilford T. Hapanyengwi "Modelling the Meal Planning Problem to Exploit Knowledge From National and International Food, Nutrition and Lifestyle Guidelines for Use in Mobile ICT-Based Applications for HIV/AIDS Therapy Management" * Zhiming Liu, Nafees Qamar and Jie Qian "Assessing the Effectiveness of De-identification Tools for Medical Data" ORGANIZERS General chairs: * Zhiming Liu, United Nations University, MO * Jens Weber, University of Victoria, CA Programme chairs: * Jeremy Gibbons, University of Oxford, UK * Wendy MacCaull, St. Francis Xavier University, CA Programme committee: * Ime Asangansi, University of Oslo, NO * Tom Broens, Mobihealth, NL * Lori Clarke, University of Massachusetts, US * David Clifton, University of Oxford, UK * Gerry Douglas, University of Pittsburgh, US * Johannes Faber, IIST, United Nations University, MO * Jozef Hooman, Embedded Systems Institute and Radboud University Nijmegen, NL * Michaela Huhn, Technische Universität Clausthal, DE * Shinsako Kiyomoto, KDDI R&D Laboratories Inc, JP * Craig Kuziemsky, University of Ottawa, CA * Yngve Lamo, Bergen University College, NO * Insup Lee, University of Pennsylvania, US * Orlando Loques, Instituto de Computação, Universidade Federal Fluminense, BR * Gilbert Maiga, Makerere University, UG * Dominique Mery, Université de Lorraine, LORIA, FR * Deshendran Moodley, University of KwaZulu-Natal, ZA * Jun Pang, University of Luxembourg, LU * Manfred Reichert, University of Ulm, DE * Ita Richardson, Lero, University of Limerick, IE * David Robertson, University of Edinburgh, UK * Christopher Seebregts, Jembi Health Systems / Medical Research Council, ZA * Bo Song, Qingdao University of Science and Technology, CN * Alan Wassyng, McMaster University, CA From peterschueller at sabanciuniv.edu Fri Jul 12 20:52:09 2013 From: peterschueller at sabanciuniv.edu (peterschueller at sabanciuniv.edu) Date: Fri, 12 Jul 2013 21:52:09 +0300 Subject: Call for Participation ICLP 2013: 29th International Conference on Logic Programming, Istanbul, August 24-29 Message-ID: (Apologies for cross-posting.) CALL FOR PARTICIPATION 29th International Conference on Logic Programming (ICLP 2013) Istanbul, Turkey, August 24-29, 2013 http://www.iclp2013.org ACCEPTED PAPERS The list of accepted regular papers and technical communcations is available on the conference home page: http://www.iclp2013.org. INVITED TALKS * Pascal Hitzler (http://www.pascal-hitzler.de) Recent advances concerning OWL and Rules. * Torsten Schaub (http://www.cs.uni-potsdam.de/~torsten) Experiencing Answer Set Programming at Work, Today and Tomorrow. * Hans von Ditmarsch (http://personal.us.es/hvd) Dynamic Epistemic Logic and Lying. * C.R. Ramakrishnan (http://www.cs.sunysb.edu/~cram/) Probabilistic Tabled Logic Programming with Application to Model Checking. * Invited author(s) of the most influencial paper of ICLP/ILPS 1993. * Invited author(s) of the most influencial paper of ICLP 2003. WORKSHOPS, DC, AND CONTEST * 9th ICLP Doctoral Consortium, August 24. * 13th International Colloquium on Implementation of Constraint and LOgic Programming System (CICLOPS): August 24-25. * 23rd Workshop on Logic-based methods in Programming Environments (WPLE): August 24-25. * WG17: August 24-25. * 1st International Workshop on Knowledge Representation and Reasoning in Robotics (KRR): August 25. * 6th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP): August 25. * Prolog Programming Contest: August 27. See http://www.iclp2013.org/en/Workshops.html for further details. REGISTRATION AND ACCOMODATION Information about registration and accomodation is available at the conference web site: http://www.iclp2013.org. Early registration is until July 18, 2013. SPONSORS The conference is sponsored by the Association for Logic Programming (ALP), Sabanci University, and Artificial Intelligence: An International Journal. ICLP 2013 ORGANIZATION * General Chairs: Esra Erdem (Sabanci University), Joohyung Lee (Arizona State University). * Program Comittee Chairs: Evelina Lamma (University of Ferrara), Terrance Swift (New University of Lisboa). * Workshop Chair: Hans Tompits (Vienna University of Technology). * Doctoral Consortium Chairs: Marco Gavanelli (University of Ferrara), Martin Gebser (University of Potsdam). * Publicity Chair: Peter Schueller (Sabanci University). * Prolog Programming Contest Chair: Bart Demoen (KU Leuven). CONFERENCE VENUE Istanbul is a city of unparalleled social and cultural richness. It is as fascinating and historical as it is dynamic and modern. Serving as the capital of two mighty empires for sixteen centuries, Eastern Roman (or Byzantine) and Ottoman, and set squarely between two continents, Istanbul has cultures and traditions that blend East with West and Mediterranean with Anatolian. Each civilization that has made Istanbul its home has left its mark in sublime and splendid ways, and the result a city that gives one the feeling of universal history at every step. Istanbul has always been a meeting place, a crosspoint and a destination. With the Ataturk Istanbul International Airport, getting to and from Istanbul has never been easier. With a capacity of far over 25 million travelers per year Istanbul is less than a three-hour flight from most European cities. Istanbul has a second airport located on the Asian side of the city, Sabiha Gokcen International Airport, which is an important arrival point especially for low-cost airlines. Overall, Istanbul is served by more than 50 major airlines to hundreds of cities around the world. From fernandez at iiia.csic.es Wed Jul 17 12:08:11 2013 From: fernandez at iiia.csic.es (Jose Luis Fernandez Marquez) Date: Wed, 17 Jul 2013 12:08:11 +0200 Subject: [CfP] CM2014: ACM SAC Special Track on Coordination Models, Languages and Applications Message-ID: <51E66D0B.7090907@iiia.csic.es> ******************************************************************************************************************** Coordination Models, Languages and Applications Special Track of the 29th ACM Symposium on Applied Computing (SAC'14) http://sac2014.apice.unibo.it/ March 24 - 28, 2014 Gyeongju, Korea ********************************************************************************************************************* Building on the success of the fifteenth previous editions (1998-2013), a special track on coordination models, languages and applications will be held at SAC 2014. Over the last decade, we have witnessed the emergence of models, formalisms and mechanisms to describe concurrent and distributed computations and systems based on the concept of coordination. The purpose of a coordination model is to enable the integration of a number of possibly heterogeneous components (processes, objects, agents, services) in such a way that the resulting ensemble can execute as a whole, forming a distributed software system with desired characteristics and functionalities. This is done in terms of coordination abstractions, languages, algorithms, mechanisms, and middleware specifically focused on the management of component interaction. The coordination paradigm crosscuts a number of contemporary software engineering approaches and fields, which we aim to cross-fertilize and bring contribution to, including in particular: multi-agent systems, self-adaptative and self-organising systems, service-oriented architectures, component-based systems, and all related middleware platforms. The Special Track on Coordination Models, Languages and Applications takes a deliberately broad view of what constitutes coordination. Accordingly, major topics of interest this year will include: - Novel models, languages, programming and implementation techniques - Applications - Internet, Web, and pervasive computing systems coordination - Coordination of multi-agent systems, including mobile agents, intelligent agents, and agent-based simulations - Languages for service description and composition - Models, frameworks and tools for Group Decision Making - All aspects related to Cooperative Information Systems (e.g. workflow management, CSCW) - Software architectures and software engineering techniques - Configuration and Architecture Description Languages - Middleware platforms - Self-organising, self-adaptive and nature-inspired coordination approaches - Coordination technologies, systems and infrastructures - Relationship with other computational models such as object oriented, declarative (functional, logic, constraint) programming or their extensions with coordination capabilities - Formal aspects (semantics, reasoning, verification) - Coordination models and specification in Service-Oriented Architectures, Web Service technologies (orchestration, choreography, etc), and Pervasive Computing We also welcome papers on practical systems or novel applications that are aimed at reaching coordination between components and services, especially if those systems and novel applications challenge existing ideas and models. In previous editions, CM Special Track organisers have been inviting authors of selected papers for special issues in high impact journals, such as, ACM Transactions on Autonomous and Adaptive Systems (TAAS) and Science of Computer Programming (SCP). ------------------------ Important Dates ------------------------ *** Sept 13, 2013: Paper submission *** Nov 15, 2013: Author notification Dec 6, 2013: Camera-Ready Copy Dec 13 2013: Author Registration ------------------------ Program Co-Chairs ------------------------ Mirko Viroli Alma Mater Studiorum - Universita' di Bologna http://www.ingce.unibo.it/~mviroli email: mirko.viroli at unibo.it Gabriella Castelli Universita' di Modena e Reggio Emilia http://pervasive2.morselli.unimo.it/~gabriella email: gabriella.castelli at unimore.it Jose Luis Fernandez-Marquez University of Geneva http://www.cui.unige.ch/~fernajos/ email: joseluis.fernandez at unige.ch ---------------------------------------- Program Committee Members ---------------------------------------- Farhad Arbab, CWI Amsterdam and Leiden University, Netherlands Jacob Beal, BBN Technologies, USA Ferruccio Damiani, University of Torino, Italy Wolfgang De Meuter, Vrije Universiteit Brussel, Belgium Rocco De Nicola, Institute for Advanced Studies Lucca, Italy Simon Dobson, University of St Andrews, Scotland Keith Harrison-Broninski, Role Modellers Ltd, UK Hung La, Rutgers University, USA Sam Malek, George Mason University, USA Manuel Mazzara, Newcastle University, UK Michael O'Grady, University College Dublin, Ireland Andrea Omicini, University of Bologna, Italy Manuel Oriol, University of York, UK António Porto, University of Porto, Portugal Alessandro Ricci, University of Bologna, Italy Juan Antonio Rodriguez Aguilar, IIIA-CSIC, Spain Michael Ignaz Schumacher, University of Applied Sciences, Switzerland Yasuyuki Tahara, National Institute of Informatics, Japan Robert Tolksdorf, Freie Universitaet Berlin, Germany Giuseppe Valetto, Drexel University, USA Daniel Villatoro, Barcelona Digital Technological Center, Spain Eiko Yoneki, University of Cambridge Computer Laboratory, UK George Wells, Rhodes University, South Africa Danny Weyns, Linnaeus University, Sweden Herbert Wiklicky, Imperial College London, UK Pawel T. Wojciechowski, Poznan University of Technology, Poland Hung, La, Rutgers University, USA --------------------- Proceedings --------------------- Papers accepted for the Special Track on Coordination Models, Languages and Applications will be published by ACM both in the SAC 2014 proceedings and in the Digital Library. ------------------------------------- Paper submission and format ------------------------------------- All papers should represent original and previously unpublished works that currently are not under review in any conference or journal. The author(s) name(s) and address(es) must NOT appear in the body of the paper, and self-reference should be in the third person. This is to facilitate blind review. Only the title should be shown at the first page without the author's information. Submitted papers must be no longer than 6 pages and in the ACM two-column page format (doc template, pdf template, latex template). It will be possible to have up to 2 extra pages in the proceeding at a charge of $80 per page (total 8 pages maximum). 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. Submission is entirely automated via the STAR Submission System, which is available from the main SAC Web Site: https://www.softconf.com/d/sac2014/. ------------------------- Poster Sessions ------------------------- Papers that received high reviews (that is acceptable by reviewer standards) but were not accepted due to space limitation can be invited for the poster session. Poster should be not longer than 2 pages plus 1 extra page at $80. The poster session procedures and details will be posted on SAC 2014 website as soon as they become available. ------------------------------------------------ Student research abstracts competition ------------------------------------------------ Graduate students are invited to submit research abstracts (minimum of 2-page and maximum of 4-page) following the instructions published at SAC 2014 website. Submission of the same abstract to multiple tracks is not allowed. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tramontana at dmi.unict.it Wed Jul 17 19:31:47 2013 From: tramontana at dmi.unict.it (Emiliano Tramontana) Date: Wed, 17 Jul 2013 19:31:47 +0200 Subject: Invitation to submit a paper for PSC track at ACM SAC Message-ID: <0ED00F11-1B7B-4213-BE84-2CDB78BF89ED@dmi.unict.it> CALL FOR PAPERS Programming for Separation of Concerns (PSC) Track at ACM SAC 2014 http://www.dmi.unict.it/~tramonta/sac/ Important Dates ------------- Paper Due September 13, 2013 Student Research Abstract Due September 13, 2013 Author Notification November 15, 2013 Camera Ready Dicember 6, 2013 Registration Dicember 13, 2013 Conference in Gyeongju, Korea March 24-28, 2014 Call for Papers ----------- Modularity issues have been tackled by Separation of Concerns (SoC) techniques such as computational reflection, aspect-oriented programming (AOP), subject-oriented programming (SOP) and context-oriented programming (COP). Such techniques produce systems whose concerns are well separated, thereby facilitating reuse and evolution of system components or systems as a whole. The Programming for Separation of Concerns (PSC) track at the 2014 Symposium on Applied Computing (SAC) aims to explore challenges that developers currently face when using SoC techniques during development and evolution. This year we aim at finding whether solutions based on SoC techniques can be appropriate for dealing with distributed and parallel systems, such as cloud computing and GPGPUs. Moreover, we aim at finding out how to change legacy systems in order to improve their modularity, hence the techniques helping rejuvenation. In this sense, we encourage submissions related with strategies that aim at tackling the discovery of faults related with distribution, parallelisation and ageing. The track will address questions like: how such techniques cope with architectural erosion? Are these techniques helpful to deal with evolution of legacy systems? Is there a need to extend current technologies supporting SoC? Authors are invited to submit original papers. Submissions are encouraged, but not limited, to the following topics: - Software architectures - Configuration management systems - Software reuse and evolution of legacy systems - Performance issues for metalevel and aspect-oriented systems (AOSD) - Testing of aspect-based systems - Mining of faults on aspect-based systems - Consistency, integrity and security - Generative approaches - Analysis and evaluation of software systems - Experiences in using reflection, composition filters, aspect- subject- and feature- orientation, and change-oriented-software-engineering - Reflective and aspect-oriented middleware for distributed systems - Language support for aspect-oriented and SoC systems - Modelling of SoC techniques to allow predictable outcomes from their use - Formal methods for metalevel and SoC systems Submission Guidelines ------------------ Original papers from the above mentioned or other related areas will be considered. Only full papers about original and unpublished research are sought. Parallel submission to other conferences or tracks is not acceptable. Papers can be submitted in electronic format via the SAC website within 13 September 2013. https://www.softconf.com/d/sac-src2014/ Please make sure that the authors name and affiliation do not appear on the submitted paper. Peer groups with expertise in the track focus area will blindly review submissions to the track. At least one author of the accepted paper should register and participate in the PSC track. Accepted papers will be published in the annual conference ACM proceedings. The camera-ready version of the accepted paper should be prepared using the ACM format (guidelines will be given on the SAC website). The maximum number of pages allowed for the final papers is six (6), with the option, at additional cost, to add two (2) more pages. A set of papers submitted to the PSC track and not accepted as full papers will be selected as poster papers and published in the ACM proceedings as 2-page papers, with the option, at additional cost, to add one (1) more page. 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. Student Research Competition ------------------------ Graduate students are invited to submit their work as abstract research paper within within 13 September 2013 (minimum two pages, maximum four pages). The work has to be authored by one student only. The abstract should reflect on the originality and innovation of the approach, and applicability of preliminary results to real-world problems. All abstracts must be submitted via SAC website. Authors of selected abstracts are eligible to apply to the SIGAPP Student Travel Award program for support. Please check the following website (or contact the track chairs) for any further information needed http://www.dmi.unict.it/~tramonta/sac/ From Emiliano.Lorini at irit.fr Thu Jul 18 15:57:47 2013 From: Emiliano.Lorini at irit.fr (Emiliano Lorini) Date: Thu, 18 Jul 2013 15:57:47 +0200 Subject: First Call for Papers for the 11th European Workshop on Multi-Agent Systems (EUMAS-2013)+ LAMAS special session Message-ID: <6254-51e7f480-d-7aab4180@27672585> Could you please help me to distribute the following call for papers for the 11th European Workshop on Multi-Agent Systems (EUMAS-2013) + LAMAS special session through your mailing list? Thank you very much in advance. Best regards, Emiliano Lorini ------------------------------------------ Firt call for papers EUMAS-2013 11th European Workshop on Multi-Agent Systems 12-13 December 2013, Toulouse, France http://www.irit.fr/EUMAS2013/ In the last two decades, we have seen a significant increase of interest in agent-based computing. This field is now set to become one of the key technologies in the 21st century. It is crucial that both academics and industrialists within Europe have access to a forum at which current research and application issues are presented and discussed. Following in the tradition of past EUMAS (Oxford 2003, Barcelona 2004, Brussels 2005, Lisbon 2006, Hammamet 2007, Bath 2008, Agia Napa 2009, Paris 2010, Mastricht 2011, Dublin 2012), the aim of this Eleventh European Workshop on Multi-Agent Systems is to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts. This workshop is primarily intended as a European forum at which researchers, and those interested in activities relating to research in the area of autonomous agents and multi-agent systems, could meet, present (potentially preliminary) research results, problems, and issues in an open and informal but academic environment. The scope of the event is defined as the scope of the International Journal on Autonomous Agents & Multi-agent Systems (JAAMAS), the International Conference on Autonomous Agents & Multi-agent Systems (AAMAS), and the European Association for Multiagent Systems (EURAMAS). TOPICS OF INTEREST Topics include but are not limited to: Action and Planning, Adaptation and Learning, Agent Architectures, Agent Programming Languages, Agents and Complex Systems, Agent Based Simulation, Ambient Intelligence Applications, Argumentation, Autonomy, Bio-inspired Approaches to Agents and Multi-Agent Systems, Cognitive Models, Collective and Swarm Intelligence, Collective Intentionality, Communication, Competition, Complexity, Cooperation, Coordination, E-*Applications, Economic Models, Emergence, Emotion, Formal Models, Game Theoretic Models, Grid Computing, Logics for Multi-Agent Systems, Methodologies, Negotiation, Organisations and Institutions, Proactivity and Reactivity, Protocols, Robotics, Self-organisation, Semantic Web Agents, Agent-based Service Oriented Computing, Socio-technical Systems, Agent-oriented Software Engineering, Standards, Teamwork, Theories of Agency, Tools, Trust and Reputation, Ubiquitous Computing, Verification, Virtual Agents. SPECIAL SESSION OF LAMAS (LOGICAL ASPECTS OF MULTI-AGENT SYSTEMS) The sixth LAMAS workshop (Logical Aspects of Multi-Agent Systems) will be colocated with EUMAS-2013, as a special session. (See http://icr.uni.lu/lamas2012/cfp.html for the previous edition of the LAMAS workshop). The submission of papers to the LAMAS special session is subject to the same requirements as the submission of papers to the EUMAS-2013 normal track. Topics of interest for the LAMAS special session include but are not limited to: - Logical systems for specification, analysis, and reasoning about MAS,- Modeling MAS with logic-based models, - Deductive systems and decision procedures for logics for MAS, - Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS, - Logic-based tools for MAS, - Applications of logics in MAS. SUBMISSION, CEUR PROCEEDINGS AND POST-PROCEEDINGS VOLUME EUMAS-2013 welcomes both unpublished papers and papers that are under submission or have been published in a relevant conference, workshop or journal. We specially invite submissions by students that we think will receive valuable feedback from the the discussion-orientedfocus of the workshop. Preliminary student work is welcome; however it has to possess sufficient substance for serving as a discussion basis and therefore has to pass the review cycle in the same way as other work. All submissions should be formatted using Springer LNCS style which is available at http://www.springer.de/comp/lncs/authors.html. EUMAS-2013 solicits papers in two categories: - Full research papers of 8 to 14 pages. - Extended abstracts of 2 to 4 pages reporting an interesting work in progress or providing system descriptions. We request the submission of title and abstract prior the paper submission for supporting the tight schedule of reviewing. The authors can submit their abstracts and papers through the EUMAS 2013 Easychair submission site: https://www.easychair.org/conferences/?conf=eumas2013 Full papers accepted at EUMAS-2013 that are not under submission and have not been previously published in a different conference, workshop or journal will be included in the CEUR workshop proceedings. A post-proceedings volume published by Springer in the LNCS/LNAI series is planned based on revised and extended versions of selected papers presented at EUMAS-2013. IMPORTANT DATES Abstract submission deadline: October 14, 2013 Paper submission deadline: October 18, 2013 Notification of acceptance: November 12, 2013 Camera-ready submission: November 29, 2013 EUMAS 2013 workshop: December 12-13, 2013 OFFICIALS PC chair Emiliano Lorini, IRIT-CNRS, France Program committee Thomas Ågotnes, University of Bergen, Norway Natasha Alechina, University of Nottingham, UK Frédéric Amblard, IRIT, Toulouse University, France Leila Amgoud, IRIT-CNRS, France Bernhard Bauer, University of Augsburg, Germany Guido Boella, University of Torino, Italy Olivier Boissier, ENS Mines Saint-Etienne, France Elise Bonzon, LIPADE - Université Paris Descartes, France Vicent Botti, DSIC, Spain Nils Bulling, Clausthal University of Technology, Germany Didac Busquets, University of Girona, Spain Cristiano Castelfranchi, Institute of Cognitive Sciences and Technologies, CNR, Italy Amit Chopra, Lancaster University, UK Mehdi Dastani, Utrecht University, The Netherlands Paul Davidsson, Malmö University, Sweden Jürgen Dix, Clausthal University of Technology, Germany Barbara Dunin-Keplicz, Institute of Informatics, Warsaw University, Poland Nicola Gatti, Politecnico di Milano, Italy Marie-Pierre Gleizes, IRIT, Toulouse University, France Valentin Goranko, Technical University of Denmark Davide Grossi, University of Liverpool, UK Koen Hindriks, Delft University of Technology, The Netherlands Wiebe van der Hoek, University of Liverpool, UK Andrew Jones, King's College London, UK Jérôme Lang, LAMSADE, Université Paris-Dauphine, France João Leite, CENTRIA, Universidade Nova de Lisboa, Portugal Tiago De Lima, University of Artois, France Brian Logan, University of Nottingham, UK Pavlos Moraitis, LIPADE, France Felipe Meneguzzi, PUCRS, Brazil John-Jules Meyer, Utrecht University, The Netherlands Simon Miles, King's College London, UK Pablo Noriega, IIIA-CSIC, Spain Emma Norling, Centre for Policy Modelling, UK Eugenio Oliveira, Faculdade de Engenharia Universidade do Porto – LIACC, Portugal Andrea Omicini, University of Bologna, Italy Nir Oren, University of Aberdeen, UK Sascha Ossowski, University Rey Juan Carlos, Spain Mario Paolucci, Institute of Cognitive Sciences and Technologies, CNR, Italy Wojciech Penczek, IPI PAN and University of Podlasie, Poland Laurent Perrussel, IRIT, Toulouse University, France Jeremy Pitt, Imperial College London, UK Alessandro Ricci, University of Bologna, Italy Regis Riveret, Imperial College London, UK Juan A. Rodríguez-Aguilar, IIIA-CSIC, Spain Jordi Sabater, IIIA-CSIC, Spain Nicolas Sabouret, LIMSI-CNRS, France Carles Sierra, IIIA-CSIC, Spain Leon van der Torre, University of Luxembourg Nicolas Troquard, Institute of Cognitive Sciences and Technologies, CNR, Italy Luca Tummolini, Institute of Cognitive Sciences and Technologies, CNR, Italy Paolo Turrini, Imperial College London, UK Wamberto Vasconcelos, University of Aberdeen, UK Laurent Vercouter, LITIS lab, INSA de Rouen, France Serena Villata, INRIA Sophia Antipolis, France Marina de Vos, University of Bath, UK Danny Weyns, Linnaeus University, Sweden Mike Wooldridge, University of Oxford, UK Organizing committee Florence Dupin de Saint-Cyr, IRIT, Toulouse University, France (co-chair) Valérie Camps, IRIT, Toulouse University, France (co-chair) From kido at sys.t.u-tokyo.ac.jp Thu Jul 18 17:56:59 2013 From: kido at sys.t.u-tokyo.ac.jp (Hiroyuki Kido) Date: Fri, 19 Jul 2013 00:56:59 +0900 Subject: AAA 2013 CFP: 1st International Workshop on Argument and Agreement and Assurance Message-ID: Apologies for cross-postings. ================================================================= 1st International Workshop on Argument and Agreement and Assurance (AAA 2013) Kanagawa, Japan October 27-28, 2013 http://www.panda.sys.t.u-tokyo.ac.jp/kido/AAA2013/ ================================================================= OVERVIEW: --------- Submissions are invited for the 1st International Workshop on Argument for Agreement and Assurance (AAA 2013). The workshop will be held in Keio University Hiyoshi Campus, Kanagawa, Japan, on October 27-28, 2013, as part of the Japanese Society for Artificial Intelligence international symposia on AI (JSAI-isAI) 2013. Argumentation has now become an interdisciplinary challenging research area in AI aiming at formalizing various aspects of human or/and computer software argument in terms of computation, and applying those knowledge to various fields. Scope of argumentation in AI includes human arguments appeared in television, newspapers, WWW, etc. and also artificial arguments constructed from structured knowledge with logical language and inference rules. Results of argumentation in AI are widely applicable to various fields such as consensus building, agreement formation, multiagent systems, semantic web, recommendation systems, argument mining, learning, belief revisions, chance discovery, safety engineering, etc. In particular, safety engineering is a research area that is interested in the use of an evidence-based argument often called a safety case, assurance case or dependability case. Nowadays, it is becoming necessary for certification bodies to issue a license to developing and operating bodies, for system stakeholders to make agreement, for system administrators to achieve accountability, etc. AAA 2013 contributes to deepen mutual understanding between researchers working on argumentation theory in AI and researchers working on agreement and assurance technologies through arguments. AAA 2013 solicits contributions from broad range of researchers related to argumentation in AI and especially welcomes contributions across argumentation and systems assurance. AAA 2013 seeks high-quality original submission of full papers limited to 14 pages including figures, references, etc. All submissions will be rigorously peer reviewed with double blind. Selected papers will be included in JSAI-isAI 2013 post-proceedings as a volume of LNAI published by Springer Verlag. AIMS AND SCOPE: --------------- AAA 2013 aims to deepen mutual understanding between researchers working on argumentation theory in AI and researchers working on agreement and assurance technologies through arguments, and to share current limitations and problems of argumentation in AI in terms of both theory and practice. Topics of interest include but are not limited to the following: - Abstract and structured argumentation systems including studies of frameworks, proof-theories, semantics, complexity, etc. - Dialogue systems for persuasion, negotiation, deliberation, eristic, information-seeking dialogues, etc. - Applications of argumentation and dialogue systems to various fields such as agreement technologies, systems assurance, safety engineering, multi-agent systems, practical reasoning, belief revision, learning, semantic web, etc. - Agreement and assurance technologies through arguments including safety cases, assurance cases and dependability cases, etc. - Tools for argumentation systems, dialogue systems, argument-based stakeholders' agreement, argument-based accountability achievement, argument-based open systems dependability, argument-based verification and validation, etc. IMPORTANT DATES: ---------------- - Workshop Submission Deadline: August 10, 2013 - Workshop Author Notification: September 15, 2013 - Workshop Camera-ready: September 30, 2013 - Workshop Date: October 27-28, 2013 SUBMISSION INSTRUCTIONS: ------------------------ We welcome and encourage the submission of high quality, original papers, which are not simultaneously submitted for publication elsewhere. Papers should be written in English, formatted according to the Springer Verlag LNCS style in a pdf form, which can be obtained from Springer Online, and not exceed 14 pages including figures, references, etc. If you use a word file, please follow the instruction of the format, and then convert it into a pdf form. Here is the submission page. https://www.easychair.org/account/signin.cgi?conf=aaa2013 If a paper is accepted, at least one author of the paper must register the workshop and present it. PROCEEDINGS: ------------ A printed volume of the proceedings will be available at the workshop. Springer Verlag has agreed to publish selected papers of the workshop in the JSAI-isAI 2013 post-proceedings as a volume of LNAI. Thus, the authors of papers presented at the workshop will be asked to extend their contributions, possibly incorporating the results of the workshop discussion, to be included in the workshop post-proceedings, after another round of refereeing. VENUE: ------ The workshop will be held at Raiosha Building, Keio University, Kanagawa, JAPAN. ORGANIZING COMMITTEE: --------------------- - Kenji Taguchi (AIST, Japan) - Yoshiki Kinoshita (Kanagawa Univ., Japan) - Kazuko Takahashi (Kwansei Gakuin Univ., Japan) - Hiroyuki Kido (The Univ. of Tokyo, Japan) PROGRAM COMMITTEE: ------------------ - Takashi Kitamura (AIST, Japan) - Sarah Alice Gaggl (Technische Universität Dresden, Germany) - Guillermo Ricardo Simari (Universidad Nacional del Sur, Argentina) - Paolo Torroni (Univ. of Bologna, Italy) - Gabriele KernIsberner (Technische Universitaet Dortmund, Germany) - Ken Satoh (National Institute of Informatics, Japan) - Chiaki Sakama (Wakayama Univ., Japan) - Toshinori Takai (Nara Institute of Science and Technology, Japan) - Antonis Kakas (Univ. of Cyprus, Cyprus) - Iyad Rahwan (Masdar Institute of Science & Technology, UAE) - Pavlos Moraitis (Paris Descartes Univ., France) - Stefan Woltran (Vienna Univ. of Technology, Austria) - Phan Minh Dung (Asian Institute of Technology, Thailand) - Juergen Dix (Clausthal Univ. of Technology, Germany) - Martin Caminada (Univ. of Aberdeen, UK) - Makoto Takeyama (Kanagawa Univ., Japan) - Kenji Taguchi (AIST, Japan) - Yoshiki Kinoshita (Kanagawa Univ., Japan) - Kazuko Takahashi (Kwansei Univ., Japan) - Hiroyuki Kido (The Univ. of Tokyo, Japan) - Shuichiro Yamamoto (Nagoya Univ., Japan) - Yutaka Matsuno (The Univ. of Electro-Communications, Japan) - Tim Kelly (Univ. of York, UK) - John Rushby (SRI, USA) - John Knight (Univ. of Virginia, USA) - Ewen Denney (NASA/Ames, USA) - Charles Weinstock (SEI, USA) - Robin Bloomfield (City Univ. of London, UK) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From t.balke at surrey.ac.uk Fri Jul 19 16:28:38 2013 From: t.balke at surrey.ac.uk (t.balke at surrey.ac.uk) Date: Fri, 19 Jul 2013 15:28:38 +0100 Subject: CFP: 16th International Workshop on Coordination, Organisations, Institutions and Norms (COIN) Message-ID: (apologies for multiple postings) CFP: 16th International Workshop on Coordination, Organisations, Institutions and Norms (COIN) With Special Track on Agent-Based Modelling for Policy Engineering Co-located with PRIMA and AI, Dunedin, New Zealand, 3rd December 2013 http://coin2013-prima.tudelft.nl/ ============================== The pervasiveness of open systems raises a range of challenges and opportunities for technologies in the area of autonomous agents and multi-agent systems and in their contribution to human and artificial societies. Open systems comprise loosely-coupled entities interacting within a society, often with some overall measures of quality or efficiency. However, achieving and maintaining a ‘good’ society, such as through establishing and enforcing societial norms and policies, is difficult to achieve. This is because of the complexity of real societies, and because the participating entities, their modes of interaction, or the intended purpose of the system may change over time. Moreover, in the case of open multi-agent systems, the autonomy of the agents can work against the effectiveness of the society. There remains a need for tools and techniques for articulating or regulating interactions in order to make the system more effective in attaining collective goals, more certain for participants, or more predictable. Coordination, organizations, institutions, and norms are four key governance elements for the regulation of open multi-agent systems, and the COIN workshops constitute a space for debate and exploration of these four elements that are central in the design and use of open systems. COIN at PRIMA’13 features a special track on agent-based modelling for policy engineering (AMPLE) in societies. We seek to attract high-quality papers addressing mathematical, logical, computational, philosophical, and pragmatic issues related to the four aspects of COIN, and, further, papers taking up the challenges of complex societal systems. We invite the submission of short papers up to 6 pages and long papers up to 16 pages (both according to the Springer LNCS formatting specifications). In particular, we invite the following types of papers: - regular research papers (long) that address the topics of interest mentioned below and fulfill at least one of the following criteria: - the presentation of formal treatment of topics - the provision of experimental support to claims. - the focus on modelling, animation and simulation techniques for these types of multi-agent systems - the discussion of tools, prototypes and actual working systems. - work in progress research papers (short): describing ongoing work and research ideas that are not yet mature enough to submit as a long paper. - demo papers (short): papers describing a software tool or platform, to inform the community about its functionality and possibly inspire others to use or build on the tool; if software development efforts can be joined in this way, it will allow the community to move ahead in a faster pace. - bridge papers (short): papers highlighting techniques from non-agent communities (or parts of the agent community that are not typically represented in COIN) that could be inspiring or useful for the COIN community, e.g., techniques from the business process modelling community, from software engineering, etc. - demo comparison papers (short or long): papers comparing several tools or platforms, highlighting similarities and differences, to help researchers decide which tool is most suitable for their need. - technical/conceptual comparison papers (short or long): papers comparing different technical/conceptual concepts and mechanisms in the field of COIN, highlighting the specific expressivity (formally or conceptually) and types of domains for which the respective techniques and concepts are particularly suited. In particular, we welcome papers comparing techniques and/or concepts from the different parts of C-O-I-N. Topics of Interest ============================== Topics of particular interest for regular research papers for COIN at PRIMA 2013 include, but are not limited, to: - logics, languages and tools for specifying coordination and norms, implementing or simulating organizations and institutions; - law of open multi-agent systems: regulatory compliance, penalty and sanctions, dispute resolution and conflict prevention; - agent societies and communities, social networks, electronic institutions and virtual organizations; - formal lifecycle models: formation, maintenance, evolution and dissolution of organizations, institutions and normative multi-agent systems; - formal methods for specifying coordination and organizational structures; models for verification, validation and visualization; - autonomic institutions and self-organization in multi-agent systems; - frameworks and protocols for organized and organizational adaptation; - mechanisms for governance of common pool resources; - agent environments: physical and institutional resources for physical capability and institutional power; - discovery, openness and inter-operation in organizations and institutions; - mixed human-agent coordination and institutions in virtual worlds; - computers as social actors; - norm-aware agents; - participatory simulation; and - reports on implemented systems. Special Track on Agent-based Modelling for Policy Engineering (AMPLE) ============================== Without limiting the range of traditional topics addressed in the workshop, in the upcoming edition we would like to challenge the community to submit the latest results for complex systems in a special track on agent-based modelling for policy engineering. To that extent, we broaden the topics of the workshop with the following: - tools and methods for implementing policies in agent-based models; - rich cognitive agent models for policy analysis; - formal methods for specifying policies in coordination and organizational structures; - models for verification, validation and visualization of simulations for policy analysis; - agent-oriented models for decision support; - integration of normative and social aspects; - comparison between tools and methods for policy analysis; - conceptual and applied studies. Proceedings ============================== Preliminary proceedings will be available at the workshop. As with previous COIN workshops, revised and extended versions of the papers of both the two 2013 workshops (the first workshop in 2013 was held at AAMAS) will be published in a single Springer LNCS volume. Those revised versions must take into account the discussion held during the workshop, hence, only those papers that are presented during the workshop will be considered for inclusion in the post-proceedings volume. Workshop Schedule ============================== Submission of contributions to the workshop: 23 September 2013 Workshop paper notification: 17 October 2013 Camera-ready version for preliminary proceedings due: 20 November 2013 Workshop date: 3 December 2013 Submission ============================== Contributions need to be formatted according to the Springer LNCS format (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) and need to be submitted via Easychair (https://www.easychair.org/conferences/?conf=coinprima2013). Organization ============================== COIN Organization Tina Balke, University of Surrey, UK M. Birna van Riemsdijk, TU Delft, Netherlands AMPLE Special Track Organization Amineh Ghorbani, TU Delft, Netherlands Tony Bastin Roy Savarimuthu, University of Otago, New Zealand Neil Yorke-Smith, American University of Beirut, Lebanon -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From krzysztof.krawiec at cs.put.poznan.pl Fri Jul 19 19:55:18 2013 From: krzysztof.krawiec at cs.put.poznan.pl (Krzysztof Krawiec) Date: Fri, 19 Jul 2013 19:55:18 +0200 Subject: EuroGP 2014: First CfP Message-ID: <51E97D86.3040908@cs.put.poznan.pl> (apologies for cross-posting) ***************************************************************************** EuroGP 2014, 17th European Conference on Genetic Programming 23-25 April 2014, Baeza, Spain www.evostar.org FIRST CALL FOR PAPERS ***************************************************************************** (CFP download: www.evostar.org/flyer/EuroGP2014Flyer.pdf) SUBMISSION DEADLINE: 1 November 2014 EuroGP is the premier annual conference on Genetic Programming, attracting participants from all over the world. High quality papers describing new original research are sought on topics strongly related to the evolution of computer programs, ranging from theoretical work to innovative applications. Topics include but are not limited to: * Innovative applications of GP * Theoretical developments * GP performance and behaviour * Fitness landscape analysis of GP * Algorithms, representations and operators * Real-world applications * Evolutionary design * Evolutionary robotics * Tree-based GP and Linear GP * Graph-based GP and Grammar-based GP * Evolvable hardware * Self-reproducing programs * Multi-population GP * Multi-objective GP * Fast/Parallel GP * Probabilistic GP * Evolution of automata or machine * Software Engineering and GP * Object-oriented GP * Hybrid architectures including GP * Coevolution in GP * Modularity in GP * Semantics in GP * Unconventional evolvable computation * Automatic software maintenance * Evolutionary inductive programming In 2013, the EuroGP acceptance rate was 49% (38% for oral presentations). Accepted papers will be included in the proceedings published by Springer Verlag in the Lecture Notes in Computer Science (LNCS) series. The papers which receive the best reviews will be nominated for the Best Paper Award. EuroGP 2013 will be co-located within the EvoStar event with four related conferences: EvoBIO, EvoCOP, EvoMUSART, and EvoApplications. Website: www.evostar.org/cfpEuroGP.html Facebook: fb.com/evostarconf Twitter: twitter.com/Evostar2014 LinkedIn: www.linkedin.com/groups/EVOstar-1908983 EuroGP programme chairs Miguel Nicolau, University College Dublin, Ireland Krzysztof Krawiec, Poznan University of Technology, Poland From grlmc at urv.cat Sat Jul 20 15:31:15 2013 From: grlmc at urv.cat (GRLMC) Date: Sat, 20 Jul 2013 15:31:15 +0200 Subject: LATA 2014: 1st call for papers Message-ID: <4308A820E6144057887853FED5A5639B@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ************************************************************************* 8th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2014 Madrid, Spain March 10-14, 2014 Organized by: Research Group on Implementation of Language-Driven Software and Applications (ILSA) Complutense University of Madrid Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/lata2014/ ********************************************************************* AIMS: LATA is a yearly conference on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2014 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, language technology, artificial intelligence, etc.). VENUE: LATA 2014 will take place in Madrid, the capital of Spain. The venue will be the School of Informatics of Complutense University. SCOPE: Topics of either theoretical or applied interest include, but are not limited to: algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata, concurrency and Petri nets automatic structures cellular automata codes combinatorics on words compilers computability computational complexity data and image compression decidability issues on words and languages descriptional complexity DNA and other models of bio-inspired computing digital libraries and document engineering foundations of finite state technology foundations of XML fuzzy and rough languages grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography language-theoretic foundations of artificial intelligence and artificial life natural language and speech automatic processing parallel and regulated rewriting parsing patterns power series quantum, chemical and optical computing semantics string and combinatorial issues in computational biology and bioinformatics string processing algorithms symbolic dynamics symbolic neural networks term rewriting transducers trees, tree languages and tree automata weighted automata STRUCTURE: LATA 2014 will consist of: invited talks invited tutorials peer-reviewed contributions INVITED SPEAKERS: to be announced PROGRAMME COMMITTEE: Dana Angluin (Yale, US) Eugene Asarin (Paris Diderot, FR) Jos Baeten (Amsterdam, NL) Christel Baier (Dresden, DE) Jan Bergstra (Amsterdam, NL) Jin-Yi Cai (Madison, US) Marek Chrobak (Riverside, US) Andrea Corradini (Pisa, IT) Mariangiola Dezani (Turin, IT) Ding-Zhu Du (Dallas, US) Michael R. Fellows (Darwin, AU) Jörg Flum (Freiburg, DE) Nissim Francez (Technion, IL) Jürgen Giesl (Aachen, DE) Annegret Habel (Oldenburg, DE) Kazuo Iwama (Kyoto, JP) Sampath Kannan (Philadelphia, US) Ming-Yang Kao (Northwestern, US) Deepak Kapur (Albuquerque, US) Joost-Pieter Katoen (Aachen, DE) S. Rao Kosaraju (Johns Hopkins, US) Evangelos Kranakis (Carleton, CA) Gad M. Landau (Haifa, IL) Andrzej Lingas (Lund, SE) Jack Lutz (Iowa State, US) Ian Mackie (École Polytechnique, FR) Carlos Martín-Vide (Tarragona, ES, chair) Giancarlo Mauri (Milan, IT) Faron G. Moller (Swansea, UK) Paliath Narendran (Albany, US) Enno Ohlebusch (Ulm, DE) Helmut Prodinger (Stellenbosch, ZA) Jean-François Raskin (Brussels, BE) Wolfgang Reisig (Humboldt Berlin, DE) Marco Roveri (Bruno Kessler, Trento, IT) Michaël Rusinowitch (LORIA, Nancy, FR) Yasubumi Sakakibara (Keio, JP) Davide Sangiorgi (Bologna, IT) Colin Stirling (Edinburgh, UK) Jianwen Su (Santa Barbara, US) Jean-Pierre Talpin (IRISA, Rennes, FR) Andrzej Tarlecki (Warsaw, PL) Rick Thomas (Leicester, UK) Sophie Tison (Lille, FR) Rob van Glabbeek (NICTA, Sydney, AU) Helmut Veith (Vienna Tech, AT) ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Ana Fernández-Pampillón (Madrid) Carlos Martín-Vide (Tarragona, co-chair) Antonio Sarasa (Madrid) José-Luis Sierra (Madrid, co-chair) Bianca Truthe (Magdeburg) Florentina Lilica Voicu (Tarragona) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices) and should be formatted according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=lata2014 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. A special issue of a major journal will be later published containing peer-reviewed extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The period for registration is open from July 15, 2013 to March 10, 2014. The registration form can be found at: http://grammars.grlmc.com/lata2014/Registration.php DEADLINES: Paper submission: October 14, 2013 (23:59 CET) Notification of paper acceptance or rejection: November 25, 2013 Final version of the paper for the LNCS proceedings: December 2, 2013 Early registration: December 9, 2013 Late registration: February 24, 2014 Starting of the conference: March 10, 2014 End of the conference: March 14, 2014 Submission to the post-conference journal special issue: June 14, 2014 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: LATA 2014 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34-977-559543 Fax: +34-977-558386 ACKNOWLEDGEMENTS: Departament d’Economia i Coneixement, Generalitat de Catalunya Universidad Complutense de Madrid Universitat Rovira i Virgili From universal.logic at unine.ch Mon Jul 22 13:26:03 2013 From: universal.logic at unine.ch (universal logic) Date: Mon, 22 Jul 2013 11:26:03 +0000 Subject: Logic PhDs = New book series Message-ID: <011E451E66F47F4890878A246663E0EF5A3A8757@mail-mbx-01.UNINE.CH> We are launching the new book series "Logic PhDs" with College Publication There are already 7 volumes in preparation There is a triple objective: 1) to strengthen logic as a field of research 2) to develop history of logic 3) to promote new research in logic This objective is naturally linked to the notion of PhD in logic: a) the notion of PhD in logic reinforces logic as an academic field b) important work in logic were presented as PhDs c) to defend a good PhD thesis in logic is a way to develop logic More details on the webpage http://www.collegepublications.co.uk/lphd/ Comments and suggestions are welcome Jean-Yves Beziau http://www.jyb-logic.org/ From stefan at szeider.net Fri Jul 26 11:54:06 2013 From: stefan at szeider.net (Stefan Szeider) Date: Fri, 26 Jul 2013 11:54:06 +0200 Subject: FLoC 2014 Second Call for Workshops (The Sixth Federated Logic Conference, July 2014,Vienna, Austria) Message-ID: [apologies for cross posting] THE SIXTH FEDERATED LOGIC CONFERENCE (FLoC 2014) Part of VIENNA SUMMER OF LOGIC (VSL 2014) July 2014, Vienna, Austria SECOND 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 at least 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/ Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th ACM/IEEE Symposium on Logic in Computer Science (LICS) 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 at least one conference to be affiliated with, and among those exactly one primary hosting conference. It is suggested that prospective workshop organizers contact the relevant conference Workshop Chair(s) 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 primary hosting conference (and possibly other affiliated conference(s)) * 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 senttofloc14cfw at easychair.org. Please consult the FLoC 2014 Workshop Guidehttp://vsl2014.at/floc-ws/ FLoC 2014 WORKSHOP CHAIR Stefan Szeider http://www.szeider.net Vienna University of Technology From jpms at ucd.ie Wed Jul 31 13:21:36 2013 From: jpms at ucd.ie (Joao Marques-Silva) Date: Wed, 31 Jul 2013 12:21:36 +0100 Subject: Post-Doctoral Position Available Message-ID: <51F8F340.1070701@ucd.ie> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From r.bordini at acm.org Wed Jul 31 22:20:18 2013 From: r.bordini at acm.org (Rafael H Bordini) Date: Wed, 31 Jul 2013 17:20:18 -0300 Subject: Last CfP: AGERE! @ SPLASH 2013 Message-ID: <51F97182.4030404@acm.org> (with apologies if you receive multiple copies) CFP: AGERE! @ SPLASH 2013 3rd Int. Workshop on Programming based on Actors, Agents, and Decentralized Control UPDATED DEADLINES: - Abstracts: August 11, 2013 - Papers: August 18, 2013 http://agents.usask.ca/agere2013 ACM SIGPLAN sponsored Workshop held at SPLASH Conference http://splashcon.org/2013/ Indianapolis, Indiana (US) October 27-28, 2013 ===== Introduction ăgo ăgo, ăgis, egi, actum, ăgĕre latin verb meaning to act, to lead, to do, common root for actors and agents The fundamental turn of software into concurrency and distribution is not only a matter of performance, but also of design and abstraction. It calls for programming paradigms that, compared to current mainstream paradigms, would allow us to more naturally think about, design, develop, execute, debug, and profile systems exhibiting different degrees of concurrency, autonomy, decentralization of control, and physical distribution. AGERE! is an ACM SIGPLAN workshop dedicated to focusing on and developing the research on programming systems, languages and applications based on actors, agents and any related programming paradigm promoting a decentralized mindset in solving problems and in developing systems to implement such solutions. The workshop is designed to cover both the theory and the practice of design and programming, bringing together researchers working on the models, languages and technologies, and practitioners developing real-world systems and applications. The proceedings of the workshop will be published on the ACM Digital Library, as an official ACM SIGPLAN publication. Topics include (but are not limited to): - Ideas, concepts, formalization of the computation and programming models for concurrent objects, actors, agents and decentralized control Programming - Theory and practice of programming languages based on actors/concurrent objects/agents (typing, modularity, mechanism for extensibility, reuse, etc) - Libraries, frameworks and platform based on actors, concurrent objects, agents and high-level paradigms for concurrent/distributed/asynchronous programming - Programming techniques - Actor-based / agent-based programming idioms - Integration with mainstream languages and technologies - Design principles underlying relevant paradigms and bridging the gap between design and programming - Design patterns for actor/agent based systems - Theory and tools about testing, debugging, profiling, verifying and validating software systems based on such paradigms - Design and development of real-world applications - Experiences and reflections about using these paradigms in teaching programming (concurrent, distributed - but not only) ===== Contributions AGERE! welcomes three kinds of contributions: - Full papers Length up to 10 pages (ACM format). These papers should present new previously unpublished research in one or more of the topics identified above. - Short papers & position papers Length up to 4 pages (ACM format). These papers should introduce a contribution (an idea, a viewpoint, an argument, work in progress...) which may be in its initial stage and not fully developed but which is worth being presented given its relevance to the AGERE! topics, to trigger discussions and interactions. - Reviews & surveys: Length up to 10 pages (ACM format). These papers should provide a good synthesis and reflections about some aspect (specific or general) relevant to topics of the workshop, contributing to discussions on the state of the art and open issues. - Demos: Length up to 4 pages (ACM format). These contributions should be about a technology/system to be demonstrated during the workshop. ===== Important dates and submission Deadlines: - Abstracts: August 11, 2013 - Papers: August 18, 2013 Papers can be submitted here: https://www.easychair.org/conferences/?conf=ageresplash2012 in PDF format. Submissions should use the ACM format, following the guidelines in http://www.sigplan.org/authorInformation.htm. ===== Organization and Committees Organizers: Nadeem Jamali, University of Saskatchewan, Canada Gera Weiss, Ben Gurion University of Negev, Israel Alessandro Ricci, University of Bologna, Italy Akinori Yonezawa, Riken Adv. Inst. of Comput. Science, Kobe, Japan Steering Committee Gul Agha, University of Illinois-Urbana, US Rafael Bordini, FACIN-PUCRS, Brazil Alessandro Ricci, University of Bologna, Italy Assaf Marron, Weizmann Institute of Science, Israel Program Committee Philipp Haller, Typesafe, Switzerland Marjan Sirjani, Reykjavik University, Iceland Tom Van Cutsem, Vrije Universiteit, Belgium Arnd Poetzsch-Heffter, University of Kaiserslautern Wolfgang De Meuter, Vrije Universiteit, Belgium Carlos Varela, Rensselaer Polytechnic Institute, US Assaf Marron, Weizmann Institute of Science, Israel Olaf Owe, University of Oslo, Norway Rafael Bordini, FACIN-PUCRS, Brazil Birna van Riemsdijk, TUDelft, The Netherlands Amal El Fallah Segrouchni, LIP6, Paris Giovanni Rimassa, Whitestein, Switzerland Mirko Viroli, Università di Bologna, Italy Yoshiki Ohshima, VPRI, US ===== AGERE! @ SPLASH 2013