From valeria.depaiva at gmail.com Wed Oct 3 04:56:40 2012 From: valeria.depaiva at gmail.com (Valeria de Paiva) Date: Tue, 2 Oct 2012 19:56:40 -0700 Subject: IMLA 2013 - 1st call for papers In-Reply-To: References: Message-ID: IMLA 2013 6th Workshop on Intuitionistic Modal Logic and Applications https://sites.google.com/site/imodallogic2013/ Affiliated with the 4th World Congress on Universal Logic [UNILOG 2013] http://uni-log.org/start4.html Rio de Janeiro, Brazil April 3-7, 2013 Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications of constructive modal logics are in type disciplines for programming languages, meta-logics for reasoning about a variety of computational phenomena and explanatory frameworks in philosophical logic. The workshop aims at developing and explaining theoretical and methodological issues centered around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction. In its sixth edition, the Workshop on Intuitionistic Modal Logic and Applications will take place in Rio de Janeiro at the feet of the Sugar Loaf at the military school EsCEME. Previous editions of this conference were held: as part of the 14th Congress of Logic, Methodology and Philosophy of Science, Nancy, France, 25 July, 2011, as part of LiCS2008, Pittsburgh, USA, as part of LiCS2005, Chicago, USA, of FLoC2002, Copenhagen, Denmark and as part of FLoC1999, Trento, Italy. Topics of interest include, but are not limited to: * Modal Logics * Logical frameworks * Proof theory * Type theory * Automated deduction * Formal semantics of languages and systems * Applications IMLA 2013 also aims to be a forum for presenting and discussing work in progress, and therefore to provide feedback to authors on their preliminary research. Submissions Contributions should be written in English and submitted in the form of full papers (with a maximum of 12 pages) or short papers (with a maximum of 6 pages). They must be unpublished and not submitted simultaneously for publication elsewhere. The papers should be prepared in latex using EPTCS style. The submission should be in the form of a PDF file uploaded to IMLA 2013 page at Easychair https://www.easychair.org/conferences/?conf=imla2013 until the submission deadline in December 1st, by midnight, Central European Standard Time (GMT+1). The workshop pre-proceedings will be handed-out at workshop registration. At least one of the authors should register at the conference. Important Dates Paper submission deadline: December 1st, 2012 Author notification: January 15th, 2013 Scientific and Organizing Committee * Valeria de Paiva (School of Computer Science, University of Birmingham,UK) * Mario Benevides (COPPE-IM, UFRJ, Brazil) * Elaine Pimentel (DMAT, UFMG, Brazil) * Vivek Nigam (DI, UFPb, Brazil) * Natasha Alechina (School of Computer Science, University of Nottingham, UK) The workshop occurs within the scope of the Marie Curie IRSES project GeTFun ("Generalizations of Truth-Functionality"). _______________________________________________ -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From AAMAS_2013_Publicity_Chair at wenen.twi.tudelft.nl Wed Oct 3 21:05:03 2012 From: AAMAS_2013_Publicity_Chair at wenen.twi.tudelft.nl (AAMAS_2013_Publicity_Chair) Date: Wed, 3 Oct 2012 21:05:03 +0200 Subject: Call for Workshop Proposals for AAMAS 2013 Message-ID: <0cd4873d6c7ff6368aeead73c32d7c2b.squirrel@graphics.tudelft.nl> The AAMAS-2013 Organizing Committee invites proposals for the Workshop Program to be held on May 6-7, 2013 immediately prior to the main technical program of the AAMAS conference. The main goal of the AAMAS-2013 workshops is to stimulate and facilitate discussion, interaction, and comparison of approaches, methods, and ideas related to specific topics, both theoretical and applied, in the general area of Autonomous Agents and Multiagent Systems. The AAMAS-2013 workshops will provide an informal setting where participants will have the opportunity to discuss specific technical topics in an atmosphere that fosters the active exchange of ideas. Members from all areas of the AAMAS community are invited to submit workshop proposals for review. Workshops on new and emerging topics, applications, and on broader topics catering to the broader community are particularly encouraged. Workshops can vary in length, but most will be one full day in duration. Workshop organizers and attendees must register for their workshop and preferably also for the main AAMAS conference. Attendance is limited to registered participants only. *** Important Dates *** October 31, 2012: Proposal Submission Deadline November 28, 2012: Acceptance Notification December 12, 2012: Deadline for posting the Workshops Call for Papers December 12, 2012: AAMAS-2013 Workshops Program Announced January, 30, 2013: Recommended deadline for submission of contributions to workshops February 27, 2013: Recommended deadline for paper acceptance notification March 13, 2013: Deadline for complete workshop notes submission to the workshop chair March 13, 2013: Deadline for posting the Call for Participation May 6-7, 2013: AAMAS-2013 Workshops *** Requirements for Submission *** Proposals for workshops should be a maximum of five pages in length (in plain ASCII text), and should contain the following information: 1. Title of the workshop. 2. A technical description of the workshop, specifying the workshop goals, the technical issues that it will address, and the relevance of the workshop to the main conference. 3. A discussion of why and to whom the workshop is of interest. 4. A list of related workshops held within the last three years, if any, and their relation to the proposed workshop. Information about previous offerings of the proposed workshop: when and where it has been offered in the past (i.e., with AAMAS or another conference), organizers names and affiliations, number of submissions, acceptances and registered attendees, and follow-up publications, if any (e.g., journal special issue). 5. A preliminary workshop agenda and a proposed schedule for organizing the workshop. This should include a brief description of how the organizers intend to encourage an atmosphere appropriate for a workshop. 6. Description of the paper review process and acceptance standards. 7. If available, a list of tentatively confirmed attendees. 8. The names, affiliations, postal addresses, phone numbers, and email addresses of the proposed workshop organizing committee. This committee should consist of three or four people knowledgeable about the technical issues to be addressed. The organizing committee should include individuals from multiple institutions. 9. The name of the primary contact for the organizing committee (this person must have an email address). 10. A description of the qualifications of the individual committee members with respect to organizing an AAMAS workshop, including a list of workshops previously arranged by any members of the proposed organizing committee, if any. 11. List of potential program committee members, including their title and affiliations. 12. Expected duration of the workshop (half or full day). 13. A list of places (distribution lists, web sites, journals, etc.) where the workshop is planned to be advertised. All proposals should be submitted by electronic mail, in plain ASCII text, to the AAMAS-2013 Workshop Chairs: Wolf Ketter (wketter at rsm.nl) and Satoshi Kurihara (kurihara at ist.osaka-u.ac.jp) as soon as possible but no later than: Wednesday October 31, 2012. The selection of the workshops to be included in the final AAMAS program will be done by the general chairs of AAMAS 2013 based on the advice of the workshop chairs. The selection is based upon multiple factors, including: the scientific/technical interest of the topics, the clarity of the proposal in addressing the requested information, the innovativeness of workshop topics, the cross-disciplinary nature of the workshop, and the capacity of the conference workshop program. Note that authors of proposals addressing similar and/or overlapping content areas and/or audiences may be asked to merge their proposals. *** Responsibilities of AAMAS and workshop organizers *** For all accepted proposals, AAMAS will be responsible for: - Providing publicity for the workshop series as a whole. - Providing logistic support and a meeting place for the workshop. - Together with the organizers, determining the workshop date and time. - Provide one free workshop registration when the workshop has more than 15 registrations. Workshop organizers will be responsible for: - Setting up a website for the workshop. - Advertising the workshop and issuing a call for papers (by DECEMBER 12, 2012) and a call for participation (by MARCH 13, 2013). - Collecting and evaluating submissions, notifying authors of acceptance or rejection on a timely basis, and ensuring a transparent and fair selection process. - All workshop organizers are strongly advised to adopt the same deadlines for paper submissions and notifications of acceptance, i.e., January 30, 2013: Submissions of contributions to workshops; February 27, 2012: Notifications - Making the PDF of the whole workshop notes available to the workshops chair by March 13, 2013, as well as a list of audio-visual requirements and any special room requirements. The AAMAS-2013 workshop notes will be included in the flash drive containing the AAMAS-2013 conference proceedings. To that end, please include the following sentence in your call for papers: "Workshop notes including all accepted papers will be distributed to AAMAS-2013 registrants in electronic form. Printed workshop notes will NOT be made available to workshop participants." - Ensuring that the workshop notes or individual papers are available from the workshops websites, as appropriate. Ensuring that the workshop organizers and the participants register for the workshop and are invited to register to the main conference (at least one author must register for the workshop in order for a paper to appear in the workshop proceedings). AAMAS reserves the right to cancel any workshop if the above responsibilities are not fulfilled. *** Submissions and Inquiries *** Please send proposals and inquiries to: Wolf Ketter (wketter at rsm.nl) and Satoshi Kurihara (kurihara at ist.osaka-u.ac.jp) From cfp at grid.chu.edu.tw Wed Oct 10 05:47:58 2012 From: cfp at grid.chu.edu.tw (cfp at grid.chu.edu.tw) Date: Wed, 10 Oct 2012 11:47:58 +0800 Subject: Call-For-Paper: FGCS (ISI Impact Factor = 1.978) Special Issue on Intelligent Big Data Processing Message-ID: <201210100347.q9A3lwqN015162@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Souhila.Kaci at lirmm.fr Wed Oct 17 08:06:27 2012 From: Souhila.Kaci at lirmm.fr (Souhila Kaci) Date: Wed, 17 Oct 2012 08:06:27 +0200 Subject: CfP: Uncertain Reasoning 2013 - Special Track at FLAIRS-26 Message-ID: <1ce1e3ed8b2acb75bcb9e8f6d143446c@lirmm.fr> [Apologies for multiple copies] ******************************************************************** 2nd Call for Papers: Uncertain Reasoning (UR) 2013 ============================= Special Track at the 26th International FLAIRS Conference (FLAIRS-26) St. Pete Beach, Florida, USA May 22-24, 2013 http://www.fernuni-hagen.de/wbs/ur13/ The Special Track on Uncertain Reasoning (UR) is the oldest track in FLAIRS conferences, running annually since 1996. The UR'2013 Special Track at the 26th International Florida Artificial Intelligence Research Society Conference (FLAIRS-26) is the 18th in the series. As the past tracks, UR'2013 seeks to bring together researchers working on broad issues related to reasoning under uncertainty. Scopes ------ Papers on all aspects of uncertain reasoning are invited. Papers of particular interest include, but are not limited to: - Uncertain reasoning formalisms, calculi and methodologies - Reasoning with probability, possibility, fuzzy logic, belief function, vagueness, granularity, rough sets, and probability logics - Modeling and reasoning using imprecise and indeterminate information, such as: Choquet capacities, comparative orderings, convex sets of measures, and interval-valued probabilities - Exact, approximate and qualitative uncertain reasoning - Bayesian networks - Graphical models of uncertainty - Multi-agent uncertain reasoning and decision making - Decision-theoretic planning and Markov decision process - Temporal reasoning and uncertainty - Nonmonotonic reasoning - Conditional Logics - Argumentation - Belief change and merging - Similarity-based reasoning - Construction of models from elicitation, data mining and knowledge discovery - Uncertain reasoning in information retrieval, filtering, fusion, diagnosis, prediction, situation assessment - Practical applications of uncertain reasoning Paper Submission and Publication --------------------------------- Submitted papers must be original, and not submitted concurrently to a journal or another conference. Full papers may be up to 6 pages, and poster papers up to 4 pages. Papers must be in AAAI format, and submitted as PDF through the EasyChair conference system. Instructions on the submission procedure are available at the UR'2013 website: http://www.fernuni-hagen.de/wbs/ur13/ All accepted papers will be published as FLAIRS proceedings by the AAAI. We anticipate that the International Journal of Approximate Reasoning (IJAR) will publish a special issue devoted to extended versions of the top papers at the track. Important Dates --------------- Paper submission due: Nov. 19, 2012 Author Notification: Jan. 21, 2013 Camera Ready Copy Due: Feb. 25, 2013 Conference: May 22-24, 2013 Program Committee ----------------- [ Track Chairs ] Christoph Beierle University of Hagen, Germany Souhila Kaci University of Montpellier 2, France [ PC Members ] Xiangdong An York U., Canada Richard Booth U. of Luxembourg, Luxembourg Cory Butz U. of Regina, Canada Fabio Cuzzolin Oxford Brookes U., England Sylvie Doutre U. Toulouse, France Marek Druzdzel U. Pittsburgh, USA Love Ekenberg Stockholm U., Sweden Konstantinos Georgatos CUNY, USA Lluis Godo IIIA, Spanish National Research Council, Spain Kevin Grant U. Lethbridge, Canada Gabriele Kern-Isberner U. Dortmund, Germany Pawan Lingras Saint Mary's U., Canada Weiru Liu Queen's U. Belfast, UK Tsai-Ching Lu HRL Laboratories, USA Anders Madsen HUGIN Expert, Denmark Cristina Manfredotti U. Milano-Bicocca, Italy Nicholas Mattei NICTA and U. of New South Wales, Australia Malek Mouhoub U. Regina, Canada Eric Neufeld U. Saskatchewan, Canada Thomas Nielsen Aalborg U., Denmark Laurent Perrussel IRIT - Universite de Toulouse, France Eugene Santos Dartmouth College, USA Guillermo Simari Universidad Nacional del Sur, Argentina Paul Snow New Hampshire, USA Luis E. Sucar Inst. Astrophysics, Optics, Electronics, Mexico Choh-Man Teng Inst. For Human & Machine Cognition, USA Dan Wu U. Windsor, Canada Yang Xiang U. Guelph, Canada Changhe Yuan Queens College, City U. of New York, USA Travel Information ------------------ FLAIRS 2013 will be held in St. Pete Beach, Florida. Additional information on the conference location and travel planning can be found at: http://www.flairs-26.info/ ******************************************************************** -------------------------------------- Souhila Kaci Professor University of Montpellier 2 LIRMM - UMR 5506 161 rue ADA F34392 Montpellier Cedex 5 France http://www2.lirmm.fr/~kaci/ --------------------------------------- From c.lange at cs.bham.ac.uk Thu Oct 18 01:07:26 2012 From: c.lange at cs.bham.ac.uk (Christoph LANGE) Date: Thu, 18 Oct 2012 00:07:26 +0100 Subject: CfP: Enabling Domain Experts to use Formalised Reasoning@AISB 2013 (Exeter, UK, 2-5 Apr 2013); Deadlines 10 Dec and 14 Jan Message-ID: <507F3A2E.6090005@cs.bham.ac.uk> Do-Form: Enabling Domain Experts to use Formalised Reasoning http://cs.bham.ac.uk/research/projects/formare/events/aisb2013 CALL FOR CONTRIBUTIONS Symposium at the annual convention of the AISB (Society for the Study of Artificial Intelligence and Simulation of Behaviour; http://www.aisb.org.uk) University of Exeter 2-5 April 2013 http://emps.exeter.ac.uk/computer-science/research/aisb/ SUBMISSION DEADLINE: 14 January PRE-SUBMISSION DEADLINE (for initial problem and tool descriptions, non-binding): 10 December This symposium is motivated by the long-term VISION of making information systems dependable. In the past even mis-represented units of measurements caused fatal ENGINEERING disasters. In ECONOMICS, the subtlety of issues involved in good auction design may have led to low revenues in auctions of public goods such as the 3G radio spectra. Similarly, banks' value-at-risk (VaR) models – the leading method of financial risk measurement – are too large and change too quickly to be thoroughly vetted by hand, the current state of the art; in the London Whale incident of 2012, JP Morgan claimed that its exposures were $67mn under one of its VaR models, and $129 under another one. Verifying a model's properties requires formally specifying them; for VaR models, any work would have to start with this most basic step, as regulators' current desiderata are subjective and ambiguous. We believe that these problems can be addressed by representing the knowledge underlying such models and mechanisms in a formal, explicit, machine-verifiable way. Contemporary computer science offers a wide choice of knowledge representation languages well supported by verification tools. Such tools have been successfully applied, e.g., for verifying software that controls commuter rail or payment systems (cf. the symposium homepage for further background). Still, DOMAIN EXPERTS without a strong computer science background find it challenging to choose the right tools and to use them. This symposium aims at investigating ways to support them. Some problems can be addressed now, others will bring new challenges to computer science. TOPICS of interest include: * for DOMAIN EXPERTS: what problems in application domains could benefit from better verification and knowledge management facilities? Possible fields include: * Example 1 (economics): auctions, VaR, trading algorithms, market design * Example 2 (engineering): system interoperability, manufacturing processes, product classification * for COMPUTER SCIENTISTS: how to provide the right knowledge management and verification tools to domain experts without a computer science background? * wikis and blogs for informal, semantic, semiformal, and formal mathematical knowledge; * general techniques and tools for online collaborative mathematics; * tools for collaboratively producing, presenting, publishing, and interacting with online mathematics; * automation and computer-human interaction aspects of mathematical wikis; * ontologies and knowledge bases designed to support knowledge management and verification in application domains; * practical experiences, usability aspects, feasibility studies; * evaluation of existing tools and experiments; * requirements, user scenarios and goals. THE SYMPOSIUM is designed to bring domain experts and formalisers into close and fruitful contact with each other: domain experts will be able to present their fields and problems to formalisers; formalisers will be exposed to new and challenging problem areas. We will combine talks and hands-on sessions to ensure close interaction among participants from both sides. We will start with an invited talk given by an expert from economics (to be determined), on the need for verifiable models in this domain and beyond. SUBMISSIONS (TWO STAGES) We run a two-stage submission process: Stage 1: PROBLEM & TOOL ("NAIL & HAMMER") DESCRIPTIONS to be reviewed and matched with each other Stage 2: REGULAR EXTENDED ABSTRACTS normal conference-like peer review Accepted submissions from both stages will be included in the symposium proceedings (see below). In Stage 1 (by 10 December) we solicit … * from DOMAIN EXPERTS: descriptions of canonical models and problems in their domain that might benefit from better verification and knowledge management facilities. Descriptions should focus on aspects of these models that domain users find particularly problematic, and suspect might be aided by formalisation tools * from COMPUTER SCIENTISTS: descriptions of formalisation, verification and knowledge management tools, with an emphasis on how they could be applied in a concrete real-world setting, or tailored to such application domains. Stage 1 submissions should have 2 to 4 pages and may be summaries of earlier publications on relevant problems and tools, focused to a target audience of computer scientists or domain experts, respectively. The symposium chairs, assisted by the PC members, will review and initially publish commented versions of the Stage 1 submissions on the symposium homepage, to provide orientation for Stage 2. Should matching problems and tools be identified, we will notify the respective authors. In Stage 2 (by 14 January) we solicit regular submissions on any of the TOPICS outlined initially. We prefer submissions that specifically address topics identified in Stage 1; for a tool description paper, this could, e.g., be done by motivating the tool with a Stage 1 problem, and sketching how the tool could, or will, be applied in this domain. Each submission will be refereed by three PC members on average. Submissions will be judged based on the PC's views of the likelihood of contributing to a better matching of hammers (formalisation and verification tools) to nails (domain problems). At this stage we accept PDF submissions in any layout but count 1200 words as one page for fair comparison. We invite research and position papers, as well as tool and system descriptions, from 3 to 10 pages. Besides PDFs we invite the submission of formalised knowledge representations with human-readable annotations. To submit a paper, please go to the Do-Form EasyChair page (http://www.easychair.org/conferences/?conf=doform2013) and follow the instructions there. FINAL VERSIONS Final versions should be prepared in LaTeX according to the AISB formatting guidelines linked from the symposium homepage. For the final version, non-PDF submissions should be accompanied by a PDF abstract of 2 to 4 pages. Electronic proceedings (with an ISBN) will be made available to the convention delegates on a memory stick, and on the AISB website. IMPORTANT DATES * Pre-Submission (Stage 1): 10 December 2012 * Stage 1 Submissions and Comments online: 14 December 2012 * Regular Submission (Stage 2): 14 January 2013 * Notification: 11 February 2013 * Final versions due: 4 March 2013 * Symposium: 2-5 April 2013 (days to be fixed) PROGRAMME COMMITTEE (to be populated with further domain experts) 1. Rob Arthan, Lemma 1, Reading, UK 2. James Davenport, University of Bath, UK 3. Michael Grüninger, University of Toronto, Canada 4. Manfred Kerber, University of Birmingham, UK (co-chair) 5. Michael Kohlhase, Jacobs University Bremen, Germany 6. Christoph Lange, University of Birmingham, UK (co-chair) 7. Till Mossakowski, University of Bremen, Germany 8. Colin Rowat, University of Birmingham, UK (co-chair) 9. Makarius Wenzel, University of Paris Sud, France 10. Wolfgang Windsteiger, RISC / JKU Linz, Austria COMMENTS/QUESTIONS/ENQUIRIES to be sent to DoForm2013 at easychair.org -- Christoph Lange, School of Computer Science, University of Birmingham http://cs.bham.ac.uk/~langec, Skype duke4701 → Enabling Domain Experts to use Formalised Reasoning @ AISB 2013 2–5 April 2013, Exeter, UK. Deadlines 10 Dec (stage 1), 14 Jan (st. 2) http://cs.bham.ac.uk/research/projects/formare/events/aisb2013/ From cfp2013a at cicling.org Thu Oct 18 17:43:02 2012 From: cfp2013a at cicling.org (Alexander Gelbukh (CICLing-2013)) Date: Thu, 18 Oct 2012 10:43:02 -0500 Subject: CFP: CICLing 2013 - NLP - Greece - Springer LNCS Message-ID: <460DAF5C8D724E5AB9EA96873600E3BE@micron> CICLing 2013 14th International Conference on Intelligent Text Processing and Computational Linguistics Samos, Greece March 24-30, 2013 Springer LNCS www.CICLing.org/2013 TOPICS: All topics related with computational linguistics, natural language processing, human language technologies, information retrieval, etc. PUBLICATION: LNCS - Springer Lecture Notes in Computer Science; poster session: special issue of a journal KEYNOTE SPEAKERS: Sophia Ananiadou, Walter Daelemans, Roberto Navigli, Michael Thelwall CULTURAL PROGRAM: Three days of cultural activities: tours to Ephesus, Samos, and nearby islands AWARDS: Best paper, best student paper, best presentation, best poster, best software SUBMISSION DEADLINES: November 30: registration of tentative abstract, December 7: full text of registered papers See complete CFP and contact on www.CICLing.org/2013 This message is sent in good faith of its usefulness for you as an NLP researcher. If this is an error, kindly let me know. Alexander Gelbukh www.Gelbukh.com From AAMAS_2013_Publicity_Chair at wenen.twi.tudelft.nl Mon Oct 22 20:47:15 2012 From: AAMAS_2013_Publicity_Chair at wenen.twi.tudelft.nl (AAMAS_2013_Publicity_Chair) Date: Mon, 22 Oct 2012 20:47:15 +0200 Subject: Call for Nominations: ACM SIGART Autonomous Agents Research Award 2013 Message-ID: <1c30532bb03e2a800ef07e1144b48ae5.squirrel@graphics.tudelft.nl> ** Call for Nominations ** ACM SIGART AUTONOMOUS AGENTS RESEARCH AWARD 2013 Nominations are solicited for the 2013 ACM SIGART Autonomous Agents Research Award. This award is made for excellence in research in the area of autonomous agents. It is intended to recognize researchers in autonomous agents whose current work is an important influence on the field. The award is an official ACM award, funded by an endowment created by ACM SIGART from the proceeds of previous Autonomous Agents conferences. The recipient of the award will receive a monetary prize and a certificate, and will be invited to present a plenary talk at the AAMAS 2013 conference in St Paul, MN, see: http://aamas2013.cs.umn.edu/ Previous winners of the ACM SIGART Autonomous Research Award were: Moshe Tennenholtz (2012), Joe Halpern (2011), Jonathan Gratch and Stacy Marsella (2010), Manuela Veloso (2009), Yoav Shoham (2008), Sarit Kraus (2007), Michael Wooldridge (2006), Milind Tambe (2005), Makoto Yokoo (2004), Nicholas R. Jennings (2003), Katia Sycara (2002), and Tuomas Sandholm (2001). For more information on the award, see: http://sigart.acm.org/aaaward.htm HOW TO NOMINATE Anybody can make a nomination. Nominations should be made by email to the chair of the award committee, Michael Wooldridge (mjw at cs.ox.ac.uk), and should consist of a short (< 1 page) statement that clearly describes the research contributions that the individual has made that merit the award, and how these contributions have influenced the field. NOTE: a candidate can only be considered for the award if they are explicitly nominated. If you believe that someone deserves the award, then NOMINATE THEM -- don't assume that somebody else will! IMPORTANT DATES * Friday 7 December 2012 -- Deadline for nominations * early 2013 -- announcement of 2013 winner * 6-10 May 2013 -- AAMAS-2013 conference in St Paul, MN From sebastian.sardina at rmit.edu.au Tue Oct 23 07:11:20 2012 From: sebastian.sardina at rmit.edu.au (Sebastian Sardina) Date: Tue, 23 Oct 2012 16:11:20 +1100 Subject: CALL FOR PARTICIPATION: The 25th Australasian Joint Conference on Artificial Intelligence (AI'12), Dec 4-7, Sydney, Australia Message-ID: [Apologies if you receive this more than once] ------------------------------------------------------------ AI'12 CALL FOR PARTICIPATION The 25th Australasian Joint Conference on Artificial Intelligence (AI'12) December 4-7, Sydney Harbour Marriott, Sydney, Australia About the Conference ==================== Since the first AI Conference took place in Sydney in 1987, the series of annual Australasian Joint Conferences on Artificial Intelligence have become the premier event for Artificial Intelligence researchers in Australasia and one of the major international forums on AI worldwide. For its 25th anniversary, the Australasian Joint Conference on Artificial Intelligence will return to Sydney in December 2012, jointly hosted by The University of Western Sydney and The University of New South Wales. For 2012, the conference venue will be the outstanding Sydney Harbour Marriott Hotel, one of Sydney’s premier harbourside hotels at Circular Quay. The venue overlooks the sparkling Sydney Harbour and the world famous Sydney Opera House, and is just moments away from the historic Rocks district. Further information can be found on the conference website: http://25thAnniversaryAustralasianAI.org or http://ai12.org Programme ========= We are very pleased to announce that invited speakers Prof. Joseph Halpern, Prof. Mamoru Kaneko and Prof. Mary O'Kane will be giving talks at AI 2012: Prof Joseph Halpern (Cornell University, USA) Constructive decision theory: Decision theory with subjective states and outcomes Prof. Mamoru Kaneko (University of Tsukuba, Japan) Epistemic Logic Approach to Game Theory and Inductive Game Theory Prof. Mary O'Kane (NSW Chief Scientist and Engineer) AI in Australia -- early days & current impact Apart from the invited speakers, the programme will mainly consist of talks given by authors of accepted papers. A list of accepted papers can be found here: http://ai2012.web.cse.unsw.edu.au/acceptedpapers.html In addition, four workshops and two tutorials will be held at AI'12: http://ai2012.web.cse.unsw.edu.au/workshops.html The 10th Australasian Data Mining Conference (AusDM 2012), to be held 5-7 December 2012 is collocated with AI 2012 at the Sydney Harbour Marriott. Registration for AI 2012 allows full access to AusDM 2012. Registration ============ Registration includes all AI'12 conference sessions (research paper sessions, keynote sessions). The fees include daily morning and afternoon teas, a buffet lunch, conference bag, and conference proceedings on a USB stick. The Standard and Student Plus fees include the conference banquet. Online registration for the workshop is open and has been extended to **15th November 2012** to align with collocated events: http://ai2012.web.cse.unsw.edu.au/registration.html Organisation ============ GENERAL CHAIRS Simeon Simoff, The University of Western Sydney Maurice Pagnucco, The University of New South Wales PROGRAM CHAIRS Dongmo Zhang, The University of Western Sydney Michael Thielscher, The University of New South Wales LOCAL ARRANGEMENTS CHAIRS Yan Zhang, The University of Western Sydney Abhaya Nayak, Macquarie University AWARD SELECTION CHAIR Toby Walsh, National ICT Australia (NICTA) WORKSHOP/TUTORIAL CHAIR Hans Guesgen, Massey University, New Zealand PUBLICITY CHAIR Sebastian Sardina, RMIT University SPONSORSHIP CHAIRS Sumeet Kumar, Telstra Enterprise & Government Laurence Park, The University of Western Sydney CONFERENCE COORDINATOR David Rajaratnam, The University of New South Wales AI CHALLENGES COORDINATOR Anton Bogdanovych, The University of Western Sydney From bmuller at glam.ac.uk Sun Oct 28 00:22:47 2012 From: bmuller at glam.ac.uk (Muller B (AT)) Date: Sat, 27 Oct 2012 22:22:47 +0000 Subject: 1st CfP Logics, Agents, and Mobility (LAM'13) Message-ID: <7A848071-42EF-44FC-A205-C6D45C58B0C6@glam.ac.uk> *** 1st CALL FOR PAPERS *** 6th International Workshop on LOGICS, AGENTS, and MOBILITY (LAM’13), 2–5 April 2013, University of Exeter, United Kingdom organised as symposium at the AISB Annual Convention 2013 (http://emps.exeter.ac.uk/computer-science/research/aisb/) Organisers: Berndt “Bertie” Müller (Farwer), University of Glamorgan Michael Köhler-Bussmeier, University of Hamburg Workshop Homepage: http://lam2013.wordpress.com * Workshop Purpose * The aim of this series of workshops is to bring together active researchers in the areas of logics and other formal frameworks on the one hand, and mobile systems on the other hand. The main focus is on the field of applications of logics and calculi for mobile agents, smart intelligent solutions and multi-agent systems. Many notions used in the theory of agents are derived from philosophy, logic, and linguistics (belief, desire, intention, speech act, etc.), and interdisciplinary discourse has proved fruitful for the advance of this domain. Outside of academia, the deployment of large-scale pervasive infrastructures (mobile ad-hoc networks, mobile devices, RFIDs, etc.) is becoming a reality. This raises a number of scientific and technological challenges for the software modelling and programming models for such large-scale, open and highly-dynamic distributed systems. The agent and multi-agent systems approach seems particularly adapted to tackle this challenge, but there are many issues remaining to be investigated. For instance, the agents must be location-aware since the actual services available to them may depend on their (physical or virtual) location. The quality and quantity of resources at their disposal is also largely fluctuant, and the agents must be able to adapt to such highly dynamic environments. Moreover, mobility itself raises a large number of difficult issues related to safety and security, which require the ability to reason about the software (e.g. for analysis or verification). Logics and type systems with temporal or other kinds of modalities (relating to location, resource and/or security-awareness) play a central role in the semantic characterisation and then verification of properties about mobile agent systems. There are still many open problems and research questions in the theory of such systems. The workshop is intended to showcase results and current work being undertaken in these areas with a focus on logics for specification and verification of dynamic, mobile systems. The topics of interest lie in the area of logics and concurrent systems with a focus on the special application domain of mobile systems and (multi-)agent-based systems, such as: * Applications of logics and/or multi-agent systems * Smart/intelligent solutions * Models of concurrency * Models of resource-bounded systems * Models of location-based reasoning * Logics for concurrency with a perspective on mobility * Models of mobile systems * Verification and analysis techniques * Related programming models Scopes of Interest * applications of MAS * logics for specification and reasoning about agents, MAS, and mobile systems * treatment of location and resources in logics * security (e.g., in ad-hoc networks) * temporal logics and model checking * type systems and static analysis * logic programming * concurrency theory with a focus on mobility or dynamics in agent systems. * Previous Workshops * LAM’08: 4–8 August 2008 at ESSLI in Hamburg, Germany LAM’09: 10 August 2009 at LICS in Los Angeles, USA LAM’10: 15 July 2010 at LICS in Edinburgh, Scotland, UK LAM’11: 10 September 2011 at CONCUR in Aachen, Germany LAM’12: 25 June 2012 at Petri Nets 2012, Hamburg, Germany * Format of the Workshop * The workshop will be held as a one day of the convention. There will be a short introduction and brief survey of the field by the organisers as an introduction to the workshop. The workshop will contain invited talks, contributed talks, and will offer opportunities for discussion. The latter will give the participants a chance to discuss informally research directions, open problems, and possible co-operations. * Invited Speakers * [To be announced.] * Submission details * Authors are invited to submit a full paper of original work in the areas mentioned above. The workshop chair should be informed of closely related work submitted to a conference or journal in advance of submission. One author of each accepted paper will be expected to present it at the LAM’13 workshop. Submissions should not exceed 15 pages, preferably using the LaTeX article or LNCSS class. The following formats are accepted: PDF, PS. Please send your submission electronically via EasyChair: http://www.easychair.org/conferences/?conf=lam13 The submissions will be reviewed by the workshop’s program committee and additional reviewers. Accepted papers will appear in electronic proceedings and authors will be encouraged to re-submit papers to formal proceedings to be published as a separate publication, e.g. as a special journal issue. * Important Dates * Submission Deadline: 14th January 2013 Notification of acceptance/rejection: 11 February 2013 Final version of papers due: 4 March 2013 Workshop: 2–5 April 2013 (one-day workshop) From e.haasdijk at vu.nl Mon Oct 29 16:43:23 2012 From: e.haasdijk at vu.nl (Evert Haasdijk) Date: Mon, 29 Oct 2012 16:43:23 +0100 Subject: EvoROBOT submission deadline extension Message-ID: <3E15EB82-E428-46EF-8BFE-3107018B1210@vu.nl> Due to numerous requests, the submission deadline for EvoROBOT 2013 has been extended to Sunday, 11 November 2012. Please note that there will be no further extensions, and 11 November will be the very FINAL date that papers can be accepted. Submission information for EvoROBOT is available at http://www.evostar.org. Please distribute (Apologies for cross posting) ---------------------------------------------------------------------------- CALL FOR PAPERS EvoROBOT 2013, Vienna, Austria, 3-5 April 2013 Evolutionary Computation in Robotics The well-known EvoStar conference (http://www.evostar.org/) has been extended to host the EvoROBOT track as part of EvoApplications, the European Conference on the Applications of Evolutionary Computation, to be held in April 2013 at the Vienna University of Technology. The EvoROBOT track focusses, as the name implies, on evolutionary robotics: the application of evolutionary computation techniques to automatically design the controllers and/or hardware of autonomous robots, real or simulated. This is by nature a multi-faceted field that combines approaches from other fields such as neuro-evolution, evolutionary design, artificial life, robotics, et cetera. We seek high quality contributions dealing with state-of-the-art research in the area of evolutionary robotics. Topics include but are not limited to: Evolution of (neural) robot controllers; Evolution of modular robot morphology; Hardware/morphology and controller co-evolution; Open-ended evolution in robotics; Robotic evolutionary Artificial Life; Evolutionary self-assembly and self-replication; Evolution, development and learning; Evolutionary and co-evolutionary approaches. Important Dates ---------------- Submission deadline: 11 November 2012 (no further extensions!!) Notification to authors: 21 December 2012 Camera-ready deadline: 15 January 2013 EvoStar event 3-5 April 2013 Publication Details ------------------- Accepted papers will appear in the proceedings of EvoStar, published as Springer Lecture Notes in Computer Science. Submission Details ------------------ 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 EvoROBOT in Springer LNCS format at http://myreview.csregistry.org/evoapps13. The page limit is 10 pages. Track Chairs ------------ Gusz Eiben Evert Haasdijk Programme Committee ------------------- Nicolas Bredeche Institut des Systèmes Intelligents et de Robotique Jeff Clune Cornell University Stephane Doncieux Institut des Systèmes Intelligents et de Robotique Marco Dorigo Universite Libre de Bruxelles Heiko Hamann Karl Franzens University Graz Serge Kernbach Universitaet Stuttgart Jean-Marc Montanier Universite Paris Sud Jean-Baptiste Mouret Institut des Systèmes Intelligents et de Robotique Stefano Nolfi Institute of Cognitive Sciences and Technologies Claudio Rossi Universidad Politecnica De Madrid Sanem Sariel Istanbul Teknik Universitesi Florian Schlachter Universitaet Stuttgart Thomas Schmickl Karl Franzens University Graz Christopher Schwarzer Universitaet Tuebingen Juergen Stradner Karl Franzens University Graz Jon Timmis University of York Andy Tyrrell University of York Berend Weel Vrije Universiteit Alan Winfield University of the West of England Further Information ------------------- Visit http://www.evostar.org/cfpEvoApplications.html or join the EVOstar group on LinkedIn for more details and updates. -- e v e r t h a a s d i j k Computational Intelligence Group Computer Science Department Faculty of Sciences - VU University Amsterdam De Boelelaan 1081a, room T3.41 1081 HV Amsterdam, The Netherlands T. +31 (0)20 59 87668 M. +31 (0)6 2242 3598 VU-disclaimer: http://www.vu.nl/nl/over-de-vu/vu-website/e-mail-disclaimer/disclaimer-tekst-e-mail/ From krzysztof.krawiec at cs.put.poznan.pl Tue Oct 30 08:38:48 2012 From: krzysztof.krawiec at cs.put.poznan.pl (Krzysztof Krawiec) Date: Tue, 30 Oct 2012 08:38:48 +0100 Subject: EuroGP 2013: Submission deadline extended to Nov 11 In-Reply-To: <20121026144831.88089475A@libra.cs.put.poznan.pl> References: <20121026144831.88089475A@libra.cs.put.poznan.pl> Message-ID: <508F8408.6080307@cs.put.poznan.pl> Due to numerous requests, the submission deadline for EuroGP 2013 has been extended to Sunday, 11 November 2012. There will be no further extensions, and 11 November will be the very FINAL date that papers can be accepted. Please distribute. Apologies for cross posting. ***************************************************************************** EuroGP 2013, 16th European Conference on Genetic Programming 3-5 April 2013, Vienna, Austria www.evostar.org CALL FOR PAPERS ***************************************************************************** EXTENDED SUBMISSION DEADLINE: 11 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 m.b.vanriemsdijk at tudelft.nl Tue Oct 30 22:31:40 2012 From: m.b.vanriemsdijk at tudelft.nl (Birna van Riemsdijk) Date: Tue, 30 Oct 2012 22:31:40 +0100 Subject: Second CFP IEA/AIE'13 Message-ID: IEA/AIE-2013 CALL FOR PAPERS 26th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems Website: http://iea-aie2013.few.vu.nl/ Location: Amsterdam Sponsored by: International Society of Applied Intelligence (ISAI), Almende In Cooperation with: Association for the Advancement of Artificial Intelligence (AAAI), Association for Computing Machinery (ACM/SIGART), Austrian Association for Artificial Intelligence (ÖGAI), Catalan Association for Artificial Intelligence (ACIA), Delft University of Technology, European Neural Network Society (ENNS), International Neural Network Society (INNS), Italian Artificial Intelligence Association (AI*IA), Japanese Society for Artificial Intelligence (JSAI), Lithuanian Computer Society - Artificial Intelligence Section (LIKS-AIS), Slovenian Artificial Intelligence Society (SLAIS), Spanish Society for Artificial Intelligence (AEPIA), Taiwanese Association for Artificial Intelligence (TAAI), Taiwanese Association for Consumer Electronics (TACE), Texas State University-San Marcos, VU University Amsterdam. Scope: IEA/AIE 2013 continues the tradition of emphasizing applications of applied intelligent systems to solve real-life problems in all areas including engineering, science, industry, automation & robotics, business & finance, medicine and biomedicine, bioinformatics, cyberspace, and human-machine interactions. IEA/AIE-2013 will include oral presentations, invited speakers, special sessions, and a doctoral consortium. Invitation: Authors are invited to submit their papers in English of up to 10 pages, presenting the results of original research or innovative practical applications. Practical experiences with state-of-the-art AI methodologies are also acceptable when they reflect lessons of unique value to the conference attendees. Shorter works, up to 6 pages, may be submitted as short papers representing work in progress or suggesting possible research directions. A Doctoral Consortium is part of the conference, at which students can present their work and receive feedback from experts in the field. Further details are available at the conference website. Paper Submission: All paper submissions will be done electronically, at the web site http://iea-aie2013.few.vu.nl . Papers will be peer reviewed and final copies of papers for inclusion in the conference proceedings will be published by Springer-Verlag (format instructions available at http://www.springer.de/comp/lncs/authors.html) in their 'Lecture Notes in Artificial Intelligence' series. Referees will be asked to nominate papers for a Best Paper Award to be announced at the conference. All papers will be automatically considered for publication in an expanded form in selected international journals, including Applied Intelligence, Soft Computing, Evolutionary Intelligence, Journal of Ambient Intelligence and Humanized Computing. Important Dates: Paper submission: Nov. 9, 2012 Paper acceptance: Feb. 6, 2013 Final camera ready form: Feb. 25, 2013 Conference date: June 17-21, 2013 Topics of interest include: Adaptive Control Evolutionary Algorithms Knowledge Processing Ambient Intelligence Expert Systems Machine Learning Application to Design Financial Applications Meta-heuristics Applications to Manufacturing Genetic Programming Model-based Reasoning Autonomous Agents Heuristic Search Multi-Agent Systems Bio-informatics Human Robot Interaction Natural Language Processing Case-based Reasoning Integration Systems for Real Life App. Neural Networks Chance Discovery Intelligent Interfaces Planning and Scheduling Cognitive Modeling Intelligent Systems Reasoning under Uncertainty Computer Vision Intelligent Systems in Education Social Networks Applications Constraint Satisfaction Internet Applications Soft Computing Conversational Informatics Interaction Planning and Scheduling Spatial Reasoning Data Mining KBS Methodology Speech Recognition Decision Support Systems Knowledge Management Distributed Problem Solving --------------------------------------------------------------- General Chair Moonis Ali Organizing Chair Tibor Bosse Program Chairs Koen Hindriks Mark Hoogendoorn Catholijn Jonker Jan Treur Doctoral Consortium Chair Michel Klein Local Arrangements Chair Elly Lammers Publicity Chair Reyhan Aydogan Birna van Riemsdijk Special Sessions’ Organizing Chair Catholijn Jonker Contact: Tibor Bosse E-mail: tbosse at few.vu.nl -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: