From russell at cs.berkeley.edu Mon Dec 3 18:58:15 2012 From: russell at cs.berkeley.edu (Stuart Russell) Date: Mon, 3 Dec 2012 09:58:15 -0800 (PST) Subject: Postdoc and Research Engineer positions: probabilistic information extraction in Paris (Stuart Russell) Message-ID: Two positions, one at the Postdoctoral level and one at the Postdoctoral or Research Engineer level, are available at the Laboratoire d'informatique de Paris 6 (LIP6), Universite Pierre et Marie Curie, in central Paris. The project, led by Professors Stuart Russell, Patrick Gallinari, and Patrice Perny, is funded by the Chaire d'Excellence award from the Agence Nationale de la Recherche. Its aim is to develop and apply advanced methods for probabilistic modeling and inference - especially open-universe probability models - to the problem of extracting information from semi-structured and unstructured text/Web data at a large scale. The positions are funded for 18 months starting as early as January 1, 2013, with the possibility of continuation either in Paris or at the University of California, Berkeley. EU Citizenship would be an advantage. Postdoctoral position: Candidate should hold, or expect to have completed, a doctorate in Computer Science, Statistics, or related field. Must have a strong background and publication record in probability, machine learning, graphical models, and/or natural language understanding, and ideally will also have a solid understanding of symbolic logic, relational learning, or probabilistic programming. The ideal candidate will combine theoretical expertise with practical skills suited to developing a large-scale information extraction system. Salary in the region of 3500 euros per month. Research Engineer position: Candidate should hold at least a Bachelor's and preferably a Master's degree in Computer Science. Must have a solid understanding of probabilistic graphical models and statistical learning as well as strong programming skills, and ideally will be familiar with symbolic logic. Research experience would be beneficial. Salary in the region of 2800 euros per month. To apply, please email an application letter to Professor Stuart Russell (russell at berkeley.edu) including - names and contact information (email) of at least three references; - links up to 5 online publications, including PhD thesis or Master's thesis if applicable and attach a Curriculum Vitae (with contact details) including a full list of publications. Candidates for the Research Engineer position should also attach a transcript of courses and grades. Applications must be received by January 15, 2013. Earlier applications are more likely to receive thorough consideration. Candidates who apply by December 5 and who will be attending NIPS workshops may be eligible for an in-person interview with Prof. Russell on December 6/7/8. From P.Novak at tudelft.nl Tue Dec 4 22:32:17 2012 From: P.Novak at tudelft.nl (Peter Novak) Date: Tue, 4 Dec 2012 22:32:17 +0100 Subject: EASSS-2013: Call for Tutorial Proposals Message-ID: <20121204213217.GQ26133@tudelft.nl> [apologies for cross-posting] ************************************************************************ * CALL FOR TUTORIAL PROPOSALS * 15th European Agent Systems Summer School (EASSS-2013) to be held at King's College London, United Kingdom 1-5 July 2013 Deadline: 10 February 2013 * http://www.inf.kcl.ac.uk/events/easss13/ * easss13 at kcl.ac.uk ************************************************************************ We are inviting tutorial proposals for the 15th European Agent Systems Summer School (EASSS-2013), which will be held at King's College London. EASSS 2013 will be co-located and run in parallel with the ACAI 2013 (http://www.inf.kcl.ac.uk/events/acai13/), which this year will revolve around argumentation in artificial intelligence. EASSS tutorials are typically 3.5 hours long, divided into two sessions. For a detailed call for tutorials, see below. ************************************************************************ *** ABOUT EASSS-2013 *** ************************************************************************ Since 1999, the annual European Agent Systems Summer School (EASSS) has provided a forum for knowledge exchange between various research groups in the field of autonomous agents and multi-agent systems, with the aim of benefiting mainly graduate students and researchers at both beginner and advanced level. The 15th European Agent Systems Summer School will be held at King's College London, UK, from the 1st to 5th of July 2013. EASSS-2013 will be co-located with the 15th Advanced Course on Artificial Intelligence; a bi-annual summer school for graduate students and young researchers in AI, sponsored by ECCAI (European Coordinating Committee for Artificial Intelligence). As was the case with its highly successful earlier editions, EASSS-2013 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multiagent Systems. The courses are aimed at PhD students, advanced Master's students, and other young researchers and will be taught by leading researchers in the field. EASSS is organised under the auspices of EURAMAS, the European Association for Multiagent Systems (http://www.euramas.org/). We are now inviting proposals from members of the research community who are willing to offer tutorials at EASSS-2013. We are interested in tutorial proposals in all areas of current research in Autonomous Agents and Multiagent Systems. As a very rough guideline, any topic that might be covered at the AAMAS conference or in the JAAMAS journal would be suitable for EASSS. We are looking for a mix of tutorials on fundamental and clearly established topics on the one hand, as well as overviews of new and emerging areas of research on the other. Tutorials should cover an appropriate selection of approaches and not specifically focus on the tutors' own contributions. Besides providing a coherent overview of a specific research topic, we specifically encourage tutorial proposals to articulate a clear link to applications and pragmatic considerations of the fundamentals presented. We encourage both well-established senior researchers and younger colleagues to put in a proposal. Each tutorial is usually given by one or two people. Exceptions are of course possible; for proposals by more than two tutors, please justify this choice in the proposal and explain how you intend to ensure the coherence of the tutorial. To be able to offer this summer school and keep registration costs manageable for attendees, we are dependent on the support of the research community. We can commit to the provision of up to GBP 400 per tutorial proposal, to cover the travel and accommodation costs of all the tutorial's speakers. However, since we expect that some tutorials will be delivered by local UK based speakers with lower costs, we anticipate (but can of course not guarantee) that some surplus monies will be made available for distribution where necessary amongst tutorial speakers whose costs may exceed the GBP 400 per tutorial. ************************************************************************ *** IMPORTANT DATES *** ************************************************************************ Deadline for tutorial proposals: 10 February 2013 Notification of acceptance: 10 March 2013 Teaching materials due: 10 May 2013 Summer school: 1-5 July 2013 ************************************************************************ *** SUBMISSION INSTRUCTIONS *** ************************************************************************ A tutorial proposal should take the form of a single PDF document covering the points listed below. Please note that we are not soliciting proposals on argumentation/dialogue/negotiation, since these topics will be covered by ACAI tutorials that will be made available to EASSS students. Please, submit the proposal by email to paul.harrenstein at cs.ox.ac.uk and P.Novak at tudelft.nl, mentioning [EASSS13] in the subject line. The following points should be addressed in the tutorial proposal, preferably in the order stated below: (1) Title of the proposed tutorial. (2) Tutor(s): name, affiliation, full contact details, and a link to the personal homepage of each tutor. (3) Abstract: a short paragraph describing the tutorial (100-300 words), suitable for publication at the EASSS-2013 website. (4) Topics covered: detailed list of topics covered in the tutorial in terms of a list, preferably in the order in which the tutorial will cover them. (5) Type: a clear indication of whether the tutorial takes a theoretical or applications-oriented perspective on the covered material. We encourage tutorials to balance the two perspectives. (6) Level: please indicate the target audience and level of the course. If there are some prerequisites about existing knowledge of students, describe what knowledge will be assumed. (7) Teaching materials: Please indicate what kind of teaching materials you intend to provide. Note that we will require materials by the due date above, in order that they can be distributed to EASSS attendees in advance. (8) Duration: Tutorials are typically 3.5 hours long. If you have strong reasons for wanting to deviate from this standard, please explain this in your proposal. (9) Equipment: Please list any special equipment (beyond data projector and blackboard) that you might need. (10) Short biographical sketch(es): a short paragraph on the background of the tutor or tutors (around 100 words per tutor), suitable for publication at the EASSS-2013 website. (11) Experience of tutors: For review purposes, please provide details on relevant teaching experience of the tutor(s). (12) Additional information on the proposed tutorial. Include as much detail as you see fit. ************************************************************************ *** PREVIOUS EDITIONS OF EASSS *** ************************************************************************ EASSS has been organised annually in different European locations since 1999, when it was held in Utrecht. Here are the websites of the most recent editions: * EASSS-2012 in Valencia: http://easss2012.webs.upv.es/ * EASSS-2011 in Girona: http://eia.udg.edu/easss2011/ * EASSS-2010 in Saint-Etienne: http://easss2010.emse.fr/ * EASSS-2009 in Torino: http://agents009.di.unito.it/EASSS.html * EASSS-2008 in Lisbon: http://centria.di.fct.unl.pt/events/easss08/ EASSS'07/Durham, UK; EASSS'06/Annecy, France; EASSS'05/Utrecht, Netherlands; EASSS'04/Liverpool, UK; EASSS'03/Bologna, Italy; EASSS'02/Barcelona, Spain; EASSS'01/Prague, Czech Republic; EASSS'00/Saarbrucken, Germany; EASSS'99/Utrecht, Netherlands ************************************************************************ *** CONTACT *** ************************************************************************ For all matters concerning the technical program of EASSS-2013 and this Call for Tutorial Proposals, please contact Paul Harrenstein or Peter Novak. For matters concerning the local organisation of the summer school, please contact Elizabeth Black or Sanjay Modgil. Paul Harrenstein: paul.harrenstein at cs.ox.ac.uk Peter Novak: P.Novak at tudelft.nl Elizabeth Black: elizabeth.black at kcl.ac.uk Sanjay Modgil: sanjay.modgil at kcl.ac.uk ************************************************************************ -- Algorithmics Group | Department of Software and Computer Technology Faculty of Electrical Engineering, Mathematics and Computer Science Delft University of Technology | The Netherlands Mekelweg 4, NL-2628 CD Delft | Tel +31 (0)15 27 81102 http://www.alg.ewi.tudelft.nl/ | http://peter.aronde.net/ -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : signature.asc Dateityp : application/pgp-signature Dateigröße : 198 bytes Beschreibung: Digital signature URL : From jim at cs.sfu.ca Wed Dec 5 20:00:06 2012 From: jim at cs.sfu.ca (Jim Delgrande) Date: Wed, 5 Dec 2012 11:00:06 -0800 (PST) Subject: Graduate Student and Post-Doctoral Positions in Computational Logic at Simon Fraser University, Canada In-Reply-To: <1745493109.8470280.1354734003552.JavaMail.root@jaguar9.sfu.ca> Message-ID: <509948715.8470334.1354734006662.JavaMail.root@jaguar9.sfu.ca> Graduate Student and Post-Doctoral Positions in Computational Logic School of Computing Science Simon Fraser University British Columbia, Canada Applications are invited for graduate student or postdoctoral positions in the area of Computational Logic in the School of Computing Science, Simon Fraser University. The successful applicants will work with members of the Computational Logic Lab, and conduct research in one or more of the areas listed below. Ph.D. students will receive funding for up to a four year period, while M.Sc. students will receive funding for up to two years. Postdoctoral positions will be either one or two years. Postdoctoral applicants must have a Ph.D. at the time they take up the position. For graduate students, the normal starting dates are at the beginning of September or January, with May also a possibility. Students interested in beginning in September 2013 should apply no later than Feb 1, 2013, ideally sooner. Postdoctoral positions may be taken up at any time. The Computational Logic Lab is a research group in the School of Computing Science. Broadly, the field of computational logic consists of all uses of logic in computer science. Members of the lab, and their areas of interest are as follows: Andrei Bulatov: Constraint satisfaction, complexity of computation http://www.cs.sfu.ca/~abulatov/ James Delgrande: Belief revision, reasoning about action and change, nonmonotonic reasoning, reasoning with preferences http://www.cs.sfu.ca/~jim David Mitchell: Constraint satisfaction, propositional satisfiability testing, theorem proving, complexity. http://www.cs.sfu.ca/~mitchell Oliver Schulte: Machine learning, computational decision theory. http://www.cs.sfu.ca/~oschulte Eugenia Ternovska: Logical reasoning about dynamic systems, constraint programming, applications of descriptive complexity to declarative programming http://www.cs.sfu.ca/~ter For more information see the lab web page: www.cs.sfu.ca/~cl. The School of Computing Science has over 40 research faculty members, and offers an expanding graduate program with over 200 M.Sc. and Ph.D. students. Simon Fraser University is consistently the top ranked comprehensive university in Canada in MacLeans Magazine's rankings. The university is situated on top of Burnaby Mountain just east of Vancouver and offers views of Burrard Inlet, the North Shore Mountains, the Fraser River, and Vancouver Harbour. Vancouver's cultural and intellectual pursuits, leisure opportunities and favourable climate make it one of the most desirable places in the world to live and work. Graduate student applications should be submitted via the School's online application system. Prospective applicants should also directly contact a faculty member whom they may be interested in working with. Potential postdoctoral fellows should also directly contact the appropriate faculty member. For more information about the School of Computing Science, see www.cs.sfu.ca. From isipta13 at hds.utc.fr Thu Dec 6 12:23:55 2012 From: isipta13 at hds.utc.fr (ISIPTA2013) Date: Thu, 6 Dec 2012 12:23:55 +0100 Subject: ISIPTA 2013: call for papers Message-ID: ============================================================================= ISIPTA '13 - CALL FOR PAPERS ============================================================================= Your help with circulating this announcement locally is much appreciated. Apologies for multiple postings. +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ISIPTA '13 8th International Symposium on Imprecise Probability: Theories and Applications Tuesday 2 to Friday 5 July 2013 Monday 1st: tutorials Université de Technologie de Compiegne Compiegne, France http://www.sipta.org/isipta13 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Dear colleague(s), We would like to draw your attention to the 8th International Symposium on Imprecise Probability: Theories and Applications, which be held at the Université de Technologie de Compiegne from July 2 to July 5, 2013. In addition, a tutorial afternoon is organized the 1st july, with the following speakers: - Thierry Denoeux, université de Technologie de Compiègne - Matthias Troffaes, Durham university The ISIPTA meetings are one of the primary international forums to present and discuss new results on the theories and applications of imprecise probability. Imprecise probability is a generic term for the many mathematical or statistical models which allow us to measure chance or uncertainty without using sharp numerical probabilities. These models include lower and upper expectations or previsions, interval valued probabilities, sets of probability measures, belief functions, Choquet capacities, fuzzy measures, comparative probability orderings, possibility measures, plausibility measures, and sets of desirable gambles. Imprecise probability models are needed in inference and decision problems where the relevant information is scarce, vague or conflicting, and where preferences may be incomplete. In this edition, we are particularly interested in contributions dealing with the connection between belief functions and other imprecise probabilistic models, as well as by contributions concerning real-world applications emphasizing the advantages and challenges of using imprecise probability theories in them. CALL FOR PAPERS and POSTERS ONLY ABSTRACTS For your convenience, a detailed call. It can also be found at http://www.sipta.org/isipta13/isipta13_call_for_papers.pdf Two kinds of submission can be done to ISIPTA: - full reviewed papers who will be included in the proceedings - abstract of posters presenting preliminary work or possible applications For further details about (pre)registration, paper submission, program committee, scientific and social program visit the ISIPTA '13 web site at http://www.sipta.org/isipta13/. IJAR SPECIAL ISSUE Following the conference, a selection of extended papers will appear in a special issue of the International Journal of Approximate Reasoning. IJAR YOUNG RESEARCHER AWARD We invite applications for the "IJAR Young Researcher Award", which is granted by the International Journal of Approximate Reasoning (IJAR), elsevier. The award is open to Master students, PhD students and young post-doc researchers who received their PhD after ISIPTA'11 and who have demonstrated excellence in research on imprecise probabilities (Career stage is taken into account in the judgment). More details will be found soon on the website. IMPORTANT DATES Paper submission deadline: 3 February 2013. Posters only abstract submission deadline: 21 April 2013 Symposium: July 2-5, 2013. ISIPTA/ECSQARU JOINT ACTIONS The ECSQARU 2013 conference (http://www.projects.science.uu.nl/ecsqaru/index.html) will be held in Utrecht from Sunday 7 to Wednesday 10 July 2013. As some of the themes of the two conferences are closely related, we propose the following joint actions: - a reduced fee to attend both conferences, including the travel from Compiegne to Utrecht by bus; - in each conference, tutorial and talks concerning themes; - a workshop on sunday 7th July about bridges and connections between topics usually treated in one (but not both) of the conferences. More information can be found on the respective websites of the conferences. INVITED SPEAKERS The following invited speakers have confirmed their venue: - Alessio Benavoli, IDSIA, Lugano - Linda van der Gaag, Utrecht Universiteït - Christophe Labreuche, Thales industry - Jean-Marc Tallon, Sorbonne STEERING COMMITTEE Fabio Cozman (Sao paulo University, Brazil) Thierry Denoeux (Université de Technologie de Compiegne, France) Sébastien Destercke (Université de Technologie de Compiegne, France) Thomas Fetz (Innsbruck University, Austria) Serafin Moral (Granada University, Spain) Teddy Seidenfeld (Carnegie Mellon University, USA) Matthias Troffaes (Durham University, UK) QUESTIONS If you have any questions about the symposium and/or about related events, please send an email to isipta13 at hds.utc.fr, or at the following address: Sébastien Destercke, Université de Technologie de Compiegne, Centre de recherche de Royallieu, 60200 Compiègne, France. For more information about SIPTA, the international organisation responsible for organizing both the ISIPTA meetings and the SIPTA Schools on Imprecise Probabilities, please consult the SIPTA web site at http://www.sipta.org. The ISIPTA 2013 Steering Committee From bechir.zalila at enis.rnu.tn Thu Dec 6 15:43:13 2012 From: bechir.zalila at enis.rnu.tn (Bechir ZALILA) Date: Thu, 6 Dec 2012 15:43:13 +0100 (CET) Subject: WETICE'2013: First Call for Papers Message-ID: <20121206144313.8B7E010310@mail.zalila.org> 22nd WETICE Conference: WETICE-2013 Hammamet, Tunisia June 17-20, 2012 http://wetice2013.redcad.org Call for Papers WETICE is an annual IEEE co-sponsored International Conference on Collaboration Technologies and Infrastructure with its Proceedings published by the IEEE Computer Society Press. WETICE'2013 will consist of a number of conference tracks on various topics related to collaboration technology. WETICE conference promotes fruitful discussions on the latest technology developments, directions, problems, and requirements. Each conference track will include paper presentations and group discussions. In addition, there will be keynote sessions and a final joint session to summarize each groups findings. Important Dates - Submission of papers to all tracks February 1, 2013 - Notification to authors March 15, 2013 - WETICE-2013 Conference June 17-20, 2013 What sets WETICE apart from larger conferences is that the conference tracks are kept small enough to promote fruitful discussions on the latest technology developments, directions, problems, and requirements. Each track includes paper presentations and group discussions while the keynote sessions and summary of discussions take place in joint sessions. WETICE welcomes papers on "work-in-progress" from the Ph.D. students. Several special issues of index journals are programed. The final list will be annonced later. List of tracks: ACEC 11th Track on Adaptive Computing (and Agents) for Enhanced Collaboration https://acec.portals.mbs.ac.uk/ AROSA 3rd Track on Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures http://arosa2013.redcad.org/ CAGing 2nd Track on Collaborative and Autonomic Green Computing http://conf.laas.fr/caging2013/caging_2013_cfp.html CKDD 4th Track on Cooperative Knowledge Discovery & Data Mining http://www.cs.teilar.gr/ckdd/ CDCGM 3rd Track on Convergence of Distributed Clouds, Grids and their Management http://cdcgm.dieei.unict.it/ COPECH 4th Track on Collaboration tools for Preservation of Environment and Cultural Heritage http://www.disp.uniroma2.it/COPECH/Home.html CPS 3rd Track on Cyber Physical Society with SOA, BPM and Sensor Networks http://events.telecom-sudparis.eu/cps/ CSP 2nd Track Conference on Collaborative Software Processes CT2CM 3rd Track on Collaborative Technology for Coordinating Crisis Management http://www.doesnotunderstand.org/public/CT2CM2013 FVSBS 1st Track on Formal Verification of Service Based Systems http://www.isimm.rnu.tn/uploaded/file/Agance/Untitled-3.html MADYNE 2nd Track on Management of Dynamic Networked Enterprises PROMASC 2nd Track on Provisioning and Management of Service Oriented Architecture and Cloud Computing http://www.redcad.org/members/benhalima/promasc2013/ VSC 1st Track on Validating Software for Critical Systems http://www.cs.unict.it/~calvagna/VSC/ From wchen at i-a-i.com Fri Dec 7 20:16:42 2012 From: wchen at i-a-i.com (Wei Chen) Date: Fri, 7 Dec 2012 19:16:42 +0000 Subject: CFP: The 3rd International Workshop on Multi-Agent Systems and Collaborative Technologies, San Diego, California, USA, May 2013 Message-ID: The 3rd International Workshop on Multi-Agent Systems and Collaborative Technologies (I-MASC 2013) http://cts2013.cisedu.info/2-conference/workshops/workshop-06-imasc CALL FOR PAPERS As part of The 2013 International Conference on Collaboration Technologies and Systems (CTS 2013) http://cts2013.cisedu.info/ May 20-24, 2013 The Sheraton San Diego Hotel & Marina San Diego, California, USA Submission Deadline: January 15, 2013 Submissions could be for full papers (8 pages) or short papers (4 pages) SCOPE AND OBJECTIVES Multi-Agent Systems (MAS) has grown into an interdisciplinary field that includes various tracks and embraces many previously distinctive research areas. Particularly, multi-agent coordination, a sub-area of MAS, investigates how multiple intelligent computational agents work together to achieve high-level goals beyond the capabilities of single agents. Many different approaches have been investigated, such as the partially observable Markov decision process (POMDP), task structure analysis, coordination communication protocols, etc. Collaborative Technologies and Systems (CTS) have evolved significantly as well. These tend to investigate the design and development of effective environments or tools that help human users work together in a distributed collaborative, possibly virtual, fashion. Some notable examples of CTS include Collaboratories, collaborative design/editing, and on-line collaboration tools and environments. CTS is beginning to look at the challenges of supporting coordinated, purposive activities. MAS is still facing challenges of scaling to large numbers of entities and real-world tasks (see, for example, Hendler's question of, "where are all the intelligent agents?"1). This workshop will explore potential synergy between CTS and MAS/coordination because they share a common ground: how multiple entities ? intelligent agents or humans alike - work together to carry out potentially related tasks. We will ask questions of whether and how design and development of collaborative systems, promoting coordinated human activity, could be enhanced by incorporating insights from MAS. Collaborative technologies embody practical considerations from the human users' points of view, allowing users to ignore how the underlying (agent) infrastructure is implemented. Meanwhile, MAS/coordination investigates intelligent agents' underlying algorithms and mechanisms and, in some cases, how artificial agents can interact with people as peers. Conversely, intelligent agents will not see significant acceptance, nor will they be able to manage the complexity and knowledge-intensity of meaningful practical applications, without developing some understanding of how to make effective use of human contributions throughout the specification, execution, evaluation, and refinement stages of the software lifecycle. This workshop solicits papers that discuss synergies between MAS and CTS, possible advantages/disadvantages of hybrids between them for designing and developing modern distributed collaborative software systems, and research and/or real-world experience and/or applications and/or lessons learned that involve both CTS and MAS. That is, any paper that addresses both CTS and MAS, preferably in one or a set of applications that share similar underlying research challenges, is of interest to this workshop. An example could be: the design and development of a collaborative environment (say, a distributed planning tool) that enables multiple heterogeneous, human experts and agents to work in combination across computer networks on courses of actions in response to cyber attacks. Another example might be systems or interfaces supporting the division of labor between CTS and MAS elements during execution. The Workshop topics include (but are not limited to) the following: * MAS: Coordination of and by Computational Agents - Agent Communication, Languages and Protocols - Agent Models and Architectures - Multi-Agent Coordination and Cooperation - Human-Agent Interaction - Multi-User/Multi-Agent Interaction - Teamwork, Coalition Formation, Coordination - Peer to Peer Coordination - Modeling the Dynamics of MAS - Agent-based System Development - Collective Decision Making - Bargaining and Negotiation - Auction and Mechanism Design - Cooperative and Non-Cooperative Agents - Complex MAS - Virtual Agents Applications - Conversational Agents - Distributed Task Planning and Execution - Cooperation with Humans and Robots - Collective Intelligence - Agent Reasoning - Mining Agents - Security Agents * CTS: Agent Technologies and Systems Supporting Collaboration Among Humans - Architectures and Design of Collaborative Systems - Frameworks and Methodologies for Collaboration - Cognitive and Psychological Issues in Collaboration - Collaborative Human-Centered Systems - Cultural Aspects & Human Factors in Collaboration - Interfaces for Collaborative Work - Social Software Based Collaboration - Visualization of Collaborative Processes - Web Infrastructure for Collaborative Applications - Information Infrastructure for Collaboration - Management of Metadata for Collaboration - Mobile and Wireless Collaboration Systems - Modeling and Simulation of Collaboration - Platforms for Collaboration - Collaboration in Domain Applications Important: A submitted paper must have keywords from BOTH lists of MAS and CTS! Synergies of CTS and MAS topics are of interest with respect to any phase of a human or software systems lifecycle: specification, implementation, testing, evaluation, and deployment. PAPER SUBMISSION You are invited to submit original and unpublished research works on the above and other topics related to Collaborative Technologies and Multi-Agent Systems. Submitted papers must not have been published or simultaneously submitted elsewhere. Submission should include a cover page with authors' names, affiliation addresses, fax numbers, phone numbers, and email addresses. Please, indicate clearly the corresponding author and include up to 6 keywords from the above list of topics and an abstract of no more than 400 words. We welcome prospective participants to submit either full papers (up to 8 pages) or short papers (up to 4 pages). The manuscript should use the two-column IEEE format. Additional pages will be charged at additional fee. In case of multiple authors, an indication of which author is responsible for correspondence must be indicated. Please include page numbers on all preliminary submissions to make it easier for reviewers to provide helpful comments. Submit a PDF copy of your full manuscript to the Workshop paper submission site at the link: https://www.easychair.org/conferences/?conf=imasc13. Notably, (1) only PDF files will be accepted; (2) papers should have the following name format for easy identification: 'Surname_Initial_1.PDF', where the Surname is that of the first author; and (3) follow the Easy Chair website instructions to login into the system (or create your account if necessary) and upload your paper accordingly. Each paper will receive a minimum of three reviews. Papers will be selected based on their originality, relevance, technical clarity and presentation. Submission implies the willingness of at least one of the authors to register and present the paper, if accepted. Authors of accepted papers must guarantee that their papers will be registered and presented at the workshop. Accepted papers will be published in the Conference proceedings. Instructions for final manuscript format and requirements will be posted on the CTS 2013 Conference web site. It is our intent to have the proceedings formally published in hard and soft copies and be available at the time of the conference. The proceedings is projected to be included in the IEEE Digital Library and indexed accordingly. If you have any questions about paper submission or the workshop, please contact the workshop organizers. IMPORTANT DATES Paper Submissions: ------------------------------------------- January 15, 2013 Acceptance Notification: ------------------------------------- January 28, 2013 Camera Ready Papers and Registration Due: ----------- February 21, 2013 Conference Dates: --------------------------------------------- May 20 - 24, 2013 WORKSHOP ORGANIZERS Dr. Myriam Abramson Naval Research Laboratory, Washington, DC 20375-5337, USA Phone: +1 (202) 404-7342 Email: Myriam.Abramson at nrl.navy.mil Dr. Wei Chen Intelligent Automation, Inc. 15400 Calhoun Drive, Suite 400, Rockville, MD 20855, USA Phone : +1 (301) 294-5278, Email: wchen at i-a-i.com Dr. Edmund Durfee Computer Science and Engineering, University of Michigan 2260 Hayward Street, Ann Arbor MI 48109-2121, USA Phone: +1 (734) 936-1563, Email: durfee at umich.edu Dr. Robert Neches OSD Washington, DC 20301-3040, USA Phone: + (571) 256-7031 Email: Robert.Neches at osd.mil International Program Committee All submitted papers will be reviewed by the workshop technical program committee members following similar criteria used in CTS 2013. * Giacomo Cabri University of Modena e Reggio Emilia, Italy * Frank Liu Missouri University of Science and Technology, USA * Waleed W. Smari University of Dayton, USA * Haibin Zhu Nipissing University, Canada * Christopher Amato Massachusetts Institute of Technology, USA (* Partial and will be completed shortly *) For information or questions about Conference's paper submission, tutorials, posters, workshops, special sessions, exhibits, demos, panels and forums organization, doctoral colloquium, and any other information about the conference location, registration, paper formatting, etc., please consult the Conference's web site at URL: http://cts2013.cisedu.info/ or contact one of the Conference's organizers or Co-Chairs: Geoffrey C. Fox at gcf at indiana.edu and Waleed W. Smari at Smari at arys.org. 1 "The Challenge of Finding Intelligent Agents," IEEE Intelligent Systems, vol. 22, no. 4, pp. 3-5, 7, July/Aug. 2007, doi:10.1109/MIS.2007.78 ________________________________ This message and all attachments are PRIVATE, and contain information that is PROPRIETARY to Intelligent Automation, Inc. You are not authorized to transmit or otherwise disclose this message or any attachments to any third party whatsoever without the express written consent of Intelligent Automation, Inc. If you received this message in error or you are not willing to view this message or any attachments on a confidential basis, please immediately delete this email and any attachments and notify Intelligent Automation, Inc. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pmt6sbc at maths.leeds.ac.uk Tue Dec 11 00:45:38 2012 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Mon, 10 Dec 2012 23:45:38 GMT Subject: CiE 2013 in Milan - Awards and 2nd Call for Papers Message-ID: <201212102345.qBANjchf029168@maths.leeds.ac.uk> ************************************************************************ CiE13 CALL FOR PAPERS AND SPECIAL AWARDS: CiE 2013: The Nature of Computation: Logic, Algorithms, Applications Milan, Italy July 1 - 5, 2013 http://cie2013.disco.unimib.it IMPORTANT DATES: Submission Deadline for LNCS: 20 January 2013 Notification of authors: 4 March 2013 Deadline for final revisions: 1 April 2013 CiE 2013 is the ninth conference organised by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponte Dalgada (2010), Sofia (2011) and Cambridge (2012). The Nature of Computation is meant to emphasize the special focus of CIE13 on the unexpected and strong changes that studies on Nature have brought in several areas of mathematics, biology, physics, and computer science. Starting from Alan Turing, research on Nature with a computational perspective has produced novel contributions, giving rise even to new disciplines. AWARDS: Springer-Verlag has graciously funded two awards that will be given during the CiE 2013 Conference. Best student paper: This prize will be awarded for the best student paper presented at CiE 2013, as judged by the Program Committee. A prize of 500 euros will be given to the author(s) of the best student-authored paper (or split between more than one paper if there is a tie). In order to be considered, a paper has to be submitted in the category 'Regular paper (eligible for best student paper award)' on EasyChair. Papers are eligible if all of its authors are full-time students at the time of submission. Best paper on Natural Computing: The prize consists of the four volumes of the Handbook of Natural Computing (see http://cie2013.disco.unimib.it/awards/). This prize will be awarded to the best paper on Natural Computing presented at CiE 2013, as judged by the Program Committee. A paper is eligible if its main topic falls within the scope of Natural Computing, roughly defined as the set of fields studied in the above handbook. The Program Committee is the only judge of the relevance of a paper within the Natural Computing scope. The authors of a paper eligible for the award must indicate this in the submission notes. INVITED SPEAKERS Ulle Endriss (University of Amsterdam) Lance Fortnow (Georgia Institute of Technology) Anna Karlin (University of Washington) Bernard Moret (Ecole Polytechnique Federale de Lausanne) Mariya Soskova (Sofia University) Endre Szemeredi (Hungarian Academy of Sciences, Rutgers University) TUTORIAL SPEAKERS Gilles Brassard (Universite de Montreal) Grzegorz Rozenberg (Leiden Institute of Advanced Computer Science and University of Colorado at Boulder) SPECIAL SESSIONS on Algorithmic Randomness organizers: Mathieu Hoyrup, Andre Nies Data Streams and Compression organizers: Paolo Ferragina, Andrew McGregor Computational Complexity in the Continuous World organizers: Akitoshi Kawamura, Robert Rettinger Computational Molecular Biology organizers: Alessandra Carbone, Jens Stoye Computation in Nature organizers: Mark Delay, Natasha Jonoska History of Computation organizers: Gerard Alberts, Liesbeth De Mol PROGRAM COMMITTEE: * Gerard Alberts (Amsterdam) * Luis Antunes (Porto) * Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris) * Paola Bonizzoni (Milan, co-chair) * Vasco Brattka (Munich and Cape Town, co-chair) * Cameron Buckner (Houston TX) * Bruno Codenotti (Pisa) * Stephen Cook (Toronto ON) * S Barry Cooper (Leeds) * Ann Copestake (Cambridge) * Erzsebet Csuhaj-Varju (Budapest) * Anuj Dawar (Cambridge) * Gianluca Della Vedova (Milan) * Liesbeth De Mol (Gent) * Jerome Durand-Lose (Orleans) * Viv Kendon (Leeds) * Bjoern Kjos-Hanssen (Honolulu, HI) * Antonina Kolokolova (St. John's NF) * Benedikt Loewe (Amsterdam) * Giancarlo Mauri (Milan) * Rolf Niedermeier (Berlin) * Geoffrey Pullum (Edinburgh) * Nicole Schweikardt (Frankfurt) * Sonja Smets (Amsterdam) * Susan Stepney (York) * S. P. Suresh (Chennai) * Peter van Emde Boas (Amsterdam) The PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) in computability related areas to submit their papers (in PDF format, max 10 pages using the LNCS style) for presentation at CiE 2013. The submission site https://www.easychair.org/conferences/?conf=cie2013 is open. We particularly invite papers that build bridges between different parts of the research community. The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag. Contact: Paola Bonizzoni - bonizzoni at disco.unimib.it Website: http://cie2013.disco.unimib.it ************************************************************************ From martin.lange at uni-kassel.de Tue Dec 11 15:43:39 2012 From: martin.lange at uni-kassel.de (Martin Lange) Date: Tue, 11 Dec 2012 15:43:39 +0100 Subject: Post-doc opportunity in computational logic at the University of Kassel, Germany Message-ID: <50C7469B.1060402@uni-kassel.de> The Formal Methods and Software Verification (FMV) research group at the University of Kassel is looking for a post-doc to work on the ERC funded project "Model Checking Unleashed". The project investigates potential applications of computational logic technology, in particular model checking, in all sorts of different areas. We are looking for a candidate who - holds a PhD in computer science, mathematics or related areas (mandatory), - has a strong background in theoretical computer science (mandatory), - has worked in areas related to computational logic (preferable), - complements the group's expertise with knowledge and experience in some area which could potentially serve as a field in which to apply computational logic technology (preferable). We offer an international, friendly, ambitious and open-minded working environment. Working language at the FMV group is English in general. Knowledge of German is helpful but not necessary. There are no teaching obligations. The position would be paid according to the standard pay scale "TV-H EG13" and comes with health cover, pension scheme contributions, etc. If you are interested, please contact Martin Lange via .@uni-kassel.de including - a CV, - a brief statement on how you meet the criteria set out above, - an indication of the time and duration of employment you are looking for (max 2 years), - names of two referees who would be able to provide letters of recommendation. Informal inquiries are welcome. There is no formal application deadline. We will continue looking for suitable, interested and interesting candidates and - when one has been found - proceed with a formal application process. Website of the Formal Methods and Software Verification group: http://www.uni-kassel.de/eecs/fmv -- ---------------------------------------------------------------- Prof. Dr. Martin Lange http://www.uni-kassel.de/~mlange Elect. Engineering & Comp. Science martin.lange at uni-kassel.de University of Kassel, Germany +49/0 561 804 6261 From cossentino at pa.icar.cnr.it Wed Dec 12 16:30:00 2012 From: cossentino at pa.icar.cnr.it (Massimo Cossentino) Date: Wed, 12 Dec 2012 16:30:00 +0100 Subject: 1st International Workshop on Engineering Multi-Agent Systems (EMAS) - Call for Papers Message-ID: * apologies for cross-postings * ************************************************************************ Call for Papers EMAS 2013 1st International Workshop on Engineering Multi-Agent Systems (EMAS) Held with AAMAS 2013, Saint Paul, Minnesota (USA), 6th-7th May 2013 http://emas2013.otago.ac.nz ************************************************************************ EMAS is the result of the merging of three "parent" workshops: AOSE, DALT and ProMAS. It looks at their communities as its natural reference audience. MOTIVATION Although much progress has been made, the design, implementation and deployment of multi-agent systems still poses many challenges. Some of these concern design and software engineering aspects, for example, how to effectively design agents and their interactions? Other challenges concern implementation, for instance, how to effectively implement multi-agent coordination or organisations? Further challenges concern use of logic-based techniques for verification of agent systems. It is increasingly apparent that there are benefits in considering design and implementation challenges together. For example, design artefacts can be used to support and assist with debugging and testing. Another example is the development of agent-oriented programming languages that result in programs that are more readily verifiable. A final example is the use of declarative techniques that span design and implementation. This unveils a tight interlacement among the different research issues in multi-agent systems engineering. This naturally results in a workshop that brings together the currently separate topics (but overlapping communities) that focus on software engineering aspects (AOSE), programming aspects (ProMAS), and the application of declarative techniques to design, programming and verification (DALT). Furthermore, EMAS is an ideal place for papers on innovative applications of agents. In particular, there is a great interest from the EMAS community in having people who have developed applications articulate the lessons learned and engineering challenges identified in building and deploying their applications. GOALS AND TOPICS The EMAS workshop explicitly pursues three goals: A. To progress and further develop the understanding of how to engineer multi-agent systems. B. To bring together the communities that are concerned with different aspects of engineering multi-agent systems, and by doing so, allow for better interchange of ideas between the communities, thus exploiting synergies discussed above. C. To attract workshop papers that describe innovative applications We thus call for research papers that are concerned with any aspect of the engineering of multi-agent systems. Specifically including any topics that would fall within the scope of one or more of the three parent workshops: a) Agent-Oriented Software Engineering, b) Declarative Agent Languages and Technologies, c) Programming Multi-Agent Systems. We also seek application papers that describe developed applications. Such papers should not just describe an application, but also the lessons learned and the engineering challenges identified in building and deploying the applications. AUTHOR GUIDELINES EMAS welcomes the submission of theoretical, experimental, methodological as well as application papers with a clear research focus on the topics outlined above. Each paper will be evaluated by three members of the PC. SUBMISSIONS Paper length should be at most 16 pages, including the text, figures, and references. The submissions must be formatted according to the Springer Verlag LNCS style. PDF format is required. Papers can be submitted via EasyChair 'EMAS2013', https://www.easychair.org/conferences/?conf=emas2013 PROCEEDINGS Pre-proceedings containing all accepted papers are provided electronically on a USB stick as part of the AAMAS workshop registration package. The plan is to publish revised versions of accepted papers in a Lecture Notes in Computer Science volume. For this purpose, authors will be given the opportunity to revise and re-submit their contributions after the conference. IMPORTANT DATES Paper submission deadline: 30th January 2013 Paper notifications: 28th February 2013 Camera ready paper (pre-proceedings): 11th March 2013 Workshop: 6th-7th May 2013 COMMITTEES Organizing Committee Massimo Cossentino (National Research Council, Italy) Amal El Fallah Seghrouchni (University of Pierre and Marie Curie - Paris 6, France) Michael Winikoff (University of Otago, New Zealand) Steering Committee Matteo Baldoni (Italy), Rafael Bordini (Brazil), Mehdi Dastani (Netherlands), Jürgen Dix (Germany), Amal El Fallah Seghrouchni (France), Paolo Giorgini (Italy), Jörg Müller (Germany), M. Birna Van Riemsdijk (Netherlands), Tran Cao Son (USA), Gerhard Weiss (Netherlands), Danny Weyns (Sweden), Michael Winikoff (New Zealand). Preliminary Program Committee Natasha Alechina (Nottingham, UK) Matteo Baldoni (Torino, Italy) Cristina Baroglio (Torino, Italy) Jeremy Baxter (QinetiQ, UK) Olivier Boissier (Saint-Etienne, France) Rafael Bordini (FACIN-PUCRS, Brazil) Lars Braubach (Hamburg, Germany) Rem Collier (Dublin, Ireland) Mehdi Dastani (Utrecht, Netherlands) Scott DeLoach (Kansas state, USA) Louise Dennis (Liverpool, UK) Virginia Dignum (Delft, Netherlands) Jürgen Dix (Clausthal, Germany) Aditya Ghose (Wollongong, Australia) Paolo Giorgini (Trento, Italy) Adriana Giret (Valencia, Spain) Marie-Pierre Gleizes (IRIT, Uni. Paul Sabatier, France) Jorge J. Gomez-Sanz (Madrid, Spain) Christian Guttmann (IBM, Australia) James Harland (RMIT, Australia) Vincent Hilaire (Belford-Montbelliard, France) Koen Hindriks (Delft, Netherlands) Benjamin Hirsch (Berlin, Germany) Tom Holvoet (KU Leuven, Belgium) Jomi Hübner (Federal University of Santa Catarina, Brazil) Michael Huhns (South Carolina, USA) Joao Leite (Lisboa, Portugal) Yves Lesperance (York, Canada) Brian Logan (University of Nottingham, UK) Viviana Mascardi (Genova, Italy) Philippe Mathieu (Lille 1, France) John-Jules Meyer (Utrecht, Netherlands) Frédéric Migeon (IRIT, Uni. Paul Sabatier, France) Ambra Molesini (Bologna, Italy) Pavlos Moraitis (Paris Descartes, France) Haralambos Mouratidis (East London, UK) Jörg Müller (Clausthal, Germany) Peter Novák (Czech TU, Czech Republic) Andrea Omicini (Bologna, Italy) Lin Padgham (RMIT, Australia) Van Parunak (Jacobs Technology, USA) Fabio Patrizi (Imperial college, UK) Juan Pavon (Madrid, Spain) Michal Pechoucek (Czech TU, Czech Republic) Alexander Pokahr (Hamburg, Germany) Enrico Pontelli (New Mexico state, USA) Alessandro Ricci (Bologna, Italy) Ralph Rønnquist (Intendico, Australia) Chiaki Sakama (Wakayama Uni., Japan) Sebastian Sardiña (RMIT, Australia) Valeria Seidita (Palermo, Italy) Onn Shehory (IBM Haifa , Israel) Maarten Sierhuis (Ejenta, Inc., USA) Guillermo Ricardo Simari (Uni Nacional del Sur, Argentina) Munindar Singh (North Carolina, USA) Tran Cao Son (New Mexico state, USA) Bas Steunebrink (Lugano, Switzerland) Pankaj Telang (CISCO, USA) John Thangarajah (RMIT, Australia) Paolo Torroni (Bologna, Italy) M. Birna van Riemsdijk (Delft, Netherlands) Wamberto Vasconcelos (Aberdeen, UK) Jørgen Villadsen (DTU Informatics, Denmark) Gerhard Weiss (Maastricht, Netherlands) Danny Weyns (Linnaeus, Sweden) Wayne Wobcke (UNSW, Australia) Pinar Yolum (Bogazici, Turkey) Neil Yorke-Smith (American Uni Beirut / SRI, Lebanon / USA) ************************************************************************ From margotcolinet at gmail.com Thu Dec 13 17:34:39 2012 From: margotcolinet at gmail.com (Margot Colinet) Date: Thu, 13 Dec 2012 17:34:39 +0100 Subject: ESSLLI Student Session Message-ID: First Call for Papers ESSLLI 2013 STUDENT SESSION Held during The 25th European Summer School in Logic, Language and Information Düsseldorf, Germany, August 5-16, 2013 Deadline for submissions: April 1st, 2013 https://www.easychair.org/conferences/?conf=essllistus2013 *ABOUT*: The Student Session of the 25th European Summer School in Logic, Language, and Information (ESSLLI) will take place in *Düsseldorf, Germany on August 5-16, 2013*. We invite submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation. Submissions will be reviewed by several experts in the field, and accepted papers will be presented orally or as posters and will appear in the student session proceedings in Springer. This is an excellent opportunity to receive valuable feedback from expert readers and to present your work to a diverse audience. *A SEPARATE POSTER SESSION*: Note that this year there are two separate kinds of submissions, one for the oral presentations and one for the posters. This means that papers can be directly submitted as posters. Reviewing and ranking will be done separately. We particularly encourage submissions for posters. More detailed guidelines regarding submission can be found on the Student Session website: http://stus2013.loriweb.org/, (links to previous years' proceedings are also available there). Please direct inquiries about submission procedures or other matters relating to the Student Session to margotcolinet at gmail.com For general inquiries about ESSLLI 2013, please consult the main ESSLLI 2013 page, http://esslli2013.de/. Kind regards, *The ESSLLI 2013 Student Session Organization Committee*, Chair: Margot Colinet (Université Paris Diderot-Paris 7) LOCO (LOgic and Computation) co-chairs: Ronald de Haan (Technische Universität Wien) Michał Zawidzki (Uniwersytet Łódzki) LOLA (LOgic and LAnguage) co-chairs: Agata Renans (Universität Potsdam) Barbara Tomaszewicz (University of Southern California) LACO (LAnguage and Computation) co-chairs: Pierre Bourreau (Heinrich-Heine-Universität Düsseldorf) Julia Zinova (Heinrich-Heine-Universität Düsseldorf) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From georgev at unipi.gr Fri Dec 14 12:26:52 2012 From: georgev at unipi.gr (George Vouros) Date: Fri, 14 Dec 2012 13:26:52 +0200 Subject: 1st CfP: Information Sharing in Large Scale Multi-Agent Systems @ AAMAS 2013 (IS @ AAMAS 2013) Message-ID: <7B272840-77B8-454B-8BCD-671825D499F6@unipi.gr> Apologies for cross-postings ============================================= Call for Papers Information Sharing in Large Scale Multi-Agent Systems Workshop in conjunction to AAMAS 2013 Saint Paul, Minessota USA May 6-10, 2013 URL: http://ai-group.ds.unipi.gr/islsmas/ Scope & Objectives Agents, devices and information sources connected in large scale networks have to share information in effective ways, so as the right information to reach the right agents at the appropriate time, for agents to integrate and interpret data to perform the necessary tasks. The diversity of data, the volatility and, in many emerging applications, ubiquity, make the information sharing task a challenging task. This is important in many real-world settings, where voluminous information from different sources need to reach distant agents. Sometimes, information by multiple sources needs to be fused, before being propagated to the right agents: The later may need information to be, for instance, extracted, implied, abstracted, or somehow aggregated, by the different pieces of information available. The problem becomes even more challenging when agents have different "€œviews"€ for the meaning of the information they share, when they have to manipulate heterogeneous data from different sources, or when they have to jointly control actuators. In all the above cases, semantics play an important role. Considering to be a decentralized control problem, information searching and sharing in large-scale systems of cooperative agents is a hard problem in the general case: The computation of an optimal policy, when each agent possesses an approximate partial view of the state of the environment and when agents'€™ observations and activities are interdependent, is hard. The above considerations, has resulted to efforts that either require agents to have a global view of the systems, to heuristics, to the pre- computation of agents'€™ information needs and information provision capabilities for proactive communication, to localized reasoning processes built on incoming information, to analytical frameworks for coordination whose optimal policies can be approximated for small (sub-) networks of associated agents, and to reinforcement learning algorithms for hierarchical peer-to-peer information retrieval systems. On the other hand, there is a lot of research on semantic peer-to-peer search networks and social networks many of which deal with tuning a network of peers for effective information searching. Topics of Interest With the advent of new opportunities in mobile computing, in the social web and in the context of the internet of smart things, or in other settings where information is inherently distributed among several agents who have to share information (e.g. in rescue and large- scale emergency scenarios), in this workshop we welcome high-quality contributions with a focus on information sharing, as opposed to mere information retrieval that happens through locating information sources and querying. Specific topics of interest therefore include, but are not limited to: · Algorithms for information sharing among self-interested agents. · Formal models of information sharing and formal properties (e.g. convergence, completeness, optimality) · Energy/cost-efficient and scalable information sharing methods · Machine learning methods for "€œtuning"€ information sharing in large scale settings · Adaptive multi-agent organizations for information sharing · Distributed semantic coordination for information sharing in heterogeneous and large scale settings. · Practical engineering issues for information sharing in large scale settings · Information provenance, trust and reputation for information sharing. · Environment abstractions and facilitators for effective information sharing. · Real-world applications of information sharing. · Agent architectures for energy-efficient and scalable information sharing. We aim to foster discussion among researchers from the fields of agent- based peer-to-peer systems, adapting and self-organized multi-agent systems, large scale semantic coordination, decentralized control and game theory interested to information sharing in open, dynamic large scale settings of heterogeneous and/or mobile agents. Submissions We seek high-quality submissions of full papers, limited to 8 pages in length, and extended abstracts, limited to 4 pages in length. All submissions will be rigorously peer reviewed and evaluated on the basis of originality, soundness, significance, presentation, understanding of the state of the art, and overall quality of their technical contribution. The purpose of an extended abstract is to either (a) give the authors the chance to present promising work, which is not fully matured as a full paper, so that it can be polished through the discussion at the workshop, or (b) present a short version of already published work. To submit your paper (in PDF format), please go to the submission website https://www.easychair.org/conferences/?conf=isaamas2013 The submission closes at 11:59 PM Hawaii Standard Time (HST = GMT - 10:00) on Feb 9. Authors must follow the AAMAS 2013 proceedings guidelines. Important dates: Feb 9, 2013: Submission of contributions March 1, 2013: Paper acceptance notifications March 8, 2013: Submission of camera-ready versions May, 6-10, 2013: Workshop and AAMAS 2013 Workshop Organizers: George Vouros, University of Piraeus, Greece email: georgev at unipi.gr Paul Scerry, Carnegie Mellon University, USA email: pscerri at cs.cmu.edu ============================================= From K.V.Hindriks at tudelft.nl Fri Dec 14 16:23:58 2012 From: K.V.Hindriks at tudelft.nl (Koen Hindriks - EWI) Date: Fri, 14 Dec 2012 15:23:58 +0000 Subject: CFP Workshop Cognitive Agents for Virtual Environments @ AAMAS 2013 Message-ID: ********************************************************************************** CALL FOR PAPERS Cognitive Agents for Virtual Environments Workshop at AAMAS 2013 http://www.staff.science.uu.nl/~dignu101/CAVE13/ ********************************************************************************** ------------------- Important dates: Deadline for submissions: January, 30, 2013 (24:00 UTC) Notification of acceptance: February 27, 2013 Camera-ready copy of papers: March 6, 2013 Workshop: May 6-7, 2013 ------------------- This is the Second AAMAS Workshop on Cognitive Agents and Virtual Environments (CAVE) where the main issue has been to incorporate elements of agent technology in games and similar virtual environments such as 3D training and educational applications to create more flexible and realistic game play. This workshop builds upon previous AAMAS workshops (including AGS 2009/10, EduMAS 2009/10, AEGS 2011, MASEIE 2011 and CAVE 2012). Although some of the technical issues have been overcome and middleware (such as Pogamut, EIS and CIGA) has been developed to connect agent platforms to games like Unreal Tournament there are a number of fundamental challenges both on the technical as well as on conceptual and design level. We intend to bring people working on virtual characters together with those working on agent platforms and languages and cognitive architectures. All three communities have important parts of solutions for creating agents for games and similar applications, but very little is currently being done to combine these solutions. Thus the workshop will encourage all submissions that connect the different communities and show the benefits from this combination. There is a wide range of activity within the agent community considering various aspects of multi-agent systems, both theoretical as well as practical. This includes communication, team work, coordination and cooperation of agents. We want to explore how these results might be used in the context of games and other virtual applications that require interaction with real users and perhaps identify any additional requirements that should be imposed for these contexts. In particular, we seek to better understand the constraints imposed when agents are used in virtual learning environments and serious games and how the balance between learning, motivation and enjoyment can be achieved. To gain this understanding we also want to explore similarities between solutions developed within the agent community with those used by people studying cognitive architectures. Finally, we would like to promote the testing and evaluation of suitable frameworks such that it will be clear which works best for the various types of game or application of gaming. To this end, creation of a testbed or environment for developing and evaluating games and simulations with agents will be explored at the workshop. The topics of the workshop include but are not limited to: * Methodologies for designing agent-based game environments * Real-time reactive behaviour * Balancing reactive and pro-active behaviour * Cognitive approaches to agents for real-time systems (RTS) and games * BDI-based agents for RTS and games * Cognitive architectures used in the context of RTS and games * Intelligent Virtual Agents (IVA) * Spatial and Cognitive maps for games * Ontologies for RTS and games * Episodic memory for agents in games and RTS * Interfacing agent platforms and cognitive architectures to real-time systems and games * Design of Level of Detail of agent-gaming interfaces * Scalability of agent technology and cognitive architectures * Integrating agent architectures, cognitive architectures and IVA architectures * Gaming middleware * Approaches and methods for evaluating the agent platforms for RTS and games * Benchmarks and test beds for evaluating agent technology for games * Programmability of complex systems of agents interfaced with RTS and games * Development and Design tools for engineering agents for RTS and games * Teamwork approaches for agents in RTS and games * Management and achievement of pedagogical goals and shared human/agent goals in the context of an educational or serious game * Communication and coordination approaches for multi-agent systems for RTS and games We welcome both theoretical papers that indicate how the theory can be used in practice as well as practical and empirical papers that provide solutions for theoretical issues. We also welcome in particular any papers that discuss experiences and lessons learned related to the application of agent technology in real-time systems and games. Both successes and "failures" are welcome as they both can help us to better understand the key issues in combining agents with real-time systems and games. Papers will undergo the normal review process and are selected on the basis of quality. However, when choices have to be made we will try to spread the accepted papers over the main themes of the workshop. Interesting ideas are more important in this respect than detailed results on fringe topics. We aim to publish the proceedings as an LNCS volume like last year. Depending on the quality and number of submissions we might additionally publish a special issue of a journal in game technology. ------------------- Formatting guidelines: ------------------- We encourage participants to submit a paper (15 pages max), describing their work on one or more of the topics mentioned above. All non-presenting participants will need to submit a one-page position statement which presents their view on agents for games and simulations relative to (one of) the workshop topics. All submissions must include the author's name(s), affiliation, complete mailing address, phone number, fax number and email address. Please use the LNCS format for formatting your paper. All accepted submissions and position statements will be published in the workshop proceedings. ------------------- Submission procedure: ------------------- Submissions should be submitted through the EasyChair system at http://www.easychair.org/conferences/?conf=CAVE2013 in PDF format. The deadline for receipt of submissions is January 30, 2013. Papers received after this date will not be reviewed. ------------------- Workshop Organizers ------------------- 1 Frank Dignum, Utrecht University,The Netherlands 2 Martin Beer, Sheffield University, United Kingdom 3 Koen Hindriks, Delft University of Technology, The Netherlands 3 Deborah Richards, Macquarie University, Australia ------------------- Program Committee: ------------------- Ruth Aylett (Heriot-Watt University, UK) Martin Beer (Sheffield University, UK) Cyril Brom (Charles University, Czech Rep.) Andre Campos (UFRN, Brazil) Yves Demazeau (CNRS, France) Frank Dignum, (Utrecht University,The Netherlands) Hiromitsu Hattori (Kyoto University, Japan) Koen Hindriks (Delft University of Technology, The Netherlands) Stefan Kopp (University of Bielefeld, Germany) Simon Lynch (Univ. of Teeside, UK) Joost van Oijen (VSTEP, The Netherlands) Jeff Orkin (MIT, USA) David Pynadath (USC, USA) Deborah Richards, (Macquarie University, Australia) Avi Rosenfeld (JCT, Israel) Ilias Sakellariou (UOM, GR) David Sarne (Bar Ilan University, Israel) Barry Silverman (UPenn, USA) Demosthenes Stamatis (TEIHE, Greece) Ioanna Stamatopoulou (South-East European Research Centre, Thessaloniki, Greece) Janneke van der Zwaan (Delft University of Technology, The Netherlands) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ulle.endriss at uva.nl Sun Dec 16 19:09:47 2012 From: ulle.endriss at uva.nl (Ulle Endriss) Date: Sun, 16 Dec 2012 19:09:47 +0100 Subject: Call for Papers: ESSLLI Workshop on Logical Models of Group Decision Making Message-ID: <50CE0E6B.4080303@uva.nl> ********************************************************************** CALL FOR PAPERS ESSLLI Workshop on Logical Models of Group Decision Making Duesseldorf, 12-16 August 2013 URL: http://www.illc.uva.nl/~ulle/esslli-workshop-2013/ ********************************************************************** In recent years, in both logic and computer science, there has been a growing interest in the formal study of problems originating in economics, as witnessed by the emergence of research trends such as logic and rational interaction or computational social choice. This workshop will provide a forum for the discussion of ongoing research in this exciting field. It will specifically focus on the use of logic (rather than formal methods more generally) to model problems in group decision making (rather than problems in economics more generally). The workshop is part of the programme of the 25th European Summer School in Logic, Language and Information (ESSLLI-2013). ********************************************************************** TOPICS OF INTEREST ********************************************************************** We hope to stimulate research on social choice, mechanism design, the aggregation of preferences, judgments and beliefs, as well as public deliberation amongst logicians. At the same time, we hope to stimulate a closer engagement with different logics amongst researchers in social choice theory and computational social choice. We also hope to highlight the broad range of potential applications for this kind of research, ranging from artificial intelligence and multiagent systems all the way to political science and ethics. Topics of interest include: - logic and social choice theory - logic and mechanism design - logic and games - judgment aggregation - belief merging - logical models of group deliberation - logic-based preference modelling - argumentation and group decision making - formal specification and verification of group decision mechanisms - automated reasoning for collective decision making - social software - applications in artificial intelligence and multiagent systems - applications in political science and ethics ********************************************************************** PAPER SUBMISSION ********************************************************************** Please visit the workshop website for details on the submission procedure. All submissions will be reviewed by the programme committee. We solicit a variety of types of papers: technical papers describing original and unpublished results, position papers outlining a research agenda or highlighting important open problems, and papers reporting on work in progress. ********************************************************************** IMPORTANT DATES ********************************************************************** - Submission deadline: 25 April 2013 - Paper notifications: 4 June 2013 - Final papers due: 21 June 2013 - Workshop: 12-16 August 2013 ********************************************************************** PROGRAMME COMMITTEE ********************************************************************** - Thomas Agotnes (Bergen) - Johan van Benthem (Amsterdam & Stanford) - Fabrizio Cariani (Northwestern) - Cedric Degremont (Toulouse) - Franz Dietrich (Paris & East Anglia) - Daniel Eckert (Graz) - Ulle Endriss (Amsterdam, co-chair) - Davide Grossi (Liverpool) - Jeff Horty (Maryland) - Sebastien Konieczny (Lens) - Eric Pacuit (Tilburg & Maryland, co-chair) - Gabriella Pigozzi (Paris) - Daniele Porello (Trento) - Olivier Roy (Munich) - Mike Wooldridge (Oxford) ********************************************************************** -- Ulle Endriss http://www.illc.uva.nl/~ulle/ Institute for Logic, Language & Computation (ILLC) University of Amsterdam Tel: +31 (0)20 525 6511 Postbus 94242 Fax: +31 (0)20 525 5206 1090 GE Amsterdam (NL) Email: u.endriss at uva.nl From AAMAS_2013_Publicity_Chair at wenen.twi.tudelft.nl Mon Dec 17 10:09:43 2012 From: AAMAS_2013_Publicity_Chair at wenen.twi.tudelft.nl (AAMAS_2013_Publicity_Chair) Date: Mon, 17 Dec 2012 10:09:43 +0100 Subject: Call for IFAAMAS-12 Victor Lesser Distinguished Dissertation Award nominations Message-ID: <1920502b27a545a36de5ccdbb743b0b7.squirrel@graphics.tudelft.nl> Call for IFAAMAS-12 Victor Lesser Distinguished Dissertation Award nominations Nominations are invited for the 2012 Victor Lesser Distinguished Dissertation Award sponsored by IFAAMAS, the International Foundation for Autonomous Agents and Multiagent Systems (http://www.ifaamas.org) and to be presented at AAMAS-2013 (http://aamas2013.cs.umn.edu/). Eligible doctoral dissertations are those defended between January 1, 2012 and December 31, 2012 in the area of Autonomous Agents or Multiagent Systems. This award includes a certificate signed by the IFAAMAS Chair and a 1500EUR payment. The selection of the dissertation will be based on the originality, significance, and impact of the work. Evidence of such impact include publications at highly selective conferences and journals in the field with due importance given to the AAMAS conference series and JAAMAS. Research output that resulted primarily from the student's initiative will be considered more favourably. The selection committee will be the final arbiter in the decision process. The selection committee might decide to consult external assessors and reserves the right to not award the prize if the nominations do not meet the expected quality level. The dissertation must be nominated by the thesis supervisor and must be supported by the following documents (the documents must be placed on a web page and only a link to this page e-mailed to the chair of the selection committee, Michael Winikoff, michael.winikoff at otago.ac.nz, on or before February 28, 2013): 1. A PDF file of the dissertation. If the dissertation is not written in English, the nomination must include a substantial manuscript in English, with the nominee as the first author, published in a journal or a prestigious conference. 2. A list of citations to published papers based primarily on this dissertation with links to corresponding PDF files. 3. A recommendation from the dissertation supervisor, on departmental letterhead, nominating the dissertation for the IFAAMAS-12 Victor Lesser Distinguished Dissertation Award. The recommendation should argue the merit of the dissertation and highlight, where relevant, how the work resulted from the initiative of the student. This document, not to exceed 500 words, should also certify the eligibility of the PhD by asserting that the PhD was defended in calendar year 2012. 4. The names, email addresses, and affiliations of at most three referees, familiar with the research of the candidate and experts in the pertinent research area, who will directly email their recommendations for the candidate to the chair of the selection committee. It is the responsibility of the dissertation supervisor to contact the referees and ensure that the letters are submitted by the deadline. A reference letter should be no more than 500 words in length and should be on official letterhead, signed and emailed as scanned PDF file. Though the nomination is to be submitted by the nominee's dissertation supervisor, it is required that the nominee has consented that the dissertation be considered for this award and, if selected for the award, commits to attend the AAMAS-2013 conference, where he/she will receive the award, and will give an hour-long presentation in a special session of the conference on the work contained in the dissertation. The cost of attending the conference is not covered by the award. From galk at cs.biu.ac.il Mon Dec 17 18:50:22 2012 From: galk at cs.biu.ac.il (Gal Kaminka) Date: Mon, 17 Dec 2012 19:50:22 +0200 Subject: First Call for Papers: Autonomous Robots and Multirobot Systems Workshop (ARMS) 2013 Message-ID: ----------------------------------------------------------------- CALL FOR PAPERS Autonomous Robots and Multirobot Systems (ARMS) 2013 A full-day workshop to be held as part of AAMAS-2013 and to accompany the AAMAS Special Track on Robotics May 6 or 7, 2013, Saint Paul, Minnesota, USA Website: http://ii.tudelft.nl/arms2013 ----------------------------------------------------------------- Important Dates --------------- Paper submission deadline: January, 30, 2013 Notification of acceptance: February 27, 2013 Submission of camera-ready version: March 8, 2013 Overview -------- Robots are agents, too. Indeed, agent researchers are sometimes inspired by robots, sometimes use robots in motivating examples, and sometimes make contributions to robotics. Both practical and analytical techniques in agent research influence, and are influenced by, research into autonomous robots and multi-robot systems. Areas of particular recent cross-fertilization include (but are not limited to): - motion planning and path planning for single and multiple mobile robots - market-based for coalition formation and task allocation - machine learning in robotics - multi-robot teams and swarms - human-agent-robot teamwork - analysis of large-scale multi-robot systems and swarms - decision-theoretic single- and multi-robot planning - imitation and learning by demonstration/example - formal methods and control architectures - canonical robotics problems and benchmarks, such as robotic soccer, coverage, foraging, or patrolling Despite the rich cross-fertilization between AAMAS and robotics research areas, roboticists and agents researchers have only a few opportunities to meet and interact. The recently established robotics track at AAMAS is one such opportunity. The goal of the proposed workshop is to extend and widen this opportunity, by offering a forum where researchers in this area of research can interact and present promising innovative research directions, and new results. The workshop is coordinated and associated with the AAMAS robotics track. Submissions and Publication --------------------------- The submission website is https://www.easychair.org/conferences/?conf=arms2013 Contributions are sought in all areas of robotics, in particular as related to autonomous agents research, but not necessarily so. Theoretical papers are welcome, as long as they clearly address challenges in robotics. Empirical studies should ideally present experiments with real robots, though physical simulation studies are also acceptable. Papers that focus on mechanical aspects and low-level control should make an effort to relate to the agents community. Submissions should follow Springer's LNCS format (see http://www.springer.de/comp/lncs/authors.html for instructions, or directly download the latex style file: ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip). Papers should not exceed 20 pages in length. Papers will be reviewed by at least 2 reviewers. Criteria for selection of papers will include: originality, readability, relevance to themes, soundness, and overall quality. Organizing Committee -------------------- Gal Kaminka Bar Ilan University, Israel Koen Hindriks Delft University, The Netherlands Alessandro Farinelli University of Verona, Italy Jim Boerkoel Massachusetts Institute of Technology, USA Noa Agmon Bar Ilan University, Israel The contact organizer is Gal Kaminka (galk at cs.biu.ac.il) -- -- ----------------------------------------------------------------------- Gal A. Kaminka, Ph.D. http://www.cs.biu.ac.il/~galk Associate Professor Computer Science Dept. Bar Ilan University Only those who see the invisible can do the impossible -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From vfgo at imm.dtu.dk Tue Dec 18 09:22:16 2012 From: vfgo at imm.dtu.dk (Valentin Goranko) Date: Tue, 18 Dec 2012 08:22:16 +0000 Subject: Nordic Spring School in Logic in 2013 Message-ID: NORDIC LOGIC SPRING '2013 ========================= Nordic Spring School in Logic, http://scandinavianlogic.org/school May 27-31, 2013, Sophus Lie Conference Center, Nordfjordeid, Norway The first Nordic Spring School in Logic is organized under the auspices of the Scandinavian Logic Society and is supported by the Department of Mathematics of the University of Oslo. The Sophus Lie Conference Center http://www.mn.uio.no/math/english/about/collaboration/nordfjordeid/ is located with a view to one of the famous fjords of Norway, in an area particularly attractive with its nordic exotic nature and bright nights at that time of the year. Nordfjordeid can be reached by plane from Oslo, Bergen, or Trondheim to Sandane airport, or by coach from each of these cities. COURSE PROGRAMME: ------------------------------ The school programme will comprise the following short courses on a variety of important topics in mathematical, computational, applied and philosophical logic, given by leading experts in their fields: - Alexandru Baltag and Sonja Smets (University of Amsterdam): Dynamic logics for interactive belief revision - Dag Normann (University of Oslo): The semantics of higher-order algorithms - Erich Graedel (RWTH Aachen): Logics for dependence and independence - Joan Bagaria (ICREA, University of Barcelona): Set theory - Katrin Tent (University of Muenster): Model theory - Kim Larsen (Aalborg University): Logic and formal verification - Michael Rathjen (University of Leeds): Proof theory: From arithmetic to set theory - Nina Gierasimczuk (University of Amsterdam) and Jakub Szymanik (University of Groningen): Logic, computability and cognition - Thierry Coquand (University of Gothenburg): Type theory and univalent foundations - Wolfgang Thomas (RWTH Aachen): Logic, automata and games - Øystein Linnebo (University of Oslo and Birkbeck, University of London): Philosophy of logic: The problem of absolute generality The program will be divided into two parallel streams, one mainly on mathematical logic and the other mainly on computational, applied and philosophical logic. The courses will target mainly PhD students, but will also be of interest for young (and not so young) researchers in logic and its applications. Some of the courses will be accessible to advanced master students, too. Besides the series of courses, the school program will also include a half-day excursion to the famous glacier Briksdalsbreen, on Wednesday, May 29. REGISTRATION FOR PARTICIPATION ------------------------------ The registration for the school will commence on January 15, 2013. The number of participants will be limited, and requests for participations will be accepted in the order of registration until the limit is reached. However, 50 of the available places will be reserved for master and PhD students until the early registration deadline. REGISTRATION DEADLINES: Early registration: MARCH 15, 2013. Late registration: MAY 1, 2013 ACCOMMODATION AND REGISTRATION FEES: The students accommodation will be provided in the conference center, mostly in double rooms. These are located in 9 pavilions with 4 double + 2 single rooms each. Each pavilion has common kitchen and bathroom facilities. The cost of accommodation in a double room with full board in the center, from (arrival) Sunday, March 26 until (latest departure on) Saturday, June 1 is NOK 3490. There are also alternative possibilities for accommodation in hotels or guest houses nearby. The registration fees, covering the scientific programme, conference facilities, refreshments, and the excursion, are as follows: Early Registration: Student fees: NOK 1500. Regular fees: NOK 2000 Late Registration: Student fees: NOK 2000. Regular fees: NOK 2500 Instructions on the registration procedure will be posted on the school website: http://scandinavianlogic.org/school SCHOOL ORGANIZATION ------------------------------ Organizing Committee: Dag Normann (University of Oslo, Norway): Chair Elisabeth H. Seland (University of Oslo, Norway): Administrative support Fredrik Engström (University of Gothenburg, Sweden): Website Valentin Goranko (Technical University of Denmark) Scientific Committee: Benedikt Loewe (Universities of Amsterdam and Hamburg) Erik Palmgren (University of Stockholm, Sweden) Juliette Kennedy (University of Helsinki, Finland) Marc Bezem (University of Bergen, Norway) Patrick Blackburn (University of Roskilde, Denmark) Valentin Goranko (Technical University of Denmark), Chair CONTACT AND ENQUIRIES Enquiries on registration and logistics: nord-logic at math.uio.no Enquiries on the scientific programme: NordicLogic at gmail.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From anthony.hunter at ucl.ac.uk Wed Dec 19 16:24:05 2012 From: anthony.hunter at ucl.ac.uk (Anthony Hunter) Date: Wed, 19 Dec 2012 15:24:05 +0000 Subject: ACAI Summer School on Computational Models of Argument Message-ID: <50D1DC15.8050304@ucl.ac.uk> ============================================================= ACAI Summer School on Computational Models of Argument ****************************************************** In odd-numbered years, the European Coordinating Committee for Artificial Intelligence sponsors a specialised course in Artificial Intelligence, called Advanced Course on AI (ACAI). The ACAI Summer School 2013 (ACAI 2013) will be held at King's College London, UK, from the 1st July to the 5th July 2013 and is on the topic of Argumentation in Artificial Intelligence. Computational models of argument, and the development of agreement technologies, is becoming an important area in artificial intelligence. The aim of the summer school is to provide the attendees with a solid grounding in the basic ideas in formal modelling of argumentation, dialogue, and negotiation. Furthermore, there will be a programme of lectures on application areas, lab sessions on software developments, and lectures linking with areas in AI and beyond. ACAI 2013 will be co-located and run in parallel with the European Agent Systems Summer School 2013, giving students the opportunity to interact with a wide variety of peers. More information, including a preliminary programme, is available on the website. Further details on how to apply to join the summer school, and on costs, will be available in January. http://www.inf.kcl.ac.uk/events/acai13/ ============================================================= From serge.autexier at dfki.de Wed Dec 19 22:01:39 2012 From: serge.autexier at dfki.de (Serge Autexier) Date: Wed, 19 Dec 2012 22:01:39 +0100 (CET) Subject: Call for Workshops: Conf. Intelligent Computer Mathematics (CICM 2013) Message-ID: <20121219210139.AD577FD77B4@gigondas.localhost> CICM 2013 - Conference on Intelligent Computer Mathematics July 8-12, 2012 at the University of Bath, UK http://www.cicm-conference.org/2013 Call for Workshop Proposals ---------------------------------------------------------------------- As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction, mathematical publishing and novel user interfaces individually have long and successful histories, we are now seeing increasing opportunities for synergy among these areas. Workshop proposals for CICM 2013 are solicited. Both well-established workshops and newer or brand new ones are encouraged. Please provide the following information: + Workshop title. + Names and affiliations of organizers. + Brief description of workshop goals and/or topics. + Proposed workshop duration (half a day up to two days is possible). + If the workshop has met previously, please include the conference affiliation for the previous meeting. If the workshop is new, please indicate so. CICM conference fees will be levied on a per-day basis, so that workshop-only participation is possible. The CICM organizers plan to make available a small amount towards partial reimbursement for travel expenses of invited speakers. Also, CICM will take care of copying and distributing informal printed proceedings for workshops that would like this service, as well as permanently archived open access online proceedings with CEUR-WS.org. All proposals should be sent via email to cicm-organizers at jacobs-university.de for consideration by the CICM 2013 organizers: James Davenport (University of Bath, UK): Conference Chair Jacques Carette (McMaster University, Canada): Program Chair David Aspinall (University of Edinburgh, Scotland): MKM Track Chair Christoph Lange (Univ of Birmingham, UK): System & Projects Track Chair Petr Sojka (Masaryk University, CZ): DML Track Chair Wolfgang Windsteiger (RISC, Austria): Calculemus Track Chair Important dates: Deadline for proposal submissions: January 28, 2013 Acceptance/rejection notification: February 8, 2013 Workshop dates: July 8-12, 2013 ----------------------------------------------------------------------- From asaffio at aass.oru.se Thu Dec 20 07:35:38 2012 From: asaffio at aass.oru.se (Alessandro Saffiotti) Date: Thu, 20 Dec 2012 07:35:38 +0100 (CET) Subject: PhD Position in artificial intelligence and robotics Message-ID: ====================================================================== ***** One PhD Position on Planning Human-Aware Robot Behavior ***** Center for Applied Autonomous Sensor Systems (AASS) Örebro University, Sweden ====================================================================== ---------------------------------------------------------------------- In Short ---------------------------------------------------------------------- Applications are invited for a three year PhD student position in Computer Science at Örebro University, Sweden. The research area is artificial intelligence and robotics, with special emphasis on planning human-aware robot behavior. The work will be performed in the context of the EU project MOnarCH. Application deadline: January 15, 2013. ---------------------------------------------------------------------- About the Positions ---------------------------------------------------------------------- The main task of the student will be to perform world-class research at the intersection of artificial intelligence and robotics, specifically on the topic of planning human-aware robot behavior. The student will create, implement and test new techniques to allow a robot, or team of robots, to generate plans to perform given tasks that involve the interaction with humans. What is new compared to traditional planning is that these plans must ensure that the robot's behavior complies with a set of social norms and social roles, which may depend on the interaction context. The research will be motivated by, guided by, and validated in a specific application scenario: robots that interact with children in a hospital, in order to entertain them or to participate in educational activities. Depending on the context, robots may play different roles and they may engage in different social relations with the children, following different social norms. For instance, robots may be watchful guardians in some situations, or companion players in others. The human-aware planning techniques developed in this research project will take the social context, norms and roles into account, and regulate the robots' behavior accordingly. The successful candidate will be employed as PhD student with Örebro University for an expected duration of three years. He or she will work within the local MOnarCH team at Örebro University, but will also collaborate with the other European partners in the MOnarCH project, both remotely and through physical meetings and research visits. A limited amount of teaching may also be part of the PhD student's duties. More information can be found at http://aass.oru.se/CRS/positions.html ---------------------------------------------------------------------- About the MOnarCH Project ---------------------------------------------------------------------- MOnarCH (Multi-Robot Cognitive Systems Operating in Hospitals) is a European Union FP7 project. The overall aims of MOnarCH are (i) the development of a novel framework to model mixed human-robot societies, and (ii) its demonstration using a network of heterogeneous robots and sensors, in the pediatric area of an oncological hospital. It will handle uncertainties introduced by people and robots, generate natural interactions, and engage in edutainment activities. The framework developed in MOnarCH will map concepts in social sciences into social skills, group behaviors, and human-robot interaction, using learning methodologies and decision-theoretic principles. The expected outcomes of MOnarCH are (i) an operational system able to interact with people in a natural way, (ii) novel results on key properties of networked robot systems, and (iii) guidelines to translate the system to applications in hospital environments, and further scenarios sharing similarities with them, e.g., kindergarten, and personal assistance to elderly at home. The MOnarCH consortium is formed by nine top-level European institutions and companies: the Instituto Superior Técnico (Portugal), Örebro University (Sweden), Universidad Carlos III (Spain), Instituto Português de Oncologia de Lisboa (Portugal), YDreams Robotics (Portugal), SelfTech (Portugal), IDMind (Portugal), École Polytechnique Fédérale de Lausanne (Switzerland), and University of Amsterdam (The Netherlands). ---------------------------------------------------------------------- About the Working Place ---------------------------------------------------------------------- Örebro University (www.oru.se) is a young university which currently enrolls more than 18,000 students. It is located in Örebro, a city of 130,000 inhabitants situated in central Sweden. The Center for Applied Autonomous Sensor Systems (AASS) is one of the Strong Research Environments at Örebro University. It carries out multi-disciplinary research at the intersection of robotics, computer science, machine learning and artificial intelligence. The research and human environment at AASS is young and enthusiastic. AASS hosts about 45 researchers, who come from a dozen different countries, in Europe and worldwide, and have different scientific and cultural backgrounds. AASS also frequently hosts international researchers and is involved in several international projects. AASS is internationally renowned for its research in cognitive robotic systems, and the MOnarCH project in particular is carried out within the Cognitive Robotic Systems lab of AASS. Further information about AASS and the Cognitive Robotic Systems lab can be found at http://aass.oru.se and http://aass.oru.se/CRS. ---------------------------------------------------------------------- Prerequisites and Application Process ---------------------------------------------------------------------- In addition to a clear interest in the above research topic, the successful applicant must have a strong theoretical background in computer science, and solid programming skills. A Master's in computer science or computer engineering is required. We particularly seek candidates with experience in artificial intelligence, planning and constraint reasoning, and with an inclination towards cross-disciplinary research. Previous experience with robotic systems is a plus. Knowledge of the Swedish language is not required, but proficiency in written and spoken English is mandatory. To apply for a position, please send a motivation letter along with an updated CV (including at least two academic references) by email to Prof. Alessandro Saffiotti . Applications can be sent immediately and until January 15, 2013. We look forward to receiving your application! ====================================================================== _/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/ Prof Alessandro Saffiotti www.aass.oru.se/~asaffio Head, AASS Cognitive Robotic Systems Lab asaffio at aass.oru.se School of Science and Technology Tel: +46 19 303794 Orebro University, Orebro, Sweden Fax: +46 19 303463 _/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/ From serge.autexier at dfki.de Fri Dec 21 10:10:44 2012 From: serge.autexier at dfki.de (Serge Autexier) Date: Fri, 21 Dec 2012 10:10:44 +0100 (CET) Subject: CfP: Conf. Intelligent Computer Mathematics (Bath, UK, 7-12 Jul 2013); Deadline 8 Mar Message-ID: <20121221091044.EDE94FE2726@mbp-autexier.informatik.uni-bremen.de> CICM 2013 - Conference on Intelligent Computer Mathematics July 7-12, 2013 at University of Bath, Bath, UK http://www.cicm-conference.org/2013/cicm.php Call for Papers ---------------------------------------------------------------- As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction, mathematical publishing and novel user interfaces individually have long and successful histories, we are now seeing increasing opportunities for synergy among these areas. The Conference on Intelligent Computer Mathematics offers a venue for discussing these areas and their synergy. The conference will take place at the University of Bath (www.bath.ac.uk), with James Davenport as the local organiser. It consists of four tracks: Calculemus Chair: Wolfgang Windsteiger Digital Mathematical Libraries (DML) Chair: Petr Sojka Mathematical Knowledge Management (MKM) Chair: David Aspinall Systems and Projects Chair: Christoph Lange As in previous years, there are plans to organise a workshop for presentations by Doctoral students. The overall programme will be organised by the General Program Chair Jacques Carette. ---------------------------------------------------------------- Important dates ---------------------------------------------------------------- Abstract submission: 1 March 2013 Submission deadline: 8 March 2013 Reviews sent to authors: 5 April 2013 Rebuttals due: 8 April 2013 Notification of acceptance: 14 April 2013 Camera ready copies due: 26 April 2013 Conference: 7-12 July 2013 ---------------------------------------------------------------- Tracks ---------------------------------------------------------------- ========== Calculemus ========== Calculemus 2013 invites the submission of original research contributions to be considered for publication and presentation at the conference. Calculemus is a series of conferences dedicated to the integration of computer algebra systems (CAS) and systems for mechanised reasoning like interactive proof assistants (PA) or automated theorem provers (ATP). Currently, symbolic computation is divided into several (more or less) independent branches: traditional ones (e.g., computer algebra and mechanised reasoning) as well as newly emerging ones (on user interfaces, knowledge management, theory exploration, etc.) The main concern of the Calculemus community is to bring these developments together in order to facilitate the theory, design, and implementation of integrated mathematical assistant systems that will be used routinely by mathematicians, computer scientists and all others who need computer-supported mathematics in their every day business. All topics in the intersection of computer algebra systems and automated reasoning systems are of interest for Calculemus. These include but are not limited to: * Automated theorem proving in computer algebra systems. * Computer algebra in theorem proving systems. * Adding reasoning capabilities to computer algebra systems. * Adding computational capabilities to theorem proving systems. * Theory, design and implementation of interdisciplinary systems for computer mathematics. * Case studies and applications that involve a mix of computation and reasoning. * Case studies in formalization of mathematical theories. * Representation of mathematics in computer algebra systems. * Theory exploration techniques. * Combining methods of symbolic computation and formal deduction. * Input languages, programming languages, types and constraint languages, and modeling languages for mathematical assistant systems. * Homotopy type theory. * Infrastructure for mathematical services. === DML === Mathematicians dream of a digital archive containing all peer-reviewed mathematical literature ever published, properly linked, validated and verified. It is estimated that the entire corpus of mathematical knowledge published over the centuries does not exceed 100,000,000 pages, an amount easily manageable by current information technologies. Track objective is to provide a forum for development of math-aware technologies, standards, algorithms and formats towards fulfillment of the dream of global digital mathematical library (DML). Computer scientists (D) and librarians of digital age (L) are especially welcome to join mathematicians (M) and discuss many aspects of DML preparation. Track topics are all topics of mathematical knowledge management and digital libraries applicable in the context of DML building -- processing of math knowledge expressed in scientific papers in natural languages, namely: * Math-aware text mining (math mining) and MSC classification * Math-aware representations of mathematical knowledge * Math-aware computational linguistics and corpora * Math-aware tools for [meta]data and fulltext processing * Math-aware OCR and document analysis * Math-aware information retrieval * Math-aware indexing and search * Authoring languages and tools * MathML, OpenMath, TeX and other mathematical content standards * Web interfaces for DML content * Mathematics on the web, math crawling and indexing * Math-aware document processing workflows * Archives of written mathematics * DML management, bussiness models * DML rights handling, funding, sustainability * DML content acquisition, validation and curation === MKM === Mathematical Knowledge Management is an interdisciplinary field of research in the intersection of mathematics, computer science, library science, and scientific publishing. The objective of MKM is to develop new and better ways of managing sophisticated mathematical knowledge, based on innovative technology of computer science, the Internet, and intelligent knowledge processing. MKM is expected to serve mathematicians, scientists, and engineers who produce and use mathematical knowledge; educators and students who teach and learn mathematics; publishers who offer mathematical textbooks and disseminate new mathematical results; and librarians and mathematicians who catalog and organize mathematical knowledge. The conference is concerned with all aspects of mathematical knowledge management. A non-exclusive list of important topics includes: * Representations of mathematical knowledge * Authoring languages and tools * Repositories of formalized mathematics * Deduction systems * Mathematical digital libraries * Diagrammatic representations * Mathematical OCR * Mathematical search and retrieval * Math assistants, tutoring and assessment systems * MathML, OpenMath, and other mathematical content standards * Web presentation of mathematics * Data mining, discovery, theory exploration * Computer algebra systems * Collaboration tools for mathematics * Challenges and solutions for mathematical workflows ==================== Systems and Projects ==================== The Systems and Projects track of the Conferences on Intelligent Computer Mathematics is a forum for presenting available systems and new and ongoing projects in all areas and topics related to the CICM conferences: * Deduction and Computer Algebra (Calculemus) * Digital Mathematical Libraries (DML) * Mathematical Knowledge Management (MKM) * Artificial Intelligence and Symbolic Computation (AISC) The track aims to provide an overview of the latest developments and trends within the CICM community as well as to exchange ideas between developers and introduce systems to an audience of potential users. ---------------------------------------------------------------- Submission Instructions ---------------------------------------------------------------- Submissions to the research tracks must not exceed 15 pages and will be reviewed and evaluated with respect to relevance, clarity, quality, originality, and impact. Shorter papers, e.g., for system descriptions, are welcome. Authors will have an opportunity to respond to their papers' reviews before the programme committee makes a decision. System descriptions and projects descriptions should be 2-4 pages and should present * newly developed systems, * systems that have not previously been presented to the CICM community, or * significant updates to existing systems. Systems must be available for download. Project presentations should describe * projects that are new or about to start, * ongoing projects that have not yet been presented to the CICM community. * significant new developments in ongoing previously presented projects. Presentations of new projects should mention relevant previous work and include a roadmap that outlines concrete steps. All submissions should contain links to demos, downloadable systems, or project websites. Accepted conference submissions from all tracks is intended to be published as a volume in the series Lecture Notes in Artificial Intelligence (LNAI) by Springer. In addition to these formal proceedings, authors are permitted and encouraged to publish the final versions of their papers on arXiv.org. Work-in-progress submissions are intended to provide a forum for the presentation of original work that is not (yet) in a suitable form for submission as a full or system description paper. This includes work in progress and emerging trends. Their size is not limited, but we recommend 5-10 pages. The programme committee may offer authors of rejected formal submissions to publish their contributions as work-in-progress papers instead. Depending on the number of work-in-progress papers accepted, they will be presented at the conference either as short talks or as posters. The work-in-progress proceedings will be published as a technical report, as well as online with CEUR-WS.org. All papers should be prepared in LaTeX and formatted according to the requirements of Springer's LNCS series (the corresponding style files can be downloaded from http://www.springer.de/comp/lncs/authors.html). By submitting a paper the authors agree that if it is accepted at least one of the authors will attend the conference to present it. Electronic submission is done through easychair http://www.easychair.org/conferences/?conf=cicm2013 ---------------------------------------------------------------- Programme Committee ---------------------------------------------------------------- Jacques Carette, McMaster University, Canada Wolfgang Windsteiger, RISC Institute, JKU Linz, Austria Petr Sojka, Masaryk University, Faculty of Informatics, Czech Republic David Aspinall, University of Edinburgh, UK Christoph Lange, University of Birmingham, UK Till Mossakowski, DFKI Bremen, Germany Jónathan Heras, University of Dundee, UK Josef Urban, Radboud University, Netherlands Deyan Ginev, Jacobs University Bremen, Germany Rob Arthan, Queen Mary University of London, UK Makarius Wenzel, Université Paris-Sud 11, France Hendrik Tews, TU Dresden, Germany Simon Colton, Department of Computing, Imperial College, London, UK Paul Libbrecht, Martin Luther University Halle-Wittenberg, Germany Cezary Kaliszyk, University of Innsbruck, Austria Andrea Kohlhase, Jacobs University Bremen, Germany Yannis Haralambous, Télécom Bretagne, France Florian Rabe, Jacobs University Bremen, Germany Akiko Aizawa, NII, The University of Tokyo, Japan Carsten Schuermann, IT University of Copenhagen, Denmark Magnus O. Myreen, University of Cambridge, UK Janka Chlebíková, School of Computing, University of Portsmouth, UK Richard Zanibbi, Rochester Institute of Technology, US Michael Kohlhase, Jacobs University Bremen, Germany Adam Kilgarriff, Lexical Computing Ltd, UK Leo Freitas, Newcastle University, UK Frank Tompa, University of Waterloo, Canada Gudmund Grov, Heriot-Watt University, Edinburgh, UK Jeremy Avigad, Carnegie Mellon University, US Stephen Watt, University of Western Ontario, Canada Temur Kutsia, RISC Institute, JKU Linz, Austria Manfred Kerber, University of Birmingham, UK Hoon Hong, North Carolina State University, US Christoph Lüth, DFKI Bremen, Germany Thierry Bouche, Université Joseph Fourier (Grenoble), France Andrea Asperti, University of Bologna, Italy Jesse Alama, CENTRIA, FCT, Universidade Nova de Lisboa, Portugal Jiří Rákosník, Institute of Mathematics, Academy of Sciences, Czech Republic (more names will be added as confirmations arrive) From mpavone at dmi.unict.it Fri Dec 21 18:45:47 2012 From: mpavone at dmi.unict.it (Mario Pavone) Date: Fri, 21 Dec 2012 18:45:47 +0100 Subject: Call for Workshop and Tutorial Proposals - ECAL 2013, September 2-6, Taormina, Italy. Message-ID: <20121221184547.Horde.zGVWSeph4B9Q1KBLgpJmlqA@mbox.dmi.unict.it> CALL FOR WORKSHOP AND TUTORIAL PROPOSALS ECAL 2013 - 12th EUROPEAN CONFERENCE ON ARTIFICIAL LIFE http://www.dmi.unict.it/ecal2013/ The ECAL 2013 Organising Committee invites proposals for Tutorials and Workshops to be held in conjunction with ECAL 2013 in Taormina, Italy, September 2-6, 2013. The internal organization of the satellite workshops and tutorials (website, paper submission, invited talks, proceedings, all deadlines except registration) is entirely left up to their respective organizers. ECAL provides the onsite logistics (seminar rooms, projectors, coffee breaks, and lunches) and links from the main conference website. All other organizational issues - including separate review process and proceedings publication, if any - are taken care of by the workshop chairs. Therefore, any workshop-specific requests from participants should be exclusively addressed to them, not to the ECAL committee. * IMPORTANT DATES Submission Workshop/Tutorial proposal: January 31, 2013 Notification of Acceptance Workshop/Tutorial: February 15, 2013 Workshops Information and/or submission proposal: workshops.ecal2013 at dmi.unict.it Tutorials Information and/or submission proposal: tutorials.ecal2013 at dmi.unict.it * WORKSHOP PROPOSALS The ECAL 2013 workshops are intended to be forums to present and discuss new approaches, visions, or critical reflections within a research area. They provide an excellent opportunity to meet people with similar interests, to be exposed to cutting-edge research and to exchange ideas in an informal setting. The organizers of an accepted workshop are responsible for its coordination and its publicity (e.g., for sending out call for papers/abstracts), for collecting and reviewing the papers/abstracts, and for maintaining a webpage providing a list of accepted talks. The workshops can be half day or a full day long. The format can be decided by the organizers who are encouraged to plan interactive sessions. * TUTORIAL PROPOSALS ECAL 2013 tutorials will be presented by domain experts to cover current topics relevant to artificial life researchers and practitioners. Each tutorial will be 3 hours long, then we encourage to include into the tutorial also demos and interactive activities. Accepted tutorial's slide sets will be published on ECAL 2013 website. * SUBMISSION PROCESS Each tutorial/workshop proposal should include: 1) title of the workshop/tutorial 2) name(s) and affiliation(s) of the organizer(s)/inspector(s), with relative contact details 3) a short CV of the organizer(s)/instructor(s) 4) a brief description (half-page) of the workshop/tutorial topics Only for workshops: 5) potential target participants and audience 6) roughly approximated number of participants 7) rough estimate of the number of talks All workshop proposals must be sent to: workshops.ecal2013 at dmi.unict.it All tutorial proposals must be sent to: tutorials.ecal2013 at dmi.unict.it Looking forward to your submissions. Best wishes, Pietro Lio', Orazio Miglino, Giuseppe Nicosia, Stefano Nolfi, and Mario Pavone. -- Dr. Mario Pavone (PhD) Assistant Professor Department of Mathematics and Computer Science University of Catania V.le A. Doria 6 - 95125 Catania, Italy tel: 0039 095 7383038 fax: 0039 095 330094 Email: mpavone at dmi.unict.it http://www.dmi.unict.it/mpavone/ ------------------------------------------------ From ruy at cin.ufpe.br Fri Dec 21 20:01:21 2012 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Fri, 21 Dec 2012 16:01:21 -0300 Subject: WoLLIC 2013 (Darmstadt) - 2nd Call for Papers In-Reply-To: References: Message-ID: (Please circulate. Apologies for cross-postings.) *WoLLIC 2013 * *20**th** Workshop on Logic, Language, Information and Computation * *August 20**th** to 23**rd**, 2013* *Technische Universität Darmstadt Darmstadt, Germany* *Scientific Sponsorship* *Interest Group in Pure and Applied Logics (**IGPL* *)* *The Association for Logic, Language and Information (**FoLLI* *)* *Association for Symbolic Logic (**ASL* *)* *European Association for Theoretical Computer Science (**EATCS* *)* *European Association for Computer Science Logic (**EACSL* *)* *Sociedade Brasileira de Computação (**SBC* *)* *Sociedade Brasileira de Lógica (**SBL* *)* *Organisation* *Fachbereich Mathematik* *, **Technische Universität Darmstadt* *, Germany **Centro de Informática* *, **Universidade Federal de Pernambuco* *, Brazil * *Call for Papers* WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twentieth WoLLIC will be held at the Technische Universität Darmstadt, Germany, from August 20th to 23rd, 2013. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), theEuropean Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). *Paper submission* Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2012 EasyChair website. (Please go to http://wollic.org/wollic2013/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by March 25th, and the full paper by March 29th (firm date). Notifications are expected by May 3rd, and final papers for the proceedings will be due by May 15th (firm date). *Proceedings* The proceedings of WoLLIC 2013, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the *Logic Journal of the IGPL*, and selected contributions will be published as a special post-conference WoLLIC 2013 issue of a scientific journal (to be confirmed). *Invited Speakers* - *Natasha Alechina* (University of Nottingham) - *Steve Awodey* (Carnegie Mellon University) - *Mikolaj Bojanczyk* (Warsaw University) - *Wim Martens* (Universität Bayreuth) - *Catuscia Palamidessi* (INRIA Saclay and LIX) - *Thomas Schwentick* (TU Dortmund) *Student Grants* ASL sponsorship of WoLLIC 2013 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2013). See http://www.aslonline.org/studenttravelawards.html for details. *Important Dates* - *March 25th, 2013*: Paper title and abstract deadline* * - *March 29th, 2013*: Full paper deadline - May 3rd, 2013: Author notification - May 15th, 2013: Final version deadline (firm) *Programme Committee* - Albert Atserias (UPC Barcelona) - Alexandru Baltag (Univ Amsterdam) - Stephanie Delaune (ENS, CNRS) - Amy Felty (Univ Ottawa) - Santiago Figueira (Univ Buenos Aires) - Amelie Gheerbrant (Univ Edinburgh) - Radha Jagadeesan (DePaul Univ) - Delia Kesner (Univ Paris-Diderot) - Benoit Larose (Concordia Univ) - Leonid Libkin (Univ Edinburgh - CHAIR) - Fenrong Liu (Tsinghua Univ) - Jerzy Marcinkowski (Wroclaw Univ) - Peter O'Hearn (UCL) - Joël Ouaknine (Oxford Univ) - Gerald Penn (Univ Toronto) - Gabriele Puppis (CNRS/LaBRI - Univ Bordeaux) - R. Ramanujam (The Institute of Mathematical Sciences) - Peter Selinger (Dalhousie Univ) - Szymon Torunczyk (Warsaw Univ) - Anna Zamansky (TU Wien) *Steering Committee* - Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Luke Ong, Hiroakira Ono, Ruy de Queiroz. *Organising Committee* - Ulrich Kohlenbach (Tech U Darmstadt) (Local chair) - Anjolina G. de Oliveira (U Fed Pernambuco) - Martin Otto (Tech U Darmstadt) - Ruy de Queiroz (U Fed Pernambuco) (co-chair) - Thomas Streicher (Tech U Darmstadt) - Martin Ziegler (Tech U Darmstadt) *Further information* Contact one of the Co-Chairs of the Organising Committee. *Web page* http://wollic.org/wollic2013/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From lembo at dis.uniroma1.it Sat Dec 22 15:18:33 2012 From: lembo at dis.uniroma1.it (Domenico Lembo) Date: Sat, 22 Dec 2012 15:18:33 +0100 Subject: Call for Applications/Participation: The 9th Reasoning Web Summer School (RW 2013) Message-ID: CALL FOR APPLICATIONS/PARTICIPATION REASONING WEB 2013 The 9th Reasoning Web Summer School (RW 2013) Mannheim, Germany, July 30 - August 2, 2013 http://reasoningweb.org/2013/ co-located with the - 7th Internationall Conference on Web Reasoning and Rule Systems (RR 2013), Mannheim, Germany, July 27-29, 2013 http://www.rr-conference.org/RR2013 - 26th International Workshop on Description Logics (DL 2013) Ulm, Germany, July 23-26, 2013 http://www.uni-ulm.de/en/in/dl2013.html - 2nd OWL Reasoner Evaluation Workshop (ORE 2013) Ulm, Germany, July 22nd, 2013 http://ore2013.cs.manchester.ac.uk/ The Reasoning Web Summer School 2013 is primarily intended for postgraduate (PhD or MSc) students, postdocs, and other young researchers investigating aspects related to Reasoning on the Semantic Web and related issues. The Summer School will also be open to senior researchers wishing to learn about Semantic Web issues related to their own fields of research. For further details please visit http://rw2013.uni-mannheim.de As in the previous years, we managed again to attract a distinguished group of expert lecturers, the majority of which will - apart from their lectures - also be present for the duration of the school to interact with students. Interaction with senior researchers and establishing contacts within young researchers is a main focus of the school, which will be supported through social activities and an interactive, amicable atmosphere. The summer school will be co-located with related events. This will be a great opportunity to attend major events in the area ahead of the school. As a further highlight, we want to point out the opportunity of PhD students to present their research at the RR 2013 Doctoral Consortium. Joint applications for the Reasoning Web Summer School 2013 and the RR 2013 Doctoral Consortium are explicitly encouraged. More details will be announced soon on the RR 2013 website. == IMPORTANT DATES == Application deadline: March 25, 2013 Notifications: April 1, 2013 Summer School Registration: May 15, 2013 == CONFIRMED LECTURES == * Anni-Yasmin Turhan (Technische Universität Dresden) Description Logic Ontologies * Ulrike Sattler (University of Manchester) Complexity and DL Reasoning * Chris Bizer (University of Mannheim) Linked Data on the Web * Krzysztof Janowicz (University of California, Santa Barbara) Geospatial Data on the Web * Axel Polleres (Siemens AG Corporate Technology) Aidan Hogan (DERI Galway) Reasoning with Linked Data * Wolfgang Faber (University of Calabria) Answer Set Programming * Diego Calvanese (Free University of Bozen-Bolzano) Ontology-based Data Access * Mathias Niepert (University of Washington, Seattle) Large-scale Reasoning for Information Extraction and Integration == APPLICATIONS == The number of attendees will be limited, applications for participation have to be submitted via Easychair using the "student application" category: https://www.easychair.org/conferences/?conf=rw2013 The program of the school will include a poster session, where students can present and discuss their ongoing research with lecturers and colleagues. Applicants who wish to participate in the poster session shall tick the "participation in poster session" group and include a poster title and abstract with their application submission. Applications must be submitted in PDF format not exceeding 2 pages (min. font size 11pt) and contain the following information: - Name, contact details - Affiliation - Motivation for participation - Summary of profile - Willing to present a poster? (if yes, add a poster title and abstract) - Supervisor (if applicable) - Publications (if applicable) == GRANTS == The organizing committee is considering to offer scholarships to summer school participants to partially cover registration and/or accommodation fees, depending on available sponsorships. There are further grants for students participating in the RR 2013 Doctoral Consortium who would like to extend their stay to also attend the summer school. == REGISTRATION == If your application has been accepted, you will be notified by email. Registration will be possible until May 15, 2013. The Summer School registration fee covers teaching, coffee breaks, social event, and a volume of the lecture notes. == LECTURE NOTES == The course material used during the summer school will be published with Springer's Lecture Notes in Computer Science (LNCS) series. A copy of the proceedings will be included in the registration fees. == ORGANIZATION == * Program Chair Sebastian Rudolph (Karlsruhe Institute of Technology) * Scientific Advisory Board Georg Gottlob (University of Oxford) Ian Horrocks (University of Oxford) Frank van Harmelen (Vrije Universiteit Amsterdam) * Local Chair Heiner Stuckenschmidt (University of Mannheim) * Sponsorship Chair Marco Maratea (University of Genoa) == CONTACT == For further information including sponsorship opportunities, please contact the local organizer Heiner Stuckenschmidt or the sponsor chair Marco Maratea . -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From lembo at dis.uniroma1.it Sat Dec 22 15:43:33 2012 From: lembo at dis.uniroma1.it (Domenico Lembo) Date: Sat, 22 Dec 2012 15:43:33 +0100 Subject: Call for Papers: The 7th International Conference on Web Reasoning and Rule Systems (RR 2013) Message-ID: CALL FOR PAPERS RR 2013 The 7th International Conference on Web Reasoning and Rule Systems Mannheim, Germany, July 27-29, 2013 http://www.rr-conference.org/RR2013 == RR == The International Conference on Web Reasoning and Rule Systems (RR) is a major forum for discussion and dissemination of new results concerning Web Reasoning and Rule Systems. RR 2013 is associated with a number of interesting events: - 9th Reasoning Web Summer School Mannheim, Germany, July 30 - August 2, 2013 http://rw2013.uni-mannheim.de/ - 26th International Workshop on Description Logics (DL 2013) Ulm, Germany, July 23-26, 2013 http://www.uni-ulm.de/en/in/dl2013.html - 2nd OWL Reasoner Evaluation Workshop (ORE 2013) Ulm, Germany, July 22, 2013 http://ore2013.cs.manchester.ac.uk/ The Reasoning Web Summer School is a great opportunity particularly for young researchers to combine with attendance of the conference. Submissions by summer school participants are particularly encouraged. == Topics == RR welcomes original research from all areas of Web Reasoning. Topics of particular interest are: - Semantic Web, Rule and Ontology Languages, and related logics - Reasoning, Querying, Searching and Optimization - Incompleteness, Inconsistency and Uncertainty - Non-monotonic, Commonsense, and Closed-World Reasoning for the Web - Dynamic information, Stream Reasoning and Complex Event Processing - Decision Making, Planning, and Intelligent Agents - Reasoning, Machine Learning, Knowledge Extraction and IR Technologies - Large-scale data management and reasoning on the Web of Data - Data Integration, Dataspaces and Ontology-Based Data Access - Non-Standard Reasoning - Algorithms for distributed, parallelized, and scalable reasoning - System Descriptions and Experimentation - Application and Experience Papers == Doctoral Consortium == Following the success of its first edition at RR 2012, RR 2013 will also host a doctoral consortium, which will provide doctoral students in Web Reasoning and related areas with the unique opportunity to present and discuss their research directions, being involved into state-of-the-art research discussion and being supported in establishing fruitful collaborations with prominent researchers and pioneers in the field of Web Reasoning and Rules and related areas. == Submissions == The conference proceedings will be published by Springer within the Lecture Notes in Computer Science (LNCS) series. Submissions must be prepared in Springer's LaTeX style llncs (http://www.springer.com/comp/lncs/Authors.html). There are two submission formats: - Full papers (up to 15 pages) Original research works in the above areas - Technical Communications (up to 6 pages) Results and ideas of interest to the RR audience, including reports about recent own publications, position papers, system descriptions and application descriptions (accompanying a demo), and presentations of preliminary results All accepted works will be included in the proceedings, with Technical Communications clearly marked as such. All full papers and selected Technical Communications will be invited to give a talk at the conference. All accepted works will have the opportunity to present a poster and/or a system demo. Submissions can be made in EasyChair: http://www.easychair.org/conferences/?conf=rr-2013 Submission instructions for the RR2013 Doctoral Consortium will be communicated by means of a separate Call for Papers. == Important Dates == Abstract submission: March 25, 2013, before 23:59 UTC Full papers submission: March 30, 2013, before 23:59 UTC Notification of acceptance: May 7, 2013 Camera-ready submission: May 21, 2013 == Invited Speakers == Thomas Eiter (Vienna University of Technology, Austria) Nicola Leone (University of Calabria, Italy) Leonid Libkin (University of Edinburgh, UK) == Organization == General chair: - Sebastian Rudolph (Karlsruhe Institute of Technology, Germany) Program chairs: - Wolfgang Faber (University of Calabria, Italy) - Domenico Lembo (Sapienza University of Rome, Italy) Local Chair: - Heiner Stuckenschmidt (University of Mannheim, Germany) Doctoral Consortium Chair: - Alessandra Mileo (National University of Ireland Galway, Ireland) Sponsorship Chair: - Marco Maratea (University of Genoa, Italy) == Program Committee == José Júlio Alferes (New University of Lisbon, Portugal) Darko Anicic (Karlsruhe Institute of Technology, Germany) Marcello Balduccini (Kodak Research Laboratories, USA) Leopoldo Bertossi (Carleton University, Canada) Meghyn Bienvenu (CNRS & University of Paris-Sud, France) Gerhard Brewka (Leipzig University, Germany) Francois Bry (University of Munich, Germany) Vinay Chaudhri (SRI International, USA) Bernardo Cuenca Grau (University of Oxford, UK) Claudia D'Amato (University of Bari, Italy) Agostino Dovier (University of Udine, Italy) Esra Erdem (Sabanci University, Turkey) Michael Fink (Vienna University of Technology, Austria) Sergio Flesca (University of Calabria, Italy) Gerhard Friedrich (University of Klagenfurt, Austria) Gianluigi Greco (University of Calabria, Italy) Stijn Heymans (SRI International, USA) Giovambattista Ianni (University of Calabria, Italy) Michael Kifer (Stony Brook University, USA) Roman Kontchakov (Birkbeck College, UK) Manolis Koubarakis (National and Kapodistrian University of Athens, Greece) Markus Krötzsch (University of Oxford, UK) Georg Lausen (University of Freiburg, Germany) Joohyung Lee (Arizona State University, USA) Francesca Alessandra Lisi (University of Bari, Italy) Jorge Lobo (IBM T.J. Watson Research Center, USA) Thomas Lukasiewicz (University of Oxford, UK) Carsten Lutz (University of Bremen, Germany) Michael Maher (University of New South Wales, Australia) Alessandra Mileo (National University of Ireland Galway, Ireland) Leora Morgenstern (Science Applications International Corporation, USA) Boris Motik (University of Oxford, UK) Marie-Laure Mugnier (University of Montpellier 2, France) Giorgio Orsi (University of Oxford, UK) Magdalena Ortiz (Vienna University of Technology, Austria) Adrian Paschke (Free University of Berlin, Germany) David Pearce (Technical University of Madrid, Spain) Axel Polleres (National University of Ireland Galway, Ireland) Guilin Qi (Southeast University, China) Steven Schockaert (Cardiff University, UK) Steffen Staab (University of Koblenz-Landau, Germany) Umberto Straccia (ISTI-CNR, Italy) Heiner Stuckenschmidt (University of Mannheim, Germany) David Toman (University of Waterloo, Canada) Mirek Truszczynski (University of Kentucky, USA) Ivan Varzinczak (CSIR Meraka Institute, South Africa) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cambria at nus.edu.sg Mon Dec 24 15:53:19 2012 From: cambria at nus.edu.sg (Erik Cambria) Date: Mon, 24 Dec 2012 22:53:19 +0800 Subject: OPENING: Research Assistant @ NUS/NTU Message-ID: <563B6979-98DB-469A-A7E9-96A390DA0551@nus.edu.sg> Apologies for cross-posting. We are looking to hire a motivated individual for the position of Research Assistant at the National University of Singapore and Nanyang Technological University, under the joint supervision of Erik Cambria and Guangbin Huang. The duration of the position is 12 months, but may be extended an additional 6 months or more. The candidate is expected to start in the first quarter of 2013. The successful candidate will be involved in a project for the application of extreme learning machines (ELM) to sentic computing in order to develop a two-level affective common sense reasoning framework, which will be exploited for tasks such as opinion mining and sentiment analysis. Applicants should have a PhD (or a good honors degree) in Computer Science or similar, as well as relevant experience in conducting research in the field. The ideal candidate should have basic understanding in neural networks, knowledge representation, and natural language processing, and should be able to work independently on such tasks as literature review, programming, and data management. Remuneration will be commensurate with qualifications and experience. Interested applicants should send their CV to cambria at nus.edu.sg. For more information about the project, please visit http://sentic.net/sentics. For up-to-date information about this opening, keep an eye on http://sentic.net/elm. Best Regards and Merry Christmas, Erik Cambria and Guangbin Huang _______________________________ Erik Cambria, PhD 康文涵 Research Scientist Temasek Laboratories Cognitive Science Programme National University of Singapore 28 Medical Drive, 117456, Singapore Web: http://sentic.net Email: cambria at nus.edu.sg Twitter: http://twitter.com/senticnet Facebook: http://facebook.com/senticnet From peterschueller at sabanciuniv.edu Wed Dec 26 20:11:14 2012 From: peterschueller at sabanciuniv.edu (Peter Schueller) Date: Wed, 26 Dec 2012 20:11:14 +0100 Subject: CFP ICLP 2013: 29th International Conference on Logic Programming, Istanbul, Turkey, August 24-28, 2013 Message-ID: (Apologies for cross-posting.) CALL FOR PAPERS 29th International Conference on Logic Programming (ICLP 2013) Special Issue: Theory and Practice of Logic Programming Istanbul, Turkey, August 24-28, 2013 http://www.iclp2013.org CONFERENCE SCOPE Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions are sought in all areas of logic programming including but not restricted to: Theory: Semantic Foundations, Formalisms, Non- monotonic Reasoning, Knowledge Representation. Implementation: Compilation, Virtual Machines, Parallelism. Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Pro- filing, Testing. Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. Related Paradigms: Inductive Logic Programming, Constraint Logic Programming, Answer- Set Programming, SAT-Checking Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinfor- matics. In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops. SUBMISSION DETAILS The four broad categories for submissions are as follows. Regular papers, including: (1) tech- nical papers for describing technically sound, innovative ideas that can advance the state of logic programming; (2) application papers, where the emphasis will be on their impact on the application domain; (3) system and tool papers, where the emphasis will be on the novelty, practicality, usability and availability of the systems and tools described. Technical commu- nications (4) aimed at describing recent developments, new projects, and other materials that are not ready for publication as standard papers. All papers and technical communications will be presented during the conference. All submissions must describe original, previously unpublished research, and must not si- multaneously be submitted for publication elsewhere. They must be written in English. Tech- nical papers, application papers, and system and tool papers must not exceed 12 pages plus bibliography: however a new condensed TPLP format may be used and the papers may include appendices beyond 12 pages. The limit for technical communications is 10 pages. Submissions must be made in the condensed TPLP format (http://www.iclp2013.org) via the Easychair submission system, available at http://www.easychair.org/conferences/?conf=iclp2013 IMPORTANT DATES Paper registration (abstract): April 3, 2013 Submission deadline: April 10, 2013 Notification to authors: May 21, 2013 Revision deadline (when needed): June 21, 2013 Camera-ready copy due: July 18, 2013 Conference: August 24-28, 2013 PAPER PUBLICATION All accepted papers will be published in the journal Theory and Practice of Logic Programming (TPLP), Cambridge University Press (CUP), in one or more special issues. In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period). Accepted technical communications will be published in the on- line abstract of the special issue(s). The program committee may also recommend standard papers to be published as technical communications. At the time of the conference CUP will make the web page for this(ese) TPLP issue(s) available including volume and issue numbers, table of contents, page numbers, and the papers themselves. All registered attendants at the conference will get a password for on-line access to this web page during the conference and indefinitely from then on ("lifetime access"), which can be used to read papers on line, download them, or print them for personal use. Attendants will also receive all the papers in a memory stick at the conference. ICLP 2013 ORGANIZATION General Co-Chairs: Esra Erdem Sabanci University Joohyung Lee Arizona State University Program Co-chairs: Terrance Swift New University of Lisboa Evelina Lamma University of Ferrara Workshops Chair: Hans Tompits Vienna University of Technology Publicity Chair: Peter Schueller Sabanci University Doctoral Consortium: Marco Gavanelli University of Ferrara Martin Gebser University of Potsdam Prolog Programming Contest: Bart Demoen K.U. Leuven PROGRAM COMMITTEE Elvira Albert Complutense University of Madrid Roberto Bagnara University of Parma Gerhard Brewka Leipzig University Mats Carlsson Swedish Institute of Computer Science Manuel Carro Technical University of Madrid Michael Codish Ben-Gurion University Hasan Davulcu Arizona State University James Delgrande Simon Fraser University Bart Demoen K.U. Leuven Marc Denecker K.U. Leuven Agostino Dovier University of Perugia Gregory Duck NICTA Thomas Eiter Vienna University of Technology Esra Erdem Sabanci University Wolfgang Faber University of Calabria Francois Fages INRIA Rocquencourt Paul Fodor Stony Brook University Thom Fruehwirt University of Ulm John Gallagher Roskilde University Martin Gebser University of Potsdam Michael Gelfond Texas Tech University Carmen Gervet German University in Cairo Laura Giordano University of Piemonte Orientale Gopal Gupta University of Texas at Dallas Manuel Hermenegildo Technical University of Madrid Joohyung Lee Arizona State University Joao Leite New University of Lisboa Victor Marek University of Kentucky Steven Muggleton Imperial College London Antonio Porto University of Porto C. R. Ramakrishnan University at Stony Brook Fabrizio Riguzzi University of Ferrara Ricardo Rocha University of Porto Gianfranco Rossi University of Parma Chiaki Sakama Wakayama University Tom Schrijvers Ghent University Hans Tompits Vienna University of Technology Francesca Toni Imperial College London Paolo Torroni University of Bologna German Vidal Polytechnic University of Valencia David Warren University at Stony Brook Jan Wielemaker University of Amsterdam Roland Yap National University of Singapore Jia-Huai You University of Alberta SPONSOR The conference is sponsored by the Association for Logic Programming (ALP). FINANCIAL ASSISTANCE The Association for Logic Programming has funds to assist financially disadvantaged participants and, specially, students in order to be able to attend the conference. WORKSHOPS The ICLP 2013 program will include several workshops, held before and after the main confer- ence. They are perhaps the best places for the presentation of preliminary work, undeveloped novel ideas, and new open problems to a wide and interested audience with opportunities for intensive discussions and project collaboration. DOCTORAL CONSORTIUM The 8th Doctoral Consortium (DC) on Logic Programming provides research students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and world-renown experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper and presentation from the DC will be given the opportunity to present in a special session of the main ICLP conference. CONFERENCE VENUE Istanbul is a city of unparalleled social and cultural richness. 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 bmuller at glam.ac.uk Mon Dec 31 10:35:08 2012 From: bmuller at glam.ac.uk (Muller B (AT)) Date: Mon, 31 Dec 2012 09:35:08 +0000 Subject: LAM'13 - Call for Abstracts/Papers - Logics, Agents, and Mobility Message-ID: <76746BFC-3A09-48DB-8BE9-2A0FEF1B9A53@glam.ac.uk> *** 3nd CALL FOR PAPERS *** 6th International Workshop on LOGICS, AGENTS, and MOBILITY (LAM’13), 5 April 2013, University of Exeter, United Kingdom organised as symposium at the AISB Annual Convention 2013 (http://emps.exeter.ac.uk/computer-science/research/aisb/) * Important Submission Information * Please submit your extended abstract by 14th January 2013. You will be notified of acceptance/rejection by 11 February 2013. The full version of your papers is then due by 4 March 2013. Organisers: Berndt “Bertie” Müller (Farwer), University of Glamorgan Michael Köhler-Bussmeier, University of Hamburg Workshop Homepage: http://lam2013.wordpress.com * Workshop Purpose * The aim of this series of workshops is to bring together active researchers in the areas of logics and other formal frameworks on the one hand, and mobile systems on the other hand. The main focus is on the field of applications of logics and calculi for mobile agents, smart intelligent solutions and multi-agent systems. Many notions used in the theory of agents are derived from philosophy, logic, and linguistics (belief, desire, intention, speech act, etc.), and interdisciplinary discourse has proved fruitful for the advance of this domain. Outside of academia, the deployment of large-scale pervasive infrastructures (mobile ad-hoc networks, mobile devices, RFIDs, etc.) is becoming a reality. This raises a number of scientific and technological challenges for the software modelling and programming models for such large-scale, open and highly-dynamic distributed systems. The agent and multi-agent systems approach seems particularly adapted to tackle this challenge, but there are many issues remaining to be investigated. For instance, the agents must be location-aware since the actual services available to them may depend on their (physical or virtual) location. The quality and quantity of resources at their disposal is also largely fluctuant, and the agents must be able to adapt to such highly dynamic environments. Moreover, mobility itself raises a large number of difficult issues related to safety and security, which require the ability to reason about the software (e.g. for analysis or verification). Logics and type systems with temporal or other kinds of modalities (relating to location, resource and/or security-awareness) play a central role in the semantic characterisation and then verification of properties about mobile agent systems. There are still many open problems and research questions in the theory of such systems. The workshop is intended to showcase results and current work being undertaken in these areas with a focus on logics for specification and verification of dynamic, mobile systems. The topics of interest lie in the area of logics and concurrent systems with a focus on the special application domain of mobile systems and (multi-)agent-based systems, such as: * Applications of logics and/or multi-agent systems * Smart/intelligent solutions * Models of concurrency * Models of resource-bounded systems * Models of location-based reasoning * Logics for concurrency with a perspective on mobility * Models of mobile systems * Verification and analysis techniques * Related programming models Scopes of Interest * applications of MAS * logics for specification and reasoning about agents, MAS, and mobile systems * treatment of location and resources in logics * security (e.g., in ad-hoc networks) * temporal logics and model checking * type systems and static analysis * logic programming * concurrency theory with a focus on mobility or dynamics in agent systems. * Previous Workshops * LAM’08: 4–8 August 2008 at ESSLI in Hamburg, Germany LAM’09: 10 August 2009 at LICS in Los Angeles, USA LAM’10: 15 July 2010 at LICS in Edinburgh, Scotland, UK LAM’11: 10 September 2011 at CONCUR in Aachen, Germany LAM’12: 25 June 2012 at Petri Nets 2012, Hamburg, Germany * Format of the Workshop * The workshop will be held as a one day of the convention. There will be a short introduction and brief survey of the field by the organisers as an introduction to the workshop. The workshop will contain invited talks, contributed talks, and will offer opportunities for discussion. The latter will give the participants a chance to discuss informally research directions, open problems, and possible co-operations. * Invited Speakers * [To be announced.] * Submission details * Authors are invited to submit an extended abstract (about 2 pages) or a full paper of original work in the areas mentioned above. The workshop chair should be informed of closely related work submitted to a conference or journal in advance of submission. One author of each accepted paper will be expected to present it at the LAM’13 workshop. Full papers should not exceed 15 pages, preferably using the LaTeX article or LNCSS class. The following formats are accepted: PDF, PS. Please send your submission electronically via EasyChair: http://www.easychair.org/conferences/?conf=lam13 The submissions will be reviewed by the workshop’s program committee and additional reviewers. Accepted papers will appear in electronic proceedings and authors will be encouraged to re-submit papers to formal proceedings to be published as a separate publication, e.g. as a special journal issue. * Important Dates * Abstract Submission Deadline: 14th January 2013 Notification of acceptance/rejection: 11 February 2013 Final version of full papers due: 4 March 2013 Workshop: at AISB 2013, 5 April 2013 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: