From bulling at in.tu-clausthal.de Fri Nov 2 14:13:57 2012 From: bulling at in.tu-clausthal.de (Nils Bulling) Date: Fri, 2 Nov 2012 14:13:57 +0100 Subject: Postdoc/PhD Position in Formal Methods in Multi-Agent Systems Message-ID: <57AD4C8D-30A8-4842-9F5B-A0481D2E5F15@in.tu-clausthal.de> ------------------------------------------------------ Postdoc/PhD Position in Formal Methods in Multi-Agent Systems ------------------------------------------------------ A PDF version of the announcement can be found here: http://www.in.tu-clausthal.de/fileadmin/homes/CIG/pos_13_mas.pdf Position --------------------------- The Department of Informatics at Clausthal University of Technology is seeking to hire a postdoctoral research fellow or PhD student. The position is associated with a DFG/FNR-funded project on Game Logics and Formal Methods for Multi-Agent Systems led by Prof. Dr. Jürgen Dix (Germany) and Prof. Dr. Leon van der Torre (Luxembourg). Institutional Environment --------------------------- The position is associated with the Computational Intelligence Group chaired by Prof. Dr. Jürgen Dix at the Department of Informatics at Clausthal University of Technology. The department consists of 11 research groups including the closely related group of Mobile and Enterprise Computing led by Prof. Dr. Jörg Müller. Our group is research-oriented and actively collaborates with many scientists in Europe from the multi-agent and logic community. Candidate Profile --------------------------- Candidates should hold a PhD in a field relevant to the project and have a strong background in logics, formal methods, game theory, or multi-agent systems (established by e.g. an excellent list of publications). The candidate is supposed to have good communication skills in English. Good social skills are also required as cooperation with other researchers is essential. The position does not include any teaching duties. Depending of the strength of the candidate it is also possible to fill the position with a PhD student. In this case the candidate must hold an excellent MSc degree in a field relevant to the project. Appointment --------------------------- The appointment is full-time for a period of 1-2 years and to be filled as soon as possible. The gross monthly salary will be in accordance with the pay scale TV-L 13 but depends on qualification of the applicant and the university regulations. Application and Contact --------------------------- Applications should be sent by e-mail to Dr. Nils Bulling (bulling at in.tu-clausthal.de) and have to include a letter of motivation, a curriculum vitae, and a list of publications (only in PDF format). The deadline for applications is Monday, 10th December 2012. For further information please feel free to contact Dr. Nils Bulling (bulling at in.tu-clausthal.de) and to visit our website: http://cig.in.tu-clausthal.de. -- Dr. Nils Bulling Clausthal University of Technology, Germany http://www.nbulling.de phone: +49 5323 72 7182 From universal.logic at unine.ch Mon Nov 5 13:35:49 2012 From: universal.logic at unine.ch (universal logic) Date: Mon, 5 Nov 2012 12:35:49 +0000 Subject: UNILOG'2013 Extended Deadline November 15 Message-ID: <011E451E66F47F4890878A246663E0EF34B50D03@mail-mbx-01.UNINE.CH> UNILOG'2013 http://www.uni-log.org/ The 4th World Congress and School on Universal Logic will happen in Rio de Janeiro, March 29 - April 7, 2013 A world event dedicated to all aspects of logic 30 invited/keynote speakers: S.Feferman, Y.Gurevich, J.Seldin, D.Mundici, P.Suppes. A.Avron, etc. 1 contest: Scope of logic theorems 15 workshops: Many-Valued Logics, Abstract Proof Theory, Intuitionistic Modal Logic, etc. 1 secret speaker: his/her/its identity will be revealed only at the time of his/her/its talk 25 tutorials: Non-Deterministic Semantics, Hypersequents, Undecidability and Incompleteness Everywhere, etc. Extended Deadline to submit a talk: November 15th, 2012 Pre-registration is open >--------------------------------------------------- World Congress and School on Universal Logic Montreux 2005 - Xi'an 2007 - Lisbon 2010 - Rio 2013 http://www.uni-log.org/ From geoff at cs.miami.edu Mon Nov 5 19:24:13 2012 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Mon, 5 Nov 2012 13:24:13 -0500 (EST) Subject: CADE-24 CFP and Workshops Message-ID: <20121105182413.F265B1215A6@mcclellan.cs.miami.edu> Apologies for multiple copies ---------------------------------------------------------------------- CADE-24: CALL FOR PAPERS 24th International Conference on Automated Deduction June 9-14, 2013, Lake Placid, New York, USA http://www.cade-24.info/ Submission Deadline: 14 January 2013 CADE is the major forum for the presentation of research in all aspects of automated deduction. The conference program features invited talks, paper presentations, system descriptions, workshops, tutorials, and system competitions, including the CADE ATP System Competition (CASC). CADE-24 invites high-quality submissions on the general topic of automated reasoning, including foundations, applications, implementations and practical experiences. * Logics of interest include: propositional, first-order, equational, classical, higher-order, non-classical, constructive, modal, temporal, many-valued, description, meta-logics, logical frameworks, type theory, set theory, as well as any combination thereof. * Paradigms of interest include: theorem proving, model building, constraint solving, computer algebra, model checking, proof checking, and their integrations. * Methods of interest include: resolution, superposition or paramodulation, completion, saturation, term rewriting, decision procedures and their combinations, model elimination, connection method, inverse method, tableaux, induction, proof planning, sequent calculi, natural deduction, as well as their supporting algorithms and data structures, including unification, matching, orderings, indexing, proof presentation and explanation, and search plans or strategies for inference control, including semantic guidance and AI-related methods. * Applications of interest include: analysis, verification and synthesis of software and hardware, formal methods, computer mathematics, computational logic, declarative programming, knowledge representation, deductive databases, natural language processing, computational linguistics, ontology reasoning, robotics, planning, and other areas of artificial intelligence. Detailed information on satellite events will be published in separate calls and on the conference website. PUBLICATION AND SUBMISSION The proceedings of the conference will be published in the Springer LNAI/LNCS series. Submissions can be made in the categories 'regular paper' (max 15 pages) and 'system description' (max 7 pages). Full system descriptions that provide in-depth presentation of original ideas in an implemented system can be submitted as regular papers. There is an expectation that proofs of theoretical results that do not fit in the page limit, executables of systems, and input data of experiments be available, via a reference to a website, or in an appendix of the paper. Reviewers will be encouraged to consider these additional materials, however it will be at their discretion to do it. All papers will be evaluated according to the highest standards in terms of originality, significance, technical quality, and readability. Submissions must be in English and standard conforming pdf format. Submissions must be unpublished and not submitted for publication elsewhere. Authors are strongly encouraged to produce their papers in LaTeX. Formatting instructions and the LNCS style files can be obtained via http://www.springer.de/comp/lncs/authors.html. The page for electronic submission via EasyChair is https://www.easychair.org/conferences/?conf=cade24. IMPORTANT DATES Title and abstract must be submitted before the paper. Abstract submission: 7 January 2013 Paper submission: 14 January 2013 Notification: 11 March 2013 Final version: 1 April 2013 Workshops and Tutorials: 9-10 June 2013 Competitions: 9-14 June 2013 Conference: 11-14 June 2013 ORGANIZERS Conference Co-Chairs: Christopher A. Lynch Clarkson University Neil V. Murray University at Albany - SUNY Program Committee Chair: Maria Paola Bonacina Universita` degli Studi di Verona Workshop and Competition Chair: Christoph Benzmueller Freie Universitaet Berlin Tutorial Chair: Peter Baumgartner NICTA and Australian National University Publicity and Web Chair: Grant Olney Passmore Cambridge University and Edinburgh University PROGRAM COMMITTEE Alessandro Armando Universita` degli Studi di Genova & FBK Trento, Italy Peter Baumgartner NICTA & Australian National University, Australia Christoph Benzmueller Freie Universitaet Berlin, Germany Maria Paola Bonacina Universita` degli Studi di Verona, Italy (Chair) Cristina Borralleras Universitat de Vic, Spain Thierry Boy De La Tour Universite' de Grenoble, France Evelyne Contejean CNRS & Universite' de Paris-Sud, France Leonardo De Moura Microsoft Research, USA Stephanie Delaune Ecole Nationale Superieure de Cachan, France Clare Dixon University of Liverpool, UK Pascal Fontaine Universite' de Lorraine & LORIA, France Ulrich Furbach Universitaet Koblenz-Landau, Germany Ruben Gamboa University of Wyoming, USA Juergen Giesl RWTH Aachen, Germany Paul B. Jackson University of Edinburgh, UK Predrag Janicic Univerzitet u Beogradu, Serbia Helene Kirchner INRIA Rocquencourt, France Konstantin Korovin University of Manchester, UK K. Rustan M. Leino Microsoft Research, USA Christopher A. Lynch Clarkson University, USA Cesar A. Munoz NASA Langley, USA Neil V. Murray University at Albany - SUNY , USA Lawrence C. Paulson University of Cambridge, UK Frank Pfenning Carnegie Mellon University, USA Brigitte Pientka McGill University, Canada David A. Plaisted University of North Carolina at Chapel Hill, USA Christophe Ringeissen LORIA & INRIA Nancy-Grand Est, France Ulrike Sattler University of Manchester, UK Renate A. Schmidt University of Manchester, UK Manfred Schmidt-Schauss Johann Wolfgang Goethe Universitaet, Germany Stephan Schulz Technische Universitaet Muenchen, Germany Viorica Sofronie-Stokkermans Universitaet Koblenz-Landau, Germany Ashish Tiwari SRI International, USA Uwe Waldmann MPI fuer Informatik, Germany Christoph Weidenbach MPI fuer Informatik, Germany Jian Zhang Chinese Academy of Sciences, P.R. China ---------------------------------------------------------------------- CADE-24: CALL FOR WORKSHOPS, TUTORIALS AND SYSTEM COMPETITIONS The 24th International Conference on Automated Deduction Lake Placid, USA, 9-14 June 2013 http://www.cade-24.info Submission deadline: 9 November 2012 CADE is the major international forum at which research on all aspects of automated deduction is presented. CALL FOR WORKSHOPS Workshop proposals for CADE-24 are solicited. Both well-established workshops and newer ones are encouraged. Similarly, proposals for workshops with a tight focus on a core automated reasoning specialization, as well as those with a broader, more applied focus, are very welcome. Please provide the following information in your application document: + Workshop title. + Names and affiliations of organizers. + Proposed workshop duration (from half a day to two days). + Brief description of the goals and the scope of the workshop. Why is the workshop relevant for CADE? + Is the workshop new or has it met previously? In the latter case information on previous meetings should be given. + What are the plans for publication? CALL FOR TUTORIALS Tutorial proposals for CADE-24 are solicited. Tutorials are expected to be half-day events, with a theoretical or applied focus, on a Topic Of Interest for CADE-24. Proposals should provide the following information: + Tutorial title. + Names and affiliations of organizers. + Brief description of the tutorial's goals and topics to be covered. + Whether or not a version of the tutorial has been given previously. CADE will take care of printing and distributing notes for tutorials that would like this service. CALL FOR SYSTEM COMPETITIONS The CADE ATP Systems Competition CASC, which evaluates automated theorem proving systems for classical logics, has become an integral part of the CADE conferences. Further system competition proposals are solicited. The goal is to foster the development of automated reasoning systems in all areas relevant for automated deduction in a broader sense. + Competition title. + Names and affiliations of organizers. + Duration and schedule of the competition. + Room/space requirements. + Description of the competition task and the evaluation procedure. + Is the competition new or has it been organized before? In the latter case information on previous competitions should be given. + What computing resources are required and how will they be provided? IMPORTANT DATES Deadline for proposal submissions: 9 November 2012 Acceptance/rejection notification: 30 November 2012 Workshops and Tutorials: 9-10 June 2013 Competitions: 9-14 June 2013 Conference: 11-14 June 2013 SUBMISSION INSTRUCTIONS Proposals should be uploaded via https://www.easychair.org/conferences/?conf=cade24workshopscompe CADE-24 ORGANIZERS Conference Co-Chairs: Christopher A. Lynch Clarkson University Neil V. Murray SUNY Albany Program Committee Chair: Maria Paola Bonacina Universita` degli Studi di Verona Tutorial Chair: Peter Baumgartner NICTA and Australian National University Workshop and Competition Chair: Christoph Benzmueller Freie Universitaet Berlin Publicity and Web Chair: Grant Olney Passmore Cambridge University and University of Edinburgh From m.b.vanriemsdijk at tudelft.nl Sat Nov 10 22:19:42 2012 From: m.b.vanriemsdijk at tudelft.nl (Birna van Riemsdijk) Date: Sat, 10 Nov 2012 22:19:42 +0100 Subject: CFP IEA/AIE'13: deadline extension until Nov 23rd Message-ID: IEA/AIE-2013 CALL FOR PAPERS *** Deadline extension until November 23rd *** 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. 23, 2012 (extended) 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: From AAMAS_2013_Publicity_Chair at wenen.twi.tudelft.nl Sun Nov 11 20:51:56 2012 From: AAMAS_2013_Publicity_Chair at wenen.twi.tudelft.nl (AAMAS_2013_Publicity_Chair) Date: Sun, 11 Nov 2012 20:51:56 +0100 Subject: Call for Demonstations: AAMAS 2013 Message-ID: <5ce65358ff6418db44bd4f7704b8a6a7.squirrel@graphics.tudelft.nl> CALL FOR DEMONSTRATIONS Twelfth International Conference on AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS 2013) May 6-10 2013 Saint Paul, Minnesota, USA Demos track Web site: http://www.isl.cs.waseda.ac.jp/aamas2013Demo/ Conference Web site: http://aamas2013.cs.umn.edu/ DESCRIPTION The goal of the AAMAS DEMOs track is to provide opportunities for participants from academia and/or industry to present their latest developments in agent-based software and/or robotic systems. Interactive systems and novel applications are particularly welcome. Student researchers are encouraged to submit. A "Best Demo" will be selected and awarded by the committee. At least one author of accepted demos will be expected to present a poster and live demonstration at the conference in St. Paul. Authors of accepted papers and posters in the main track of the AAMAS conference, as well as workshop presenters, are particularly encouraged to submit! (You'll be there anyway - this is another opportunity to share your work and discuss your results in detail with conference attendees who visit your Demo!) Examples of demos include but are not limited to: * Robotic systems (single- and multi-agent) * Interactive agent-based software systems * Agent-based simulation environments * Personal robotics * Innovative applications of agent-based systems or prototypes (e.g., industrial, military, educational) * Agent-based games * Agent platforms and development environments * Open-source software tools for agent-based system development * Human-robot interactive systems * Virtual agents and interactive virtual environments The organizers will make every effort to facilitate demo requirements. If you have unusual requirements please contact the organizers in advance. At a minimum, we will provide a poster board, a monitor with a standard VGA connector, a power strip and a 2m table for each demonstration. SUBMISSION REQUIREMENTS Submissions accepted for the demonstration session will be advertised on the AAMAS website and in the conference booklet, which will contain abstracts of all available Demos. Each Demo submission must consist of the following: 1. Paper: A 2-page paper in which the authors describe the system to be demonstrated. The paper should describe the application domain, the problem scenario, the technology used, the agent/multi-agent techniques involved, the innovations of the system, its live and interactive aspects, etc. Papers MUST BE PREPARED IN PDF format using the AAMAS style (follow these instructions)). 2. Video or PPT: The paper must contain a URL linking to a demonstration video no more than 5 minutes in length (QuickTime or YouTube format) or a Powerpoint presentation showing and explaining what happens. If some other format can more clearly show the demo, accommodation may be made. Please contact the organizers in advance. 3. Contribution and Supervisor Endorsement (Student Projects Only): A brief note from the student's supervisor describing the student's individual contribution to the project, written on university letterhead and including the supervisor's full name, title and email address. This should be attached as the 3rd page of the PDF Paper submission (above). Accepted Demos will have the 2-page papers included in the AAMAS proceedings. SUBMISSION WEB SITE https://www.easychair.org/conferences/?conf=aamas2013demo SELECTION PROCESS The submission and selection processes for the AAMAS 2012 Demos will be separate from that of the main conference. Each submission will be assessed by the Demos Committee. The authors will receive a brief report with the result of the evaluation with the notification. The main evaluation criteria are: * Presentation and technical quality * Significance and originality * Relevance to AAMAS * Maturity of the (deployed) system and readiness for demonstration * Potential for public interaction Notification of acceptance or rejection of submitted demos will be sent to the corresponding author (see dates below). At least one author of each accepted demonstration is required to register and to attend the conference to give the demonstration. IMPORTANT DATES * Submission deadline: January 9, 2013 * Notification of acceptance/rejection: February 14, 2013 * Camera-ready paper: To Be Announced CONTACT INFORMATION For more information, contact the Demos Chairs: Prof Paul Scerri Carnegie Mellon University pscerri at cs.cmu.edu or Prof. Toshiharu Sugawara Waseda University sugawara at waseda.jp From sebastian.sardina at rmit.edu.au Mon Nov 12 01:06:07 2012 From: sebastian.sardina at rmit.edu.au (Sebastian Sardina) Date: Mon, 12 Nov 2012 11:06:07 +1100 Subject: AI'12 Early Registration ends soon (15 November) & panel discussion on "AI in Australasia" Message-ID: [Apologies if you receive this more than once] ------------------------------------------------------------ To celebrate the 25th anniversary of Australasian AI conferences, a panel discussion "AI in Australasia - the Past Twenty-Five Years" will be held on 6 December. The panel members include: Professor Robin Stanton (DVC at ANU) Professor Mary O’Kane (NSW Chief Scientist and Engineer, FTSE) Professor Ross Quinlan (RuleQuest's founder, AAAI Fellow) Professor Ray Jarvis (Professor in Monash University, IEEE Fellow) Professor John Lloyd (Professor in ANU) Professor Michael Georgeff (Professor in Monash, AAAI Fellow) ------------------------------------------------------------ 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 ulle.endriss at uva.nl Fri Nov 16 11:27:21 2012 From: ulle.endriss at uva.nl (Ulle Endriss) Date: Fri, 16 Nov 2012 11:27:21 +0100 Subject: MSc Logic Programme at the ILLC, University of Amsterdam Message-ID: <50A61509.4010700@uva.nl> [Apologies if you receive this more than once. Please forward to potentially interested students and appropriate mailing lists.] ************************************************************************* The MSc Logic Programme at the ILLC, University of Amsterdam URL: http://www.illc.uva.nl/MScLogic/ ************************************************************************* The MSc Logic, offered by the the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam, is a two-year Master's programme providing intensive interdisciplinary research training for excellent students with a first degree in Mathematics, Computer Science, Philosophy, Linguistics, or a related discipline. *Courses*: We offer a unique combination of over 40 courses in Mathematical Logic, Theoretical Computer Science, Artificial Intelligence, Philosophical Logic, Formal Semantics and Pragmatics, Philosophy of Language, Computational Linguistics, Cognitive Science, and Mathematical Economics. You will be guided by an academic mentor to design your own personal programme of study out of this pool of courses, supplemented with a number of small individual research projects. The final semester is devoted to the writing of a Master's thesis, which in the past has often lead to scholarly publications. *Language*: All courses are taught in English. At any given time, the programme hosts students from at least 25 different countries. *Career opportunities*: Most of our graduates embark on an academic career and continue with a PhD, often at top universities all over the world. Other career opportunities include the software industry and management consulting. *Application*: The application deadlines for September 2013 entry are 1 April 2013 for students from European countries and 1 February 2013 for all others. Please visit http://www.illc.uva.nl/MScLogic/ to find out more. ************************************************************************* -- Ulle Endriss http://www.illc.uva.nl/~ulle/ Institute for Logic, Language & Computation (ILLC) University of Amsterdam Tel: +31 (0)20 525 6511 Postbus 94242 Fax: +31 (0)20 525 5206 1090 GE Amsterdam (NL) Email: u.endriss at uva.nl From leon.vandertorre at uni.lu Fri Nov 16 14:45:56 2012 From: leon.vandertorre at uni.lu (Leon Van Der Torre) Date: Fri, 16 Nov 2012 14:45:56 +0100 Subject: PhD Candidate in Logic-Based Decision Support (M/F) Message-ID: <50A64394.5050001@uni.lu> REF : SNT-PhD-SECO-RatArch-1112 Fixed-term contract 3 years, full-time (40 hrs/week) Your Role You will work in the Individual and Collective Reasoning Group (icr.uni.lu) of Prof. Leon van der Torre. The position is embedded in the RationalArchitecture project, which is done in collaboration with Prof. Erik Proper of the CRP Henri Tudor and funded by the National Research Fund in Luxembourg (FNR). The goal of the PhD project is to develop and evaluate a general logical framework for the analysis of complex high-level decisions (about enterprise architecture, or research strategies) in knowledge gathering and processing institutions (e.g. companies in the finance sector, or research centers). Advanced techniques from knowledge representation (e.g. nonmonotonic reasoning) and multi-agent systems (e.g. action logics) will be applied and generalized to model the dynamics and uncertainty characteristic of such a socio-epistemic context. You will perform research in the indicated are in the context of the RationalArchitecture project. You will prepare a doctoral thesis within the "Doctoral School of Computer Science and Computer Engineering", supervised by Prof. Leon van der Torre and you will contribute to teaching activities, 1-3 hours per week and semester. Your profile * MSc in Computer Science * Strong background in knowledge representation, applied logic, multi-agent systems * Interest in Enterprise Architecture as application domain * Strong analytical capacities, creativity, and commitment * Very good written and oral English skills, a working knowledge of German/French is an advantage We offer A 3-year contract, full-time (40 hours/week), with a possible extension to 4 years A Student assignment under employment contract with limited teaching activities An international dynamic research-oriented environment The University is an equal opportunity employer Applications Applications, written in English should be submitted online http://emea3.mrted.ly/3lv5 and should include: * An introduction letter indicating your motivation * A detailed Curriculum vitae * A transcript of the grades you received in your Bachelor and Master program * A short description of your master thesis * The names and contact details of two referees *Deadline for applications: December 15th, 2012* Further Information For inquiries please contact: Prof. Leon van der Torre, leon.vandertorre at uni.lu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From eurompi2013 at arcos.inf.uc3m.es Fri Nov 16 18:44:26 2012 From: eurompi2013 at arcos.inf.uc3m.es (EuroMPI 2013) Date: Fri, 16 Nov 2012 18:44:26 +0100 Subject: EuroMPI 2013 - Call for Workshop Proposals Message-ID: <20121116174426.GA5769@piojito.arcos.inf.uc3m.es> Dear Sir or Madam, (We apologize if you receive multiple copies of this message) ========================================================================================================================= Recent Advances in Message Passing Interface. 20th European MPI Users' Group Meeting - In-cooperation with ACM and SIGHPC Madrid, Spain, September 15-18, 2013 www.eurompi2013.org Proposals are solicited for workshops to be held in conjunction with the 20th European MPI Users' Group Meeting - EuroMPI 2013. Co-located workshops at EuroMPI 2013 conference are distinguished meeting points for discussing ongoing work and latest ideas related to MPI-based applications. Of particular interest are workshop proposals with an interdisciplinary standpoint, proposals focusing on a specific technology of general interest, or gathering a sub-community. BACKGROUND AND TOPICS --------------------- EuroMPI is the preeminent meeting for users, developers and researchers to interact and discuss new developments and applications of message-passing parallel computing, in particular in and related to the Message Passing Interface (MPI). The annual meeting has a long, rich tradition, and the 20th European MPI Users' Group Meeting will again be a lively forum for discussion of everything related to usage and implementation of MPI and other parallel programming interfaces. Traditionally, the meeting has focused on the efficient implementation of aspects of MPI, typically on high-performance computing platforms, benchmarking and tools for MPI, short-comings and extensions of MPI, parallel I/O and fault tolerance, as well as parallel applications using MPI. The meeting is open towards other topics, in particular application experience and alternative interfaces for high-performance heterogeneous, hybrid, distributed memory systems. IMPORTANT DATES --------------- Workshop proposals due: January 15, 2012 Workshop notification: January 30, 2013 SUBMISSION INSTRUCTIONS ----------------------- The organizers of accepted workshops are required to advertise the workshop and call for papers, solicit submissions, conduct the reviewing process, and decide upon the final workshop program. Workshop proposals and further inquiries should be sent to the EuroMPI 2013 Workshops Chairs: EuroMPI Program Chairs (eurompi2013 [at] arcos.inf.uc3m.es) The workshop proposal should include following information: 1. Title of the workshop: International Workshop on ... 2. Workshop Organizers(s): name, affiliation, address, phone and fax numbers, e-mail. 3. Brief description of the workshop (several hundred words) receiving the notification. 5. Call for paper of the workshop (draft version - 1 page CFP MS Word version). 6. Tentative list of program committee members (Name, affiliation, country, email address). 7. Your workshop web address (Tentative). The decision on acceptance/rejection of workshop proposals will be made on the basis of the overall quality of the proposal as well as of how it fits in with the conference. The organizers of successful workshops will be responsible for their own reviewing process, publicity (e.g., website and call for papers), and proceedings production. They will be required to closely cooperate with the Workshops Chairs and the EuroMPI 2013 local organizers to finalize all organizational details. From rainer.unland at icb.uni-due.de Sun Nov 18 16:55:13 2012 From: rainer.unland at icb.uni-due.de (Rainer Unland) Date: Sun, 18 Nov 2012 16:55:13 +0100 Subject: CfP Workshop Multi-agent Based Applications for Sustainable Energy Systems (MASSES), 11th Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS), Salamanca (Spain), 22nd-24th May, 2013 Message-ID: <50A904E1.7010002@icb.uni-due.de> *First Workshop on Multi-agent Based Applications for Sustainable Energy Systems (MASSES) * *as part of* *11th Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS)* *Salamanca (Spain), 22nd-24th May, 2013 * *Important dates* Submission date17 December Notification date28 January Paper ready deadline25 February Conference dates22-24 May, 2013 *Workshop motivation and topics* After the explicit commitment of many countries to support the installation and management of often small renewable energy production sources the old energy grids need to be upgraded to a much more intelligent and flexible grid, not only for electricity but also for gas and heat. Such so called smart grids most likely need to rely on decentralized control and a highly efficient, fast, flexible and reliable management. This requires smart grids to be capable of autonomously and intelligently configuring themselves to make the most efficient use of available resources, to be robust to all kinds of failures and energy production deviations, and to be extendable and adaptable in the face of rapidly changing technologies and requirements. The distributed nature of these systems, and the autonomous behaviour expected of them, points towards multi-agent systems as a possible foundation for the realisation of the management software for such grids. While a lot has to happen on the energy production and provision level the house of the future as well as the transportation means of the future need to be smoothly integrated in such a smart grid concept as well which means that houses need to be smart as well. Thus, the focus of this workshop is on applications of multi-agent systems technology in smart grids and smart homes. Examples of areas of interest include, but are not limited to, the following: .Agent-based prediction, adaption and optimization of energy use within homes, buildings, organisations and micro-grids .Multi-agent based simulations of energy grids and markets .Coalition formation strategies for coordinated energy use across multiple consumers, forming virtual power stations, and performing intelligent demand management. .Experiences with MAS-based Smart Grid implementations .Applications of MAS-based Smart Grid technologies .MAS-based real time adaptation of energy networks .MAS-based self-configuration or self-healing of energy systems .MAS-based load modelling and control .MAS-based applications for electrical vehicles .MAS-based control and management of electrical car fleets .Interactions and exchange between networks for electricity, gas and heat .MAS-based smart home (building) applications and services .MAS-based control and management of smart homes .MAS-based control and management of appliances .MAS-based control and management of smart homes .MAS-based commercial and industrial applications for smart homes *Structure of MASSES* MASSE will be a full-day workshop and will include several presentation sessions for the accepted paper as well as invited papers on topics of overall interest in order to kick off intense and lively discussions. It is intended to end the workshop with a panel/discussion round in which the relevant results of the workshop will be discussed. *Review Process* Submissions will be peer-reviewed by at least 3 Program Committee members. Selection criteria will include: relevance, significance, impact, originality, technical soundness, quality of presentation, practical applicability. Some preference may also be given to papers which address emergent trends or important common themes. In general, papers to be acceptable, must be of substantial relevance for the multi-agent systems research community. *Journal publication of excellent papers* It is intended to invite authors of excellent papers to submit an extended version of their paper to either the IOS Multiagent and Grid Systems journal (MAGS). This journal has a high reputation and is often classified as a B-class journal. If enough high quality papers will be submitted it is planned to publish them as a special issue, otherwise as regular papers; or Springer's Transactions on Computational Collective Intelligence. This new journal focuses on research in applications of the computer-based methods of Computational Collective Intelligence (CCI) and their applications in a wide range of fields such as semantic web, social networks and multi-agent systems. *Workshop organisers/PC Chairs* Giancarlo Fortino, University of Calabria, Italy Ryszard Kowalczyk, Swinburne University of Technology, Australia Rainer Unland (primary contact), University of Duisburg-Essen, Germany, Rainer.Unland at icb.uni-due.de *Program Committee* t.b.c. -- "Experience is this valuable asset which allows us to identify the mistake immediately when we are doing it again and again!" "Erfahrung ist jener kostbare Besitz, der uns befähigt, einen Fehler sofort zu erkennen, wenn wir ihn immer wieder machen." ************************************************************************** Prof. Dr. Rainer Unland University of Duisburg-Essen Institute for Computer Science and Business Information Systems (ICB) Practical Computer Science, especially Data Management Systems and Knowledge Representation Schuetzenbahn 70 45117 Essen, Germany Tel.: (+49) 201-183 3421 IP-Tel. Skype: unlandr Fax: (+49) 201-183 4460 Email: Rainer.Unland at icb.uni-due.de WWW: http://www.dawis.wiwi.uni-due.de/ *************************************************************************** -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From calimeri at mat.unical.it Tue Nov 20 00:01:59 2012 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Tue, 20 Nov 2012 00:01:59 +0100 Subject: [CfP] 4th *OPEN* Answer Set Programming Competition 2013 - CALL FOR PARTICIPANTS Message-ID: [apologies for any cross-posting] ........................................................................ 4th OPEN Answer Set Programming Competition 2013 Call for Participant Systems University of Calabria - Vienna University of Technology Fall/Winter 2012/2013 http://aspcomp2013.mat.unical.it/ aspcomp2013 at kr.tuwien.ac.at ........................................................................ The 4th Open Answer Set Programming (ASP) Competition is now in the Call for Participant Systems stage. +--------------------------------------------------------------------+ | The event is open to ASP systems and *any other* system based on a | | declarative specification paradigm. | +--------------------------------------------------------------------+ == Call for Participant Systems == Participants of the Answer Set Programming Competition will compete on a selected collection of benchmark problems, taken from a variety of benchmark problem domains as well as real world applications. These include, but are not limited to: * Classic and applicative graph problems * Scheduling, Timetabling, and other resource allocation problems * Sequential and Temporal Planning * Combinatorial Optimization Problems * Deductive database tasks on large data-sets * Puzzles and Combinatorics * Ontology reasoning * Automated Theorem Proving and Model Checking * Reasoning tasks over large propositional instances * Constraint Programming problems * Other AI problems The competition consists of two independent main tracks: * the Model & Solve Track invites any researcher and developer of declarative knowledge representation systems to participate in an open challenge for solving sophisticated AI problems with their tools of choice. Participants submit a solver based on an arbitrary input format and declarative specifications of the Competition's benchmark domains; * the System Track compares dedicated answer set solvers on ASP benchmarks. Participants compete with a solver for a standard ASP language. We encourage to submit parallel and portfolio systems exploiting multiple cores or multiple algorithms for solving the given instances. === About the Answer Set Programming Competition Series === Answer Set Programming is a well-established paradigm of declarative programming with close relationship to other declarative modelling paradigms and languages, such as SAT Modulo Theories, Constraint Handling Rules, FO(.), PDDL, CASC, and many others. The ASP Competition is a biannual event for evaluating declarative knowledge representation systems on hard and demanding AI problems. The 4th ASP Competition will be run in the first half of 2013 jointly at the University of Calabria (Italy) and the Vienna University of Technology (Austria). The event is the sequel to the ASP Competition series, held at the University of Potsdam (Germany) in 2006-2007, at the University of Leuven (Belgium) in 2009, and at University of Calabria (Italy) in 2011. The current competition takes place in cooperation with the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), where the results will be announced. The ASP competition is held as an open tournament. The "Model & Solve" competition track fosters the spirit of integration among communities, and is thus open to all types of solvers: ASP systems, SAT solvers, SMT solvers, CP systems, FOL theorem provers, Description Logics reasoners, planning reasoners, or any other. The "System" competition track is instead set up on a fixed language based on the answer set semantics. == Important Dates == * February 2nd, 2013: Participant registration deadline * March 1st, 2013: Participant system submission deadline * March 2nd, 2013: System freeze, the competition runs * September 15-19, 2013: Announcement of results and award presentation at LPNMR 2013 in Corunna, Spain For further information and submission instructions please visit the competition web site http://aspcomp2013.mat.unical.it/ or contact us by email: aspcomp2013 at kr.tuwien.ac.at From schmidt at cs.man.ac.uk Tue Nov 20 16:32:48 2012 From: schmidt at cs.man.ac.uk (Renate Schmidt) Date: Tue, 20 Nov 2012 15:32:48 +0000 Subject: FroCoS 2013 First Call for Papers Message-ID: <20121120153248.2DC164D62A0@cspc036.cs.man.ac.uk> FIRST CALL FOR PAPERS FroCoS 2013 9th International Symposium on Frontiers of Combining Systems Nancy, France September 18-20, 2013 Submission Deadlines: 15 Apr 2013 (Abs.), 22 Apr 2013 (Paper) http://frocos2013.loria.fr/ GENERAL INFORMATION The 9th International Symposium on Frontiers of Combining Systems will be held in Nancy, France, from 18-20 September 2013. The aim of the conference is to publish and promote progress in research areas requiring the development of general techniques and methods for the combination and integration of special, formally defined systems, as well as for the analysis and modularization of complex systems. FroCos 2013 will be co-located with the 22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2013) held 16-19 September 2013. A joint invited speaker and joint session is planned. SCOPE OF CONFERENCE: In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, knowledge representation, and automated reasoning, there is an obvious need for using specialized formalisms and inference mechanisms for special tasks. To be usable in practice, these specialized systems must be combined with each other, and must be integrated into general purpose systems. This has led in many research areas to the development of general techniques and methods for the combination and integration of special, formally defined systems, as well as for the analysis and modularization of complex systems. The International Symposium on Frontiers of Combining Systems (FroCoS) traditionally focusses on these types of research questions and activities. Like its predecessors, FroCoS 2013 seeks to offer a common forum for research in the general area of combination, modularization and integration of systems, with emphasis on logic-based ones, and of their practical use. Typical topics of interest include (but are not limited to): * combinations of logics such as combined higher-order, first-order, temporal, modal, or other non-classical logics; * combinations and modularity in ontologies; * combination of decision procedures, of satisfiability procedures, of constraint solving techniques or of logical frameworks; * combination and integration methods in SAT and SMT solving; * combinations and modularity in term rewriting; * integration of equational and other theories into deductive systems; * combination of deduction systems and computer algebra; * integration of data structures into constraint logic programming and deduction; * hybrid methods for deduction, resolution and constraint propagation; * hybrid systems in knowledge representation and natural language semantics; * combined logics for distributed and multi-agent systems; * logical aspects of combining and modularizing programs and specifications. PUBLICATION DETAILS: It is planned that the proceedings of FroCoS 2013 will be published in the Springer LNCS/LNAI Series. PAPER SUBMISSIONS The program committee seeks high-quality submissions describing original work, written and to be presented in English, not substantially overlapping with published or simultaneously submitted work to a journal or conference with archival proceedings. Selection criteria include accuracy and originality of ideas, clarity and significance of results, and quality of presentation. The page limit in Springer LNCS style is 16 pages. Papers must be edited in LaTeX using the llncs style and must be submitted electronically as PDF files via the EasyChair system: https://www.easychair.org/conferences/?conf=frocos2013. For each accepted paper, at least one author is required to attend the symposium to present the work. Prospective authors must register a title and an abstract a week before the paper submission deadline. Further information about paper submissions will be available at the conference website. IMPORTANT DATES 15 Apr 2013 Abstract submission 22 Apr 2013 Paper submission 6 Jun 2013 Notification of paper decisions 4 Jul 2013 Camera-ready papers due 18-20 Sep 2013 FroCoS Conference PROGRAM COMMITTEE Carlos Areces, FaMAF - Universidad Nacional de Cordoba, Argentina Alessandro Artale, Free University of Bolzano-Bozen, Italy Franz Baader, TU Dresden, Germany Clark Barrett, New York University, USA Peter Baumgartner, National ICT Australia, Canberra, Australia Christoph Benzmueller, Free University Berlin, Germany Jasmin Christian Blanchette, TU Muenchen, Germany Thomas Bolander, Technical University of Denmark Clare Dixon, University of Liverpool, UK Francois Fages, INRIA Rocquencourt, France Pascal Fontaine, LORIA, INRIA, University of Lorraine, France Didier Galmiche, LORIA, University of Lorraine, France Vijay Ganesh, University of Waterloo, Canada Silvio Ghilardi, Universita degli Studi di Milano, Italy Guido Governatori, National ICT Australia, Queensland, Australia Bernhard Gramlich, Technische Universitaet Wien, Austria Katsumi Inoue, National Institute of Informatics, Japan Sava Krstic, Intel, USA Alessio Lomuscio, Imperial College London, UK Till Mossakowski, DFKI & University of Bremen, Germany Silvio Ranise, Fondazione Bruno Kessler, Italy Christophe Ringeissen, LORIA, INRIA, France Philipp Ruemmer, Uppsala University, Sweden Renate Schmidt, The University of Manchester, UK Roberto Sebastiani, DISI, University of Trento, Italy Viorica Sofronie-Stokkermans, University Koblenz-Landau, Germany Andrzej Szalas, Linkoepings Universitet, Sweden & University of Warsaw, Poland Rene Thiemann, University of Innsbruck, Austria Ashish Tiwari, SRI, USA Josef Urban, Radboud University, The Netherlands Christoph Weidenbach, Max-Planck-Institut fuer Informatik, Germany Frank Wolter, University of Liverpool, UK CONFERENCE CHAIR Christophe Ringeissen, LORIA, INRIA, France PC CHAIRS Pascal Fontaine, LORIA, INRIA, University of Lorraine, France Renate A. Schmidt, The University of Manchester, UK From Wiebe.Van-Der-Hoek at liverpool.ac.uk Wed Nov 21 00:05:16 2012 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van der Hoek, Wiebe) Date: Tue, 20 Nov 2012 23:05:16 +0000 Subject: Positions at Computer Science, Liverpool Message-ID: <880319A5-2434-4A38-A5F7-CD8D598E4765@liverpool.ac.uk> University of Liverpool The School of Electrical Engineering, Electronics and Computer Science Appointments to various academic grades depending on research experience and vision. Salary – Various, Closing Date 31st January 2013 The School brings together the disciplines of Computer Science and Electrical and Electronic Engineering. Since the formation of the School, posts have been created to develop new research activities as well as supporting existing core and interdisciplinary activities. There is a need to continue with our investment to strengthen and broaden our research activities in order to take full advantage of the developing research horizon. Therefore, we welcome applications from ambitious academics from all academic grades who would like to make significant contribution to the School and to play a major role in leading and shaping the research direction and who can make a contribution to the existing research excellence. The School has existing research themes in the following areas: Multi-Agent Systems; Complexity Theory and Algorithms; Logic and Computation; Economics and Computation; Sensors, Diagnostics and Biomedical devices; Information and communications, and Energy Technology. There are also interdisciplinary research themes across the University to which the School is making a contribution (e.g. Computational Biology, Autonomous Systems, molecular electronics, risk and uncertainty, energy etc). Recruitment is not restricted to existing research themes and candidates within the Computer Science and Electrical and Electronic Engineering research disciplines are welcome and encouraged to apply. The emphasis will be on selecting candidates who can demonstrate their existing research quality and who wish to develop it further and on candidates early on in their careers but who can demonstrate research potential. Further information about the posts and preferred areas are given in the further particulars. Informal enquiries can be made to Professor J W Spencer, Head of School, by telephone 0151 794 4524 or email joe at liv.ac.uk, or to Professor L Gacieniec, Head of Department of Computer Science, by telephone +44 151 7954290, or email lechu at liverpool.ac.uk. ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Department of Computer Science University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44 151) 7954292, (+44) 7970247480 fax (+44 151) 79 54235 Liverpool L69 3BX, United Kingdom Wiebe.Van-Der-Hoek at liverpool.ac.uk From hidaka at nii.ac.jp Wed Nov 21 08:39:55 2012 From: hidaka at nii.ac.jp (Soichiro Hidaka) Date: Wed, 21 Nov 2012 16:39:55 +0900 Subject: NII Shonan Meetings - Call for seminar proposal Message-ID: <20121121163955S.hidaka@nii.ac.jp> NII SHONAN MEETINGS: CALL FOR PROPOSAL (1) Objective NII Shonan Meetings, following the well-known Dagstuhl Seminars, aim to promote informatics and informatics research at an international level, by providing yet another world's premier venue for world-class scientists, promising young researchers, and practitioners to come together in Asia to exchange their knowledge, discuss their research findings, and explore a cutting-edge informatics topics. The meetings are held in Shonan Village Center (near Tokyo), which offers a combination of facilities for conferences, trainings, lodging in a resort-like setting. The friendly and open atmosphere is to promote a culture of communication and exchange among the meeting participants. The NII International Meetings are managed by National Institute of Informatics (NII) in Japan. (2) Scope and Style NII Shonan Meetings follow the style of the Dagstuhl Seminars. A meeting usually lasts for four days (Monday to Thursday) or shorter. It is initiated by at most three organizers (one from Asia), established leaders in their field, representing the different communities invited to the Seminar, preferably from different institutions. NII invites on their behalf about 25 to 35 researchers of international standing from academia and industry. Like Dagstuhl Seminars, an NII Shonan Meeting typically does not come with a fixed program. Instead, the pace and the program are guided by topics and presentations that evolve through discussions. In particular, NII does not require participants to submit a paper for presentation, or to give a presentation at all. On the contrary, NII encourages to present new ideas and work in progress. All administrate work of a meeting will be supported by the NII team in the preparation phase and during the seminars themselves, so that the organizers can focus on choosing research topics and selecting active researchers for the meeting. (3) Proposal Submissions NII invites international standing scientists to submit proposals for international meetings (with about 25-35 participants) on any topics of informatics. The proposal should clearly motivate the topic of your seminar and include the following items: - Meeting Title - Organizers (at most three, 1-page CV for each) - Proposed Dates for the Meeting - Description of the Meeting (1-2 pages, in English) - Invitation list (Position/First Name/Middle Name/Last Name/Affiliation/Email/Gender/URL/research list) The proposal should be submitted via the following EasyChair page: http://www.easychair.org/conferences/?conf=nim1 The proposal will be reviewed by the Academic Committee. Once the proposal is approved, our staff will help to organize the seminar. We welcome proposal submission anytime through a whole year, although submission is closed in June 15th, September 15th and December 15th. Notification of acceptance is only made after about 40 days of each closing day. (4) Locations and Expenses The meetings are held in Shonan Village Center (near Tokyo), whose nearest train station can be accessed by a direct train from Narita International Airport, and offers a combination of facilities for conferences, trainings, lodging in a resort-like setting. http://www.shonan-village.co.jp/svc/ The following rates cover overnight accommodation (single room) and full board (breakfast, lunch, and dinner) per day: - Meeting organizers: free - Participants from academia: 8,000 Yen/day - Participants from industry: 15,000 Yen/day - Accompanied persons to participants: 7,500 Yen/day (Meal charge is not included.) (5) Organization Organization Committee: Yoh'ichi Tohkura (NII): Chair Zhenjiang Hu (NII) Akiko Aizawa (NII) Hiroshi Hosobe (NII) Hiroyuki Kato (NII) Soichiro Hidaka (NII) Academic Committee: Zhenjiang Hu (NII): Chair Akiko Aizawa (NII) Ken’ichi Kawarabayashi (NII) Masaru Kitsuregawa (Univ. of Tokyo) Jeff Kramer (Imperial College London) Katsumi Inoue (NII) Kae Nemoto(NII) Bashar Nuesibeh (Lero/Open Univ.) Yoichi Sato (Univ. of Tokyo) Shin’ichi Satoh (NII) Satoshi Sekine (New York Univ./Rakuten Inst. of Tech.) Akihiko Takano (NII) (6) Inquiry Should you have any questions, please feel free to contact us by sending an email to shonan at nii.ac.jp More information about NII Shonan Meetings is available at the following website: http://www.nii.ac.jp/shonan/ ============================================================ Soichiro Hidaka National Institute of Informatics E-mail: hidaka at nii.ac.jp URL : http://research.nii.ac.jp/~hidaka ============================================================ From b.verheij at ai.rug.nl Wed Nov 21 14:55:01 2012 From: b.verheij at ai.rug.nl (Bart Verheij) Date: Wed, 21 Nov 2012 14:55:01 +0100 Subject: ICAIL 2013 call for papers, workshop proposals and demonstrations Message-ID: 14th International Conference on Artificial Intelligence & Law (ICAIL 2013) June 10 – June 14, 2013 ITTIG-CNR 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 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 * E-discovery and e-disclosure * E-government and e-justice * Computational models of evidential reasoning * Modeling norms for multi-agent systems * Modeling negotiation and contract formation * Computational models of case-based legal reasoning * Conceptual or model-based legal information retrieval * Online dispute resolution * Intelligent legal tutoring systems * Intelligent support systems for the legal domain * Interdisciplinary applications of legal informatics methods and systems Invited speakers * Rosaria Conte, ISTC-CNR * Paul Thagard, University of Waterloo * Radboud Winkels, University of Amsterdam Two tracks: regular papers and innovative applications papers For ICAIL 2013, authors are invited to submit papers in one of two tracks: regular and innovative applications. In addition to papers about results and findings from systems, approaches, or theoretical models (in the conference's regular track), we encourage the submission of original papers about innovative applications. Both regular track papers and innovative applications papers will be assessed in a rigorous reviewing procedure. Standard assessment criteria for research papers will apply to all submissions (relevance, originality, significance, technical quality, presentation). Papers proposing formal or computational models should provide examples and/or simulations that show the models’ applicability to a realistic legal problem or domain. Papers on innovative applications should describe clearly the motivations behind the project, the techniques employed, and the current state of both implementation and evaluation. All papers should make clear their relation to prior work. Demonstrations A session will be organized for the demonstration of creative, robust and practical working applications and tools. Where a demonstration is not connected to a paper in a track, a two page extended abstract about the system should be submitted for review by the paper submission deadline via the conference management system and following the conference style. Accepted extended abstracts will be published in the conference proceedings. For those demonstrations that are connected to a paper in the regular track or innovative applications track, no separate statement about the demonstration should be submitted. ICAIL Workshops and Tutorials ICAIL 2013 will include workshops and tutorials on the first and last days. 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 e-mail. 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 12, 2012 (revised) * Mentoring program paper deadline: November 19, 2012 (revised) * 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.anne at sbcglobal.net From achraf_telmoudi at yahoo.fr Thu Nov 22 12:52:45 2012 From: achraf_telmoudi at yahoo.fr (Achraf Jabeur Telmoudi) Date: Thu, 22 Nov 2012 11:52:45 +0000 (GMT) Subject: (IEEE) CoDIT'13: CfP, Deadline Extension and Journals Special Issues List In-Reply-To: <1353584737.642.YahooMailNeo@web28901.mail.ir2.yahoo.com> References: <1353280831.33167.YahooMailNeo@web28905.mail.ir2.yahoo.com> <1353366346.70712.YahooMailNeo@web28902.mail.ir2.yahoo.com> <1353366433.25111.YahooMailNeo@web28901.mail.ir2.yahoo.com> <1353366552.65574.YahooMailNeo@web28901.mail.ir2.yahoo.com> <1353366697.93552.YahooMailNeo@web28904.mail.ir2.yahoo.com> <1353419659.14376.YahooMailNeo@web28904.mail.ir2.yahoo.com> <1353419797.92408.YahooMailNeo@web28906.mail.ir2.yahoo.com> <1353420045.38141.YahooMailNeo@web28905.mail.ir2.yahoo.com> <1353420150.39424.YahooMailNeo@web28905.mail.ir2.yahoo.com> <1353420223.40697.YahooMailNeo@web28905.mail.ir2.yahoo.com> <1353420773.83997.YahooMailNeo@web28901.mail.ir2.yahoo.com> <1353420954.12044.YahooMailNeo@web28906.mail.ir2.yahoo.com> <1353421082.41035.YahooMailNeo@web28904.mail.ir2.yahoo.com> <1353421156.41997.YahooMailNeo@web28903.mail.ir2.yahoo.com> <1353421211.89827.YahooMailNeo@web28901.mail.ir2.yahoo.com> <13534213 88.48036.YahooMailNeo@web28903.mail.ir2.yahoo.com> <1353421493.47671.YahooMailNeo@web28903.mail.ir2.yahoo.com> <1353421602.47038.YahooMailNeo@web28904.mail.ir2.yahoo.com> <1353421646.4333.YahooMailNeo@web28901.mail.ir2.yahoo.com> <1353421703.53399.YahooMailNeo@web28904.mail.ir2.yahoo.com> <1353421756.56424.YahooMailNeo@web28903.mail.ir2.yahoo.com> <1353425776.88145.YahooMailNeo@web28901.mail.ir2.yahoo.com> <1353425844.63983.YahooMailNeo@web28905.mail.ir2.yahoo.com> <1353426024.64880.YahooMailNeo@web28905.mail.ir2.yahoo.com> <1353426089.54001.YahooMailNeo@web28903.mail.ir2.yahoo.com> <1353426481.6155.YahooMailNeo@web28901.mail.ir2.yahoo.com> <1353427529.75666.YahooMailNeo@web28904.mail.ir2.yahoo.com> <1353448746.60901.YahooMailNeo@web28901.mail.ir2.yahoo.com> <1353448881.6422.YahooMailNeo@web28904.mail.ir2.yahoo.com> <1353449478.23996.YahooMailNeo@web28904.mail.ir2.yahoo.com> <1353508710.26043.YahooMailNeo@web28904.mail.ir2.yahoo.com> <1353508905.43788.YahooMailNeo@web28905.m ail.ir2.yahoo.com> <1353539307.77218.YahooMailNeo@web28906.mail.ir2.yahoo.com> <1353584737.642.YahooMailNeo@web28901.mail.ir2.yahoo.com> Message-ID: <1353585165.57158.YahooMailNeo@web28905.mail.ir2.yahoo.com> *** Apologies for cross posting *** Dear colleagues, The 2013 International Conference on Control, Decision and Information Technologies (CoDIT'13) will be held May 6-8, 2013 at Hammamet, Tunisia. Website: http://www.hypersciences.org/codit13/ (If the link doesn't open, copy and paste the link below into your browser) (Accepted papers will be published in the electronic Conference Proceedings (CD ROM) and included in IEEE XPLORE database: http://www.ieee.org/conferences_events/conferences/conferencedetails/index.html?Conf_ID=30677) ****The submission deadline is extended to November 30, 2012**** Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to CoDIT'13. Authors of selected papers will be invited to submit extended article versions to various journals: *Journal of Intelligent Manufacturing (Impact Factor) *International Journal of Computers, Communications & Control (Impact Factor) *Flexible Services and Manufacturing Journal (Impact Factor) *Journal of Universal Computer Science (Impact Factor) *   ... Best Regards Dr. Achraf Jabeur Telmoudi Coordination Chair of CoDIT'13 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Mon Nov 26 18:49:53 2012 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Mon, 26 Nov 2012 12:49:53 -0500 (EST) Subject: CADE-24 Workshops, Tutorials, Competitions Message-ID: <20121126174953.C54941215AD@mcclellan.cs.miami.edu> CALL FOR WORKSHOPS, TUTORIALS AND SYSTEM COMPETITIONS CADE-24 The 24th International Conference on Automated Deduction Lake Placid, USA, 9-14 June 2013 http://www.cade-24.info Submission deadline: 2 December 2012 CADE is the major international forum at which research on all aspects of automated deduction is presented. CALL FOR WORKSHOPS Workshop proposals for CADE-24 are solicited. Both well-established workshops and newer ones are encouraged. Similarly, proposals for workshops with a tight focus on a core automated reasoning specialization, as well as those with a broader or more applied focus, are very welcome. Please provide the following information in your application document: + Workshop title. + Names and affiliations of organizers. + Proposed workshop duration (from half a day to two days). + Brief description of the goals and the scope of the workshop. Why is the workshop relevant for CADE? + Is the workshop new or has it met previously? In the latter case information on previous meetings should be given. + Are there plans for publication? CALL FOR TUTORIALS Tutorial proposals for CADE-24 are solicited. Tutorials are expected to be half-day events, with a theoretical or applied focus, on a Topic Of Interest for CADE-24. Proposals should provide the following information: + Tutorial title. + Names and affiliations of organizers. + Brief description of the tutorial's goals and topics to be covered. + Whether or not a version of the tutorial has been given previously. CADE will take care of printing and distributing notes for tutorials that would like this service. CALL FOR SYSTEM COMPETITIONS The CADE ATP Systems Competition CASC, which evaluates automated theorem proving systems for classical logics, has become an integral part of the CADE conferences. Further system competition proposals are solicited. The goal is to foster the development of automated reasoning systems in all areas relevant for automated deduction in a broad sense. + Competition title. + Names and affiliations of organizers. + Duration and schedule of the competition. + Room/space requirements. + Brief description of the competition task and the evaluation procedure. + Is the competition new or has it been organized before? In the latter case information on previous competitions should be given. + What computing resources are required and how will they be provided? IMPORTANT DATES FOR WORKSHOP AND COMPETITION PROPOSALS Deadline for proposal submissions 2 December 2012 Acceptance/rejection notification: 10 December 2012 Workshops and Tutorials: 9-10 June 2013 Competitions: 9-14 June 2013 Conference: 11-14 June 2013 SUBMISSION INSTRUCTIONS Proposals should be uploaded via https://www.easychair.org/conferences/?conf=cade24workshopscompe CADE-24 ORGANIZERS Conference Co-Chairs: Christopher A. Lynch Clarkson University Neil V. Murray SUNY Albany Program Committee Chair: Maria Paola Bonacina Universita` degli Studi di Verona Tutorial Chair: Peter Baumgartner NICTA and Australian National University Workshop and Competition Chair: Christoph Benzmueller Freie Universitaet Berlin Publicity and Web Chair: Grant Olney Passmore Cambridge University and University of Edinburgh From pmt6sbc at maths.leeds.ac.uk Tue Nov 27 00:24:07 2012 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Mon, 26 Nov 2012 23:24:07 GMT Subject: 10th Annual Conference on Theory and Applications of Models of Computation (TAMC13) Message-ID: <201211262324.qAQNO7di006950@maths.leeds.ac.uk> FIRST CALL FOR PAPERS: TAMC 2013 The 10th annual conference on Theory and Applications of Models of Computation University of Hong Kong, Pokfulam, Hong Kong Important Dates Submission deadline : 11:59 pm EST January 11, 2013 Notification of authors : late February or early March, 2013 Final versions deadline : to be announced soon The TAMC proceedings will be published in the Lecture Notes in Computer Science Series by Springer (http://www.springer.com/lncs). Authors of accepted papers are expected to present their work at the conference. Post Conference Publications Special issues of the journals Theoretical Computer Science and Mathematical Structures in Computer Science devoted to a selected set of accepted papers of the conference are planned. Aims and Scope TAMC aims at bringing together a wide range of researchers with interests in computational theory and applications. The main themes of the conference are computability, complexity, and algorithms. Typical but not exclusive topics of interest include: * algebraic computation * algorithmic coding theory * algorithmic number theory * approximation algorithms * automata theory * circuit complexity * computability * computational biology, and biological computing * computational complexity * computational game theory * computational logic * computational geometry * continuous and real computation * cryptography * data structures * design and analysis of algorithms * distributed algorithms * fixed parameter tractability * graph algorithms * information and communication complexity * learning theory * natural computation * network algorithms, networks in nature and society * online algorithms * optimization * parallel algorithms * privacy and security * property testing * proof complexity * quantum computing * randomness, pseudo-randomness * randomized algorithms * streaming algorithms http://www.cs.hku.hk/tamc2013/call.htm From Johannes.Faehndrich at dai-labor.de Thu Nov 29 15:12:12 2012 From: Johannes.Faehndrich at dai-labor.de (=?utf-8?B?Sm9oYW5uZXMgRsOkaG5kcmljaA==?=) Date: Thu, 29 Nov 2012 15:12:12 +0100 Subject: Call for Paper for the Special Session on Self-Explaining Agents on the PAAMS 2013 Message-ID: <4FFCAD3D-B473-4B33-A06A-20EDFE4DB314@dai-labor.de> Dear Colleagues and Friends, (We apologize if you have received this already.) Call for Paper for the Special Session on Self-Explaining Agents on the PAAMS 2013 ABSTRACT The development of multi-agent systems in heterogeneous environments is a challenging task for humans. As a matter of fact, the management of such systems where different parties at different times make use of different technologies to reach their goals becomes ever more difficult. Thus systems can dynamically change due to the presence or absence of agents, services, devices and emergent behaviours can occur; behaviours which are not pre-programmed into the systems. Hence, developers attempt to shift evermore design decisions to the application runtime allowing systems to manage themselves. Those are called self-adaptive systems. The adaption process depends on adaption properties which are called self-* properties. The goal of this special session is to foster one particular self-* property, namely self-explanation. GOALS Having self-explanatory descriptions might be beneficial to many aspects of multi-agent systems like agent-human interaction, agent-planning and agent- communication, to name but a few. Hence, the goal of this special session is to foster research in self-explanation for agent-systems. In addition, currently there is no common understanding or agreed definition of the term self-explanation and its inherent meaning. In order to fill this gap, the special session seeks a discussion with a broad audience of researchers, who have experience with the design and development of self-adaptive agent-applications. TOPICS This special session shell deepen (but is not limited to) the following research areas: • Self-Explaining Systems • Definition of Self-Explanation • Categorization of Self-Explanations • Requirements of Self-Explaining Systems • Self-Configuration through Self-Explanation • Demonstrations on Self-Configuration through Self-Explaining Systems • Agents with Self-Explaining User Interaction • Directability of Agents • Adjustable Agent Autonomy • AI Methods on Adaption and Semantic Reasoning • IOPE and other Description Paradigms • Reasoning on Semantic Descriptions • Learning of Communication Protocols • BDI-Agents and Reasoning on D • Collaborative Reinforcement Learning on Self-Explanations • Interaction in Agent-Human-Robot Teamwork IMPORTANT DATES Submission Jan 13, 2013 Notification Feb 10, 2013 Final paper Feb 22, 2013 SUBMISSIONS All papers must be formatted according to the Advances in Intelligent and Soft Computing Series Springer template, with a maximum length of: 8 pages in length, including figures and references. All proposed papers must be submitted in electronic form (PDF format) using the PAAMS 2013 conference management system. PAPER PUBLICATION Accepted papers will be included in a volume of the PAAMS 2013 Proceedings, published in the Advances in Intelligent and Soft-Computing series of Springer. At least one of the authors per paper will be required to register and attend the special session to present the paper in order to include the paper in the conference proceedings. All accepted papers will be published by Springer Verlag. ORGANIZING COMMITTEES Johannes Fähndrich Technische Universtität Berlin, Germany Sebastian Ahrndt Technische Universität Berlin, Germany Benjamin Hirsch EBTIC, Khalifa University, United Arab Emirates FURTHER INFORMATION For further information visit: http://www.paams.net/ or http://www.dai-labor.de/~faehndrich/sea/ -- Johannes Fähndrich Dipl.-Inform. Researcher Competence Center next Generation Services Johannes.Faehndrich at dai-labor.de Fon +49 (0) 30/314 -74 034 Fax +49 (0) 30/314 -74 003 Mobile: +49 (0)176/70869963 Future in touch. DAI-Labor Technische Universität Berlin Fakultät IV – Elektrotechnik & Informatik Sekretariat TEL 14 Ernst-Reuter-Platz 7 10587 Berlin, Germany www.dai-labor.de DAI-Labor - Distributed Artificial Intelligence Laboratory Chief Executive Director: Prof. Dr. Dr. h.c. Şahin Albayrak From pmt6sbc at maths.leeds.ac.uk Thu Nov 29 23:29:18 2012 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Thu, 29 Nov 2012 22:29:18 GMT Subject: CiE 2013: The Nature of Computation, Milan, Italy, July 1-5, 2013 Message-ID: <201211292229.qATMTICl023720@maths.leeds.ac.uk> ************************************************************************ CALL FOR PAPERS: CiE 2013: The Nature of Computation Logic, Algorithms, Applications Milan, Italy July 1 - 5, 2013 http://cie2013.disco.unimib.it IMPORTANT DATES: Submission Deadline for LNCS: 20 January 2013 Notification of authors: 4 March 2013 Deadline for final revisions: 1 April 2013 CiE 2013 is the ninth conference organised by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponte Dalgada (2010), Sofia (2011) and Cambridge (2012). The Nature of Computation is meant to emphasize the special focus of CIE13 on the unexpected and strong changes that studies on Nature have brought in several areas of mathematics, physics, and computer science. Starting from Alan Turing, research on Nature with a computational perspective has produced novel contributions, giving rise even to new disciplines. Two complementary research perspectives pervade the Nature of Computation theme. One is focused on the understanding of new computational paradigms inspired by the processes occurring in the biological world, while focusing on a deeper and modern understanding of the theory of computation. The other perspective is on our understanding of how computations really occur in Nature, on how we can interact with those computations, and on their applications. CiE 2013 conference topics include, but not exclusively: * Admissible sets * Algorithms * Analog computation * Artificial intelligence * Automata theory * Bioinformatics * Classical computability and degree structures * Cognitive science and modelling * Complexity classes * Computability theoretic aspects of programs * Computable analysis and real computation * Computable structures and models * Computational and proof complexity * Computational biology * Computational creativity * Computational learning and complexity * Computational linguistics * Concurrency and distributed computation * Constructive mathematics * Cryptographic complexity * Decidability of theories * Derandomization * DNA computing * Domain theory and computability * Dynamical systems and computational models * Effective descriptive set theory * Emerging and Non-standard Models of Computation * Finite model theory * Formal aspects of program analysis * Formal methods * Foundations of computer science * Games * Generalized recursion theory * History of computation * Hybrid systems * Higher type computability * Hypercomputational models * Infinite time Turing machines * Kolmogorov complexity * Lambda and combinatory calculi * L-systems and membrane computation * Machine learning * Mathematical models of emergence * Molecular computation * Morphogenesis and developmental biology * Multi-agent systems * Natural Computation * Neural nets and connectionist models * Philosophy of science and computation * Physics and computability * Probabilistic systems * Process algebras and concurrent systems * Programming language semantics * Proof mining and applications * Proof theory and computability * Proof complexity * Quantum computing and complexity * Randomness * Reducibilities and relative computation * Relativistic computation * Reverse mathematics * Semantics and logic of computation * Swarm intelligence and self-organisation * Type systems and type theory * Uncertain Reasoning * Weak systems of arithmetic and applications We particularly welcome submissions in emergent areas, such as bioinformatics and natural computation, where they have a basic connection with computability. Contributed papers will be selected from submissions received by the PROGRAM COMMITTEE consisting of: * Gerard Alberts (Amsterdam) * Luis Antunes (Porto) * Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris) * Paola Bonizzoni (Milan, co-chair) * Vasco Brattka (Munich and Cape Town, co-chair) * Cameron Buckner (Houston TX) * Bruno Codenotti (Pisa) * Stephen Cook (Toronto ON) * Barry Cooper (Leeds) * Ann Copestake (Cambridge) * Erzsebet Csuhaj-Varju (Budapest) * Anuj Dawar (Cambridge) * Gianluca Della Vedova (Milan) * Liesbeth De Mol (Gent) * Jerome Durand-Lose (Orleans) * Viv Kendon (Leeds) * Bjoern Kjos-Hanssen (Honolulu, HI) * Antonina Kolokolova (St. John's NF) * Benedikt Loewe (Amsterdam) * Giancarlo Mauri (Milan) * Rolf Niedermeier (Berlin) * Geoffrey Pullum (Edinburgh) * Nicole Schweikardt (Frankfurt) * Sonja Smets (Amsterdam) * Susan Stepney (York) * S. P. Suresh (Chennai) * Peter van Emde Boas (Amsterdam) The PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) in computability related areas to submit their papers (in PDF format, max 10 pages using the LNCS style) for presentation at CiE 2013. The submission site https://www.easychair.org/conferences/?conf=cie2013 is open. We particularly invite papers that build bridges between different parts of the research community. The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag. Contact: Paola Bonizzoni - bonizzoni at disco.unimib.it Website: http://cie2013.disco.unimib.it ************************************************************************