From ams at cwi.nl Wed Jan 2 19:00:04 2013 From: ams at cwi.nl (Alexandra Silva) Date: Wed, 2 Jan 2013 19:00:04 +0100 Subject: CALCO 2013: Second Call for Papers Message-ID: <20130102180004.GA19226@thistle> [Apologies for multiple copies] ========================================================================= SECOND CALL FOR PAPERS: CALCO 2013 5th International Conference on Algebra and Coalgebra in Computer Science September 3 - 6, 2013 Warsaw, Poland http://coalg.org/calco13/ ========================================================================= Abstract submission: February 22, 2013 Paper submission: March 1, 2013 Author notification: May 6, 2013 Final version due: June 3, 2013 ========================================================================= -- SCOPE -- CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009) and Winchester (UK, 2011). The fifth edition will be held in Warsaw, the capital of Poland. -- INVITED SPEAKERS -- Andrej Bauer - University of Lubljana, Sl Mikołaj Bojańczyk - Warsaw University, PL Neil Ghani - University of Strathclyde, UK Damien Pous - CNRS, ENS-Lyon, F -- TOPICS OF INTEREST -- We invite submissions of technical papers that report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. We encourage submissions in topics included or related to those listed below. * Abstract models and logics - Automata and languages - Categorical semantics - Modal logics - Relational systems - Graph transformation - Term rewriting - Adhesive categories * Specialised models and calculi - Hybrid, probabilistic, and timed systems - Calculi and models of concurrent, distributed, mobile, and context-aware computing - General systems theory and computational models (chemical, biological, etc.) * Algebraic and coalgebraic semantics - Abstract data types - Inductive and coinductive methods - Re-engineering techniques (program transformation) - Semantics of conceptual modelling methods and techniques - Semantics of programming languages * System specification and verification - Algebraic and coalgebraic specification - Formal testing and quality assurance - Validation and verification - Generative programming and model-driven development - Models, correctness and (re)configuration of hardware/middleware/architectures, - Process algebra -- NEW TOPICS -- This edition of CALCO will feature two new topics, and submission of papers on these topics is especially encouraged. * Corecursion in Programming Languages - Corecursion in logic / constraint / functional / answer set programming - Corecursive type inference - Coinductive methods for proving program properties - Implementing corecursion - Applications * Algebra and Coalgebra in quantum computing - Categorical semantics for quantum computing - Quantum calculi and programming languages - Foundational structures for quantum computing - Applications of quantum algebra -- SUBMISSION GUIDELINES -- Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Experience papers are welcome, but they must clearly present general lessons learned that would be of interest and benefit to a broad audience of both researchers and practitioners. As with previous editions, the proceedings will be published in the Springer LNCS series. Final papers should be no more than 15 pages long in the format specified by Springer (see http://www.springer.de/comp/lncs/authors.html). It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. Proofs omitted due to space limitations may be included in a clearly marked appendix. Both an abstract and the full paper must be submitted by their respective submission deadlines. A special issue of the open access journal Logical Methods in Computer Science (http://www.lmcs-online.org), containing extended versions of selected papers, is also being planned. Submissions will be handled via EasyChair https://www.easychair.org/conferences/?conf=calco2013 -- BEST PAPER AND BEST PRESENTATION AWARDS -- For the first time, this edition of CALCO will feature two kinds of awards: a best paper award whose recipients will be selected by the PC before the conference and a best presentation award, elected by the participants. -- IMPORTANT DATES -- Abstract submission: February 22, 2013 Paper submission: March 1, 2013 Author notification: May 6, 2013 Final version due: June 3, 2013 -- PROGRAMME COMMITTEE -- Luca Aceto - Reykjavik University, Iceland Jiří Adámek - TU Braunschweig, D Lars Birkedal - IT University of Copenhagen, DK Filippo Bonchi - CNRS, ENS-Lyon, F Corina Cirstea - University of Southhampton, UK Bob Coecke - University of Oxford, UK Andrea Corradini - University of Pisa, I Mai Gehrke - Université Paris Diderot - Paris 7, F H. Peter Gumm - Philipps University Marburg, D Gopal Gupta - University of Texas at Dallas, USA Ichiro Hasuo - Tokyo University, Japan Reiko Heckel - University of Leicester, UK (cochair) Bart Jacobs - Radboud University Nijmegen, NL Ekaterina Komendantskaya - University of Dundee, Scotland, UK Barbara König - University of Duisburg-Essen, D José Meseguer - University of Illinois, Urbana-Champaign, USA Marino Miculan - University of Udine, I Stefan Milius - Friedrich-Alexander Universität Erlangen-Nürnberg, D (cochair) Larry Moss - Indiana University, Bloomington, USA Till Mossakowski - DFKI Lab Bremen and University of Bremen, D Prakash Panangaden - McGill University, Montreal, Canada Dirk Pattinson - Imperial College London, UK Dusko Pavlovic - Royal Holloway, University of London, UK Daniela Petrisan - University of Leicester, UK John Power - University of Bath, UK Jan Rutten - CWI Amsterdam and Radboud University Nijmegen, NL Lutz Schröder - Friedrich-Alexander Universität Erlangen-Nürnberg, D Monika Seisenberger - Swansea University, UK Sam Staton - University of Cambridge, UK Alexandra Silva - Radboud University Nijmegen and CWI Amsterdam, NL Pawel Sobocinski - University of Southampton, UK Yde Venema - University of Amsterdam, NL Uwe Wolter - University of Bergen, NO -- ORGANISING COMMITTEE -- Bartek Klin (University of Warsaw, Poland) Andrzej Tarlecki (University of Warsaw, Poland) -- LOCATION -- Warsaw, the capital of Poland, is a lively city with many historic monuments and sights, but also with a thriving business district. It is easily accessible via two airports: the main Chopin Airport, used by most international carriers, and the recently open Warsaw Modlin Airport (30 minutes away by rail), used by budget airlines. -- SATELLITE WORKSHOPS -- CALCO 2013 will be preceded by the CALCO Early Ideas Workshop, chaired by Monika Seisenberger (Swansea University). The workshop is dedicated to presentation of work in progress and original research proposals. PhD students and young researchers are particularly encouraged to contribute. Attendance at the workshop is open to all - it is anticipated that many CALCO conference participants will want to attend the CALCO Early Ideas workshop (and vice versa). A workshop dedicated to tools based on algebraic and/or coalgebraic principles, CALCO Tools, will be held alongside the main conference, chaired by Lutz Schröder (Friedrich Alexander Universität Erlangen-Nürnberg). Papers of this workshop will be included in the CALCO proceedings. -- CALCO Early Ideas Overview -- The CALCO Early Ideas Workshop invites submissions on the same topics as the CALCO conference: reporting results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. The list of topics of particular interest is shown on the main CALCO 2013 page. CALCO Early Ideas presentations will be selected according to originality, significance, and general interest, on the basis of submitted 2-page short contributions. It can be work in progress, a summary of work submitted to a conference or workshop elsewhere, or work that in some other way might be interesting to the CALCO audience. A booklet with the accepted short contributions will be available at the workshop. Submissions will be handled via EasyChair https://www.easychair.org/conferences/?conf=calcoearlyideas2013 The use of LNCS style is strongly encouraged. After the workshop, authors will have the opportunity to submit a full 10-15 page paper on the same topic. The reviewing will be carried out by the CALCO Early Ideas PC, with the support of the CALCO PC. The volume of selected papers will be available online. Authors will retain copyright, and are also encouraged to disseminate the results by subsequent publication elsewhere. http://coalg.org/calco13/workshops.html#ei -- CALCO Early Ideas Dates -- 2-page short contribution submission: May 27, 2013 Notification for short contribution: June 24, 2013 Final short contribution due: July 15, 2013 CALCO Early Idead Workshop: September 2, 2013 10-15 page paper submission: October 15, 2013 Notification for paper: December 15, 2013 Final paper version due: January 15, 2014 -- CALCO Early Ideas Program Committee -- Bartek Klin, University of Warsaw, Poland John Power, University of Bath, UK Monika Seisenberger, Swansea University, UK (chair) -- CALCO-Tools Overview -- CALCO-Tools will take place on the same dates as the main CALCO conference, with no overlap between the technical programmes of the two events. Topics of interest include systems, prototypes, and tools developed specifically for the design, checking, execution, and verification of (co)algebraic specifications, but also tools targeting different application domains while making core or interesting use of (co)algebraic techniques. Tool submissions should not exceed 5 pages in LNCS format. The accepted tool papers will be included in the final proceedings of the conference. The tools should be made available on the web at the time of submission. Each submission will be evaluated by at least three reviewers; one or more of the reviewers will be asked to download and use the tool. At least one of the authors of each tool paper must attend the conference to demo the tool. http://coalg.org/calco13/workshops.html#tools -- CALCO-Tools Dates -- Paper submission: April 8, 2013 Author notification: May 6, 2013 Final version due: June 3, 2013 -- CALCO-Tools Programme Committee -- Einar Broch Johnsen, University of Oslo, Norway Mark Hills, CWI Amsterdam, The Netherlands Barbara König, University of Duisburg-Essen, Germany Dorel Lucanu, Alexandru Ioan Cuza University, Romania Dominik Luecke, CWI Amsterdam, The Netherlands Till Mossakowski, DFKI, Germany Lutz Schröder, Friedrich-Alexander Universität Erlangen-Nürnberg, Germany (chair) Alexandra Silva, Radboud University Nijmegen and CWI Amsterdam, The Netherlands -- FURTHER INFORMATION -- Queries related to submission, reviewing, and programme should be sent to the relevant conference or workshop chairs. Queries related to the organisation should be emailed to calco2013 at mimuw.edu.pl . From go4rakib at gmail.com Thu Jan 3 11:54:49 2013 From: go4rakib at gmail.com (Abdur Rakib) Date: Thu, 3 Jan 2013 18:54:49 +0800 Subject: A fully funded PhD studentship at the School of Computer Science, University of Nottingham (UNMC & UNJC) Message-ID: Dear All, We invite applications for PhD study at the University of Nottingham, UMNC&UNJC. Successful student will spend most of his/her time at UNMC and will visit UNJC at least once for at least a couple of weeks. Fixed term appointment for up to 36 months Full tuition fees MR 42, 445 py + Stipend MR 2200 pm (MR: Malaysian Ringgit) * * *Project Title* Ontology-driven crop base knowledge system * **Supervisor names and contact details:* 1. Abdur Rakib, School of Computer Science, UNMC ( Abdur.Rakib at nottingham.edu.my) 2. Natasha Alechina, School of Computer Science, UNJC ( Natasha.Alechina at nottingham.ac.uk*)* *Project Description* The aim of this project is to combine and expand existing crop ontologies and if needed modify them to ensure consistency, include data for underutilised crops (e.g., Bambara groundnut), and provide support for decision making by crop growers in selecting suitable crops for their circumstances, including the type of land and climate, likely plant diseases, pests and other problems, and implement a web tool to provide this support with an ontology in the background. It is part of a multidisciplinary research project, so other crop data required for this project will be obtained from other collaborative CFFRC ( http://www.nottingham.edu.my/CFFRC/index.aspx) research projects. We represent knowledge in Web Ontology Language (OWL) which extends RDF and RDFS and which has been developed as an ontology language that defines classes and properties and their relationships. The World Wide Web Consortium (W3C) has declared two different standards for OWL, namely, OWL 1 and OWL 2. We use OWL 2, which is based on description logic (DL), a decidable fragment of first order logic that is used for efficient and tractable reasoning. The resulting tool will use the ontology as the main knowledge source for answering user queries, but will also involve an additional rule-based decision support mechanism which will ask for information about the concrete parameters relevant for the crop grower and display information about suitable crops in the form which is precise but easy to understand for non-computer scientist. In technical terms, the tool is a hybrid system which uses both ontology definitions and rules. The successful candidate will have a strong background in computer science and must have excellent programming skills (particularly Java), basic knowledge of ontology. Some knowledge of, or interest in, rule-based reasoning and/or AI techniques, would be desirable. The successful candidate will collaborate with other CFFRC researchers. * * *Applications must include:* ** *(1) A complete CV* * (2) One page research statement indicating what you see are interesting research issues relating to the above post and why your expertise is relevant. (3) 2 References * *Closing Date*: 31st January 2013 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From markus.kroetzsch at cs.ox.ac.uk Fri Jan 4 10:55:37 2013 From: markus.kroetzsch at cs.ox.ac.uk (=?ISO-8859-1?Q?Markus_Kr=F6tzsch?=) Date: Fri, 04 Jan 2013 09:55:37 +0000 Subject: CfP: DL 2013 - 26th Int Workshop on Description Logics Message-ID: <50E6A719.7040100@cs.ox.ac.uk> [Apologies if you receive multiple copies of this message.] ============================================================================ CALL FOR PAPERS 26th International Workshop on Description Logics (DL 2013) Ulm, Germany, July 23--26, 2013 Co-located with ORE 2013 followed by RR 2013 and Reasoning Web 2013 www.uni-ulm.de/en/in/dl2013/ ============================================================================ The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences. The workshop will be held at the University of Ulm, Campus East, from July 23rd to July 26th, 2013. In this year, DL workshop will be collocated with the 2nd OWL Reasoner Evaluation Workshop (ORE), which will take place on July 22nd in Ulm, Germany. Furthermore, the International Conference on Web Reasoning and Rule Systems (RR), will take place in Mannheim (1:40 min by train from Ulm) directly subsequent to the DL workshop (July 27th - 29th), and the 9th Reasoning Web Summer School (July 30th - Aug 2nd) also in Mannheim. IMPORTANT DATES --------------- Abstract submission deadline: April 05, 2013 Paper submission deadline: April 12, 2013 Acceptance notification: May 27, 2013 Camera ready copies: June 09, 2013 Early registration: June 24, 2013 Workshop: July 23-26, 2013 WORKSHOP SCOPE -------------- We invite contributions on all aspects of description logics, including but not limited to: * Foundations of description logics: decidability and complexity of reasoning, expressive power, novel inference problems, inconsistency tolerance, reasoning techniques, and modularity aspects * Extensions of description logics: closed-world and nonmonotonic reasoning, defaults, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, query languages * Integration of description logics with other formalisms: object-oriented representation languages, database query languages, constraint-based programming, logic programming, and rule-based systems * Applications and use areas of description logics: ontology engineering, ontology languages, databases, ontology-based data access, semi-structured data, document management, natural language, learning, planning, Semantic Web, and cloud computing * Systems and tools around description logics: reasoners, software tools for and using description logic reasoning (e.g. ontology editors, database schema design, query optimization, and data integration tools), implementation and optimization techniques, benchmarking, evaluation, modeling INVITED SPEAKERS ---------------- * Michel Dumontier, Carleton University, Ottawa, Canada * Giuseppe De Giacomo, Sapienza Universita di Roma, Italy * Ian Pratt-Hartmann, University of Manchester, UK ORGANIZATION ------------ * Thomas Eiter, Vienna University of Technology (Program co-Chair) * Birte Glimm, University of Ulm, Germany (Workshop co-Chair) * Yevgeny Kazakov, University of Ulm, Germany (Workshop co-Chair) * Markus Kroetzsch, University of Oxford, U.K. (Program co-Chair) RESOURCES --------- * Information about submission, registration, travel information, etc., is available on the DL 2013 homepage: http://www.uni-ulm.de/en/in/dl2013/ * Enquiries about the DL 2013 workshop can be made by contacting the organizing committee * The official Description Logic home page is at http://dl.kr.org/ -- Dr. Markus Kroetzsch Department of Computer Science, University of Oxford Room 306, Parks Road, OX1 3QD Oxford, United Kingdom +44 (0)1865 283529 http://korrekt.org/ From b.verheij at ai.rug.nl Fri Jan 4 16:49:00 2013 From: b.verheij at ai.rug.nl (Bart Verheij) Date: Fri, 4 Jan 2013 16:49:00 +0100 Subject: ICAIL 2013 - third call for papers and demonstrations Message-ID: 14th International Conference on Artificial Intelligence & Law (ICAIL 2013) June 10 - June 14, 2013 Consiglio Nazionale delle Ricerche (National Research Council of Italy) Rome, Italy http://icail2013.ittig.cnr.it Sponsored by: The International Association for Artificial Intelligence and Law (IAAIL) ITTIG-CNR (Institute of Legal Information Theory and Techniques of the CNR) Call for Papers and Demonstrations The field of AI and Law is concerned with: * the study of legal reasoning using computational methods * the study of AI and other advanced information technologies, using law as an example domain * formal models of norms, normative systems, norm-governed societies * legal and quasi-legal applications of AI and other advanced information technologies The ICAIL conference is the primary international conference addressing research in Artificial Intelligence and Law, and has been organized biennially since 1987 under the auspices of the International Association for Artificial Intelligence and Law (IAAIL). ICAIL provides a forum for the presentation and discussion of the latest research results and practical applications; it fosters interdisciplinary and international collaboration. The conference proceedings are published by ACM. The journal Artificial Intelligence and Law regularly publishes expanded versions of selected ICAIL papers. ICAIL 2013, the fourteenth International Conference on Artificial Intelligence and Law, invites the submission of papers on a broad spectrum of research topics. Authors are invited to submit papers on topics including but not restricted to * Formal and computational models of legal reasoning * Knowledge acquisition techniques for the legal domain, including natural language processing and data mining * Computational models of argumentation and decision making * Legal knowledge representation including legal ontologies and common sense knowledge * Automatic legal text classification and summarization * Automated information extraction from legal databases and texts * Machine learning and data mining applied to legal databases * E-discovery and e-disclosure * E-government and e-justice * Computational models of evidential reasoning * Modeling norms for multi-agent systems * Modeling negotiation and contract formation * Computational models of case-based legal reasoning * Conceptual or model-based legal information retrieval * Online dispute resolution * Intelligent legal tutoring systems * Intelligent support systems for the legal domain * Interdisciplinary applications of legal informatics methods and systems Invited speakers * Rosaria Conte, ISTC-CNR * Paul Thagard, University of Waterloo * Radboud Winkels, University of Amsterdam Two tracks: regular papers and innovative applications papers For ICAIL 2013, authors are invited to submit papers in one of two tracks: regular and innovative applications. In addition to papers about results and findings from systems, approaches, or theoretical models (in the conference's regular track), we encourage the submission of original papers about innovative applications. Both regular track papers and innovative applications papers will be assessed in a rigorous reviewing procedure. Standard assessment criteria for research papers will apply to all submissions (relevance, originality, significance, technical quality, presentation). Papers proposing formal or computational models should provide examples and/or simulations that show the models' applicability to a realistic legal problem or domain. Papers on innovative applications should describe clearly the motivations behind the project, the techniques employed, and the current state of both implementation and evaluation. All papers should make clear their relation to prior work. Demonstrations A session will be organized for the demonstration of creative, robust and practical working applications and tools. Where a demonstration is not connected to a paper in a track, a two page extended abstract about the system should be submitted for review by the paper submission deadline via the conference management system and following the conference style. Accepted extended abstracts will be published in the conference proceedings. For those demonstrations that are connected to a paper in the regular track or innovative applications track, no separate statement about the demonstration should be submitted. ICAIL Workshops and Tutorials ICAIL 2013 will include workshops and tutorials on the first and last days. Expected topics include an introduction to AI & law, web ontology and data design, coherence, argumentation, evidential inference, discovery of electronically stored information, and e-justice. Details about the workshop and tutorial program will be available at http://icail2013.ittig.cnr.it. Important Dates * Submission of abstracts (optional): January 11, 2013 * Submission of papers deadline: January 18, 2013 * Notification of acceptance: March 20, 2013 * Final revised and formatted papers due: April 19, 2013 * Conference: June 10 - June 14, 2013 Submission Details Papers should not exceed 5000 words. If an approved style file is used, the maximum length is 10 pages. Style format template files can be found at http://www.acm.org/sigs/pubs/proceed/template.html. Papers should be submitted electronically to the conference support system, https://www.conftool.net/icail2013/, in PDF or MS Word format, by the paper submission deadline. To aid the reviewing process, authors are requested to submit abstracts of their papers by the above abstract submission deadline. Abstract submissions should also include the paper title, up to four keywords, and a contact address for the principal author. Abstracts should also be submitted electronically to the conference support system. Authors will be notified of the referees' decision in March 2013. Papers not accepted for full publication and presentation may be accepted as short research abstracts. Papers (including research abstracts) must be presented at the conference in order to appear in the proceedings. Final versions of papers for publication in the proceedings will be due in April 2013. Donald H. Berman Award for Best Student Paper To encourage participation by students, IAAIL has created the Donald H. Berman Award for the best paper submitted to ICAIL by a student or students. The award consists of a cash gift and free attendance at ICAIL 2013. For a paper to be considered for the award, the student author(s) should be clearly designated as such when the paper is submitted, and any nonstudent co-authors should provide a statement that the paper is primarily student work. Notification will be made through the ICAIL website, and the award will be presented at the conference banquet. Conference Officials Program Chair Bart Verheij Artificial Intelligence, University of Groningen b.verheij at ai.rug.nl Conference Chair Enrico Francesconi ITTIG - CNR, Florence francesconi at ittig.cnr.it Secretary/Treasurer Anne Gardner Atherton, California, USA gardner.anne at sbcglobal.net From bechir.zalila at enis.rnu.tn Mon Jan 7 21:36:37 2013 From: bechir.zalila at enis.rnu.tn (Bechir ZALILA) Date: Mon, 7 Jan 2013 21:36:37 +0100 (CET) Subject: WETICE'2013: Second Call for Papers Message-ID: <20130107203637.A49F9102D1@mail.zalila.org> 22nd WETICE Conference: WETICE-2013 Hammamet, Tunisia June 17-20, 2013 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. 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. Important Dates =============== - Submission of papers to all tracks February 1, 2013 - Notification to authors March 15, 2013 - Final papers to IEEE-CS March 29, 2013 - Paper author's registration deadline May 1, 2013 - WETICE-2013 Conference June 17-20, 2013 Submission: =========== Authors are invited to submit full papers (6 pages) or short papers (3 pages) of double column text using single spaced 10 point size on 8.5 x 11 inch pages, as per IEEE 8.5 x 11 manuscript guidelines (http://www.computer.org/portal/web/cscps/formatting). Authors must upload their paper as PDF file using the EasyChair submission system: https://www.easychair.org/account/signin.cgi?conf=wetice2013 After authentication, the author can select the track in which he will submit his paper. If any problem arises when submitting your paper, please contact: wetice2013 at redcad.org Each paper will be reviewed by at least three reviewers for ensuring high quality. 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 http://www.irit.fr/CSP2013/ 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 http://conf.laas.fr/MADYNE/ 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/ Contact: ======== For further information, please contact: Ahmed Hadj Kacem Department of Computer Science Faculty of Economics and Management of Sfax University of Sfax, Tunisia Address: B.P. 1088, 3018 Sfax, Tunisia Fax: +216 74 279 139 email: ahmed.hadjkacem at fsegs.rnu.tn From cossentino at pa.icar.cnr.it Tue Jan 8 10:19:42 2013 From: cossentino at pa.icar.cnr.it (Massimo Cossentino) Date: Tue, 8 Jan 2013 10:19:42 +0100 Subject: 1st International Workshop on Engineering Multi-Agent Systems (EMAS) - 2nd 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 Emiliano.Lorini at irit.fr Thu Jan 10 10:12:33 2013 From: Emiliano.Lorini at irit.fr (Emiliano Lorini) Date: Thu, 10 Jan 2013 10:12:33 +0100 Subject: workshop announcement: International Workshop on Information and Trust Dynamics in Artificial Societies (ITDAS@IJCAI2013) Message-ID: WORKSHOP ANNOUNCEMENT International Workshop on Information and Trust Dynamics in Artificial Societies (ITDAS at IJCAI2013) Workshop goal Describing intelligent agents with the help of cognitive and social notions is now well established in the domain of artificial intelligence. In the recent years, concepts such as trust, reputation, delegation, commitment and convention have been proposed in order to describe how artificial agents interact in an artificial society or in a virtual organization. This workshop aims at discussing formal theories and logics of information dynamics—including formal theories and logics of belief and preference change, learning theory, social choice theory and judgement aggregation—in order to better understand: - how information circulates in an artificial society by direct interaction, communication, signaling, etc.; how it affects trust; - how it contributes to the construction of reputation and collective attitudes (e.g., mutual beliefs, social agreements), and to the emergence of conventions. The workshop is an associated event of IJCAI-13 and will take place on August 3-5 2013, Beijing, China. Workshop website: http://www.irit.fr/%7ELaurent.Perrussel/itdas-13/ Call for Papers This workshop aims at discussing formal theories and logics of information dynamics, including formal theories and logics of belief and preference change, learning theory, social choice theory and judgement aggregation. Its Its scope includes not only the technical aspects of logics, but also multidisciplinary aspects from social sciences (economics, social psychology and sociology), social epistemology and linguistics. By focusing on the foundational issues of (i) information dynamics and (ii) trust representation, the workshop will provide a better understanding of key issues such as: are the belief change techniques relevant for modelling trust dynamics? What is the role of communication in trust's breakdown and repair? How information propagates in a social network or in a multi-agent system? What are the consequences in terms of reputation and trust dynamics? Are existing formal theories of belief change and existing formal theories of learning relevant for modelling the dynamics of conventions? Scope Topics of interest include: Reasoning about trust and reputation Belief change Formal theories of lying and deception Social choice theory Judgement aggregation Reasoning about action and change Trust in virtual organizations Theories of signalling Theories of conventions Learning theory Epistemic game theory Speech act theory Dynamic epistemic logic (DEL) Logics of agency Preference dynamics Theories of delegation Social network theory As shown by the previous topics, the workshop has an multidisciplinary nature, it covers not only research in AI but also research in economics, philosophy of interaction, sociology, social psychology and linguistics. Program Committee Workshop chairs Hans van Ditmarsch LORIA - Univ. of Lorraine (France) Emiliano Lorini IRIT - Univ. de Toulouse (France) Laurent Perrussel IRIT - Univ. de Toulouse (France) PC members Thomas Agotnes (Uni. of Bergen - Norway) Guillaume Aucher (IRISA - Uni. of Rennes - France) Jan Broersen (Utrecht Uni. - The Netherlands) Jim Delgrande (Uni. of Toronto - Canada) Robert Demolombe (IRIT - Uni. of Toulouse - France) Rino Falcone (ISTC - Roma - Italy) Nina Gierasimczuk (Uni. of Amsterdam - The Netherlands) Davide Grossi (Uni. of Liverpool - UK) Andreas Herzig (IRIT - Uni. of Toulouse - France) Wiebe van der Hoek (Uni. of Liverpool - UK) Andrew Jones (King's college London - UK) Barteld Kooi (Uni. of Groningen - The Netherlands) Tiago de Lima (CRIL - Uni. of Artois - France) Fenrong Liu (Tsinghua Uni. - China) Eric Pacuit (Uni. of Maryland - USA) Fabio Paglieri (ISTC - Roma - Italy) Henri Prade (IRIT - Uni. of Toulouse - France) Francesca Rossi (Uni. of Padova - Italy) Jordi Sabater (IIIA-CSIC - Barcelona - Spain) Jeremy Seligman (Auckland Uni. - New Zealand) Carles Sierra (IIIA-CSIC - Barcelona - Spain) Sonja Smets (Uni. of Amsterdam - The Netherlands) Allard Tamminga (Uni. of Groningen - The Netherlands) Michael Tielscher (Uni of New South Wales - Australia) Leon van der Torre (Uni. of Luxembourg - Luxembourg) Nicolas Troquard (ISTC - Trento - Italy) Luca Tummolini (ISTC - Roma - Italy) Rineke Verbrugge (Uni. of Groningen - The Netherlands) Renata Wasserman (Uni. of Sao Paulo - Brazil) Yanjing Wang (Peking Uni. - China) Submission Interested authors should format their papers according to IJCAI formatting guidelines. Submitted papers might be at the time of submission under review or accepted for publication in a journal or another conference. Papers should not exceed 7 pages and are due by April 19, 2013. All papers will be reviewed by at least two reviewers. Papers must be submitted as PDF through the EasyChair conference system: https://www.easychair.org/conferences/?conf=itdasijcai13. The proceedings of ITDAS-13 workshop will be published in an informal on the workshop website. An author of each accepted paper is required to register, attend, and present the paper at ITDAS at IJCAI-13. The Journal of Applied Non-Classical Logic will publish a special issue devoted to extended versions of selected papers. Last update: Jan 2013 Key dates Submission deadline April 19, 2013 Acceptance notification May 20, 2013 Camera ready June 1st, 2013 Workshop August 3–5, 2013 Sponsorship This workshop will form part of the coordination activities of SINTELNET (http://www.sintelnet.eu/), the European Network for Social intelligence (FP7-286370), within the Working Group co-chaired by Emiliano Lorini. With the the help of SINTELNET, the workshop will welcome Invited speaker. From calimeri at mat.unical.it Fri Jan 11 18:53:38 2013 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Fri, 11 Jan 2013 18:53:38 +0100 Subject: [CfP] 4th *OPEN* Answer Set Programming Competition 2013 - CALL FOR PARTICIPANTS Message-ID: [apologies for any cross-posting] ........................................................................ 4th OPEN Answer Set Programming Competition 2013 Call for Participant Systems University of Calabria - Vienna University of Technology Fall/Winter 2012/2013 http://aspcomp2013.mat.unical.it/ aspcomp2013 at kr.tuwien.ac.at ........................................................................ The 4th Open Answer Set Programming (ASP) Competition is now in the Call for Participant Systems stage. +--------------------------------------------------------------------+ | The event is open to ASP systems and *any other* system based on a | | declarative specification paradigm. | +--------------------------------------------------------------------+ == Call for Participant Systems == Participants of the Answer Set Programming Competition will compete on a selected collection of benchmark problems, taken from a variety of benchmark problem domains as well as real world applications. These include, but are not limited to: * Classic and applicative graph problems * Scheduling, Timetabling, and other resource allocation problems * Sequential and Temporal Planning * Combinatorial Optimization Problems * Deductive database tasks on large data-sets * Puzzles and Combinatorics * Ontology reasoning * Automated Theorem Proving and Model Checking * Reasoning tasks over large propositional instances * Constraint Programming problems * Other AI problems The competition consists of two independent main tracks: * the Model & Solve Track invites any researcher and developer of declarative knowledge representation systems to participate in an open challenge for solving sophisticated AI problems with their tools of choice. Participants submit a solver based on an arbitrary input format and declarative specifications of the Competition's benchmark domains; * the System Track compares dedicated answer set solvers on ASP benchmarks. Participants compete with a solver for a standard ASP language. We encourage to submit parallel and portfolio systems exploiting multiple cores or multiple algorithms for solving the given instances. === About the Answer Set Programming Competition Series === Answer Set Programming is a well-established paradigm of declarative programming with close relationship to other declarative modelling paradigms and languages, such as SAT Modulo Theories, Constraint Handling Rules, FO(.), PDDL, CASC, and many others. The ASP Competition is a biannual event for evaluating declarative knowledge representation systems on hard and demanding AI problems. The 4th ASP Competition will be run in the first half of 2013 jointly at the University of Calabria (Italy) and the Vienna University of Technology (Austria). The event is the sequel to the ASP Competition series, held at the University of Potsdam (Germany) in 2006-2007, at the University of Leuven (Belgium) in 2009, and at University of Calabria (Italy) in 2011. The current competition takes place in cooperation with the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), where the results will be announced. The ASP competition is held as an open tournament. The "Model & Solve" competition track fosters the spirit of integration among communities, and is thus open to all types of solvers: ASP systems, SAT solvers, SMT solvers, CP systems, FOL theorem provers, Description Logics reasoners, planning reasoners, or any other. The "System" competition track is instead set up on a fixed language based on the answer set semantics. == Important Dates == * February 2nd, 2013: Participant registration deadline * March 1st, 2013: Participant system submission deadline * March 2nd, 2013: System freeze, the competition runs * September 15-19, 2013: Announcement of results and award presentation at LPNMR 2013 in Corunna, Spain For further information and submission instructions please visit the competition web site http://aspcomp2013.mat.unical.it/ or contact us by email: aspcomp2013 at kr.tuwien.ac.at From tompits at kr.tuwien.ac.at Fri Jan 11 19:32:07 2013 From: tompits at kr.tuwien.ac.at (Hans Tompits) Date: Fri, 11 Jan 2013 19:32:07 +0100 (CET) Subject: Call for Workshop Proposals: International Conference on Logic Programming (ICLP 2013) Message-ID: <20130111183207.54E1B744D0C@gluck.kr.tuwien.ac.at> (Apologies for cross posting.) --------------------------------------------------------------------- CALL FOR WORKSHOP PROPOSALS 29th International Conference on Logic Programming (ICLP 2013) Istanbul, Turkey, August 24-29, 2013 http://www.iclp2013.org --------------------------------------------------------------------- ICLP 2013, the 29th International Conference on Logic Programming, will be held in Istanbul, Turkey, August 24-29, 2013. Workshops collocated with an international conference are one of the best venues for the presentation and discussion of preliminary work, novel ideas, and new open problems to a wide and interested audience. Collocated workshops also provide an opportunity for presenting specialised topics and opportunities for intensive discussions and project collaboration. The topics of the workshops collocated with ICLP 2013 may cover any area related to logic programming (e.g., theory, systems, environments, software-engineering aspects, extensions, alternative paradigms, applications), including cross- disciplinary areas. However, any workshop proposal will be taken under consideration. The format of the workshop will be decided by the workshop organisers, but ample time should be allowed for general discussions. Workshops can vary in length, but the optimal format are half-day workshops and full-day workshops. Workshop Proposal: ================== People interested in organising a workshop at ICLP 2013 are invited to submit a workshop proposal. Proposals should be written in English and about two pages in length. They should contain: * the title of the workshop; * a brief technical description of the topics covered by the workshop; * a discussion of the timeline and relevance of the workshop; * a list of some related workshops held in recent years; * the (preliminary) required number of half-days allotted to the workshop and an estimate of the number of expected attendees; * the names, affiliations, and contact details (email, web page, phone, fax) of the workshop organiser(s) together with a designated contact person; and * the previous experience of the workshop organising committee in workshop or conference organisation. Proposals should be in PDF format and submitted to the Workshop Chair (Hans Tompits) by email by March 11, 2013. Reviewing Process: ================== Each submitted proposal will be reviewed by the Workshop Chair and the Conference Program Chairs. Proposals that appear well-organised and that fit the goals and the scope of ICLP will be selected. The Chairs will notify the responsible organisers of their decision via email by April 4, 2013. The final length of each workshop will be planned according to the number of submissions each workshop receives. For each accepted workshop, the ICLP local organisers will prepare a meeting place and arrange the distribution of the workshop proceedings, which must be prepared by the workshop organisers. The workshop registration fees will be handled together with the conference fees. Workshop Organisers' Tasks: =========================== * Producing a "Call for Papers" for the workshop and posting it on the Internet and other means. A Web page URL which will be linked into the ICLP 2013 home page must be provided by April 29, 2013. * Providing a brief description of the workshop for the conference program. * Reviewing and deciding upon submitted papers. * Scheduling workshop activities in collaboration with the local organisers and the Workshop Chair. * Sending the workshop program and the workshop proceedings in pdf format to the Workshop Chair for distribution at the conference. * The use of the Computing Research Repository (CoRR) for the workshop proceedings is strongly recommended. Location: ========= All workshops will take place in the city of Istanbul at the site of the main conference. See the ICLP 2013 Web site for location details. Important Dates: ================ March 11, 2013: Proposal submission deadline April 4, 2013: Notification April 29, 2013: Deadline for receipt of CFP and workshop Web page URL July 19, 2013: Deadline for proceedings and workshop program August 24 and 25, 2013: ICLP 2013 workshops Workshop Chair: =============== Hans Tompits Knowledge-Based Systems Group E184/3 Institute of Information Systems Vienna University of Technology Favoritenstrasse 9-11 A-1040 Vienna Austria Email: tompits [at] kr [dot] tuwien [dot] ac [dot] at From Benjamin.Hirsch at kustar.ac.ae Mon Jan 14 06:24:53 2013 From: Benjamin.Hirsch at kustar.ac.ae (Benjamin Hirsch) Date: Mon, 14 Jan 2013 09:24:53 +0400 Subject: 2nd CFP: ADAPT Advancing from Practice to Theory @AAMAS 2013 Message-ID: * apologies for cross-postings * ************************************************************************ Call for Papers ADAPT 2013 Agent Design - Advancing from Practice to Theory (ADAPT) Held with AAMAS 2013, Saint Paul, Minnesota (USA), 6th May 2013 http://adapt2013.dai-labor.de/ ************************************************************************ MOTIVATION Over the last years, members of the agents community have been involved with real-world systems in several domains such as robotics, decision-support agents, personal-assistant agents, in military or space application, or in the commercial area to just give a few examples. Many of the lessons learned from these endeavours involve surprises, difficulties and flaws. It is quite common for researchers to take theoretical work of their peers and use it in their (more practical) work. Much less common is the opposite feedback loop, i.e. taking the experience of the application and using it to generate or amend theory, unless the research was done by the same person. Even if theories are validated in a laboratory setting, they might not behave as expected when applied in the real world. This feedback though is often hard to capture and only available in a way that is unsuitable as a basis for further refinement of the applied theory. Nevertheless, it is important for our community to know and discuss these challenges if we are to produce the ideas and technologies that are transformative and ultimately, utilised by practitioners. An important aspect of this workshop is not only to discuss these challenges, but also to develop directions for existing and new theoretical models on how to support the link between theory and practice. In detail we are interested in ideas on how to promote the utilisation of theoretical results in real world applications as well as how to generate theories from real world applications. The workshop will serve as a forum where to discuss how to reduce the barriers for transferring agent-based theories and algorithms to practitioners as well as vice versa and for to transform the models and assumptions made within the agent community to make all our work more relevant. AUTHOR GUIDELINES ADAPT welcomes the submissions with a focus on actual process and proposals for solutions and ways to tackle the interconnect of theory and practise, rather than practical applications. Each paper will be evaluated at least by one academic and one industrial focused committee member in order to ensure that different views are taken into account at this early stage already. Papers must not be submitted simultaneously for publication elsewhere. Papers should be written in English, formatted according to the Springer LNCS style , and not exceed 16 pages. SUBMISSION Paper length should be at most 16 pages, including the text, figures, and references. Paper submission is electronic via easychair . To submit, please prepare a PDF file of your paper, a short abstract in plain text, and a list of two to five keywords. POSTPROCEEDINGS After the workshop selected papers will be published as "joint agent special issue" from JACIII (Journal of Advanced Computational Intelligence and Intelligent Informatics . IMPORTANT DATES Paper Submission Deadline: 30.01.2013 Notification of acceptance/rejection: 27.02.2013 Camera-ready copies due: 13.03.2013 Workshop Date: 06.05.2013 COMMITTEES Organising Committee Benjamin Hirsch (EBTIC/Khalifa University) Tina Balke (University of Surrey) Marco Lützenberger (DAI-Labor, TU Berlin) Nathan Schurr (Aptima) Programme Committee (Tentative) Christian Guttmann (IBM Research Australia) Danny Weynes (KU Leuven) Ingrid Nunes (PUC University of Rio De Janeiro) James Harland (RMIT) Janusz Marecki (IBM TJ Watson Research Center) João Leite (New University of Lisbon) John-Jules Meyer (Utrecht University) Jörg Müller (TU Clausthal) Jorge Gomez-Sanz (The Complutense University) Koen Hindricks (TU Delft) Martijn Schut (PwC Netherlands) Medhi Dastani (Utrecht University) Michael Huhns (University of South Carolina) Michael Georgeff (Precedence Healthcare) Michal Pechoucek (Czech Technical University) Nirmit Desai (IBM) Peter McBurney (Kings College London) Rafael Bordini (PUC University of Rio Grande do Sul) Rainer Unland (Universität Essen) René Schumann (National Institute of Informatics) Simon Parsons (City University New York) Wayne Wobcke (University of New South Wales) Yves Demazeau (Laboratoire d'Informatique de Grenoble) Alan Carlin (Aptima) Paul Scerri (Carnegie Mellon University) -- Dr Benjamin Hirsch EBTIC / Khalifa University PO Box 127788 Abu Dhabi United Arab Emirates TEL: +971-2-501-8597 MOB: +971-50-4139031 From Souhila.Kaci at lirmm.fr Tue Jan 15 11:40:35 2013 From: Souhila.Kaci at lirmm.fr (Souhila Kaci) Date: Tue, 15 Jan 2013 11:40:35 +0100 Subject: CFP: IJCAI'13 Workshop on Advances in Preference Handling Message-ID: <4160278b19133b42531677fa00541ecc@lirmm.fr> [Apologies for multiple postings] *************************************************** IJCAI 2013 Workshop MPREF 7th Multidisciplinary Workshop on Advances in Preference Handling http://www.mpref.preferencesql.com/mpref2013 *************************************************** * Call for papers: -------------------- Preference handling has become a flourishing topic. There are many interesting results, good examples for cross-fertilization between disciplines, and many new questions. Preferences are a central concept of decision making. As preferences are fundamental for the analysis of human choice behavior, they are becoming of increasing importance for computational fields such as artificial intelligence, databases, and human-computer interaction. Preference models are needed in decision-support systems such as web-based recommender systems, in automated problem solvers such as configurators, and in autonomous systems such as Mars rovers. Nearly all areas of artificial intelligence deal with choice situations and can thus benefit from computational methods for handling preferences. Moreover, social choice methods are also of key importance in computational domains such as multi-agent systems. This broadened scope of preferences leads to new types of preference models, new problems for applying preference structures, and new kinds of benefits. Preferences are studied in many areas of artificial intelligence such as knowledge representation, multi-agent systems, game theory, social choice, constraint satisfaction, decision making, decision-theoretic planning, and beyond. Preferences are inherently a multi-disciplinary topic, of interest to economists, computer scientists, operations researchers, mathematicians and more. This workshop promotes this broadened scope of preference handling and continues a series of events on preference handling at AAAI-02, Dagstuhl in 2004, IJCAI-05, ECAI-06, VLDB-07, AAAI-08, ADT-09, ECAI-2010 and ECAI-2012. Since 2008, this series of workshops is organized by the multidisciplinary working group on Advances in Preference Handling, which is affiliated to the Association of European Operational Research Societies EURO. The workshop provides a forum for presenting advances in preference handling and for exchanging experiences between researchers facing similar questions, but coming from different fields. The workshop builds on the large number of AI researchers working on preference-related issues, but also seeks to attract researchers from databases, multi-criteria decision making, economics, etc. TOPICS OF INTEREST The workshop on Advances in Preferences Handling addresses all computational aspects of preference handling. This includes methods for the elicitation, learning, modeling, representation, aggregation, and management of preferences and for reasoning about preferences. The workshop studies the usage of preferences in computational tasks from decision making, database querying, web search, personalized human-computer interaction, personalized recommender systems, e-commerce, multi-agent systems, game theory, social choice, combinatorial optimization, planning and robotics, automated problem solving, perception and natural language understanding and other computational tasks involving choices. The workshop seeks to improve the overall understanding of the benefits of preferences for those tasks. Another important goal is to provide cross-fertilization between different fields. - Preference handling in artificial intelligence Qualitative decision theory Non-monotonic reasoning Preferences in logic programming Preferences for soft constraints in constraint satisfaction Preferences for search and optimization Preferences for AI planning Preferences reasoning about action and causality Preference logic - Preference handling in database systems Preference query languages for SQL and XML Algebraic and cost-based optimization of preference queries Top-k algorithms and cost models Ranking relational data and rank-aware query processing Skyline query evaluation Preference management and repositories Personalized search engines Preference recommender systems - Preference handling in multiagent systems Game theory (Combinatorial) auctions and exchanges Social choice, voting, and other rating/ranking systems Mechanism design and incentive compatibility - Applications of preferences Web search Decision making Combinatorial optimization and other problem solving tasks Personalized human-computer interaction Personalized recommendation systems e-commerce and m-commerce - Preference elicitation Preference elicitation in multi-agent systems Preference elicitation with incentive-compatibility Learning of preferences User preference mining Revision of preferences - Preference representation and modeling Linear and non-linear utility representations Multiple criteria/attributes Qualitative decision theory Graphical models Logical representations Soft constraints Relations between qualitative and quantitative approaches - Properties and semantics of preferences Preference and choice Preference composition, merging, and aggregation Incomplete or inconsistent preferences Intransitive indifference Reasoning about preferences * Important dates: ---------------------- Saturday, April, 20, 2013: Workshop paper submission deadline Monday, May, 20, 2013: Notification on workshop paper submissions Thursday, May, 30, 2013: Camera-ready copy due to organizers August 3-4, 2013: M-PREF’13 Workshop * Workshop chairs: ---------------------- Markus Endres, University of Augsburg, Germany Souhila Kaci, Universite Montpellier 2, LIRMM, France K. Brent Venable, Tulane University and IHMC, USA Paolo Viappiani, CNRS & LIP6, Univ. Pierre et Marie Curie, France -- -------------------------------------- Souhila Kaci Professor University of Montpellier 2 LIRMM - UMR 5506 161 rue ADA F34392 Montpellier Cedex 5 France http://www2.lirmm.fr/~kaci/ --------------------------------------- From mpavone at dmi.unict.it Tue Jan 15 19:43:30 2013 From: mpavone at dmi.unict.it (Mario Pavone) Date: Tue, 15 Jan 2013 19:43:30 +0100 Subject: CfP ECAL 2013 - European Conference on Artificial Life - 2-6 September, 2013 Taormina, Italy Message-ID: <20130115194330.Horde.azoebOph4B9Q9aNSsep2ajA@mbox.dmi.unict.it> [Apologies if you receive multiple copies of this announcement.] [Please kindly help forward it to potentially interested attendees.] ===================== First CALL FOR PAPERS: ECAL 2013 ECAL 2013, European Conference on Artificial Life, an International Conference on the Simulation and Synthesis of Living Systems 2-6 September 2013, Taormina, Italy http://www.dmi.unict.it/ecal2013/ ===================== Artificial Life is an interdisciplinary undertaking that investigates the fundamental properties of living systems through the simulation and synthesis of biological entities and processes. It also attempts to design and build artificial systems that display properties of organisms, or societies of organisms, out of abiotic or virtual parts. Researchers are invited to submit original work in the field of artificial life, synthetic biology, living systems, and complex systems as papers of not more than 8 pages. Papers must be submitted as PDF files. The authors' names shall not be blinded for the reviewing process. Papers must be submitted in MIT Press style through the conference homepage: https://www.easychair.org/conferences/?conf=ecal2013 ** You are invited to submit papers (full and abstract) to this exciting event! ** Important Dates Call for Workshop Submission: January 31, 2013 Workshop Acceptance: February 15, 2013 Call for Tutorial Submission: January 31, 2013 Tutorial Acceptance: February 15, 2013 Paper Submission: February 28, 2013 Author Notification: May 1, 2013 Camera Ready Paper Submission: June 1, 2013 Early registration: June 25, 2013 Late registration: June 26 - September 6, 2013 On-Site registration: September 2-6, 2013 Registration as Presenting Author: June 25, 2013 Conference: September 2-6, 2013 PAPER/ABSTRACT FORMAT --------------------- Detailed information concerning the formatting guidelines, templates, online submission process, and proceedings can be found at http://www.dmi.unict.it/ecal2013/callpapers.php There are two options for submission: either *full paper* or *abstract*. Note that the format is exactly the same for both options. The only difference resides in the number of pages and type of contents: 1. Full papers have an *8-page* maximum length and should report on new, unpublished work 2. Abstracts are limited to a *2-page* length and should discuss work previously published in a journal. It is therefore essential that a reference to the previous article is clearly cited in the abstract. All submissions will be subject to peer review, and all accepted submissions will be allocated either an oral presentation slot or a poster slot with no distinction being made between the two submission options (full paper or abstract). PUBLICATION --------------------- Every accepted full-paper and abstract, which was submitted to the main conference (not the satellite workshops), will be published by MIT Press in a single online open-access proceedings volume. The top 10 accepted publications will have the opportunity to publish a revised and expanded version of their conference paper in the Artificial Life journal (TBC). LOCATION --------------------- The conference will be held at the Taormina http://www.dmi.unict.it/ecal2013/location.php. We look forward to seeing you in Taormina! Best wishes,  Pietro Lio', Orazio Miglino, Giuseppe Nicosia, Stefano Nolfi, and Mario Pavone - ECAL 2013 Chairs. -- 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 P.Novak at tudelft.nl Wed Jan 16 15:07:19 2013 From: P.Novak at tudelft.nl (Peter Novak) Date: Wed, 16 Jan 2013 15:07:19 +0100 Subject: EASSS-2013: Call for Tutorial Proposals Message-ID: <20130116140719.GX27800@aronde.net> [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 Bertram.Fronhoefer at tu-dresden.de Thu Jan 17 11:59:44 2013 From: Bertram.Fronhoefer at tu-dresden.de (=?ISO-8859-1?Q?Bertram_Fronh=F6fer?=) Date: Thu, 17 Jan 2013 11:59:44 +0100 Subject: European Master's Program in Computational Logic Message-ID: <50F7D9A0.3010803@tu-dresden.de> Dear all, I'd like to draw your attention to the fact that fresh Erasmus Mundus scholarships are available for Non-European AND European students who enroll in our European Master's Program in Computational Logic in the fall of 2013. The deadline for application is 31 January, 2013. More details are given below. In particular, I'd like to draw your attention to the fact that we are able to provide grants to EU-students for doing their project at the National ICT of Australia (NICTA). Please spread this information as wide as possible among friends and colleagues, at your old universities and the places, where you currently live and work. Many thanks -- Steffen ******************************************************************************************************* The European Master's Program in Computational Logic We are glad to announce to you the possibility to join our European Master's Program of Computational Logic. This program is offered jointly at the Free-University of Bozen-Bolzano in Italy, the Technische Universität Dresden in Germany, the Universidade Nova de Lisboa in Portugal and the Technische Universität Wien in Austria. Within this program you have the choice to study at two /three of the four European universities. In addition, you can do your project work at the National ICT of Australia (NICTA). You will graduate with a MSc in Computer Science and obtain a joint degree. Information on the universities and the program including the application procedure is provided here: http://www.emcl-study.eu/home.html Language of instruction is English. Tuition fees are 3.000 EUR (for non-European students) and 1.000 (for European students) per year. We would like to draw your attention to the ERASMUS-MUNDUS scholarship program. The ERASMUS-MUNDUS consortium offers 2-year scholarships up to 48.000 EUR for non-EU students and up to 23.000 EUR for EU students of our European Master's Program in Computational Logic. More information on the scholarship program is available from: http://www.emcl-study.eu/fileadmin/emcl_booklet_tree/ma_em_grant.html Do not hesitate to contact us if you have any further questions. Kind regards -- Steffen Hölldobler Prof. Dr. Steffen Hoelldobler International Center for Computational Logic Technische Universität Dresden 01062 Dresden, Germany phone: [+49](351)46 33 83 40 fax: [+49](351)46 33 83 42 email: sh at iccl.tu-dresden.de -- Dr.rer.nat.habil. Bertram Fronhöfer TU Dresden Department of Computer Science International Center for Computational Logic 01062 Dresden, Germany Tel.: +49 (0)351 463 39095 From math.semantic.web at gmail.com Fri Jan 18 13:41:18 2013 From: math.semantic.web at gmail.com (Christoph LANGE) Date: Fri, 18 Jan 2013 12:41:18 +0000 Subject: SePublica Semantic Publishing Workshop@ESWC (Montpellier 26-30 May); deadline 4 March Message-ID: <50F942EE.1000409@gmail.com> Call for Participation: Sepublica 2013 -an ESWC Workshop Machine-comprehensible Documents Bridging the Gap between Publications and Data. ** May 26-30, 2013, Montpelier, France. Workshop Web site: http://sepublica.mywikipaper.org/drupal/ *** Relevant dates *** Submission Deadline: March 4,2013 Acceptance Notification: April 1,2013 Camera-Ready: April 15,2013 *** Topics *** Publishing of scholarly works is on the cusp of great change. Data is now routinely published accompanied by or in some semantic form, but this is not the case for scholarly works. Advances in technology have made it possible for the scientific article to adopt electronic dissemination channels, from paper-based journals to purely electronic formats. Yet, despite the improvements in the distribution, accessibility and retrieval of information, little has really changed in the publishing of scholarly works compared to that of the data about which scholarly works are written. The availability of data and the open, digital form of scholarly works is leading to a drive to semantically enable scholarly works to make the works themselves more computationally useful as well as to link them intimately to the data about which they are written. Sepublica is a forum in which to discuss and present what is best and up and coming in semantic publishing. How are new technologies changing scholarly communication? How do we want scholarly communication to change? Where do we want it to go? Semantics, within publication workflows, is usually added post hoc, how could we support publications to be born semantic? At Sepublica we will discuss and present new ways of publishing, sharing, linking, and analyzing such scientific resources as well as reasoning over the data to discover new links and scientific insights. Sepublica is not, however, limited to the scientific domain; the humanities, cultural industries, news, commerce etc. all have published works that can benefit from semantic enhancement and data to which they can link; all are welcome. topics include, but are not limited to: * How could we realize a paper with an API? How could we have a paper as a database, as a knowledge base? * How is the paper an interface, gateway, to the web of data? How could such an interface be delivered in a contextual manner? * How are semantic scholarly works to be created? * How are news agencies adopting technologies in support of their publications? Has the delivered technology been adopted? What are the experiences from news agencies been so far? Lessons learnt. * How could semantic technologies be used to represent the knowledge encoded in scientific documents and in general-interest media publications? * Connecting scientific publications with underlying research data sets * What semantics and ontologies do we need for representing structural elements in a document? * Moving from the bibliographic reference to the full content within a linked environment? *** Call for Papers *** Sepublica 2013 is soliciting submissions of novel (not previously published nor concurrently submitted) research papers in the areas of the topics outlined above. The organizing committee is happy to discuss possible submissions with authors. Submissions will be welcome from a broad range ofapproaches to semantic publishing. We are particularly keen on submissions that are themselves examples of semantic publishing of scholarly works. LaTeX documents in the LNCS format can, e.g., be annotated using SALT or sTeX. We also invite submissions in XHTML+RDFa or in the format of YOUR semantic publishing tool. However, to ensure a fair review procedure, authors must additionally produce a narrative submitted as a PDF that is submitted as normal. Submission is via EasyChair (https://www.easychair.org/conferences/?conf=sepublica2013). Papers must formatted according to the LNCS format *** Submission Types *** 1. Full paper, 12 pages 2. Position paper, 5 pages. 3. Software demo papers, 2 pages 4. Late-breaking news, 1 page. *** Contact *** Please email sepublica2013 at easychair.org For any enquiries. *** Organizing Committee *** Alexander Garcia Castro, alexgarciac at gmail.com, Florida State University Christoph Lange, math.semantic.web at gmail.com, University of Birmingham Phillip Lord, phillip.lord at newcastle.ac.uk, University of Newcastle Robert Stevens, Robert.stevens at manchester.ac.uk, University of Manchester From marin.lujak at urjc.es Sun Jan 20 17:42:49 2013 From: marin.lujak at urjc.es (Marin Lujak) Date: Sun, 20 Jan 2013 17:42:49 +0100 Subject: RISS-WoW 2013 Robotic International Summer-School: Robots as Intelligent Social Systems Working in the Outer World Message-ID: <003f01cdf72d$30b3c850$921b58f0$@lujak@urjc.es> [apologies for cross posting] You are cordially invited to attend Second Robotic International Summer-school in Dubrovnik. Please forward this invitation also to the PhD, and post-doc students and researchers in the area of robotics, AI, and autonomous systems. Thank you! ************************************************************************ Second Robotic International Summer-School Robots as Intelligent Systems Working in the Outer World RISS-WOW 2013 to be held at Centre for Advanced Academic Studies (CAAS) in Dubrovnik, Croatia from 17th until the 22nd of June 2013 * http://www.roboschool.fsb.hr * ************************************************************************ ************************************************************************ *** ABOUT RISS-WoW 2013 *** ************************************************************************ RISS-WOW 2013 is the second Robotic International Summer-School which will be held in Dubrovnik, Croatia from the 17th until the 22nd of June 2013. The topic of this Summer-school edition is "Robots as Intelligent Social Systems Working in the Outer World" presented by internationally renowned lecturers. The Summer-School is distinguished by two additional sessions: a panel session organized as a round table discussion forum to help facilitate ideas between lecturers and students about the issues related with the Summer-school topic, and the PhD students poster session on the topic of "Robots as Intelligent Social Systems", with the best poster award by FESTO. We are inviting PhD and Post-doc students and researchers in the area of robotics, AI, and autonomous systems to apply for attendance. The participation is going to be guaranteed for 80 PhD and Post-doc students and researchers from all around the World with assigned 2 ECTS credits for attendance. The emphasis of the Summer-school RISS-WOW 2013 is on the robot agent cognitive capabilities and social intelligence needed for working in multi-robot teams and collectives with humans in dynamic unpredictable environments. To manifest such capabilities, robots need to recognize and "understand" the surrounding World and its relations. Inter-robot interaction and collaboration can be performed through different multi-agent collaboration and negotiation mechanisms. For human-robot interaction, we need above all cognitive robotics and social intelligence which will endow robots in showing necessary social characteristics and thus easier associate with humans in human-robot teams. Such a robot behavior is of particular importance in service robotics scenarios (e.g., robots as human assistants). Despite impressive examples of sensori-motor skills in the present-day robots and some examples of social interactions of robots with other robots or people, reaching human-like social intelligence still remains a big challenge. The scope of the RISS-WOW 2013 Summer-school is, therefore, to provide an interdisciplinary approach to the formerly mentioned topics in robotics. Conceptual frameworks and concrete FP7-ICT research projects will be presented in order to illustrate some of the latest results in the field. Furthermore, to enable networking, we provide: every day two long coffee breaks (30 minutes each); a lunchtime program of 1 hour and 20 minutes that leaves plenty time for chatting, evening social events: cocktail, dinner, city tour, and Summer-school's page on Facebook and Twitter. More info about the Summer-school on http://www.roboschool.fsb.hr ************************************************************************ *** IMPORTANT DATES*** ************************************************************************ Deadline for pre-registration: 24 February 2013 Deadline for early registration: 10 March 2013 Grant request deadline: 1 March 2013 Grant notification: 15 May 2013 Poster-paper submission deadline: 29 March 2013 Poster-paper notification: 1 May 2013 Teaching materials due: 1 May 2013 Summer school: 17 - 22 June 2013 ************************************************************************ *** CONTACT *** ************************************************************************ For all matters concerning the technical program of RISS-WoW 2013, please contact Summer-school Organizers: Bojan Jerbić, University of Zagreb, Croatia: bojan.jerbic at fsb.hr Marin Lujak, University Rey Juan Carlos, Spain: marin.lujak at urjc.es ************************************************************************ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From AAMAS_2013_Publicity_Chair at wenen.twi.tudelft.nl Mon Jan 21 11:34:39 2013 From: AAMAS_2013_Publicity_Chair at wenen.twi.tudelft.nl (AAMAS_2013_Publicity_Chair) Date: Mon, 21 Jan 2013 11:34:39 +0100 Subject: AAMAS 2013 doctoral consortium and student travel support Message-ID: <193dc3a679a760049369584dbb497380.squirrel@graphics.tudelft.nl> AAMAS 2013 (St. Paul, MN, May 6-10, 2013) invites students to apply for the doctoral consortium and/or student travel support. The Doctoral Consortium (May 6) will provide an opportunity for students to interact closely with established researchers, receive feedback on their work and advice on managing their careers. Travel funding is to enable graduate students to attend the conference. Priority will be given to authors of papers and to US students from underrepresented groups. Application Submission: February 11, 2013 Acceptance Notification: March 10, 2013 For details and to apply visit http://aamas2013.cs.umn.edu From tony.savarimuthu at otago.ac.nz Wed Jan 23 02:17:37 2013 From: tony.savarimuthu at otago.ac.nz (Tony Savarimuthu) Date: Wed, 23 Jan 2013 01:17:37 +0000 Subject: CFP: Special issue of AI & Society (on agent-based modelling, socio-technical systems, public policy, sustainability) Message-ID: [with apologies for multiple copies] ----------------------------------------------- CALL FOR PAPERS - SPECIAL ISSUE OF AI & SOCIETY ----------------------------------------------- Theme: agent-based modelling, socio-technical systems, public policy, sustainability Submissions due: 1 March 2013 AI & Society published by Springer Special Issue Theme and Topics of Interest ========================================== Socio-technical systems are complex adaptive entities in which social systems and technologies co-evolve. To attain policy goals in such an environment, social and technical elements must be put to use in a combined way, and in order to understand, analyze and design such complex combined systems, advanced tools are required. One of the major tools for understanding socio-technical systems is agent-based modelling. In recent years, social scientists from all domains, including economists, political scientists and sociologists, together with policy makers, have been using agent-based models to develop a better understanding of their problem domains and make better decisions. The theme of this special issue of AI & Society is agent-related research for policy domains. Relevant are agent-based approaches to topics in policy analysis, and integration of policies within agent systems. The special issue is motivated by the AMPLE workshop held at the ECAI 2012 conference (http://ample2012.tudelft.nl). By gathering different perspectives, the special issue aims to explore how agent-oriented research can be used or improved to assist policy making in the social sciences. Multi-disciplinary submissions are especially welcomed. Topics of particular interest for this special issue include, but are not limited to: * Rich cognitive agent models for policy design and analysis * Agent-oriented models for decision support: + Social networks: influence in decision making; representation; models for simulation + Culture and social norms: influence in decision making; representation; models for simulation + Participatory design for sustainable policies + Integration of normative and social aspects * Agent-based models and approaches for sustainability issues in public and private policy * Formal methods for specifying policies in coordination and organizational structures * Models for verification, validation and visualization of simulations for policy analysis * Tools and methods for implementing policies in agent-based systems * Connection of tools and methods for policy analysis (agent-based modelling, game theory, gaming, system dynamics) About the Journal AI & Society ============================== AI & Society: Knowledge, Culture and Communication, is an international journal, publishing refereed scholarly articles, position papers, debates, short communications and reviews of books and other publications. Established in 1987, the journal focuses on the issues of policy, design and management of information, communications and new media technologies, with a particular emphasis on cultural, social, cognitive, economic, ethical and philosophical implications. Rather than concentrate on technical aspects of information and communication systems, the journal emphasizes the need to understand the potential and consequences of using these powerful tools. Publisher: Springer Submission Process ================== Prospective authors are invited to prepare full papers according to the prescribed format: http://www.springer.com/computer/ai/journal/146 Submissions are made online: http://www.easychair.org/conferences/?conf=ample2012 Selected authors with an accepted paper in the AMPLE workshop at ECAI 2012 are requested to submit expanded and revised version of their papers, taking into full account the reviewers' comments and the discussion held during the workshop. Guest Editors: * Francien Dechesne, Delft University of Technology, The Netherlands, f.dechesne at tudelft.nl * Amineh Ghorbani, Delft University of Technology, The Netherlands, a.ghorbani at tudelft.nl * Tony Savarimuthu, University of Otago, New Zealand, tony.savarimuthu at otago.ac.nz * Neil Yorke-Smith, American University of Beirut, Lebanon, nysmith at aub.edu.lb We encourage potential authors to contact the editors to express their intention to submit a manuscript for the special issue, or for any questions they might have regarding scope. Note: The journal not does impose an upper limit on the length of submissions, but submissions should be concise, with length appropriate for their content. Important Dates =============== Paper Submission: 1 March 2013 Notification: 15 May 2013 Camera-ready submission: 31 July 2013 Target publication date: Winter 2014 ----------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: -------------- nächster Teil -------------- Ein eingebundener Text mit undefiniertem Zeichensatz wurde abgetrennt. Name: CFPspecialIssue_AI_and_Society.txt URL: From cossentino at pa.icar.cnr.it Mon Jan 28 14:34:39 2013 From: cossentino at pa.icar.cnr.it (Massimo Cossentino) Date: Mon, 28 Jan 2013 14:34:39 +0100 Subject: 1st International Workshop on Engineering Multi-Agent Systems (EMAS) - Deadline Postponed Message-ID: Aplogies for multiple copies ******************** DEADLINE POSTPONED (see below) ******************** ************************************************************************ 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 Abstract Submission (optional but warmly suggested): 30th January 2013 Paper submission deadline: 07th February 2013 (**deadline postponed**) 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 (DALT; Italy) Rafael Bordini (ProMAS; Brazil) Mehdi Dastani (ProMAS; Netherlands) Jürgen Dix (ProMAS; Germany) Amal El Fallah Seghrouchni* (ProMAS; France) Paolo Giorgini (AOSE; Italy) Jörg Müller (AOSE; Germany) M. Birna Van Riemsdijk (DALT; Netherlands) Tran Cao Son (DALT; USA) Gerhard Weiss (AOSE; Netherlands) Danny Weyns (AOSE; Sweden) Michael Winikoff* (DALT & AOSE; New Zealand). 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) Giancarlo Fortino (Uni. Calabria, Italy) 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) Felipe Meneguzzi (CMU, USA) 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 Novak (Czech TU, Czech Republic) Andrea Omicini (Bologna, Italy) Julian Padget (Uni. Bath, UK) Lin Padgham (RMIT, Australia) 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) Valeria Seidita (Palermo, Italy) Onn Shehory (IBM Haifa , Israel) Guillermo Ricardo Simari (Uni Nacional del Sur, Argentina) Tran Cao Son (New Mexico state, USA) Nikolaos Spanoudakis (Tech. Uni. Crete, Greece) Pankaj Telang (CISCO, USA) 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 bechir.zalila at enis.rnu.tn Mon Jan 28 20:10:36 2013 From: bechir.zalila at enis.rnu.tn (Bechir ZALILA) Date: Mon, 28 Jan 2013 20:10:36 +0100 (CET) Subject: WETICE'2013: Third Call for Papers (special issues and deadline extension) Message-ID: <20130128191036.37B8E102D1@mail.zalila.org> 22nd WETICE Conference: WETICE-2013 Hammamet, Tunisia June 17-20, 2013 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. 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. Programmed Special Issues: ========================== Several special issues of indexed journals are programed: - WETICE 2013: The Computer Journal http://comjnl.oxfordjournals.org/ - AROSA 2013: International Journal of Autonomous and Adaptive Communications Systems http://www.inderscience.com/jhome.php?jcode=ijaacs - PROMASC 2013: International Journal of Cloud Computing http://www.inderscience.com/jhome.php?jcode=ijcc - MADYNE 2013: International Journal of Enterprise Network Management http://www.inderscience.com/jhome.php?jcode=ijenm Important Dates =============== - Submission of papers to all tracks February 11, 2013 (extended, was February 1, 2013) - Notification to authors March 15, 2013 - Final papers to IEEE-CS March 29, 2013 - Paper author's registration deadline May 1, 2013 - WETICE-2013 Conference June 17-20, 2013 Submission: =========== Authors are invited to submit full papers (6 pages) or short papers (3 pages) of double column text using single spaced 10 point size on 8.5 x 11 inch pages, as per IEEE 8.5 x 11 manuscript guidelines (http://www.computer.org/portal/web/cscps/formatting). Authors must upload their paper as PDF file using the EasyChair submission system: https://www.easychair.org/account/signin.cgi?conf=wetice2013 After authentication, the author can select the track in which he will submit his paper. If any problem arises when submitting your paper, please contact: wetice2013 at redcad.org Each paper will be reviewed by at least three reviewers for ensuring high quality. 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 http://www.irit.fr/CSP2013/ 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 http://conf.laas.fr/MADYNE/ 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/ Contact: ======== For further information, please contact: Ahmed Hadj Kacem Department of Computer Science Faculty of Economics and Management of Sfax University of Sfax, Tunisia Address: B.P. 1088, 3018 Sfax, Tunisia Fax: +216 74 279 139 email: ahmed.hadjkacem at fsegs.rnu.tn From geoff at cs.miami.edu Tue Jan 29 16:21:32 2013 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Tue, 29 Jan 2013 10:21:32 -0500 (EST) Subject: CADE-24 Workshop CFPs Message-ID: <20130129152133.05B8C121493@mcclellan.cs.miami.edu> Call for Papers Workshops at CADE-24 -- Lake Placid, New York, 9-10 June, 2013 Short CFPs for the following CADE-24 workshops are attached: ADDCT - Automated Deduction: Decidability, Complexity, Tractability ARiSVe - Automated Reasoning in Software Verification ESARAI - Empirically Successful Automated Reasoning with AI KInAR - Knowledge Intensive Automated Reasoning PxTP - Proof Exchange for Theorem Proving StarExec For the following two CADE-24 workshops respective information will be distributed soon: Methods for Modalities (M4M), Automated Reasoning in Crypto-Protocol Analysis ===== ADDCT ========================================================== ADDCT - Automated Deduction: Decidability, Complexity, Tractability Decidability, and especially complexity and tractability of logical theories is extremely important for a large number of applications. Although general logical formalisms (such as predicate logic or number theory) are undecidable, decidable theories or decidable fragments thereof (sometimes even with low complexity) often occur in mathematics, in program verification, in the verification of reactive, real time or hybrid systems, as well as in databases and ontologies. It is therefore important to identify such decidable fragments and design efficient decision procedures for them. It is equally important to have uniform methods (such as resolution, rewriting, tableaux, sequent calculi, ...) which can be tuned to provide algorithms with optimal complexity. The goal of ADDCT is to bring together researchers interested in - identifying (fragments of) logical theories which are decidable, identifying fragments thereof which have low complexity, and analyzing possibilities of obtaining optimal complexity results with uniform tools; - analyzing decidability in combinations of theories and possibilities of combining decision procedures; - efficient implementations for decidable fragments; - application domains where decidability resp. tractability are crucial. Full Paper submission: March 26, 2013 Notification: April 26, 2013 Final versions: May 10, 2013 Workshop: June 10, 2013 More details: http://userpages.uni-koblenz.de/~sofronie/addct-2013/ ===== ARiSVe ========================================================= ARiSVe - Automated Reasoning in Software Verification The focus of the workshop is application of automated reasoning in the context of software verification, and, more generally, automation in software verification. Relevant topics include but are not limited to: - specifics of verification-related automated reasoning tasks; - efficient translation of high-level verification conditions to logical languages of automated reasoning tools; - handling of the prover's feedback: proofs, models, answer terms; - logical theories of interest for program verification, decision procedures, integration into existing ATP and SMT systems; - combination of automated and user-assisted verification; - tool presentations, tool comparisons, and benchmarks; - experience reports on verification of complex algorithms and real-life software with the use of automated reasoning tools. Invited speaker: K. Rustan M. Leino (Microsoft Research) Abstract submission deadline: March 8, 2013 Submission deadline: March 15, 2013 Notification: April 10, 2013 Camera ready versions due: May 10, 2013 Workshop: June 10, 2013 More details: http://arisve2013.lri.fr ===== ESARAI ========================================================= ESARAI - Empirically Successful Automated Reasoning with Artificial Intelligence The Empirically Successful Automated Reasoning with Artificial Intelligence (ESARAI) workshop will bring together two complementary groups of researchers: researchers in Automated Reasoning who employ Artificial Intelligence tools and techniques to support their automated reasoning research, and researchers in Artificial Intelligence who employ Automated Reasoning tools and techniques to support the artificial intelligence research. The workshop will offer mutually beneficial interactions, through the exposure of the two sides of the research to all. Additionally, the workshop will provide a focussed forum where the many interfaces between these two research fields can be presented and discussed. The workshop is soliciting research, position, applications and system description papers on combinations of AI and AR. Additionally, the workshop includes system and application demonstrations. Demonstrations of systems and applications described in paper presentations, and demonstrations of systems and applications without an accompanying paper, are both encouraged. Submission deadline - 22nd April Notification of acceptance - 13th May Final versions due - 20th May Workshop - 9th or 10th June More details: http://www.cs.miami.edu/~geoff/Conferences/ESARAI/ ===== KInAR ========================================================== KInAR - Knowledge Intensive Automated Reasoning Extensive digital sources of knowledge are becoming available, such as formal ontologies, databases, dictionaries and natural language reference works. Online sources like Wikipedia and IMDb, mathematical libraries like Mizar and various search engines and web services have gained widespread acceptance among the general population, but the sheer quantity of data can be an obstacle for human users. Automated reasoning (AR) systems have been advancing in their capabilities, and there is a growing interest in employing their deductive power to make digital knowledge more accessible. This poses challenges to AR research, but it is also a chance to bring AR into the public and to see large-scale usage of AR systems. In the KInAR workshop we aim to compile approaches to AR on large knowledge sources, and to aid the connections between researchers working on such projects. We invite submissions on any topics regarding KInAR, such as: - theoretical foundations: calculi for knowledge intensive reasoning, - knowledge corpora and their management, - extracting (semi-)formal knowledge from large informal corpora, - system descriptions of applications regarding the workshop topic, - benchmarking such systems, - robustness: reasoning despite flaws in digital knowledge, - combining knowledge from different sources. Submission deadline: 8 April 2013 Author notification: 2 May 2013 Camera-ready version: 9 May 2013 KInAR workshop: 10 June 2013 More details: http://userpages.uni-koblenz.de/~bpelzer/kinar2013 ===== PxTP =========================================================== PxTP - Proof Exchange for Theorem Proving The past decades have seen impressive advances in computer-aided reasoning, both in automated and interactive theorem proving. As shown by various system competitions, such as CASC, SMT-COMP, and the SAT competition, deduction tools are able to tackle larger problems progressively faster and are increasingly more applicable to a wider range of problems. In recent years, integration of such automated tools in larger verification environments has demonstrated the potential to reduce the amount of manual verification work. It is becoming clear that the success of deduction tools will not only depend on their power to solve large and difficult problems in an isolated manner, but it will also rely on their ability to cooperate, by exchanging problems, proofs, and models. The PxTP workshop aims at encouraging such cooperation by inviting contributions on various aspects of communication, integration, and cooperation between systems and formalisms. The workshop's mission is to facilitate building of complex reasoning applications and reuse of reasoning tools by developing and discussing suitable integration, translation and communication methods, standards, protocols, and application programming interfaces (APIs). The workshop would like to bring together the interested developers of automatic and interactive theorem proving tools, developers of combined systems, developers and users of translation tools and APIs, and producers of standards and protocols. Submission of papers: 11 April 2013 Notification: 2 May 2013 Camera-ready versions due: 9 May 2013 Workshop: 10 June 2013 More details: http://www.cs.ru.nl/pxtp13/cfp.txt ===== StarExec ======================================================= StarExec The StarExec project is an NSF funded project to design, implement, and operate StarExec, a web service designed for the comparative evaluation of logic solvers (automated theorem provers) on benchmark problems. The $1.85 million budget of the grant is mostly dedicated to purchasing and operating a medium-sized cluster of an anticipated 150 compute nodes, which will be used to run jobs submitted by users of the system. We anticipate users will be members of various logic-solving subcommunities of the broader automated theorem proving community The StarExec 2013 workshop will bring together logic-solving community leaders, logic solver competition organizers, StarExec power users, and the StarExec organizers, to discuss the current status of the StarExec project. The workshop will have four sessions: - A status report from the StarExec organizers, and a demonstration of StarExec as it has been developed by the time of the workshop. - Use of StarExec by the attendees, so they can get a feeling of how well the implementation will meet their solver evaluation needs. - A feedback session based on the use of StarExec. - A presentation by the StarExec organizers on the short and medium terms plans for development and use of StarExec. StarExec 2013 will not invite papers or general attendance. Rather, the workshop will be aimed specifically at the types of researchers described above, to maximize the positive impact on the development and use of StarExec. The NSF grant will provide travel, accomodation, and registration support for 20 participants, 10 from the USA and 10 from overseas. More details: http://clc.cs.uiowa.edu/starexec13/ From rseba at disi.unitn.it Tue Jan 29 19:19:49 2013 From: rseba at disi.unitn.it (Roberto Sebastiani) Date: Tue, 29 Jan 2013 19:19:49 +0100 Subject: Postdoc positions in SAT/SMT-based Verification available in Trento Message-ID: <20130129181949.GA23190@disi.unitn.it> --------------------------------------------------------------------------- [[[ We apologize if you receive multiple copies of this message ]]] --------------------------------------------------------------------------- -------------------------------------------------------------- PLEASE FORWARD THIS EMAIL TO WHOEVER YOU MAY THINK INTERESTED. -------------------------------------------------------------- One post-doc position in ICT on the research project "Advanced SMT Techniques for Word-level Formal Verification - (WOLF)" is available in Trento, Italy, under the joint supervision of - Alessandro Cimatti, FBK, Trento, and - Roberto Sebastiani, DISI, University of Trento. The research activity will be carried out jointly within the Embedded Systems (ES) Research Unit of the Center for Scientific and Technological Research of the Fondazione Bruno Kessler (FBK), Trento, and the Software Engineering, Formal Methods & Security Research Program, at Department of Information Engineering and Computer Science (DISI) of University of Trento. Aim and Scope ============= The research activity will aim at investigating and developing novel techniques, methodologies and support tools for Satisfiability Modulo Theories (SMT) for the formal verification of systems. This work will be part of the "Advanced SMT Techniques for Word-level Formal Verification - (WOLF)" project, a three-year research project supported by SRC/GRC (http://www.src.org/compete/s201113/), in strict collaboration with the Formal Verification Group at Intel, Haifa, and other major HW companies. The ultimate goal of the WOLF project is to provide a comprehensive SMT package to support effective formal verification of systems ranging from RTL circuits all the way up to high-level hardware description languages (e.g. SystemC) and software. The package will be implemented on top of the MathSAT SMT platform (http://mathsat.fbk.eu/), and provided as an API. Candidate Profile ================= The ideal candidate should have an PhD in computer science or related discipline, and combine solid theoretical background and excellent software development skills (in particular C/C++). A solid background knowledge and/or previous experience on one of the following topics (in order of preference) is required: Satisfiability Modulo Theory (SMT), Propositional Satisfiability (SAT), Model Checking, Automated Reasoning. Previous experience in the following areas will also be considered favourably: Constraint Solving and Optimization, Embedded Systems Design Languages (e.g. Verilog, VHDL). The candidate should be able to work in a collaborative environment, with a strong committment to reaching research excellence and achieving assigned objectives. Terms and dates =============== The position will start as soon as possible, and will have to be renewed yearly, for a maximum of two years. The expected salary will range from about 2200 to 2400 euros net income, and the gross will include previdential (social security) contributions. Facilities for meals at the local canteen can be provided. Applications and Inquiries ========================== Interested candidates should inquire for further information and/or apply by sending email to wolf-recruit at disi.unitn.it, with subject 'POSTDOC ON WOLF PROJECT'. Applications should contain a statement of interest, with a Curriculum Vitae, and the names of reference persons. PDF format is strongly encouraged. It should also indicate an estimated starting date. Contact Persons =============== Dr. ALESSANDRO CIMATTI, Embedded Systems Research Unit, FBK-Irst, via Sommarive 18, I-38123 Povo, Trento, Italy http://sra.fbk.eu/people/cimatti/, Prof. ROBERTO SEBASTIANI Software Engineering, Formal Methods & Security Research Program DISI, University of Trento, via Sommarive 14, I-38123 Povo, Trento, Italy http://disi.unitn.it/~rseba/. ======================================================================= The Embedded Systems Research Unit at FBK ========================================= The Embedded Systems Unit consists of about 15 persons, including researchers, post-Doc, Ph.D. students, and programmers. The Unit carries out research, tool development and technology transfer in the fields of design and verification of embedded systems. Current research directions include: * Satisfiability Modulo Theory, and its application to the verification of hardware, embedded critical software, and hybrid systems (Verilog, SystemC, C/C++, StateFlow/Simulink). * Formal Requirements Analysis based on techniques for temporal logics (consistency checking, vacuity detection, input determinism, cause-effect analysis, realizability and synthesis). * Formal Safety Analysis, based on the integration of traditional techniques (e.g. Fault-tree analysis, FMEA) with symbolic verification techniques. The Embedded Systems Unit is part of Fondazione Bruno Kessler, formerly Istituto Trentino di Cultura, a public research institute of the Autonomous Province of Trento (Italy), founded in 1976. The institute, through its center for the scientific and technological research, is active in the areas of Information Technology, Microsystems, and Physical Chemistry of Surfaces and Interfaces. Today, FBK is an internationally recognized research institute, collaborating with industries, universities, and public and private laboratories in Italy and abroad. The institute's applied and basic research activities aim at resolving real-world problems, driven by the need for technological innovation in society and industry. The SW Engineering, Formal Methods & Security Research Program at DISI ====================================================================== The SW Engineering, Formal Methods & Security R. P. at DISI currently consists on 5 faculties, various post-docs and PhD students. The Unit carries out research, tool development and technology transfer in the fields of Goal-Oriented Requirements Engineering, Agent-oriented SW engineering, Security, and Formal Methods. Referring to formal methods, current research directions include: * Satisfiability Modulo Theory, and its application to the verification of hardware, embedded critical software, and hybrid systems. * Optimization in SMT and its applications. * Advanced Model Checking Techniques for Formal Verification of hardware, embedded critical software, and hybrid systems. The R.P. is part of the Department of Information Engineering and Computer Science, DISI (http://disi.unitn.it/) of University of Trento. University of Trento in the latest years has always been rated among the top-three small&medium-size universities in Italy. DISI currently consists of 50 faculties, 68 research staff and support people, 21 postdocs and 146 Doctoral students, plus administrative and technical staff. DISI covers all the different areas of information technology (computer science, telecommunications, and electronics) and their applications. These disciplines above are studied individually but also with a strong focus on their integration, Location ======== Trento is a lively town of about 100.000 inhabitants, located 130 km south of the border between Italy and Austria. It is well known for the beauty of its mountains and lakes, and it offers the possibility to practice a wide range of sports. Trento enjoys a rich cultural and historical heritage, and it is the ideal starting point for day trips to famous towns such as Venice or Verona, as well as to enjoy great naturalistic journeys. Detailed information about Trento and its region can be found at http://www.trentino.to/home/index.html?_lang=en. From calimeri at mat.unical.it Wed Jan 30 09:25:17 2013 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Wed, 30 Jan 2013 09:25:17 +0100 Subject: *** FORTHCOMING DEADLINE*** [CfP] 4th *OPEN* Answer Set Programming Competition 2013 - CALL FOR PARTICIPANTS Message-ID: [apologies for any cross-posting] ************************* *** IMMINENT DEADLINE *** ************************* ........................................................................ 4th OPEN Answer Set Programming Competition 2013 Call for Participant Systems University of Calabria - Vienna University of Technology Fall/Winter 2012/2013 http://aspcomp2013.mat.unical.it/ aspcomp2013 at kr.tuwien.ac.at ........................................................................ The 4th Open Answer Set Programming (ASP) Competition is now in the Call for Participant Systems stage. +--------------------------------------------------------------------+ | The event is open to ASP systems and *any other* system based on a | | declarative specification paradigm. | +--------------------------------------------------------------------+ == Call for Participant Systems == Participants of the Answer Set Programming Competition will compete on a selected collection of benchmark problems, taken from a variety of benchmark problem domains as well as real world applications. These include, but are not limited to: * Classic and applicative graph problems * Scheduling, Timetabling, and other resource allocation problems * Sequential and Temporal Planning * Combinatorial Optimization Problems * Deductive database tasks on large data-sets * Puzzles and Combinatorics * Ontology reasoning * Automated Theorem Proving and Model Checking * Reasoning tasks over large propositional instances * Constraint Programming problems * Other AI problems The competition consists of two independent main tracks: * the Model & Solve Track invites any researcher and developer of declarative knowledge representation systems to participate in an open challenge for solving sophisticated AI problems with their tools of choice. Participants submit a solver based on an arbitrary input format and declarative specifications of the Competition's benchmark domains; * the System Track compares dedicated answer set solvers on ASP benchmarks. Participants compete with a solver for a standard ASP language. We encourage to submit parallel and portfolio systems exploiting multiple cores or multiple algorithms for solving the given instances. === About the Answer Set Programming Competition Series === Answer Set Programming is a well-established paradigm of declarative programming with close relationship to other declarative modelling paradigms and languages, such as SAT Modulo Theories, Constraint Handling Rules, FO(.), PDDL, CASC, and many others. The ASP Competition is a biannual event for evaluating declarative knowledge representation systems on hard and demanding AI problems. The 4th ASP Competition will be run in the first half of 2013 jointly at the University of Calabria (Italy) and the Vienna University of Technology (Austria). The event is the sequel to the ASP Competition series, held at the University of Potsdam (Germany) in 2006-2007, at the University of Leuven (Belgium) in 2009, and at University of Calabria (Italy) in 2011. The current competition takes place in cooperation with the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), where the results will be announced. The ASP competition is held as an open tournament. The "Model & Solve" competition track fosters the spirit of integration among communities, and is thus open to all types of solvers: ASP systems, SAT solvers, SMT solvers, CP systems, FOL theorem provers, Description Logics reasoners, planning reasoners, or any other. The "System" competition track is instead set up on a fixed language based on the answer set semantics. == Important Dates == * February 2nd, 2013: Participant registration deadline * March 1st, 2013: Participant system submission deadline * March 2nd, 2013: System freeze, the competition runs * September 15-19, 2013: Announcement of results and award presentation at LPNMR 2013 in Corunna, Spain For further information and submission instructions please visit the competition web site http://aspcomp2013.mat.unical.it/ or contact us by email: aspcomp2013 at kr.tuwien.ac.at From strass at informatik.uni-leipzig.de Wed Jan 30 14:19:54 2013 From: strass at informatik.uni-leipzig.de (=?ISO-8859-1?Q?Hannes_Stra=DF?=) Date: Wed, 30 Jan 2013 14:19:54 +0100 Subject: NRAC'13 Call for papers Message-ID: <51091DFA.60906@informatik.uni-leipzig.de> ====================================================================== IJCAI-2013 Workshop NRAC'13 Tenth International Workshop on Nonmonotonic Reasoning, Action and Change ====================================================================== 3-5 August, 2013, Beijng, China * Web site: http://innovation.it.uts.edu.au/nrac2013/ * First Call for Papers: ---------------------------------------------------------------------- The biennial Workshop on Nonmonotonic Reasoning, Action and Change (NRAC) is an established workshop with an active and loyal community. Since its inception in 1995, it has always been held in conjunction with IJCAI, each time with growing success. We invite submissions of research papers for presentation at NRAC 2013, a one-day workshop to be held in Beijing, China as part of the International Joint Conference on Artificial Intelligence (IJCAI-13) workshop program. An intelligent agent exploring a rich, dynamic world needs cognitive capabilities in addition to basic functionalities for perception and reaction. The abilities to reason nonmonotonically, to reason about actions and to change one's beliefs, have been identified as fundamental high-level cognitive functions necessary for common sense. Research in all three areas has made significant progress during the last two decades of the past century. It is, however, crucial to bear in mind the common goal of designing intelligent agents. Researchers should be aware of advances in all three fields since often advances in one field can be translated into advances in another. Many deep relationships have already been established. This workshop has the specific aim of promoting cross-fertilization. The interaction fostered by the biannual NRAC workshops has helped to facilitate solutions to the frame problem, ramification problem and other crucial issues on the research agenda. Much recent research into reasoning about actions has been devoted to the design and implementation of languages and systems for Cognitive Robotics. Successful case studies demonstrate the applicability of these results for furnishing autonomous robots with high-level cognitive capabilities that enable plan-oriented behavior. Advancing the field of Cognitive Robotics, current research in reasoning about actions focuses on two crucial aspects of robots acting in open, real-world environments: Reasoning about knowledge and belief, and dealing with a challenge known as the qualification problem. Autonomous, mobile robots choose most of their actions conditioned on the state of their environment. As their information about the world state is generally limited, robots are equipped with sensors for the purpose of acquiring information about the external world. The use of sensing actions is often an integral part of a successful plan, and in order to devise these plans robots need an explicit representation of what they believe the world looks like and how sensing affects their beliefs. Moreover, the execution of a plan needs to be constantly monitored and beliefs have to be revised in accordance with new observations. One goal of the workshop is to bring together researchers from the two areas of reasoning about actions and theory change, in order to join their effort of developing theories and designing systems for intelligent use of sensors and belief revision. Intelligent agents acting in open environments inevitably face the qualification problem, that is, the executability of an action can never be predicted with absolute certainty; unexpected circumstances, albeit unlikely, may at any time prevent the agent from performing an intended action. Planning and acting under this proviso requires the agent to rigorously assume away, by default, all of the numerous possible but unlikely qualifications of their actions, lest the agent be unable to devise plans which, although not guaranteed of success, are perfectly reasonable. Assuming away unlikely but not impossible qualifications means that, if to the surprise of the agent an action actually fails, then the default conclusion should no longer be adhered to. In this respect the entire process is intrinsically nonmonotonic, which shows the increasing importance of pursuing the interrelation between reasoning about actions and nonmonotonic reasoning. Comparing and contrasting our current formalisms for nonmonotonic reasoning, reasoning about action and belief revision helps identify the strengths and weaknesses of the various methods available. It is an important activity that allows researchers to evaluate the state-of-the-art. Indeed a significant advantage of using logical formalisms as representation schemes is that they facilitate the evaluation process. Moreover, following the initial success, more complex real-world applications are now within reach. An implementational testbed is a primary means by which existing theories of nonmonotonic reasoning, action and change are evaluated. Experimentation with prototype implementations not only helps to identify obstacles that arise in transforming theoretical solutions into operational solutions, but also highlights the need for the improvement of existing formal integrative frameworks for intelligent agents at the ontological level. This workshop will bring together researchers from all three areas with the aim to: Compare and evaluate existing formalisms. Report on new developments. Identify the most important open problems in all three areas. Identify possibilities of solution transferral between the areas. Identify important challenges for the advancement of the areas. This workshop at IJCAI-2013 will provide a unique opportunity for researchers from all three fields to be brought together at a single forum with the prime objective to communicate important recent advances in each field and exchange ideas. As these fundamental areas mature it is vital that researchers maintain a dialogue through which they can cooperatively explore common links. The workshop's goal will be to work against the tendency of these rapidly advancing fields to drift apart. * Special theme This year's special theme is the qualification problem. That is, we especially encourage submissions that deal with any aspect of the fundamental problem of assuming away by default unexpected circumstances preventing the successful execution of an action. These aspects include, but are not limited to: - New technical solutions for (aspects of) the qualification problem. - Comparison of existing approaches to the qualification problem. - The distinction between endogenous and exogenous qualifications, that is, those that can be explained within the theory vs. those that the theory can accommodate but not explain. - The distinction between strong and weak qualifications, that is, circumstances that prevent an action from being executed altogether vs. circumstances that prevent an action from producing a desired effect. * Important Dates (tentative): ---------------------------------------------------------------------- 19 April, 2013 - submission deadline 20 May, 2013 - author notification 7 June, 2013 - final versions due Paper submission is managed through EasyChair, for details see the workshop web site. * Workshop co-chairs: ---------------------------------------------------------------------- Jianmin Ji, University of Science and Technology of China Hannes Strass, Leipzig University, Germany Xun Wang, University of Technology, Sydney, Australia ====================================================================== From schmidt at cs.man.ac.uk Wed Jan 30 16:14:59 2013 From: schmidt at cs.man.ac.uk (Renate Schmidt) Date: Wed, 30 Jan 2013 15:14:59 +0000 Subject: FroCoS 2013 Second Call for Papers Message-ID: <20130130151459.43D394D62A3@cspc036.cs.man.ac.uk> SECOND CALL FOR PAPERS FroCoS 2013 9th International Symposium on Frontiers of Combining Systems Nancy, France September 18-20, 2013 Submission Deadlines: 15 Apr 2013 (Abs.), 22 Apr 2013 (Paper) http://frocos2013.loria.fr/ GENERAL INFORMATION The 9th International Symposium on Frontiers of Combining Systems will be held in Nancy, France, from 18-20 September 2013. The aim of the conference is to publish and promote progress in research areas requiring the development of general techniques and methods for the combination and integration of special, formally defined systems, as well as for the analysis and modularization of complex systems. FroCos 2013 will be co-located with the 22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2013) held 16-19 September 2013. A joint invited speaker and joint session is planned. SCOPE OF CONFERENCE: In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, knowledge representation, and automated reasoning, there is an obvious need for using specialized formalisms and inference mechanisms for special tasks. To be usable in practice, these specialized systems must be combined with each other, and must be integrated into general purpose systems. This has led in many research areas to the development of general techniques and methods for the combination and integration of special, formally defined systems, as well as for the analysis and modularization of complex systems. The International Symposium on Frontiers of Combining Systems (FroCoS) traditionally focusses on these types of research questions and activities. Like its predecessors, FroCoS 2013 seeks to offer a common forum for research in the general area of combination, modularization and integration of systems, with emphasis on logic-based ones, and of their practical use. Typical topics of interest include (but are not limited to): * combinations of logics such as combined higher-order, first-order, temporal, modal, or other non-classical logics; * combinations and modularity in ontologies; * combination of decision procedures, of satisfiability procedures, of constraint solving techniques or of logical frameworks; * combination and integration methods in SAT and SMT solving; * combinations and modularity in term rewriting; * integration of equational and other theories into deductive systems; * combination of deduction systems and computer algebra; * integration of data structures into constraint logic programming and deduction; * hybrid methods for deduction, resolution and constraint propagation; * hybrid systems in knowledge representation and natural language semantics; * combined logics for distributed and multi-agent systems; * logical aspects of combining and modularizing programs and specifications. INVITED SPEAKERS: Stephane Demri LSV, CNRS & ENS de Cachan (joint invited talk with TABLEAUX 2013) Konstantin Korovin The University of Manchester Joel Ouaknine Oxford University Larry Paulson University of Cambridge PUBLICATION DETAILS: The proceedings of the conference will be published in the Springer LNAI/LNCS series. PAPER SUBMISSIONS The program committee seeks high-quality submissions describing original work, written and to be presented in English, not substantially overlapping with published or simultaneously submitted work to a journal or conference with archival proceedings. Selection criteria include accuracy and originality of ideas, clarity and significance of results, and quality of presentation. The page limit in Springer LNCS style is 16 pages. Papers must be edited in LaTeX using the llncs style and must be submitted electronically as PDF files via the EasyChair system: https://www.easychair.org/conferences/?conf=frocos2013. For each accepted paper, at least one author is required to attend the symposium to present the work. Prospective authors must register a title and an abstract a week before the paper submission deadline. Further information about paper submissions will be available at the conference website. IMPORTANT DATES 15 Apr 2013 Abstract submission 22 Apr 2013 Paper submission 6 Jun 2013 Notification of paper decisions 4 Jul 2013 Camera-ready papers due 18-20 Sep 2013 FroCoS Conference PROGRAM COMMITTEE Carlos Areces, FaMAF - Universidad Nacional de Cordoba, Argentina Alessandro Artale, Free University of Bolzano-Bozen, Italy Franz Baader, TU Dresden, Germany Clark Barrett, New York University, USA Peter Baumgartner, National ICT Australia, Canberra, Australia Christoph Benzmueller, Free University Berlin, Germany Jasmin Christian Blanchette, TU Muenchen, Germany Thomas Bolander, Technical University of Denmark Clare Dixon, University of Liverpool, UK Francois Fages, INRIA Rocquencourt, France Pascal Fontaine, LORIA, INRIA, University of Lorraine, France Didier Galmiche, LORIA, University of Lorraine, France Vijay Ganesh, University of Waterloo, Canada Silvio Ghilardi, Universita degli Studi di Milano, Italy Guido Governatori, National ICT Australia, Queensland, Australia Bernhard Gramlich, Technische Universitaet Wien, Austria Katsumi Inoue, National Institute of Informatics, Japan Sava Krstic, Intel, USA Alessio Lomuscio, Imperial College London, UK Till Mossakowski, DFKI & University of Bremen, Germany Silvio Ranise, Fondazione Bruno Kessler, Italy Christophe Ringeissen, LORIA, INRIA, France Philipp Ruemmer, Uppsala University, Sweden Renate Schmidt, The University of Manchester, UK Roberto Sebastiani, DISI, University of Trento, Italy Viorica Sofronie-Stokkermans, University Koblenz-Landau, Germany Andrzej Szalas, Linkoepings Universitet, Sweden & University of Warsaw, Poland Rene Thiemann, University of Innsbruck, Austria Ashish Tiwari, SRI, USA Josef Urban, Radboud University, The Netherlands Christoph Weidenbach, Max-Planck-Institut fuer Informatik, Germany Frank Wolter, University of Liverpool, UK CONFERENCE CHAIR Christophe Ringeissen, LORIA, INRIA, France PC CHAIRS Pascal Fontaine, LORIA, INRIA, University of Lorraine, France Renate A. Schmidt, The University of Manchester, UK From galk at cs.biu.ac.il Thu Jan 31 10:38:08 2013 From: galk at cs.biu.ac.il (Gal Kaminka) Date: Thu, 31 Jan 2013 11:38:08 +0200 Subject: 2nd Call for Papers, Feb 9 deadline: Workshop on Autonomous Robots and Multirobot Systesm 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 ----------------------------------------------------------------- ** Note fast-track review process for AAMAS short papers, below ** Important Dates --------------- Paper submission deadline: Feb 9, 2013 <<-- Note new deadline Notification of acceptance: March 1, 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. Papers do not have to be anonymized: We do not follow a double-blind review process. Fast-track Review process ------------------------- As part of our close coordination with the AAMAS robotics track, we offer a fast-track review process to papers that have been accepted as "short papers" (extended abstracts) to the AAMAS conference, in the robotics track or with a robotics keyword. For such papers, please include the original AAMAS paper number with the submission. 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) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mzanetti at ethz.ch Thu Jan 31 10:54:10 2013 From: mzanetti at ethz.ch (Marcelo Serrano Zanetti) Date: Thu, 31 Jan 2013 07:54:10 -0200 Subject: CfP: SASO2013 - 7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems In-Reply-To: <5109134D.5070001@iiia.csic.es> References: <5109134D.5070001@iiia.csic.es> Message-ID: <510A3F42.9070300@ethz.ch> ************************************************************************************************************ CALL FOR PAPERS Seventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2013) Philadelphia (PA), USA; 9-13 September 2013 --- https://www.cs.drexel.edu/saso2013/ ************************************************************************************************************ ------------------- Aims and Scope ------------------- The aim of the Self-Adaptive and Self-Organizing systems conference series (SASO) is to provide a forum for the foundations of a principled approach to engineering systems, networks and services based on self-adaptation and self-organization. The complexity of current and emerging networks, software and services, especially in dealing with dynamics in the environment and problem domain, has led the software engineering, distributed systems and management communities to look for inspiration in diverse fields (e.g., complex systems, control theory, artificial intelligence, sociology, and biology) to find new ways of designing and managing such computing systems. In this endeavour, self-organization and self-adaptation have emerged as two promising interrelated approaches. Many significant research problems exist related to self-adaptive or self-organizing systems. A challenge in self-adaptation is often to identify how to change specific behavior to achieve the desired improvement. Another major challenge is to predict and control the global system behavior resulting from self-organization. Yet more challenges arise from the confluence of self-adaptation with self-organization. For instance, how do self-* mechanisms that work well independently operate in combination? How are meso-level structures formed which leverage micro-level behavior to achieve desirable macro-level outcomes, and avoid undesirable ones? The seventh edition of the SASO conference embraces the inter-disciplinarity and the scientific, empirical and application dimensions of self-* systems; it thus aims to attract participants with different backgrounds, to foster cross-pollination between research fields, and to expose and discuss innovative theories, frameworks, methodologies, tools, and applications. SASO welcomes novel results on both self-adaptive and self-organizing systems research It seeks to emphasize the interconnection of basic research between and within fields, and the increasing protrusion of self-* systems into the human sphere, evaluating their impact on society, environmental sustainability, commerce, living/working spaces and critical infrastructure. Therefore contributions are welcomed that: apply self-* principles to solve real-world problems; unpick the entanglement of self-* systems and human users in socio-technical systems; present advances in self-* mechanisms or analyses with potentially broad application; investigate the combination and interconnection of self-* mechanisms; and/or identify and evaluate new self-* principles or mechanisms from the study of natural or engineered systems. Contributions must present novel theoretical or experimental results, or practical approaches and experiences in building or deploying real-world systems, applications, tools, frameworks, etc. Contributions contrasting different approaches for engineering a given family of systems, or demonstrating the applicability of a certain approach for different systems, are equally encouraged. Where relevant and appropriate, accepted papers will also be encouraged to submit accompanying papers for the Demo or Poster Sessions. -------------------- Important Dates -------------------- Abstract submission May 3, 2013 Paper submission May 10, 2013 Notification June 21, 2013 Camera ready copy due July 19, 2013 Early registration August 21, 2013 Conference September 9-13, 2013 ----------------------- Topics of Interest ----------------------- The topics of interest to SASO include, but are not limited to: - Self-* systems theory: theoretical frameworks and models; biologically- and socially-inspired paradigms; inter-operation of self-* mechanisms; - Self-* systems engineering: hardware, software and middleware development frameworks and methods, platforms and toolkits; self-* materials; - Self-* system properties: robustness, resilience and stability; emergence; computational awareness and self-awareness; reflection; - Self-* cyber-physical and socio-technical systems: human factors and visualization; self-* social computers; crowdsourcing and collective awareness; - Applications and experiences of self-* systems: cyber security, transportation, computational sustainability, big data and creative commons, power systems. ---------------------------- Submission Instructions ---------------------------- All submissions should be 10 pages and formatted according to the IEEE Computer Society Press proceedings style guide and submitted electronically in PDF format. Please register as authors and submit your papers using the SASO 2013 conference management system. The proceedings will be published by IEEE Computer Society Press, and made available as a part of the IEEE digital library. Note that a separate call for poster submissions has also been issued. -------------------- Review Criteria -------------------- Papers should present novel ideas in the cross-disciplinary research context described in this call, clearly motivated by problems from current practice or applied research. We expect both theoretical and empirical contributions to be clearly stated, substantiated by formal analysis, animation or simulation, experimental evaluations, comparative studies, and so on. Appropriate reference must be made to related work. Because SASO is a cross-disciplinary conference, papers must be intelligible and relevant to researchers who are not members of the same specialized sub-field. Authors are also encouraged to submit papers describing applications. Application papers are expected to provide an indication of the real world relevance of the problem that is solved, including a description of the deployment domain, and some form of evaluation of performance, usability, or comparison to alternative approaches. Experience papers are also welcome but they must clearly state the insight into any aspect of design, implementation or management of self-* systems which is of benefit to practitioners and the SASO community ------------------- Program Chairs ------------------- Tom Holvoet KU Leuven, Belgium Jeremy Pitt Imperial College London, England Ichiro Satoh National Institute of Informatics, Tokyo, Japan