From frank.loebe at informatik.uni-leipzig.de Sat Sep 1 05:51:25 2012 From: frank.loebe at informatik.uni-leipzig.de (Frank Loebe) Date: Fri, 31 Aug 2012 20:51:25 -0700 Subject: OBML 2012: Accepted Papers / Call for Participation (4th Workshop on Ontologies in Biomedicine and Life Sciences, Sep 27-28, Dresden, Germany) Message-ID: <002601cd87f5$0fa4faa0$2eeeefe0$@informatik.uni-leipzig.de> (apologies for cross-posting) ... (please distribute) ------------------------------------------------------- Call for Participation (incl. list of accepted papers) >> OBML 2012 << Sep 27-28, Dresden, Germany [1] https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2012 ------------------ Fourth Workshop of Ontologies in Biomedicine and Life Sciences (OBML 2012) Goals of OBML ------------- The workshop series on "Ontologies in Biomedicine and Life Sciences" (OBML workshop) was initiated by the working group for OBML of the German Society for Computer Science in 2009. The OBML workshop aims to bring together scientists who are working on all areas of ontologies applied to biomedicine and the life sciences to exchange ideas, discuss new results, start collaborations and to initiate new projects. The OBML workshop is held annually and deals with all aspects of biomedical ontologies as well as additional "hot" topics. This year's "hot" topic is the representation of physiology. Physiology is the science of the functions and functionings of biological systems, and significant resources have been invested in biology and medicine to describe and simulate physiological processes. In particular, researchers in systems biology and systems medicine have generated a large number of computational models to predict the outcome of physiological processes on a sub-cellular, cellular, tissue and organ-level scale, and projects such as the Virtual Physiological Human aim to extend this work further and create a computational model of human physiology. While ontologies are now widely applied to integrate biomedical data in many domains, the complexity of the physiology domain has limited the success of ontologies so far. Invited Speakers ---------------- Francisco Couto (Universidade de Lisboa) "Semantic Similarity in Biomedical Ontologies: measurement, assessment and applications" Michael Schroeder (Technical University Dresden) George Gkoutos (University of Cambridge) [titles to be announced] List of Accepted Papers ----------------------- * Tissue Motifs and Multi-scale Transport Physiology Bernard De Bono, Paul Kasteleyn, Dome Potikanond, Natallia Kokash, Fons Verbeek and Pierre Grenon. * Developing an Ontology for Sharing Biobank Data based on the BBMRI Minimum Data Set MIABIS Mathias Brochhausen, Martin N. Fransson, Mikael Eriksson, Roxana Merino-Martinez, Loreana Norlin, Sanela Kjellqvist, Maria Anderberg, William R. Hogan and Jan-Eric Litton. * PhysioMaps of Physiological Processes and their Participants Daniel Cook, Maxwell Neal, Robert Hoehndorf, Georgios Gkoutos and Gennari John. * OWL Representation of the Anatomical Therapeutic Chemical Classification System and Mapping to DrugBank Samuel Croset, Robert Hoehndorf and Dietrich Rebholz-Schuhmann. * Comparing closely related, semantically rich ontologies: The GoodOD Similarity Evaluator Niels Grewe, Daniel Schober and Martin Boeker. * Using Ontologies to Study Cell Transitions Ludger Jansen, Georg Fuellen, Ulf Leser and Andreas Kurtz. * Function of Bio-Models: Linking Structure to Behaviour Christian Knuepfer and Clemens Beckstein. * Enrichment analysis applied to disease prognosis Catia M. Machado, Ana T. Freitas and Francisco M. Couto. * Automatically transforming pre- to post-composed phenotypes: EQ-lising HPO and MP Anika Oellrich, Christoph Grabmueller and Dietrich Rebholz-Schuhmann. * Functions, roles and dispositions revisited Johannes Roehl and Ludger Jansen. * ZooAnimals.owl: A didactically sound example-ontology for teaching description logics in OWL 2 Daniel Schober, Niels Grewe, Johannes Röhl and Martin Boeker. * The mouse pathology ontology: MPATH Paul Schofield, John Sundberg, Beth Sundberg, Colin McKerlie and George Gkoutos. Registration ------------ Detailed registration information is provided on [1], section "Registration". The registration deadline is September 20, 2012, the workshop dates are September 27-28, 2012. Every participant is charged a contribution towards expenses of 25,- EUR for catering during the breaks of both days, excluding lunch and dinner, and for printing costs of the workshop proceedings. Location -------- The OBML Workshop 2012 will take place in Dresden, Germany, at the Biotechnology Center of the Technical University [2]. Organization ------------ Robert Hoehndorf (chair) Martin Boeker (program chair) Heinrich Herre (program chair) Frank Loebe (co-organizer) Local Organization ------------------ Michael Schroeder (Biotechnology Center, Technical University Dresden) For the program committee, please see [1]. Links ----- [1] Workshop website https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2012 [2] http://www.biotec.tu-dresden.de/ From aow at csir.co.za Tue Sep 4 11:52:08 2012 From: aow at csir.co.za (AOW) Date: Tue, 4 Sep 2012 11:52:08 +0200 Subject: First Call for Papers: AOW@AI2012 Message-ID: <6D271A65-3067-4000-A97E-B12457A1E166@csir.co.za> Apologies for cross postings -------------------------------------- 8th Australasian Ontology Workshop (AOW 2012) 4 December 2012 Held in Conjunction with the 25th Australasian Joint Conference on Artificial Intelligence (AI2012) Sydney, Australia http://aow2012.yolasite.com/ email: aow at csir.co.za AOW 2012 is the eighth in a series of workshops on ontologies held in the Australasian region. For the fourth year running, AOW 2012 will have a best paper award, with a prize of $250(AUD) being awarded to the author(s) of the best paper. The primary aim of the workshop is to bring together active researchers in the broad area of ontologies. Topics of interest include, but are not limited to: - Ontology models and theories - Ontologies and the Semantic Web - Interoperability in ontologies - Ontologies and Multi-agent systems - Description logics for ontologies - Reasoning with ontologies - Ontology harvesting on the web - Ontology of agents and actions - Ontology visualisation - Ontology engineering and management - Ontology-based information extraction and retrieval - Ontology merging, alignment and integration - Web ontology languages - Formal concept analysis and ontologies - Ontologies for e-research - Linking open data - Significant ontology applications Important Dates: Submission of papers: 10 October 2012 Notification of acceptance/rejection: 12 November 2012 Final camera ready copies: 23 November 2012 Workshop date: 4 December 2012 Papers must be submitted via the EasyChair system at: http://www.easychair.org/conferences/?conf=aow20120 For submission instructions: see the AOW website at http://aow2012.yolasite.com/ For enquiries or more information, the workshop email address is aow at csir.co.za Workshop Chairs: Aurona Gerber (CAIR, South Africa) Tommie Meyer (CAIR, South Africa) Mehmet Orgun (Macquarie University) Kerry Taylor (CSIRO ICT Centre, Australia Program Committee: Franz Baader, TU Dresden, Germany Arina Britz, CAIR, South Africa Giovanni Casini, CAIR, South Africa Werner Ceusters, SUNY at Buffalo, USA Michael Compton, CSIRO, Australia Oscar Corcho, Universidad Politécnica de Madrid, Spain Atilla Elci, Süleyman Demirel University, Turkey R. Cenk Erdur, Ege University, Turkey Peter Fox, TWC/RPI, Canada Manolis Gergatsoulis, Ionian University, Greece Tudor Groza, University of Queensland, Australia Armin Haller, DERI, Galway, Ireland Bo Hu, SAP Research, UK C. Maria Keet, CAIR, South Africa Anees Krishna, Curtin University, Australia Kevin Lee, NICTA and UNSW, Australia Laurent Lefort, CSIR ICT Centre, Australia Yuan-Fang Li, Monash University, Australia Constantine Mantratzis, University of Westminster, UK Deshen Moodley, CAIR, South Africa Maurice Pagnucco, UNSW, Australia Jeff Pan, University of Aberdeen, UK Debbie Richards, Macquarie University, Australia Rolf Schwitter, Macquarie University, Australia Barry Smith, SUNY Buffalo, USA Markus Stumptner, University of South Australia, Australia Vijayan Sugumaran, Oakland University, USA Boontawee Suntisrivaporn, Sirindhorn International Insitute of Technology, Thailand Sergio Tessaris, Free University of Bozen-Bolzano, Italy Nwe Ni Tun, National University of Singapore, Singapore Ivan Varzinczak, CAIR, South Africa Kewen Wang, Griffith University, Australia Levent Yilmaz, Auburn University, USA Antoine Zimmermann, École des Mines de Saint-Étienne, France -- This message is subject to the CSIR's copyright terms and conditions, e-mail legal notice, and implemented Open Document Format (ODF) standard. The full disclaimer details can be found at http://www.csir.co.za/disclaimer.html. This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean. Please consider the environment before printing this email. From oshanis at gmail.com Tue Sep 4 16:55:44 2012 From: oshanis at gmail.com (Oshani Seneviratne) Date: Tue, 4 Sep 2012 10:55:44 -0400 Subject: ISWC 2012 Call for Participation -- Early registration deadline approaching! Message-ID: ISWC 2012 - 11th International Semantic Web Conference November 11-15, 2012 Boston MA EARLY REGISTRATION DEADLINE: September 10, 2012 http://iswc2012.semanticweb.org/registration ------------------------------------------------------------------------------------------------ ISWC is the major international forum where the latest research results and technical innovations on all aspects of the Semantic Web are presented. ------------------------------------------------------------------------------------------------ ISWC 2012 offers an exciting research program which includes: Keynote presentations from: Tom Malone - Massachusetts Institute of Technology (MIT), US Jeanne Holm - data.gov Mark Musen - Stanford University Nigel Shadbolt - Southampton University Cutting edge research in Semantic Web presented in the Research track and in the Semantic Web In-Use track. The conference has 20 Workshops, 9 Tutorials, presentations from the industry, demos and posters. Please have a look at the complete program at: http://iswc2012.semanticweb.org/program ISWC 2012 will take place in Boston MA. The conference will be held at the The Boston Park Plaza Hotel & Towers. http://iswc2012.semanticweb.org/venue Student Travel Awards Travel awards are available for students wishing to attend ISWC 2012. The deadline for receiving applications and advisor letters is Sept. 16, 2012 and applicants will be notified of award decisions by Oct. 1st, 2012. See the travel award page for details: http://iswc2012.semanticweb.org/student-travel-awards Information about visa and letter of invitation is available at: http://iswc2012.semanticweb.org/visa-information You can email ISWC 2012 at iswc2012oc at googlegroups.com for any inquiries and follow us on Twitter @iswcboston for updates on the conference. We look forward to seeing you at ISWC 2012 in Boston! From calimeri at mat.unical.it Tue Sep 4 18:57:30 2012 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Tue, 4 Sep 2012 18:57:30 +0200 Subject: 4th *OPEN* Answer Set Programming Competition 2013 - EXTENDED DEADLINE - New Call for benchmarks Message-ID: [apologies for any cross-posting] ........................................................................ 4th OPEN Answer Set Programming Competition 2013 Call for Benchmark Problems University of Calabria - Vienna University of Technology Fall/Winter 2012/2013 http://aspcomp2013.mat.unical.it/ ........................................................................ The 4th Open Answer Set Programming Competition is open to ASP systems and *any other system* based on a declarative specification paradigm. The event is currently finalizing its Call for Benchmarks stage. == Call for Benchmark Problems == Participants will compete on a selected collection of declarative specifications of benchmark problems, taken from a variety of domains as well as real world applications, and instances thereof. These include, but are not limited to: - Deductive database tasks on large data-sets - Sequential and Temporal Planning - Classic and Applicative graph problems - Puzzles and Combinatorics - Scheduling, Timetabling, and other resource allocation problems - Combinatorial Optimization Problems - Ontology reasoning - Automated Theorem Proving and Model Checking - Reasoning tasks over large propositional instances - Constraint Programming problems - Other AI problems We encourage to provide help by proposing and/or devising new challenging benchmark problems. The submission of problems arising from applications of practical impact are strongly encouraged; problems used in the former ASP Competitions, or variants thereof, can be re-submitted. Benchmark authors are expected to produce a problem specification and an instance set (or a generator thereof). The detailed benchmark problems submission procedure is available at: http://www.mat.unical.it/aspcomp2013/BenchmarkSubmission. === About the ASP Competition Series === Answer Set Programming is a well-established paradigm of declarative programming with close relationship to other declarative modeling paradigms and languages, such as SAT Modulo Theories, Constraint Handling Rules, FO(.), PDDL, CASC, and many others. Since the first informal editions (Dagstuhl 2002 and 2005), ASP systems compare themselves in the nowadays customary ASP Competition: the 4th ASP Competition will be run jointly at the University of Calabria (Italy) and the Vienna University of Technology (Austria), in the first half of 2013. 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 13th 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 == * Problem selection stage - Problem submission deadline: Sep 20th, 2012 (*EXTENDED*) * Competition stage - "Model & Solve" submission deadline: Mar 1st, 2013 - "System" submission deadline: Mar 1st, 2013 * Sep 15-19th, 2013 - Announcement of results and awards at LPNMR 2013 - Corunna, Spain == Further Information == For further information please visit the competition web site: http://aspcomp2013.mat.unical.it/ or contact us by email: aspcomp2013 at kr.tuwien.ac.at. From sebastian.sardina at rmit.edu.au Wed Sep 5 01:12:51 2012 From: sebastian.sardina at rmit.edu.au (Sebastian Sardina) Date: Wed, 5 Sep 2012 09:12:51 +1000 Subject: AI'12 Workshop and Tutorial Information Message-ID: [Apologies for cross-posting and re-posting] --------------------------------------------------------------------------------------------- AI'12 Workshop and Tutorial Information The 25th Australasian Joint Conference on Artificial Intelligence (AI’12) 4-7 December 2012 Sydney, Australia http://25thAnniversaryAustralasianAI.org or http://ai12.org AI'12 will hold four workshops and two tutorials on December 4th, 2012. The list of available workshops and tutorials can now be found at: http://ai2012.web.cse.unsw.edu.au/workshops.html Links to each workshop and tutorial own web page will be provided in due course. For any further information or questions on workshops and tutorials, please contact the the Workshop/Tutorial Chair. From universal.logic at ufc.br Wed Sep 5 11:05:06 2012 From: universal.logic at ufc.br (Universal Logic) Date: Wed, 5 Sep 2012 06:05:06 -0300 (BRT) Subject: UNILOG 2013 Rio de Janeiro Message-ID: <81c64274fde1c2a8c7b6150372fe1ac2.squirrel@correio3.ufc.br> The 4th World Congress and School on Universal Logic will happen in Rio de Janeiro, March 29 - April 7 2013 15 invited speakers: S.Feferman, Y.Gurevich, J.Hintikka, G.Sher, etc. 1 contest: Scope of logic theorems 15 workshops: Many-Valued Logics, Logic and Metaphysics, Thinking and Rationality, etc. 25 tutorials: Hypersequents, Logic for the Blind, Erotetic Logics, Quantum Cognition, etc. Call for papers : Deadline November 1st, 2012 http://www.uni-log.org/ From davy.monticolo at ensgsi.inpl-nancy.fr Wed Sep 5 11:39:27 2012 From: davy.monticolo at ensgsi.inpl-nancy.fr (Davy MONTICOLO) Date: Wed, 5 Sep 2012 11:39:27 +0200 (CEST) Subject: Call of Papers KARE2012, int. Workshop on Knowledge Acquisition, Reuse and Evaluation, Special session : Knowledge Management Systems In-Reply-To: <1180486596.4581265.1346837709294.JavaMail.root@feta.cri.inpl-nancy.fr> Message-ID: <398625668.4583557.1346837967612.JavaMail.root@feta.cri.inpl-nancy.fr> Apologies for cross-posting… Call of papers : ************************************************************* KARE 2012 : Knowledge Acquisition, Reuse and Evaluation Special session about Knowledge Management Systems http://kare2012.blogspot.fr/ ************************************************************* Fifth International Workshop on Knowledge Acquisition, Reuse and Evaluation In conjunction with the 8th IEEE international conference on Signal-Image Technology & Internet Based Systems (SITIS 2012) (http://www.sitis-conf.org/) 25-29, November 2012 - Sorrento - Naples, Italy ******************* Important Dates ******************* Submission deadline : September 25, 2011 Notification : October 03, 2011 Final date for camera-ready copy : October 16, 2011 ****************** Description ****************** The International Workshop on Knowledge Acquisition, Reuse and Evaluation aims to bring together researchers, scientists, engineers, and scholar students to exchange and share their experiences, new ideas, and research results about all aspects of Knowledge, Ontology, Sermantic Web or Knowledge Engineering. We will discuss the practical challenges encountered and the solutions adopted. This workshop will focus on the theoreticians and practitioners concerned with developing methods and systems that assist the knowledge management process and assessing the suitability of such methods. Thus, the workshop includes all aspects of acquiring, modeling and managing knowledge, and their role in the construction of knowledge-based systems. Knowledge acquisition still remains the bottleneck for building a knowledge based system. Reuse and sharing of knowledge bases are major issues and no satisfactory solutions have been agreed upon yet. There is a wide range of research. Much of the work in this field has been knowledge acquisition. The advent of the age of digital information has brought the problem of knowledge reuse and knowledge evaluation. Our ability to analyze, evaluate and assist user in reusing knowledge present a great challenge of the next years. A new generation of computational techniques and tools is required to support the acquisition, the reuse and the evaluation of useful knowledge from the rapidly growing volume of information. All of these are to be discussed in this workshop. ******** Topics ******** A non-exhaustive list of topics for the workshop includes the following: • Tools and techniques for knowledge acquisition, knowledge update and knowledge validation • knowledge portals • Web-based approaches for knowledge management • Agent-based approaches for knowledge management • Software agents for semantic web • Semantic web-based knowledge management • Tools, languages, and techniques for semantic annotation • Semantic searching • Semantic brokering • CSCW and cooperative approaches for knowledge management • Agent-based approaches for knowledge management • Evaluation of knowledge acquisition techniques • Information and knowledge structures • Languages and frameworks for knowledge and knowledge modeling • Ontology creation, evolution, reconciliation, and mediation • Ontology-based approaches for knowledge management • Knowledge delivery methods • Knowledge life cycle • Knowledge and information extraction and discovery techniques • Corporate Semantic Webs for knowledge management • Peer-to-peer approaches for knowledge management • Knowledge extraction from images/pictures • Intelligent knowledge-based systems • Decision support and expert systems • Re-usability of software/knowledge/information • Semantic web inference methodologies ******************** Workshop Organizers ******************** Contact Point: Davy Monticolo(davy.monticolo at univ-lorraine.fr) Workshop Chairs: Paolo Ceravolo, Universita' degli Studi di Milano (Italy) Davy Monticolo, University of Lorraine (France) International Program Committee • Andrew Kusiak, The University of Iowa, USA • Anthony Masys, Centre for Security Science, Canada • Basim Alhadidi, Al Balqa’ Applied University, Jordan • Carlo Tasso , Università di Udine, Italy • Carsten Brockmann, Universität Potsdam, Germany • Cathal Gurrin, Dublin City University, Ireland • Céline Hudelot, MAS Laboratory, Ecole Centrale Paris, France • Daniel O'Leary, University of Southern California, USA • Dickson K.W. Chiu, Dickson Computer Systems, Hong Kong • Dirk Malzahn, OrgaTech GmbH, Germany • Dominique Decouchant, LIG de Grenoble - France & UAM Cuajimalpa - Mexico, Mexico • Elise Lavoué, Université Jean Moulin Lyon 3, France • Ernesto Exposito, LAAS/CNRS, Université de Toulouse, France • Ezendu Ariwa, London Metropolitan University, United Kingdom • Hiep Luong, Research Associate, University of Arkansas, USA • Jan Hidders, Delft University of Technology, Netherlands • Jan Martijn van der Werf, Technische Universiteit Eindhoven, The Netherlands • Jiankun Hu, University of New South Wales at the Australian Defence Force Academy, Australia • Kenji Saito, Keio University, Japan • M. Nasseh Tabrizi, East Carolina University, USA • Marie-Helene Abel, Unité Mixte de Recherche Heudiasyc, University of Compiègne, France • Marite Kirikova, Riga Technical University, Latvia • Martine Cadot, LORIA laboratory, University of Nancy1, France • Owen Molloy, National University of Ireland, Galway, Ireland • Paul Mc Kevitt, University of Ulster, Ireland • Quang Nhat Nguyen, Hanoi University of Science and Technology, Vietnam • Theodore Trafalis, University of Oklahoma, United States • Xingquan Zhu, University of Technology Sydney, Australia • Yonggang Zhang, Ingenuity Systems Inc., United States *************** Submission *************** KARE 2012 invites submission of high quality and original papers on the topics of the major tracks described below. All submitted papers will be peer-reviewed by at least two reviewers for technical merit, originality, significance and relevance to the topics of the corresponding track. Papers must be up to 8 pages long and follow IEEE double columns publication format. Paper submission will only be online via: SITIS 2012 submission site(http://www.sitis-conf.org/). The online system will be used to handle and process all papers and to prepare for the final proceedings. http://www.easychair.org/conferences/?conf=sitis2012 Accepted papers will be included in the conference proceedings and published IEEE Computer Society and referenced in IEEE explore and major indexes. The proceedings will be available at the conference. Extended version of selected accepted papers will be considered for publication in major journals. Selected papers after extension will be published in the following journals: - Journal of Digital Information Management (JDIM) (ISSN 0972-7272) - Journal of Information Assurance and Security (JIAS) (ISSN 1554-1010) - International Journal of Computanional Intelligence Research (ISSN 0973-1873) - International Journal for Infonomics (IJI) (ISSN 1742-4712) - International Journal of Internet Technology and Secured Transactions (IJITST) (ISSN 1748-569X) Contact : davy.monticolo at univ-lorraine.fr The SITIS Website : http://www.sitis-conf.org/ Paolo Ceravolo & Davy Monticolo KARE2012 chairs Davy Monticolo ************************************ Associate Professor Polytechnical Institute of Lorraine ENSGSI Engineering school ERPI Laboratory 54000 Nancy- France tel : +33 383 193 249 ************************************ From AAMAS_2013_Publicity_Chair at wenen.twi.tudelft.nl Thu Sep 6 11:39:56 2012 From: AAMAS_2013_Publicity_Chair at wenen.twi.tudelft.nl (AAMAS_2013_Publicity_Chair) Date: Thu, 6 Sep 2012 11:39:56 +0200 Subject: 2nd CFP: Autonomous Agents and Multiagent Systems (AAMAS), May 6-10, 2013, Saint Paul, Minnesota, USA Message-ID: <949a65c3d22b35e49d50d3e5819edb54.squirrel@graphics.tudelft.nl> Subject: CFP: Autonomous Agents and Multiagent Systems (AAMAS), May 6-10, 2013, Saint Paul, Minnesota, USA CALL FOR PAPERS 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013) Saint Paul, Minnesota, USA May 6-10, 2013 http://aamas2013.cs.umn.edu/ ** ABOUT AAMAS ** AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. AAMAS 2013 is the twelfth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Crowne Plaza, St. Paul, Minnesota, USA, May 6-10, 2013. See http://www.ifaamas.org for more information on the AAMAS conference series. ** WHAT’S NEW? ** We realise that many of you will not read the CFP in detail. Please at least read the following points, which highlight significant recent changes. 1. The special track Challenges and Visions is new and includes perspectives papers. 2. Please make sure you are aware of the policy regarding prior publication and simultaneous submission, see http://aamas2013.cs.umn.edu/node/31. 3. Reviewing: after the AAMAS 2012 community discussion about double blind reviewing a committee looked into the matter and adviced the IFAAMAS board that then decided not to change the policy about blind reviewing. ** TOPICS OF INTEREST ** Please visit the online CfP at http://aamas2013.cs.umn.edu/node/4. ** KEY DATES ** Electronic Abstract Submission: October 8, 2012 (11:59 PM HST) Full Paper Submission: October 12, 2012 (11:59 PM HST) Rebuttal Phase: November 27 - November 29, 2012 (11:59 PM HST) Author Notification: December 20, 2012 (11:59 PM HST) Conference: May 6–10, 2013 ** SUBMISSION ** AAMAS 2013 seeks high-quality submissions of full papers, limited to 8 pages in length. Submissions will be rigorously peer reviewed and evaluated on the basis of originality, soundness, significance, presentation, understanding of the state of the art, and overall quality of their technical contribution. Reviews will be double blind; authors must avoid including anything that can be used to identify them. Please note that submitting an abstract is required to submit a full paper. However, the abstracts will not be reviewed and full (8 page) papers must be submitted for the review process to start. All work must be original (must not have appeared in a conference proceedings, book, or journal). In addition to submissions in the main track, AAMAS 2013 will be soliciting papers in four special tracks. The review process for the special tracks will be similar to the main track, but with program committee members specially selected for that track. All accepted papers for the special tracks will be included in the proceedings. * Submission Instructions * To register and submit your paper (in PDF format), please go to the submission website: http://aamas2013.confmaster.net/ and follow the instructions. Please keep in mind that you must submit an abstract by October 8, 2012 to be able to upload your paper (abstract submission is required to submit a paper, but abstracts will NOT be reviewed). The abstract and paper submissions close at 11:59 PM Hawaii Standard Time (HST = GMT - 10:00) on Oct 8 and Oct 12 respectively. If any substantial part of your work appeared previously, please provide the citation and a one sentence description of the differences in the box provided. It is OK to submit work that has previously appeared in a workshop (without an associated archival publication). For such papers simply fill in the paper and workshop info. For papers that build on earlier work that appeared in an archival publication, please provide the citation and a one sentence description of the key advances/differences. This information will be kept from the reviewers to ensure a double-blind review and will only be used by the program chairs. * Formatting Instructions * The page limit for AAMAS 2013 submissions is 8 pages. The format follows the ACM proceedings guidelines and consists of balanced double columns, 9 pt text, 1" (2.54cm) margins top and bottom, and 0.75" (1.9cm) margins left and right. Each column is 3.33" (8.45cm) wide with a separation of 0.33" (0.83cm). A LaTeX style file and a Microsoft Word template will be available soon on the conference web site (http://aamas2013.cs.umn.edu/). Please do not modify the style files, or any layout parameters. To ensure the effectiveness of the double-blind review process, make sure to put paper numbers (provided upon paper registration) instead of author names. In addition, please ensure that any references to your own previous work is made in a way that does not disclose author identity (for example, instead of "in previous work, we have shown X [ref]" use "X was shown in [ref]"). In some cases where the work is clearly a continuation of your earlier work, you may consider removing citations to your own work until the final version (for example, "we have shown X [ref]" where [ref]= "Anonymous, 200X"). Please also check that the PDF file submitted does not contain embedded identifying information. * Mandatory Sections * The mandatory sections of the ACM styles are also mandatory for AAMAS 2013 submissions. Not only will these sections help select the reviewers, but according to ACM: "these index terms effect the ease and accuracy of retrieval within the Digital Library which ultimately benefits authors by allowing for greater distribution of their work". Thus, although it may not be trivial to find the appropriate classification information, you should make an effort filling these sections: 1. Categories and Subject Descriptors: Details of the ACM Computing Classification Scheme are available at http://www.acm.org/about/class/1998/. 2. General Terms: This section is limited to the following 16 terms: Algorithms, Management, Measurement, Documentation, Performance, Design, Economics, Reliability, Experimentation, Security, Human Factors, Standardization, Languages, Theory, Legal Aspects, Verification. 3. Keywords: This section is your choice of terms you would like to be indexed by. Please refer to the Call for Paper page for a list of topics. ** SPECIAL TRACKS ** In addition to submissions in the main track, AAMAS-2013 will be soliciting papers in four special tracks. The review process for the special tracks will be similar to the main track, but with program committee members specially selected for that track. * Special Track on Robotics (Chairs: Daniele Nardi and Monica Nicolescu) * Papers that advance theory and applications of single and multiple robots are welcome, specifically those focusing on real robots that interact with their environment. Papers should clearly explain how the work addresses challenges in robotics, opportunities for novel applications, and fundamental research issues in autonomous robotic systems. The goal is to demonstrate the synergy achieved from integration of research in agents and robotics. * Special Track on Virtual Agents (Chairs: Stefan Kopp and Catherine Pelachaud) * Virtual agents are embodied agents in interactive virtual or physical environments that emulate human-like behavior. We encourage papers on the design, implementation, and evaluation of virtual agents as well as challenging applications featuring them. The goal is to provide an opportunity for interaction and cross-fertilization between the AAMAS community and researchers working on virtual agents and to strengthen links between the two communities. * Special Track on Innovative Applications (Chairs: Bo An and John Thangarajah) * Due to the growing maturity of the field there are now agent-based applications in widespread use across many domains, responsible for the generation of significant revenues, or the saving of major costs, or for supporting important public policy and business strategy decision-making. This special track provides the ideal forum to present, discuss and demonstrate your compelling applications, agent system deployment experiences, and new business ideas. The goal is to promote the fostering of mutually-beneficial relationships between those doing foundational scientific research and those making autonomous agents and multi-agent systems a commercial or public policy reality. * NEW Special Track on Challenges and Visions (Chair: Jeff Rosenschein) * In cooperation with the Computing Community Consortium (CCC), AAMAS 2013 invites submissions to a special Challenges and Visions track. The emphasis of this track is on visionary ideas, long term challenges, and new research opportunities that are outside the current mainstream of the field. This track is designed to overcome the constraints of the traditional review process, and will serve as an incubator for innovative approaches, risky and provocative ideas, and to propose challenges and opportunities for the field in the near future. To encourage researchers to present truly visionary concepts, the CCC is offering prizes for up to 3 top papers in this special track: first prize $1000, second prize $750, and third prize $500, to be awarded as travel grants. From paul.kaufmann at gmail.com Thu Sep 6 20:12:00 2012 From: paul.kaufmann at gmail.com (Kaufmann Paul) Date: Thu, 6 Sep 2012 20:12:00 +0200 Subject: EvoENERGY 2013 call for papers Message-ID: <6534EFF4-9386-475D-B140-91F0BAB9E990@gmail.com> EvoENERGY 2013 Evolutionary Algorithms in Energy Applications 3-5 April 2013 - Vienna, Austria http://www.evostar.org INTRODUCTION Along with the worldwide incentive to reduce fossil and nuclear based power generation, the number of distributed generators and other forms of distributed energy resources which are installed in power networks has been steadily increasing over the last years. This increased integration has triggered a transformation of the energy system and challenges the conventional operation of these networks. On a network level, this transformation requires new control and communication approaches, to guarantee the security of energy supplies as well as an optimal exploitation of available resources. On a generator level, advanced control strategies as well as morphological optimization (e.g., tuning of wind-blade design) can help to assure an optimal performance of the generator. EvoEnergy is intended as a platform for new, innovative computational intelligence and nature-inspired techniques in the domain of energy-related optimization research. We seek contributions ranging from new control concepts for decentralized generation, strategies for their coordination in the network to the morphological optimization of distributed generators. TOPICS Topics of interest include, but are not limited to, any of the following: - management of distributed generation and storage - evolutionary design and morphological optimization in energy systems - advanced distribution management system functionalities - Smart Grid monitoring and control - real time configurations of energy networks - distributed optimization in energy networks - grid planning and asset management PUBLICATION DETAILS Accepted papers will appear in the proceedings of EvoStar, published as Springer Lecture Notes in Computer Science. Submissions must be novel and original. Submissions will be peer reviewed by at least three members of the program committee and authors of accepted papers are required to address the reviewer's comments to produce a camera-ready version of their manuscripts. At least one author of each accepted paper must register for the conference and attend the conference to present their work. The reviewing process will be double-blind and any information that may identify the authors should be removed from the initial submission. Please submit your contribution to EvoENERGY in Springer LNCS format at http://myreview.csregistry.org/evoapps13. The page limit is 10 pages. IMPORTANT DATES Submission deadline: 1 November 2012 Notification to authors: 21 December 2012 Camera-ready deadline: 15 January 2013 EvoStar event: 3-5 April 2013 CHAIRS Konrad Diwold, Institute for Wind Energy and Energy System Technology, konrad.diwold(at)iwes.fraunhofer.de Kyrre Glette, University of Oslo, kyrrehg(at)ifi.uio.no CONFIRMED PROGRAM COMMITTEE Istvan Erlich (University of Duisburg-Essen) Paul Kaufmann (Fraunhofer IWES) Martin Middendorf (University of Leipzig) Julian F. Miller (University of York) Frank Neumann (University of Adelaide) Peter Palensky (AIT: Austrian Institute of Technology) Jan Ringelstein (Fraunhofer IWES) Andy Tyrrell (University of York) From vieu at irit.fr Fri Sep 7 14:40:40 2012 From: vieu at irit.fr (Laure Vieu) Date: Fri, 07 Sep 2012 14:40:40 +0200 Subject: Call for FOIS 2014 hosting proposals Message-ID: <5049EB48.4020205@irit.fr> Call for FOIS 2014 hosting proposals Since its inception, the International Conference on Formal Ontology in Information Systems (FOIS conference series) has explored the multiple perspectives on the notion of ontology that have arisen from such diverse research communities as philosophy, logic, computer science, cognitive science, linguistics, and various scientific domains. Last two previous FOIS conferences were held in 2012 in Graz (http://www.kr-med.org/icbofois2012/fois.htm) and in 2010 in Toronto (http://fois2010.mie.utoronto.ca/index.php). The International Association for Ontology and its Applications (IAOA, http://www.iaoa.org/) is soliciting proposals for the location of the Eighth International Conference on Formal Ontology and Information Systems (FOIS) to be held in 2014. Proposals should include a description of the conference venue, the availability of local sponsorship, proposed dates, and a preliminary budget. Possible co-location with related conferences will also be considered as a factor in the final decision. The IAOA has adopted the policy to take all risks and benefits for the FOIS conferences while encouraging sponsors to take part of the risks. Please send proposals to laure.vieu irit.fr by October 31, 2012. Laure Vieu IAOA Executive Council FOIS 2014 Conference Chair From krzysztof.krawiec at cs.put.poznan.pl Mon Sep 10 09:08:11 2012 From: krzysztof.krawiec at cs.put.poznan.pl (Krzysztof Krawiec) Date: Mon, 10 Sep 2012 09:08:11 +0200 Subject: EuroGP 2013: Third CfP Message-ID: <504D91DB.5070508@cs.put.poznan.pl> (apologies for cross-posting) ***************************************************************************** EuroGP 2013, 16th European Conference on Genetic Programming 3-5 April 2013, Vienna, Austria www.evostar.org THIRD CALL FOR PAPERS ***************************************************************************** SUBMISSION DEADLINE: 1 November 2012 EuroGP is the premier annual conference on Genetic Programming, attracting participants from all over the world. High quality papers describing new original research are sought on topics strongly related to the evolution of computer programs, ranging from theoretical work to innovative applications. Topics include but are not limited to: * Theoretical developments * Empirical studies of GP performance and behavior * Algorithms, representations and operators * Applications of GP to real-world problems * Tree-based, Linear, Graph-based, Grammar-based GP * Evolutionary design * Evolutionary robotics * Evolvable hardware * Self-reproducing programs * Fast/Parallel GP * Probabilistic GP * Evolution of various classes of automata or machine * GP for evolving meta- and hyper-heuristic algorithms * Software Engineering and GP * Unconventional evolvable computation In 2012, EuroGP acceptance rate was 50% (39% for oral presentations). Accepted papers will be included in the proceedings published by Springer Verlag in the Lecture Notes in Computer Science (LNCS) series. The papers which receive the best reviews will be nominated for the Best Paper Award. Authors of selected papers may be invited to submit extended versions of their work to the Springer journal Genetic Programming and Evolvable Machines (GPEM). EuroGP 2013 will be co-located within the EvoStar event with four related conferences: EvoBIO, EvoCOP, EvoMUSART, and EvoApplications. Visit http://www.evostar.org/cfpEuroGP.html or join the EVOstar group on LinkedIn for more details and updates. EuroGP programme chairs Krzysztof Krawiec, Poznan University of Technology, Poland Alberto Moraglio, University of Birmingham, UK From ams at cwi.nl Mon Sep 10 09:54:03 2012 From: ams at cwi.nl (Alexandra Silva) Date: Mon, 10 Sep 2012 09:54:03 +0200 Subject: CALCO 2013: First Call for Papers Message-ID: <20120910075403.GA18779@ortler.sen.cwi.nl> [Apologies for multiple copies] ========================================================================= FIRST 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 -- N.N. -- 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. -- 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 Jiri Adamek - TU Braunschweig, D Lars Birkedal - IT University of Copenhagen, DK Filippo Bonchi - CNRS, ENS-Lyon, F Corina Cirstea - University of Southhampton, UK Bob Coecke - University of Oxford, UK Andrea Corradini - University of Pisa, I Mai Gehrke - 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 - TU Braunschweig, 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. 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. -- 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 mnakamur at law.nagoya-u.ac.jp Tue Sep 11 08:47:19 2012 From: mnakamur at law.nagoya-u.ac.jp (Makoto Nakamura) Date: Tue, 11 Sep 2012 15:47:19 +0900 Subject: Final CFP: JURISIN2012 Message-ID: <504EDE77.4070004@law.nagoya-u.ac.jp> Dear Sir, I would like to send you a final cfp mail of Sixth International Workshop on Juris-Informatics (JURISIN2012). Best regards, Makoto Nakamura (Nagoya University) --------------------------------------------------- [Apologies for multiple copies] Final Call for Papers (Deadline extended to Sep 24, 2012): Sixth International Workshop on Juris-informatics (JURISIN 2012) Nov.30 - Dec. 1, 2012 http://www.kl.i.is.nagoya-u.ac.jp/jurisin2012/ Amusement Zone Miyazaki (The JA-AZM Hall) Kirishima 1-1-1, Miyazaki, Japan with a support of The Japanese Society for Artificial Intelligence in association with Fourth JSAI International Symposia on AI (JSAI-isAI 2012) **** Submission Deadline: September 24, 2012 (extended) **** **** Aims and scope **** Juris-informatics is a new research area which studies legal issues from the perspective of informatics. The purpose of this workshop is to discuss both the fundamental and practical issues for juris-informatics among people from the various backgrounds such as law, social science, information and intelligent technology, logic and philosophy, including the conventional "AI and law" area. We solicit unpublished papers on theories, technologies and applications on juris-informatics. **** Topics **** Relevant topics include, but are not limited to, the following: * Legal reasoning * Argumentation/Argumentation agent * Legal term ontology * Formal legal knowledge-base/Intelligent management of legal knowledge-base * Translation of legal documents * Computer-aided law education * Use of Informatics and AI in law * Legal issues on ubiquitous computing/multi-agent system/the Internet * Social implications of use of informatics and AI in law **** Submissions **** We welcome and encourage the submission of high quality, original papers, which are not simultaneously submitted for publication elsewhere except as a submission to JURIX 2012 (The 25th International Conference on Legal Knowledge and Information Systems). The double submission policy with JURIX 2012 is as follows: 1. Papers being submitted both to JURISIN2012 and JURIX2012 must note this on the title page. 2. A paper to be presented at JURISIN2012 must be withdrawn from JURIX2012 and vice versa according to the choice by the authors. 3. If the authors do not follow this double submission policy, the paper by the authors will not be included in the proceedings of JURISIN 2012. Papers should be written in English, formatted according to the Springer Verlag LNCS style in a pdf form, which can be obtained from http://www.springeronline.com, and not exceed 14 pages including figures, references, etc. If you use a word file, please follow the instruction of the format designated at the workshop page, and then convert it into a pdf form and submit it at the paper submission page. If a paper is accepted, at least one author of the paper must register the workshop and present it. **** Invited Speakers **** 1. Kazuhisa Todayama (Professor, Graduate School of Information Science, Nagoya University, Japan) 2. Philip T H Chung (Executive Director, Australasian Legal Information Institute, Australia) and Graham Greenleaf (Professor, Faculty of Law, University of New South Wales, Australia) **** Proceedings **** A printed volume of the proceedings with ISBN will be available at the workshop. **** Post Proceedings**** The chair of JSAI-IsAI 2012 is now negotiating with Springer Verlag to publish selected papers of the workshop in the JSAI-isAI 2012 post-proceedings as a volume of LNAI. If it is the case, the authors of papers presented at the workshop will be asked to extend their contributions, possibly incorporating the results of the workshop discussion, to be included in the workshop post-proceedings, after another round of refereeing. Note that the selected papers of the previous workshops were publisehd as volumes of LNAI4914(JURISIN 2007), LNAI5447(JURISIN 2008), LNAI6284(JURISIN 2009), LNAI6797(JURISIN2010) and LNAI7258(JURISIN2011), respectively. **** Financial Support for Students **** We have received from JSAI partical economical support for travelling costs for promising foreign students whose papers have been accepted to be presented at JURISIN2012. The amount of the whole support is 250,000 yen and we divide it to students who need a support. The actual support will vary based on the number of applicants and where students come from. Please contact the chairperson (mnakamur ((at)) law.nagoya-u.ac.jp) for details. **** Important Dates **** Submission Deadline: September 24, 2012 (extended) Notification: October 22, 2012 (extended) Camera Ready Copy due: November 5, 2012 (extended) JURISIN 2012: November 30 - December 1, 2012 **** Workshop Chair **** Makoto Nakamura, Nagoya University, Japan Katsuhiko Toyama, Nagoya University, Japan **** Organizing Committee Members **** Makoto Nakamura, Nagoya University, Japan Katsumi Nitta, Tokyo Institute of Technology, Japan Seiichiro Sakurai, Meiji Gakuin University, Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan Satoshi Tojo, Japan Advanced Institute of Science and Technology(JAIST), Japan Katsuhiko Toyama, Nagoya University, Japan **** Programme Committee Members **** Thomas Agotnes, University of Bergen, Norway Marina De Vos, University of Bath, UK Phan Minh Dung, AIT, Thailand Tom Gordon, Franfoher FOKUS, Germany Guido Governatori, The University of Queensland, Australia Tokuyasu Kakuta, Nagoya University, Japan Takehiko Kasahara, Toin University of Yokohama, Japan Masahiro Kozuka, Kanazawa University, Japan Makoto Nakamura, Nagoya University, Japan Katsumi Nitta, Tokyo Institute of Technology, Japan Paulo Novais, University of Minho, Portugal Jeremy Pitt, Imperial College, UK Henry Prakken, University of Utrecht & Groningen, The Netherlands Seiichiro Sakurai, Meiji Gakuin University, Japan Ken Satoh, National Institute of Informatics and Sokendai, Japan Akira Shimazu, Japan Advanced Institute of Science and Technology, Japan Fumihiko Takahashi, Meiji Gakuin University, Japan Satoshi Tojo, Japan Advanced Institute of Science and Technology, Japan Katsuhiko Toyama, Nagoya University, Japan Radboud Winkels, The University of Amsterdam, the Netherlands Shin-ichi, Yoro, Osaka University, Japan John Zeleznikow, Victoria University, Australia **** Home page of JURISIN 2012 **** http://www.kl.i.is.nagoya-u.ac.jp/jurisin2012/ **** preivous JURISIN workshops **** JURISIN2007 http://research.nii.ac.jp/~ksatoh/jurisin.html JURISIN2008 http://www.ntt.dis.titech.ac.jp/jurisin2008/ JURISIN2009 http://research.nii.ac.jp/~ksatoh/jurisin2009.html JURISIN2010 http://research.nii.ac.jp/~ksatoh/jurisin2010.html JURISIN2011 http://research.nii.ac.jp/~ksatoh/jurisin2011.html For any inquiry, please send it to "jurisin2012 ((at)) kl.i.is.nagoya-u.ac.jp". From oshanis at gmail.com Tue Sep 11 13:31:24 2012 From: oshanis at gmail.com (Oshani Seneviratne) Date: Tue, 11 Sep 2012 07:31:24 -0400 Subject: ISWC Early Registration Deadline Extended to **Sep 14th, 2012** Message-ID: ISWC 2012 - 11th International Semantic Web Conference November 11-15, 2012 Boston MA ------------------------------------------------------------------------------------------------ ISWC is the major international forum where the latest research results and technical innovations on all aspects of the Semantic Web are presented. ------------------------------------------------------------------------------------------------ Due to numerous requests we are extending the early registration deadline to Sep 14th, 2012. Please register before that deadline in order to take advantage of the lower registration rates. Please see registration page for more information: http://iswc2012.semanticweb.org/registration ISWC 2012 offers an exciting research program which includes: Keynote presentations from: Tom Malone - Massachusetts Institute of Technology (MIT), US Jeanne Holm - data.gov Mark Musen - Stanford University Nigel Shadbolt - Southampton University Cutting edge research in Semantic Web presented in the Research track and in the Semantic Web In-Use track. The conference has 20 Workshops, 9 Tutorials, presentations from the industry, demos and posters. Please have a look at the complete program at: http://iswc2012.semanticweb.org/program ISWC 2012 will take place in Boston MA. The conference will be held at the The Boston Park Plaza Hotel & Towers. http://iswc2012.semanticweb.org/venue Student Travel Awards Travel awards are available for students wishing to attend ISWC 2012. The deadline for receiving applications and advisor letters is Sept. 16, 2012 and applicants will be notified of award decisions by Oct. 1st, 2012. This travel award may be used towards the conference registration fees. See the travel award page for details: http://iswc2012.semanticweb.org/student-travel-awards Information about visa and letter of invitation is available at: http://iswc2012.semanticweb.org/visa-information You can email ISWC 2012 at iswc2012oc at googlegroups.com for any inquiries and follow us on Twitter @iswcboston for updates on the conference. We look forward to seeing you at ISWC 2012 in Boston! From cambria at nus.edu.sg Thu Sep 13 09:04:20 2012 From: cambria at nus.edu.sg (Erik Cambria) Date: Thu, 13 Sep 2012 15:04:20 +0800 Subject: CFP: IEEE SSCI Special Session on Computational Intelligence in Health Assessment and Monitoring Message-ID: <23F29791-EEE2-4612-BFBD-4498437CEB18@nus.edu.sg> Apologies for cross posting, Submissions are invited for next year's IEEE SSCI Special Session on Computational Intelligence in Health Assessment and Monitoring (http://tinyurl.com/CIHAM2013). ABSTRACT Public health measures such as better nutrition, greater access to medical care, improved sanitation, and more widespread immunization, have produced a rapid decline in death rates in all age groups. Since there is no corresponding decline in birth rates, however, the average age of population is increasing exponentially. If we want health services to keep up with such monotonic growth, we need to automatize as much as possible the way patients access the health-care system, in order to improve both its service quality and timeliness. Barriers to use health related quality of life (HRQoL) measuring systems include the time needed to complete the forms and the need for staff to be trained to understand the results. An ideal system of health assessment needs to be clinically useful, timely, sensitive to change, culturally sensitive, low burden, low cost, involving for the patient, and built into standard procedures. The main aim of this CICARE-13 special session is to examine the new frontiers of computational intelligence in health assessment and monitoring by proposing novel techniques in fields such as e-health, web health informatics, and e-health promotion, in order to improve the health-care of individuals using information and communication technology. TOPICS OF INTEREST CIHAM aims to provide an international forum for researchers in the field of e-health to share information on their latest investigations and their applications both in academic research areas and industrial sectors. Topics of interest include but are not limited to: • HRQoL measuring systems • Sustainability of health systems • Patient-reported outcomes measures • Health web services and semantics • Personalization of health applications and data input via the Web • Engaging individuals and communities in services provided via the Web • Patient physio-emotional sensitivity measurement • Patient opinion mining • Future directions of health services using the Web • E-health challenges SCHEDULE • October 10th, 2012: Due date for Special Session papers • January 5th, 2013: Notification of paper acceptance to authors • February 5th, 2013: Camera-ready of accepted papers • February 5th, 2013: Early registration SUBMISSIONS Please submit your paper via the IEEE SSCI 2013 on-line submission link accessed from: http://ntu.edu.sg/home/epnsugan/index_files/SSCI2013 ORGANIZERS • Erik Cambria, National University of Singapore (Singapore) • Amir Hussain, University of Stirling (UK) • Newton Howard, MIT Media Laboratory (USA) _______________________________ Erik Cambria, PhD 康文涵 Research Scientist Temasek Laboratories Cognitive Science Programme National University of Singapore 28 Medical Drive, 117456, Singapore Web: http://sentic.net Email: cambria at nus.edu.sg Twitter: http://twitter.com/senticnet Facebook: http://facebook.com/senticnet From JoseLuis.Fernandez at unige.ch Thu Sep 13 12:42:02 2012 From: JoseLuis.Fernandez at unige.ch (Jose Luis Fernandez) Date: Thu, 13 Sep 2012 12:42:02 +0200 Subject: CfP (Deadline extended to Sept. 28th) : Coordination Models, Languages and Applications - CM track at ACM SAC 2013 Message-ID: <5051B87A.9060507@unige.ch> ******************************************************************************************************************** Coordination Models, Languages and Applications Special Track of the 28th ACM Symposium on Applied Computing (SAC'13) http://sac2013.apice.unibo.it/ March 18 - 22, 2013 Institute of Engineering of the Polytechnic Institute of Coimbra (ISEC-IPC) Coimbra, Portugal ********************************************************************************************************************* Building on the success of the fourteenth previous editions (1998-2012), a special track on coordination models, languages and applications will be held at SAC 2013. Over the last decade, we have witnessed the emergence of models, formalisms and mechanisms to describe concurrent and distributed computations and systems based on the concept of coordination. The purpose of a coordination model is to enable the integration of a number of possibly heterogeneous components (processes, objects, agents, services) in such a way that the resulting ensemble can execute as a whole, forming a distributed software system with desired characteristics and functionalities. This is done in terms of coordination abstractions, languages, algorithms, mechanisms, and middleware specifically focused on the management of component interaction. The coordination paradigm crosscuts a number of contemporary software engineering approaches and fields, which we aim to cross-fertilize and bring contribution to, including in particular: multi-agent systems, self-adaptative and self-organising systems, service-oriented architectures, component-based systems, and all related middleware platforms. The Special Track on Coordination Models, Languages and Applications takes a deliberately broad view of what constitutes coordination. Accordingly, major topics of interest this year will include: - Novel models, languages, programming and implementation techniques - Applications - Internet, Web, and pervasive computing systems coordination - Coordination of multi-agent systems, including mobile agents, intelligent agents, and agent-based simulations - Languages for service description and composition - Models, frameworks and tools for Group Decision Making - All aspects related to Cooperative Information Systems (e.g. workflow management, CSCW) - Software architectures and software engineering techniques - Configuration and Architecture Description Languages - Middleware platforms - Self-organising, self-adaptive and nature-inspired coordination approaches - Coordination technologies, systems and infrastructures - Relationship with other computational models such as object oriented, declarative (functional, logic, constraint) programming or their extensions with coordination capabilities - Formal aspects (semantics, reasoning, verification) - Coordination models and specification in Service-Oriented Architectures, Web Service technologies (orchestration, choreography, etc), and Pervasive Computing We also welcome papers on practical systems or novel applications that are aimed at reaching coordination between components and services, especially if those systems and novel applications challenge existing ideas and models. ---------------------- Important Dates ---------------------- *** Sept 28, 2012: Paper submission (Extended deadline)*** Nov 10, 2012: Author notification Nov 30, 2012: Camera-Ready Copy March 18-22, 2013: Conference ------------------------ Program Co-Chairs ------------------------ Mirko Viroli Alma Mater Studiorum - Universita' di Bologna http://www.ingce.unibo.it/~mviroli email: mirko.viroli at unibo.it Gabriella Castelli Universita' di Modena e Reggio Emilia http://pervasive2.morselli.unimo.it/~gabriella email: gabriella.castelli at unimore.it Jose Luis Fernandez-Marquez University of Geneva http://iss.unige.ch/?q=users/fernandez email: joseluis.fernandez at unige.ch -------------------------------- Program Committee Members -------------------------------- Farhad Arbab, CWI Amsterdam and Leiden University, Netherlands Jacob Beal, BBN Technologies, USA Cristian Borcea, New Jersey Institute of Technology, USA Dave Clarke, Katholieke Universiteit Leuven, Belgium Ferruccio Damiani, University of Torino, Italy Wolfgang De Meuter, Vrije Universiteit Brussel, Belgium Rocco De Nicola, Institute for Advanced Studies Lucca, Italy Simon Dobson, University of St Andrews, Scotland Markus Endler, University of Sao Paulo, Brazil Alois Ferscha, Johannes Kepler Universitat Linz, Austria Keith Harrison-Broninski, Role Modellers Ltd, UK Sam Malek, George Mason University, USA Manuel Mazzara, Newcastle University, UK Michael O'Grady, University College Dublin, Ireland Andrea Omicini, University of Bologna, Italy Manuel Oriol, University of York, UK Antonio Porto, University of Porto, Portugal Alessandro Ricci, University of Bologna, Italy Juan Antonio Rodriguez Aguilar, IIIA-CSIC, Spain Davide Rossi, University of Bologna, Italy Michael Ignaz Schumacher, University of Applied Sciences, Switzerland Yasuyuki Tahara, National Institute of Informatics, Japan Paul Tarau, University of North Texas, USA Robert Tolksdorf, Freie Universitaet Berlin, Germany Giuseppe Valetto, Drexel University, USA Daniel Villatoro, Barcelona Digital Technological Center, Spain Meritxell Vinyals, Artificial Intelligence Research Institute, Spain Eiko Yoneki, University of Cambridge Computer Laboratory, UK George Wells, Rhodes University, South Africa Herbert Wiklicky, Imperial College London, UK Pawel T. Wojciechowski, Poznan University of Technology, Poland Franco Zambonelli, University of Modena and Reggio Emilia, Italy ------------------ Proceedings ------------------ Papers accepted for the Special Track on Coordination Models, Languages and Applications will be published by ACM both in the SAC 2013 proceedings and in the Digital Library. ---------------------------------- Paper submission and format ---------------------------------- All papers should represent original and previously unpublished works that currently are not under review in any conference or journal. The author(s) name(s) and address(es) must NOT appear in the body of the paper, and self-reference should be in the third person. This is to facilitate blind review. Only the title should be shown at the first page without the author's information. Submitted papers must be no longer than 6 pages and in the ACM two-column page format (doc template, pdf template, latex template). It will be possible to have up to 2 extra pages in the proceeding at a charge of $80 per page (total 8 pages maximum). For accepted papers, registration for the conference is required and allows accepted papers to be printed in the conference proceedings. The accepted paper MUST be presented by an author or a proxy. This is a requirement for the paper to be part of the ACM/IEEE digital library. Submission is entirely automated via the STAR Submission System, which is available from the main SAC Web Site: https://www.softconf.com/d/sac2013/. ---------------------- Poster Sessions ---------------------- Papers that received high reviews (that is acceptable by reviewer standards) but were not accepted due to space limitation can be invited for the poster session. Poster should be not longer than 2 pages plus 1 extra page at $80. The poster session procedures and details will be posted on SAC 2013 website as soon as they become available. --------------------------------------------- Student research abstracts competition --------------------------------------------- Graduate students are invited to submit research abstracts (minimum of 2-page and maximum of 4-page) following the instructions published at SAC 2013 website. Submission of the same abstract to multiple tracks is not allowed. From AAMAS_2013_Publicity_Chair at wenen.twi.tudelft.nl Sat Sep 15 12:05:06 2012 From: AAMAS_2013_Publicity_Chair at wenen.twi.tudelft.nl (AAMAS_2013_Publicity_Chair) Date: Sat, 15 Sep 2012 12:05:06 +0200 Subject: Call for Tutorials for AAMAS 2013 Message-ID: <522d86830f0d3378501192a05c576211.squirrel@graphics.tudelft.nl> Twelfth International Joint Conference on AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS 2013) Saint Paul, Minnesota, USA 6th-10th May 2013 http://aamas2013.cs.umn.edu/ The AAMAS-13 Organizing Committee invites proposals for the Tutorial Program, to be held on May 6--7, immediately before the main conference program. AAMAS-13 Tutorials should serve one or more of the following objectives: - Introduce novices to major topics of AAMAS research. - Provide instruction in established practices and methodologies. - Survey a mature area of AAMAS research or practice. - Motivate and explain an AAMAS topic of emerging importance. - Introduce expert non-specialists to an AAMAS area. - Survey an area of agent research especially relevant for people from industry. Topic areas of interest include all of those listed in the AAMAS-2013 call for papers, including all special tracks. Submission Requirements ======================= Proposals should be two to four pages in length, and should contain the following information: 1. A brief description of the tutorial, suitable for inclusion in the conference registration brochure. 2. A detailed outline of the tutorial, including preferred length (half or full day). 3. Characterization of the potential target audience for the tutorial, including prerequisite knowledge. 4. A description of why the tutorial topic would be of interest to a substantial part of the AAMAS audience. 5. A brief resume of the presenter(s), which should include name, postal address, phone and fax numbers, email address, background in the tutorial area, any available example of work in the area (ideally, a published tutorial-level article on the subject), evidence of teaching experience (including references that address the proposer's presentation skills as applicable), and evidence of scholarship in the area. 6. The name and e-mail address of the corresponding presenter. The corresponding presenter should be available for e-mail correspondence during the evaluation process, in case clarifications and discussions on the scope and content of the proposal are needed. The evaluation of the proposal will take into account the level of general interest for AAMAS attendees, the quality of the proposal, and the expertise and skills of the presenters. We emphasize that the primary criteria for evaluation will be whether a proposal is interesting, well-structured, and motivated, rather than the perceived experience/standing of the proposer. Those submitting a proposal should keep in mind that tutorials are intended to provide an overview of the field; they should present reasonably well established information in a balanced way. Tutorials should not be used to advocate a single avenue of research, nor should they promote a product. It is often beneficial to have multiple presenters who represent multiple perspectives on a research area. The selection of the tutorials to be included in the final AAMAS program will be based upon a number of factors, including: the scientific/technical interest of the topics, the quality of the proposal, the need to avoid strictly overlapping tutorials, and the unavoidable need to limit the overall number of selected tutorials. Responsibilities for accepted proposals ======================================= AAMAS will be responsible for: - Providing logistic support and a meeting place for the tutorial. - Together with the organizers, determining the tutorial date and time. - Duplicating tutorial material and distributing them to the participants. Tutorial organizers will be responsible for: - Providing AAMAS with a legible PDF copy of their tutorial notes by March 4, 2013. - Presenting the tutorial at AAMAS-2013. AAMAS reserves the right to cancel any tutorial if the above responsibilities are not fulfilled, if deadlines are missed, or if too few attendees register for the tutorial to support the costs of running the tutorial. Important Dates =============== December 16, 2012: Tutorial Proposal Submission Deadline January 14, 2013: Tutorial Acceptance Notifications March 4, 2013: Deadline for submitting tutorial notes May 6--7, 2013: Tutorial Forum Presentations Submissions and Inquiries ========================= Proposals should be submitted by email (in ASCII or PDF) to: tutorials.aamas.2013 at gmail.com Inquiries can be sent to that same address or directly to the tutorials chairs: Rafael Bordini Faculty of Informatics PUCRS R.Bordini at pucrs.br Christopher Kiekintveld Department of Computer Science University of Texas at El Paso cdkiekintveld at utep.edu From walid.chainbi at gmail.com Sat Sep 22 10:01:26 2012 From: walid.chainbi at gmail.com (Walid Chainbi) Date: Sat, 22 Sep 2012 10:01:26 +0200 Subject: AWS'2013: The 2nd International Workshop on the Adaptation of Web Services (AWS'2013) Message-ID: The 2nd International Workshop on the Adaptation of Web Services (AWS'2013) June 25-28, 2013, Halifax, Nova Scotia, Canada http://www.uc.rnu.tn/aws2013/ in conjunction with ANT’2013 conference AIMS AND SCOPE ********************** Service-Oriented Computing (SOC) is a computing paradigm that utilizes Web services as the basic constructs to support the development of rapid, low-cost and easy composition of distributed applications even in heterogeneous environments. With the advent of SOC, computing environments have become open, and components are no longer under a single organization’s control. Consequently, Web services based applications are becoming difficult to adapt. Moreover, with the rapid growth of communication and information technologies, adaptation has gained a significant attention as it becomes a key feature of Web services allowing them to operate and evolve in highly dynamic environments. Adaptation mechanisms refer to different instantiations including configuration, healing, optimization, and protection. The primary objective of this workshop is to investigate ideas that may contribute to the adaptation of Web services. Theoretical as well as practical aspects are welcome. The workshop organizer welcomes participation and contributions from those working or interested in the intersection of technologies such as agent technology and autonomic computing with SOC. TOPICS OF INTEREST *************************** The topics of interest for AWS’2012 include, but are not limited to: • Adaptation solutions to Web services • Applications of adaptive Web services • Engineering of adaptive Web services • Optimization of Web services • Configuration of Web services • Healing of Web services • Protection of Web Services • Self-* Web services • Agents vs. Web services • Agents for Web services • Design and management of self-* Web services. • Adaptation solutions to the Cloud • Autonomic Cloud SUBMISSION PROCEDURE AND FORMATTING GUIDELINES ************************************************************************* Authors should submit their contributions electronically in PDF format by the deadline given below. Please use AWS 2012 online submission system ( https://www.easychair.org/conferences/?conf=aws2012 ) and register as a new member: You just need to click on "I have no EasyChair Account" and complete the registration form. A password will be sent by e-mail shortly. Using that password, log-in and proceed to the New Submission page, where the detailed instructions can be found. If you encounter any problem with submission, please contact the workshop chair for assistance. All papers accepted for the workshop will be included in the ANT-2012 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given in ANT-2012 Website. The number of pages for AWS papers is limited to 6 pages. The selective outstanding papers presented at the workshop, after further revision, will be considered for publication in journals special issues. All workshop published papers will be indexed by Scopus (http://www.scopus.com) and Engineering Village (Ei) ( http://www.engineeringvillage.com). This includes EI Compendex ( http://www.ei.org/compendex). All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/). WORKSHOP CHAIR ************************ Dr. Walid Chainbi Sousse National School of Engineers, University of Sousse E-mail: Walid.Chainbi at gmail.com PROGRAM COMMITTEE ***************************** Rainer Unland, University of Duisburg-Essen (Germany) Walt Truszkowski, NASA Goaddard Space Flight Center (USA) Roy Sterritt, University of Ulster (Northern Ireland) Huaglory Tianfield, Glasgow Caledonian University (UK) Jeffrey Kephart, IBM T.J. Watson Research Center (USA) Christoph Reich, Hochschule Furtwangen University (Germany) Giovanni Russello, University of Auckland (NZ) ALi A. Ghorbani, University of New Brunswick (Canada) David Chess, Thomas J. Watson Research Center, IBM Research Division (USA) Mohamed Bakhouya, Aalto University (Finland) Manish Parashar, Rutgers, The State University of New Jersey (USA) Hamid Motahari, Hewlett Packard Laboratories, Palo Alto (USA) Mohand-Said Hacid, University Claude Bernard Lyon 1 (France) IMPORTANT DATES ************************ • February 8, 2013 submission due. • February 22, 2013 notification of acceptance. • March 5, 2013 camera-ready due. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From b.verheij at ai.rug.nl Tue Sep 25 21:53:48 2012 From: b.verheij at ai.rug.nl (Bart Verheij) Date: Tue, 25 Sep 2012 21:53:48 +0200 Subject: ICAIL 2013 call for papers Message-ID: <50620BCC.1090103@ai.rug.nl> 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, Workshop Proposals 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 * Conceptual or model-based legal information retrieval * 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 * Online dispute resolution * Intelligent legal tutoring systems * Intelligent support systems for the legal domain * Interdisciplinary applications of legal informatics methods and systems 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, evaluation, 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. Proposals for workshops and tutorials are invited, and should be sent to the Program Chair. Tutorials should cover a broad topic of relevance to the AI and Law community. Proposals should contain enough information to permit evaluation on the basis of importance, quality, and community interest. Each workshop should have one or more designated organizers and a program or organizing committee. Proposals should be 2 to 4 pages and include at least the following information: * The workshop or tutorial topic and goals, their significance, and their appropriateness for ICAIL 2013 * The intended audience, including the research areas from which participants may come, the likely number of participants (with some of their names, if known), and plans for publicizing the workshop * Organization of the workshop or tutorial, including the intended format (such as invited talks, presentations, panel discussions, or other methods for ensuring an interactive atmosphere) and the expected length (full day or half day) * Organizers' details: a description of the main organizers' backgrounds in the proposed topic; and complete addresses including web pages of all organizers and committee members (if applicable). Mentoring Program for ICAIL 2013 The International Association for AI and Law (IAAIL) will offer a mentoring program for papers being submitted to ICAIL. The program is intended primarily for junior authors who have not previously published an Artificial Intelligence and Law paper at a conference or in a journal. If you would like help with your submission, you may ask for a mentor: a person who will help you with your submission to the IAAIL audience through one-on-one advising, usually via email. To request a mentor, please send email to Jack Conrad at Jack.G.Conrad at ThomsonReuters.com by the Mentoring program request deadline. Please include your name and the names of your co-authors; the name of your school/department and institution; a plain-text description of your work (a title and abstract is a minimum requirement); and any specific questions or areas in which you would like help. For further details about the mentoring program, see http://icail2013.ittig.cnr.it. Important Dates These dates are tentative and subject to change * Mentoring program request deadline: November 9, 2012 * Mentoring program paper deadline: November 16, 2012 * Submission of workshop and tutorial proposals: December 7, 2012 * 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. Both papers and abstracts should 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 at cs.stanford.edu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: