From michael.koester at tu-clausthal.de Mon Aug 6 16:17:37 2012 From: michael.koester at tu-clausthal.de (=?ISO-8859-15?Q?Michael_K=F6ster?=) Date: Mon, 06 Aug 2012 16:17:37 +0200 Subject: MAPC 2012 - Registration Phase started Message-ID: <501FD201.7000002@tu-clausthal.de> Dear participants, the registration for our Multi-Agent Programming Contest 2012 (http://multiagentcontest.org) is now open! The official registration for the contest is done by submitting a brief description of your team proposal. The template for the proposal can be downloaded here: http://multiagentcontest.org/downloads?func=startdown&id=732 Please, use the URL below to submit your team proposal: https://www.easychair.org/conferences/?conf=mapc2012 The deadline is *27th August 2012*. The accepted proposals will be compiled into a technical report. After the contest, participants will be invited to submit a *paper* with a detailed description of the team and an analysis of the participation. These papers will also be compiled into a second technical report focused on the final results of the contest. High quality papers will be selected for publication in the ProMAS workshop post-proceedings (usually published in the Springer LNCS series). These latter papers will be reviewed and accepted as usual in blind-review processes. Best regards, Michael Köster (co-organizer) From artale at inf.unibz.it Thu Aug 2 20:10:56 2012 From: artale at inf.unibz.it (Alessandro Artale) Date: Thu, 2 Aug 2012 20:10:56 +0200 Subject: Call for funded PhD positions at KRDB Centre, Free Univ. Bolzano, Italy - Deadline Aug. 31, 2012 In-Reply-To: References: Message-ID: <04CAD34D-C768-4574-9A22-866C2FF78405@inf.unibz.it> =============================================================== CALL FOR PhD POSITIONS - DEADLINE August 31, 2012 Fully funded PhD positions at the KRDB Research Centre for Knowledge and Data Faculty of Computer Science Free University of Bozen-Bolzano, Italy =============================================================== The Faculty of Computer Science of the Free University of Bozen-Bolzano (Italy) offers regular openings for studentships for its PhD program. The PhD programme has been running since 2004/2005. Since 2011/2012 there has also been a European programme (EPCL) which provides a joint qualification. *** PhD positions with studentship are offered by the KRDB Research Centre for Knowledge and Data. *** The 2012/2013 PhD call is now open and the deadline to apply is: ****** 31.August.2012 ****** Up-to-date information about how to apply for the PhD program and the studentship - including deadlines, number of positions and necessary documents - can be found in the university PhD web pages: - http://www.unibz.it/en/public/research/phd/prospectivePhdstudents.html - http://www.unibz.it/en/inf/progs/phdcs/default.html The grant amounts to 51,000 Euro over the three years of the PhD. Substantial extra funding is available for participation in international conferences, schools and workshops. The faculty of Computer Science and its PhD program are entirely based on the English language. RESEARCH TOPICS The KRDB Research Centre for Knowledge and Data (http://www.inf.unibz.it/krdb/) of the Faculty of Computer Science invites applicants to the PhD program to get in touch with the research group (see CONTACT PERSON below), in order to have a better understanding of the possible research activities in which perspective students may be involved. Relevant research topics in the centre are the following: * Computational Logic and Deductive Databases * Computational Logic and Constraint Programming * Description Logics and Ontology Languages * Conceptual Data Modelling and Ontology Design * Ontology Based Data Access * Query Answering in Distributed Environments * Intelligent Access to Web Resources * Semistructured Data Management * Temporal Logics and Temporal Databases * Knowledge-based techniques for Service Access and Composition * Knowledge-based techniques for Business Processing * Evolution and Update of Knowledge Bases * Data Quality and Completeness * Modelling and Accessing Imcomplete Data Other research topics are listed in the personal web pages of the members of the KRDB Centre, see: The research activities in the KRDB research centre require good knowledge of Logic and of Foundations of Databases, and some knowledge of Artificial Intelligence and of Knowledge Representation. Good knowledge of English is also preferred. EUROPEAN PhD PROGRAM IN COMPUTATIONAL LOGIC (EPCL) The Free University of Bozen-Bolzano participates through the KRDB Research Centre to the European PhD Program in Computational Logic (EPCL) Students that are admitted for a PhD position at the KRDB Research Centre may apply to join EPCL. The admission to EPCL is decided by a Joint Commission consisting of representatives of the EPCL partner universities. THE KRDB CENTRE -- http://www.inf.unibz.it/krdb/index.php CONTACT To get in contact with the KRDB Research Centre, send an email to Dr. Alessandro Artale . To get in touch with the current PhD students see: From marek at cs.uky.edu Wed Aug 8 18:59:22 2012 From: marek at cs.uky.edu (Victor Marek) Date: Wed, 8 Aug 2012 12:59:22 -0400 Subject: Please distribute Message-ID: <20120808165922.GA31986@cs.uky.edu> SECOND CALL FOR PAPERS SYMPOSIUM ON LOGICAL FOUNDATIONS OF COMPUTER SCIENCE 2013 (LFCS 2013) San Diego, California, January 6-8, 2013 The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science. The LFCS series began with Logic at Botik, Pereslavl-Zalessky, 1989, and was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver), after which organization passed to Anil Nerode. Conference page: http://lfcs.info/lfcs13/ LFCS Steering Committee: Anil Nerode - General Chair, Stephen Cook, Dirk van Dalen, Yuri Matiyasevich, J. Alan Robinson, Gerald Sacks, Dana Scott. LFCS Topics of interest include, but are not limited to: constructive mathematics and type theory; logic, automata and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logic; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple agent system logics; logics of proof and justification; nonmonotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; other logics in computer science. LFCS 2013 Program Committee: Sergei Artemov (New York) - PC Chair; Steve Awodey (CMU); Alexandru Baltag (Oxford); Andreas Blass (Ann Arbor); Samuel Buss (San Diego); Walter Dean (Warwick); Rod Downey (Wellington, NZ); Ruy de Queiroz (Recife, Brazil); Antonio Montalban (Chicago); Rosalie Iemhoff (Ultrecht); Bakhadyr Khoussainov (Auckland, NZ); Roman Kuznets (Bern); Lawrence Moss (Bloomington, IN); Robert Lubarsky (Florida Atlantic University); Victor Marek (Lexington, KY); Franco Montagna (Siena); Anil Nerode (Cornell) - General LFCS Chair; Mati Pentus (Moscow); Jeffrey Remmel (San Diego); Bryan Renne (Amsterdam); Philip Scott (Ottawa); Alex Simpson (Edinburgh); Sonja Smets (Groningen); Michael Rathjen (Leeds); Alasdair Urquhart (Toronto); Michael Zakharyashchev (London). LFCS 2013 Local Organizing Committee: Jeff Remmel (Chair), Samuel Buss, Victor Marek. Submission details. Proceedings will be published in the LNCS series. There will be a post-conference volume of selected works published in the Annals of Pure and Applied Logic. Submissions should be made electronically via https://www.easychair.org/conferences/?conf=3Dlfcs2013 Submitted papers must be in pdf/12pt format and of no more than 15 pages, present work not previously published, and must not be submitted concurrently to another conference with refereed proceedings. LFCS has established the best student paper award and named it after John Barkley Rosser Sr. (1907--1989), a prominent American logician with fundamental contributions in both Mathematics and Computer Science. Important Dates: Submissions deadline (firm): September 10, 2012; Notification: October 5, 2012; Final papers for proceedings: October 15, 2012; Symposium dates: January 6 - 8, 2013. Victor W. Marek Department of Computer Science marek at cs.uky.edu University of Kentucky marek at cs.engr.uky.edu Lexington, KY 40506-0046 859-257-3496 (office) 859-257-3961 (Dept) http://www.cs.uky.edu/~marek 859-323-1971 (FAX) From fink at kr.tuwien.ac.at Fri Aug 10 16:32:00 2012 From: fink at kr.tuwien.ac.at (Michael Fink) Date: Fri, 10 Aug 2012 16:32:00 +0200 Subject: Call for Participation ASPOCP 2012: 5th Workshop on Answer Set Programming and Other Computing Paradigms Message-ID: <50251B60.9000408@kr.tuwien.ac.at> =============================================================================== CALL FOR PARTICIPATION ASPOCP 2012 5th Workshop on Answer Set Programming and Other Computing Paradigms http://sites.google.com/site/aspocp12 September 4th, 2012 Collocated with the International Conference on Logic Programming 2012 Budapest, Hungary September 4-8, 2012 =============================================================================== AIMS AND SCOPE Since its introduction in the late 1980s, answer set programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems. ASP was found to be closely related to SAT, which has led to a new method of computing answer sets using SAT solvers and techniques adapted from SAT. While this has been the most studied relationship which is currently extended towards satisfiability modulo theories (SMT), the relationship of ASP to other computing paradigms, such as constraint satisfaction, quantified boolean formulas (QBF), first-order logic (FOL), or FO(ID) logic is also the subject of active research. New methods of computing answer sets are being developed based on the relation between ASP and other paradigms, such as the use of pseudo-Boolean solvers, QBF solvers, FOL theorem provers, and CLP systems. Furthermore, the practical applications of ASP also foster work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration of ASP with description logics (in the realm of the Semantic Web) and constraint satisfaction. This workshop will facilitate the discussion about crossing the boundaries of current ASP techniques in theory, solving, and applications, in combination with or inspired by other computing paradigms. SCIENTIFIC PROGRAM The program of ASPOCP 2012 features two invited talks and eleven accepted technical paper presentations. It is available online at http://sites.google.com/site/aspocp12/programme INVITED SPEAKERS Marc Denecker, Catholic University of Leuven, Belgium Wolfgang Faber, University of Calabria, Italy ACCEPTED PAPERS M. Alviano and W. Faber. Translating NP-SPEC into ASP E. Balai, M. Gelfond, and Y. Zhang. SPARC -- Sorted ASP with Consistency Restoring Rules M. Balduccini and M. Gelfond. Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules G. Charwat, J. Wallner, and S. Woltran. Utilizing ASP for Generating and Visualizing Argumentation Frameworks S. Chintabathina. Planning and Scheduling in Hybrid Domains Using AnswerSet Programming T. Eiter, M. Fink, T. Krennwallner, C. Redl, and P. Schüller. Eliminating Unfounded Set Checking for HEX-Programs J. Fichte and S. Szeider. Backdoors to Normality for Disjunctive Logic Programs M. Gebser, T. Grote, R. Kaminski, P. Obermeier, O. Sabuncu, and T. Schaub. Answer SetProgramming for Stream Reasoning J. Lee and Y. Meng. Two New Definitions of Stable Models with Generalized Quantifiers V. Lifschitz and F. Yang. Lloyd-Topor Completion and General Stable Models J. Vennekens and M. Denecker. Extending FO(ID) with Knowledge Producing Definitions: Preliminary Results REGISTRATION AND LOCAL ARRANGEMENTS Registration is operated by the ICLP 2012 organization. For corresponding information, as well as for travel and accommodation details consult: http://www.cs.bme.hu/iclp2012 WORKSHOP CO-CHAIRS Michael Fink, Vienna University of Technology, Austria Yuliya Lierler, University of Kentucky, USA From jim at cs.sfu.ca Mon Aug 13 17:35:54 2012 From: jim at cs.sfu.ca (Jim Delgrande) Date: Mon, 13 Aug 2012 08:35:54 -0700 (PDT) Subject: Grad/postdoc positions in Computational Logic In-Reply-To: <267128270.41277741.1344872123664.JavaMail.root@jaguar9.sfu.ca> Message-ID: <674020736.41278072.1344872154863.JavaMail.root@jaguar9.sfu.ca> Graduate Student and Post-Doctoral Research Positions in the Computational Logic School of Computing Science Simon Fraser University British Columbia, Canada Applications are invited for one or more graduate student or postdoctoral positions in the area of Computational Logic in the School of Computing Science, Simon Fraser University. The successful applicants will work with members of the Computational Logic Lab, and conduct research in one or more of the areas listed below. Ph.D. students will receive funding for up to a four year period, while M.Sc. students will receive funding for up to two years. Postdoctoral positions will be either one or two years. Postdoctoral applicants must have a Ph.D. at the time they take up the position. For graduate students, the normal starting dates are at the beginning of September or January, with May also a possibility. Students interested in beginning in January 2013 are strongly encouraged to apply before Sept 1, 2012. Postdoctoral positions may be taken up at any time. The Computational Logic Lab is a research group in the School of Computing Science. Broadly, the field of computational logic consists of all uses of logic in computer science. Members of the lab, and their areas of interest are as follows: Andrei Bulatov: Constraint satisfaction, complexity of computation http://www.cs.sfu.ca/~abulatov/ James Delgrande: Belief revision, reasoning about action and change, nonmonotonic reasoning, reasoning with preferences http://www.cs.sfu.ca/~jim David Mitchell: Constraint satisfaction, propositional satisfiability testing, theorem proving, complexity. http://www.cs.sfu.ca/~mitchell Oliver Schulte: Machine learning, computational decision theory. http://www.cs.sfu.ca/~oschulte Eugenia Ternovska: Logical reasoning about dynamic systems, constraint programming, applications of descriptive complexity to declarative programming http://www.cs.sfu.ca/~ter For more information see the lab web page: www.cs.sfu.ca/~cl. The School of Computing Science has over 40 research faculty members, and offers an expanding graduate program with over 200 M.Sc. and Ph.D. students. Simon Fraser University is consistently the top ranked comprehensive university in Canada in MacLeans Magazine's rankings. The university is situated on top of Burnaby Mountain just east of Vancouver and offers views of Burrard Inlet, the North Shore Mountains, the Fraser River, and Vancouver Harbour. Vancouver's cultural and intellectual pursuits, leisure opportunities and favourable climate make it one of the most desirable places in the world to live and work. Graduate student applications should be submitted via the School's online application system. Prospective applicants should also directly contact a faculty member whom they may be interested in working with. Potential postdoctoral fellows should also directly contact the appropriate faculty member. For more information about the School of Computing Science, see www.cs.sfu.ca. From stefan at szeider.net Mon Aug 13 18:23:06 2012 From: stefan at szeider.net (Stefan Szeider) Date: Mon, 13 Aug 2012 18:23:06 +0200 Subject: COMMA 2012 - Computational Models of Argument - Final Call for Participation Message-ID: COMMA 2012 - FINAL CALL FOR PARTICIPATION 4th International Conference on Computational Models of Argument (COMMA 2012) Vienna, Austria, September 10-12, 2012 *** Late registration deadline: August 30, 2012 *** COMMA is a regular forum for presentation and exchange of the latest research results related to computational aspects of argumentation. The technical programme of COMMA 2012 includes 28 full presentations, 17 presentations of short papers, and 13 system demonstrations. A special track is devoted to innovative applications. The COMMA 2012 programme includes invited lectures by * Trevor Bench-Capon (University of Liverpool, United Kingdom) * Erik Krabbe (University of Groningen, The Netherlands) * Keith Stenning (University of Edinburgh, United Kingdom) and, as part of the Vienna Logic Weeks (http://www.vcla.at/events/vienna-logic-weeks_2012/), a plenary lecture by * Bob Kowalski (Imperial College London, United Kingdom) REGISTRATION COMMA 2012 registration fee includes lunches for three workshop days, coffee breaks, one ticket for the social event, and copy of the proceedings. Registration is made online via the following link: http://www.kr.tuwien.ac.at/events/comma2012/registration.php * Late Registration ends: August 30, 2012 * On-site registration will be possible during the conference. ACCOMMODATION Details on accommodation can also be found on the registration site: http://www.kr.tuwien.ac.at/events/comma2012/registration.php LOCATION The conference will be held in the main building of Vienna University of Technology, Karlsplatz 13, 1040 Vienna, Austria. ORGANIZING COMMITTEE * Program Chair: Bart Verheij (University of Groningen, The Netherlands) * Conference Chairs: Stefan Szeider and Stefan Woltran (Vienna University of Technology, Austria) * Demonstrations Coordinator: Adam Wyner (University of Liverpool, United Kingdom) CONTACT comma12 at kr.tuwien.ac.at From cambria.erik at gmail.com Tue Aug 14 12:41:58 2012 From: cambria.erik at gmail.com (Erik Cambria) Date: Tue, 14 Aug 2012 18:41:58 +0800 Subject: NEW BOOK: Sentic Computing (authors: Erik Cambria & Amir Hussain; foreword: Bebo White) Message-ID: Apologies for cross-posting. I am pleased to announce a new book on sentic computing, a multi-disciplinary approach to sentiment analysis at the crossroads between affective computing and common sense computing, which exploits both computer and social sciences to better recognize, interpret, and process opinions and sentiments over the Web (http://sentic.net/sentics). The eBook is downloadable from Springer (http://springerlink.com/content/978-94-007-5070-8) and hardcopies are available through Amazon (http://amzn.com/9400750692). Happy reading, Erik Cambria ___________________________________ Erik Cambria (康文涵), PhD Associate Researcher @ MIT Media Lab Research Scientist @ NUS Temasek Labs Web: http://sentic.net Email: cambria at media.mit.edu Twitter: http://twitter.com/senticnet Facebook: http://facebook.com/senticnet -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From glukacsy at cisco.com Tue Aug 14 22:28:21 2012 From: glukacsy at cisco.com (Gergely Lukacsy (glukacsy)) Date: Tue, 14 Aug 2012 20:28:21 +0000 Subject: Call for participation ICLP 2012 - updates Message-ID: Apologies for cross posting. Regards, Gergely ========================================================================= CALL FOR PARTICIPATION 28th International Conference on Logic Programming (ICLP 2012) Theory and Practice of Logic Programming Budapest, Hungary, September 4-8, 2012 http://www.cs.bme.hu/iclp2012/ ========================================================================= REGISTRATION Registration Site is open at: http://www.cs.bme.hu/iclp2012/Registration.html Regular registration fees are applicable until August 17, 2012. ACCOMMODATION Information on hotels is available on the homepage: http://www.cs.bme.hu/iclp2012/HotelInfo.html CONFERENCE SCOPE Since the first conference held in Marseille in 1982, ICLP has been the premier international conference for presenting research in logic programming. This year conference will offer invited talks and tutorials, as well as technical presentations on the broad spectrum of most recent research topics in the field. The conference will also host Doctoral Consortium, several workshops, and a Prolog programming contest. WORKSHOPS * Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), September 4 * 9th International Workshop on Constraint Handling Rules (CHR 2012), September 4 * 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2012), September 4 * WG17, September 4-5 * 22nd Workshop on Logic-based methods in Programming Environments (WLPE 2012), September 8 * Constraint Based Methods for Bioinformatics (WCB'12), September 8 * Coinductive Logic Programming (Co-LP), September 8 Workshops are perhaps the best places for the presentation of preliminary work, undeveloped novel ideas, and new open problems to a wide and interested audience with opportunities for intensive discussions and project collaboration. DOCTORAL CONSORTIUM The 8th Doctoral Consortium (DC) on Logic Programming provides research students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and world-renown experts in the field. Accepted participants receives partial financial support to attend the event and the main conference. The best paper and presentation from the DC is given the opportunity to present in a special session of the main ICLP conference. INVITED TALKS Abstracts are available from here: http://www.cs.bme.hu/iclp2012/Invited.html * Ferenc Darvas, CompuDrug International, Inc. Sedona, Arizona, ComGrid Kft, Budapest (http://www.thalesnano.com/board_of_directors) "Prolog for chemistry and drug discovery - a retrospective summary" * Jan Wielemaker, SWI (http://www.cs.vu.nl/~janw/) "25 years of SWI Prolog" * Mike Elston, Scientific Software and Systems, Wellington (http://www.securitease.com/) "Prolog and CHR in Finance - An easier way to occupy Wall Street?" * Invited author(s) of the most influential paper of ICLP/ILPS 1992 * Invited author(s) of the most influential paper of ICLP 2002 TUTORIAL Abstract is available from here: http://www.cs.bme.hu/iclp2012/Invited.html * Viviana Mascardi (http://www.disi.unige.it/person/MascardiV/) "Logic-based Agents and the Semantic Web" FINANCIAL ASSISTANCE The Association for Logic Programming has funds to assist financially disadvantaged participants and, specially, students in order to be able to attend the conference. For information, please contact the organizers of the Doctoral Consortium and the General Chair. HOTELS See http://www.cs.bme.hu/iclp2012/HotelInfo.html. CONFERENCE VENUE The Conference will be located in Tulip Inn Budapest Millennium. Budapest is in the center of Hungary, in the heart of Central Europe. Hungary is member of the European Union and belongs to the Schengen area. Hungary is well-served by transport links from abroad. The main international airport is Budapest Ferihegy. Budapest is linked to 15 European capitals by train, directly or indirectly; e.g. a Wien-Budapest trip is less than 3 hours. SPONSORS The conference is sponsored by the Association for Logic Programming (ALP),the Artificial Intelligence Section of the John von Neumann Computer Society, by AIT-Budapest (Aquincum Institute of Technology), by Alerant Inc, and by Google, through its Conference Grant for female computer scientists, see http://www.cs.bme.hu/iclp2012/DiversityGrant.html. ICLP 2012 ORGANIZATION General Chair: Péter Szeredi (Budapest Univ. of Technology and Economics) Program Comittee Chairs: Agostino Dovier (Univ. of Udine), Vítor Santos Costa (Univ. of Porto) Workshop Chair: Mats Carlsson (SICS, Sweden) Doctoral Consortium Chairs: Marco Gavanelli (Univ. of Ferrara), Stefan Woltran (Vienna University of Technology) Prolog Programming Contest Chair: Tom Schrijvers (Universiteit Gent) Publicity Chair: Gergely Lukácsy (Cisco Systems Inc.) Web Manager: János Csorba (Budapest Univ. of Technology and Economics) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fernandez at iiia.csic.es Wed Aug 15 14:23:46 2012 From: fernandez at iiia.csic.es (Jose Luis Fernandez Marquez) Date: Wed, 15 Aug 2012 14:23:46 +0200 Subject: SASO 2012 - Call for Participation (6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems) Message-ID: <502B94D2.4000504@iiia.csic.es> ----------------------------------------------------------------------------------------------------------------- SASO 2012 Conference Program (http:// http://saso2012.univ-lyon1.fr) ------------------------------------------------------------------------------------------------------------------ - Registration is now open - Deadline for early registration is August 20th !!! --------------------------------------------------- Keynotes on Sept.11th, 2012 and Sept , 13th, 2012 --------------------------------------------------- - Sept. 11th, 2012 Secrets of swarms architects: understanding construction dynamics in ant colonies Dr. Guy Theraulaz Centre de Recherches sur la Cognition Animale, CNRS UMR 5169, Université Paul Sabatier, Toulouse, France. - Sept. 13th, 2012 Social Consensus as a Self-organization Phenomenon Pr. Maxi San Miguel Instituto de Física Interdisciplinar y Sistemas Complejos IFISC (CSIC-UIB), Palma de Mallorca, Spain ------------------------------------------ Conference on Sept.11th, 12th, 13th, 2012 ------------------------------------------ F: Full paper, S: Short paper 1. Session: Self-organizing distributed protocols - (F) An Extremum Seeking Algorithm for Message Batching in Total Order Protocols Diego Didona, Daniele Carnevale, Paolo Romano and Sergio Galeani - (F) Gossip-based Learning under Drifting Concepts in Fully Distributed Networks István Hegedűs, Róbert Ormándi and Mark Jelasity - (F) Reconfiguration Primitives for Self-adapting Overlays in Distributed Publish-Subscribe Systems Elisabetta Di Nitto, Daniel Joseph Dubois and Alessandro Margara - (F) Bridging Interference Barriers in Self-organized Synchronization Parth Amin, Vishnu Prasad Kaushik Ganesan and Olav Tirkkonen 2. Session: Self-adaptive complex problem solving - (F) On the Influence of Inter-Agent Variation on Multi-Agent Algorithms Solving a Dynamic Task Allocation Problem under Uncertainty Gerrit Anders, Christian Hinrichs, Florian Siefert, Pascal Behrmann, Wolfgang Reif and Michael Sonnenschein - (S) Collective Self-Tuning for Complex Product Design Elsy Kaddoum and Jean-Pierre Georgé - (S) Fast Precise Distributed Control for Energy Demand Management Jacob Beal, Jeffrey Berliner and Kevin Hunter 3. Session: Self-organization and social systems - (F) Self-Organising Common-Pool Resource Allocation and Canons of Distributive Justice Jeremy Pitt, Julia Schaumeier and Didac Busquets and Sam Macbeth - (F) Optimised Reputation-Based Adaptive Punishment for Limited Observability Samhar Mahmoud, Dani Villatoro and Michael Luck - (S) Modeling Adaptative Social Behavior in Collective Problem Solving Algorithms Diego Noble, Ricardo Araújo and Luís Lamb - (S) Collective Attention through Public Displays Alois Ferscha, Kashif Zia and Benedikt Gollan 4. Session: Self-organization and software-engineering - (F) Towards Meta-Adaptation support with Reusable and Composable Adaptation Components Ning Gui and Vincenzo De Florio - (F) Towards Dynamic Evolution of Self-adaptive Systems Based on Dynamic Updating of Control Loops Hiroyuki Nakagawa, Akihiko Ohsuga and Shinichi Honiden - (F) Realizing a Proactive, Self-Optimizing System Behavior within Adaptive, Heterogeneous Many-Core Architectures David Kramer and Wolfgang Karl - (F) Controlling self-organizing software applications with archetypes Bassem Debbabi, Ada Diaconescu and Philippe Lalanda - (S) Augmenting the Repertoire of Design Patterns for Self-Organized Software by Reverse Engineering a Bio-Inspired P2P System Paul L. Snyder, Giuseppe Valetto, Jose Luis Fernandez Marquez and Giovanna Di Marzo Serugendo 5. Biologically-inspired self-organization - (F) Directional Bias and Pheromone for Discovery and Coverage on Networks Glenn Fink, Kenneth Berenhaut and Chris Oehmen - (F) Simulating Human Single Motor Units using Self-Organizing Agents Önder Gürcan, Carole Bernon, Kemal S. Türker, Jean-Pierre Mano, Pierre Glize and Oguz Dikenelli - (F) The Role of Memory in Stabilizing Swarms (F) Jennifer Miller, Hao Luan, Louis Rossi and Chien-Chung Shen - (S)) Gradient-based Self-organisation Patterns of Anticipative Adaptation Sara Montagna, Danilo Pianini and Mirko Viroli - (S) Modelling Situated Action based on Affordances and Stigmergy Zoubida Afoutni, Remy Courdier and François Guerrin - (S) Mutational analysis-inspired algorithms for cells self-organization towards a dynamic under viability constraints Alexandra Fronville, Abdoulaye Sarr, Pascal Ballet and Vincent Rodin 6. Self-organization in Networks - (F) Constructing Communication Networks with Evolved Digital Organisms David B. Knoester and Philip Mckinley - (F) Dealing with Bootstrapping, Maintenance, and Network Partitions and Mergers in Structured Overlay Networks Tallat M. Shafaat, Ali Ghodsi and Seif Haridi - (F) Can degree correlation help to design resilient Superpeer network? Animesh Srivastava, Bivas Mitra, Fernando Peruani and Niloy Ganguly - (S) SOCIAL: A Self-Organized Entropy-based Algorithm for Identifying Communities in Networks Bennett Collingsworth and Ronaldo Menezes --------------------------------------------- Workshops on Sept. 10th and Sept. 14th, 2012 --------------------------------------------- Monday Sept. 10th, 2012 - WS7 : Evaluation of Self-Adaptive and Self-Organizing Systems – Tools, Techniques and Case studies - WS8 : 2nd AWARE workshop on Challenges for Achieving Self-Awareness in Autonomic Systems - WS9 : First International Workshop on Adaptive Service Ecosystems: Nature and Socially Inspired Solutions Friday Sept. 14th, 2012 - WS2 : Adaptive Host and Network Security - WS5 : Technologies for the Organisation, Adaptation and Simulation of Transportation Systems -------------------------------------------- Tutorials on Sept. 10th and Sept 14th, 2012 -------------------------------------------- - T1 : Architectural Styles for Adaptive Systems Luciano Baresi, Sam Guinea - T2 : How to Build Self-Modeling Systems Christopher Landauer, Kirstie L. Bellman, Phyllis R. Nelson - T3 : Engineering Organised Adaptation using ‘Sociologically-Inspired Computing’, Jeremy Pitt, Alexander Artikis - T4 : Metaheuristic Algorithms for Self-Organizing Systems Xin-She Yang From oshani at mit.edu Wed Aug 15 18:16:12 2012 From: oshani at mit.edu (Oshani Seneviratne) Date: Wed, 15 Aug 2012 21:46:12 +0530 Subject: ISWC 2012 Call for Participation: Registration is open Message-ID: Call for Participation ISWC 2012 - 11th International Semantic Web Conference November 11-15, 2012 Boston MA EARLY REGISTRATION DEADLINE: September 10, 2012 http://iswc2012.semanticweb.org/registration ------------------------------------------------------------------------------------------------ ISWC is the major international forum where the latest research results and technical innovations on all aspects of the Semantic Web are presented. ------------------------------------------------------------------------------------------------ ISWC 2012 offers an exciting research program which includes: Keynote presentations from: Tom Malone - Massachusetts Institute of Technology (MIT), US Jeanne Holm - data.gov Mark Musen - Stanford University Nigel Shadbolt - Southampton University http://iswc2012.semanticweb.org/keynotes/ Cutting edge research in Semantic Web presented in the Research track : http://iswc2012.semanticweb.org/research-track-accepted-papers and the Semantic Web In-Use track: http://iswc2012.semanticweb.org/semantic-web-use-accepted-papers 20 Workshops http://iswc2012.semanticweb.org/workshops/ 9 Tutorials http://iswc2012.semanticweb.org/tutorials/ and many more including presentations from the industry, demos and posters. ------------------------------------------------------------------------------------------------ We are pleased to announce that both the U.S. National Science Foundation (NSF) and the Semantic Web Science Association (SWSA) have contributed funds to support participation by full-time students in ISWC 2012. We anticipate that the SWSA funds will support 15 awards between 600-800€, and that the NSF funds will support 13 awards of approximately $1500, although the actual award amounts could be significantly different, depending on the number of qualified applicants. Find more information about the travel grants here: http://iswc2012.semanticweb.org/student-travel-awards ------------------------------------------------------------------------------------------------ ISWC 2012 will take place in Boston MA. The conference will be held at the The Boston Park Plaza Hotel & Towers. http://iswc2012.semanticweb.org/venue http://iswc2012.semanticweb.org/accommodation http://iswc2012.semanticweb.org/travel-information Information about visa and letter of invitation http://iswc2012.semanticweb.org/visa-information You can email ISWC 2012 at iswc2012oc at googlegroups.com and follow us on Twitter @iswcboston. We look forward to seeing you at ISWC 2012 in Boston! From AAMAS_2013_Publicity_Chair at ii.tudelft.nl Thu Aug 16 22:43:16 2012 From: AAMAS_2013_Publicity_Chair at ii.tudelft.nl (AAMAS_2013_Publicity_Chair) Date: Thu, 16 Aug 2012 22:43:16 +0200 Subject: CFP: Autonomous Agents and Multiagent Systems (AAMAS), May 6-10, 2013, Saint Paul, Minnesota, USA Message-ID: CALL FOR PAPERS 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013) Saint Paul, Minnesota, USA May 6-10, 2013 http://aamas2013.cs.umn.edu/ ** ABOUT AAMAS ** AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. AAMAS 2013 is the twelfth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Crowne Plaza, St. Paul, Minnesota, USA, May 6-10, 2013. See http://www.ifaamas.org for more information on the AAMAS conference series. ** WHAT’S NEW? ** We realise that many of you will not read the CFP in detail. Please at least read the following points, which highlight significant recent changes. 1. The special track Challenges and Visions is new and includes perspectives papers. 2. Please make sure you are aware of the policy regarding prior publication and simultaneous submission, see http://aamas2013.cs.umn.edu/node/31. 3. Reviewing: after the AAMAS 2012 community discussion about double blind reviewing a committee looked into the matter and adviced the IFAAMAS board that then decided not to change the policy about blind reviewing. ** TOPICS OF INTEREST ** Please visit the online CfP at http://aamas2013.cs.umn.edu/node/4. ** KEY DATES ** Electronic Abstract Submission: October 8, 2012 (11:59 PM HST) Full Paper Submission: October 12, 2012 (11:59 PM HST) Rebuttal Phase: November 27 - November 29, 2012 (11:59 PM HST) Author Notification: December 20, 2012 (11:59 PM HST) Conference: May 6–10, 2013 ** SUBMISSION ** AAMAS 2013 seeks high-quality submissions of full papers, limited to 8 pages in length. Submissions will be rigorously peer reviewed and evaluated on the basis of originality, soundness, significance, presentation, understanding of the state of the art, and overall quality of their technical contribution. Reviews will be double blind; authors must avoid including anything that can be used to identify them. Please note that submitting an abstract is required to submit a full paper. However, the abstracts will not be reviewed and full (8 page) papers must be submitted for the review process to start. All work must be original (must not have appeared in a conference proceedings, book, or journal). In addition to submissions in the main track, AAMAS 2013 will be soliciting papers in three special tracks. The review process for the special tracks will be similar to the main track, but with program committee members specially selected for that track. All accepted papers for the special tracks will be included in the proceedings. * Submission Instructions * To register and submit your paper (in PDF format), please go to the submission website: http://aamas2013.confmaster.net/ and follow the instructions. Please keep in mind that you must submit an abstract by October 8, 2012 to be able to upload your paper (abstract submission is required to submit a paper, but abstracts will NOT be reviewed). The abstract and paper submissions close at 11:59 PM Hawaii Standard Time (HST = GMT - 10:00) on Oct 8 and Oct 12 respectively. If any substantial part of your work appeared previously, please provide the citation and a one sentence description of the differences in the box provided. It is OK to submit work that has previously appeared in a workshop (without an associated archival publication). For such papers simply fill in the paper and workshop info. For papers that build on earlier work that appeared in an archival publication, please provide the citation and a one sentence description of the key advances/differences. This information will be kept from the reviewers to ensure a double-blind review and will only be used by the program chairs. * Formatting Instructions * The page limit for AAMAS 2013 submissions is 8 pages. The format follows the ACM proceedings guidelines and consists of balanced double columns, 9 pt text, 1" (2.54cm) margins top and bottom, and 0.75" (1.9cm) margins left and right. Each column is 3.33" (8.45cm) wide with a separation of 0.33" (0.83cm). A LaTeX style file and a Microsoft Word template will be available soon on the conference web site (http://aamas2013.cs.umn.edu/). Please do not modify the style files, or any layout parameters. To ensure the effectiveness of the double-blind review process, make sure to put paper numbers (provided upon paper registration) instead of author names. In addition, please ensure that any references to your own previous work is made in a way that does not disclose author identity (for example, instead of "in previous work, we have shown X [ref]" use "X was shown in [ref]"). In some cases where the work is clearly a continuation of your earlier work, you may consider removing citations to your own work until the final version (for example, "we have shown X [ref]" where [ref]= "Anonymous, 200X"). Please also check that the PDF file submitted does not contain embedded identifying information. * Mandatory Sections * The mandatory sections of the ACM styles are also mandatory for AAMAS 2013 submissions. Not only will these sections help select the reviewers, but according to ACM: "these index terms effect the ease and accuracy of retrieval within the Digital Library which ultimately benefits authors by allowing for greater distribution of their work". Thus, although it may not be trivial to find the appropriate classification information, you should make an effort filling these sections: 1. Categories and Subject Descriptors: Details of the ACM Computing Classification Scheme are available at http://www.acm.org/about/class/1998/. 2. General Terms: This section is limited to the following 16 terms: Algorithms, Management, Measurement, Documentation, Performance, Design, Economics, Reliability, Experimentation, Security, Human Factors, Standardization, Languages, Theory, Legal Aspects, Verification. 3. Keywords: This section is your choice of terms you would like to be indexed by. Please refer to the Call for Paper page for a list of topics. ** SPECIAL TRACKS ** In addition to submissions in the main track, AAMAS-2012 will be soliciting papers in three special tracks. The review process for the special tracks will be similar to the main track, but with program committee members specially selected for that track. * Special Track on Robotics (Chairs: Daniele Nardi and Monica Nicolescu) * Papers that advance theory and applications of single and multiple robots are welcome, specifically those focusing on real robots that interact with their environment. Papers should clearly explain how the work addresses challenges in robotics, opportunities for novel applications, and fundamental research issues in autonomous robotic systems. The goal is to demonstrate the synergy achieved from integration of research in agents and robotics. * Special Track on Virtual Agents (Chairs: Stefan Kopp and Catherine Pelachaud) * Virtual agents are embodied agents in interactive virtual or physical environments that emulate human-like behavior. We encourage papers on the design, implementation, and evaluation of virtual agents as well as challenging applications featuring them. The goal is to provide an opportunity for interaction and cross-fertilization between the AAMAS community and researchers working on virtual agents and to strengthen links between the two communities. * Special Track on Innovative Applications (Chairs: Bo An and John Thangarajah) * Due to the growing maturity of the field there are now agent-based applications in widespread use across many domains, responsible for the generation of significant revenues, or the saving of major costs, or for supporting important public policy and business strategy decision-making. This special track provides the ideal forum to present, discuss and demonstrate your compelling applications, agent system deployment experiences, and new business ideas. The goal is to promote the fostering of mutually-beneficial relationships between those doing foundational scientific research and those making autonomous agents and multi-agent systems a commercial or public policy reality. * NEW Special Track on Challenges and Visions (Chair: Jeff Rosenschein) * In cooperation with the Computing Community Consortium (CCC), AAMAS 2013 invites submissions to a special Challenges and Visions track. The emphasis of this track is on visionary ideas, long term challenges, and new research opportunities that are outside the current mainstream of the field. This track is designed to overcome the constraints of the traditional review process, and will serve as an incubator for innovative approaches, risky and provocative ideas, and to propose challenges and opportunities for the field in the near future. To encourage researchers to present truly visionary concepts, the CCC is offering prizes for up to 3 top papers in this special track: first prize $1000, second prize $750, and third prize $500, to be awarded as travel grants. From m.b.vanriemsdijk at tudelft.nl Fri Aug 17 16:25:27 2012 From: m.b.vanriemsdijk at tudelft.nl (Birna van Riemsdijk) Date: Fri, 17 Aug 2012 16:25:27 +0200 Subject: First CFP IEA/AIE'13 Message-ID: <57EA8E4A-ABDC-41C8-9353-405A94684D14@tudelft.nl> IEA/AIE-2013 CALL FOR PAPERS 26th International Conference on Industrial Engineering & other Applications of Applied Intelligence 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 ----------------------------- Dr. M. Birna van Riemsdijk assistant professor Interactive Intelligence Group Department of Intelligent Systems Faculty of Electrical Engineering, Mathematics and Computer Science Delft University of Technology Mekelweg 4 2628 CD Delft The Netherlands Room: HB 12.040 Telephone: +31 (0)15 2786331 Fax: +31 (0)15 2787141 Website: http://mmi.tudelft.nl/~birna/ Twitter: @mbirna -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From kostis at it.uu.se Wed Aug 22 00:14:12 2012 From: kostis at it.uu.se (Kostis Sagonas) Date: Wed, 22 Aug 2012 00:14:12 +0200 Subject: CFP: Practical Aspects of Declarative Languages (PADL 2013) Message-ID: <50340834.4020505@it.uu.se> Apologies for cross-posting Call for Papers =============== 15th International Symposium on Practical Aspects of Declarative Languages (PADL 2013) http://www.it.uu.se/conf/padl2013/ Rome, Italy, January 21-22, 2013 Co-located with ACM POPL 2013 Conference Description ====================== Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include, but are not limited to: * Innovative applications of declarative languages * Declarative domain-specific languages and applications * Practical applications of theoretical results * New language developments and their impact on applications * Declarative languages and software engineering * Evaluation of implementation techniques on practical applications * Practical experiences and industrial applications * Novel uses of declarative languages in the classroom * Practical extensions such as constraint-based, probabilistic, and reactive languages. PADL 2013 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages. In this occasion PADL is co-located, as traditionally, with ACM POPL, which will be held immediately following PADL. The symposium will be held in beautiful Rome, Italy. Important Dates and Submission Guidelines ========================================= Abstract Submission: September 10, 2012 Paper Submission: September 17, 2012 Notification: October 28, 2012 Camera-ready: November 12, 2012 Symposium: January 21-22, 2013 Authors should submit an electronic copy of the full paper in PDF using the Springer LNCS format. The submission will be done through EasyChair conference system. If electronic submission is impossible, please contact the program chair long in advance for information on how to submit hard copies. All submissions must be original work written in English. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chair about the place on which it has previously appeared. PADL 2013 will accept both technical and application papers: * Technical papers must describe original, previously unpublished research results. Technical papers must not exceed 16 pages in Springer LNCS format. * Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers will be published in the Springer-Verlag conference proceedings, and will be presented in a separate session. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 6 pages in Springer LNCS format but such papers can also point to sites with supplemental information about the application or the system that they describe. Program Committee ================= Elvira Albert, Complutense University of Madrid, Spain Maria Garcia de la Banda, Monash University, Australia Adam Chlipala, Massachusetts Institute of Technology, U.S.A. Bart Demoen, K.U. Leuven, Belgium Maurizio Gabbrielli, University of Bologna, Italy Jurriaan Hage, Utrecht University, The Netherlands Kevin Hammond, University of St. Andrews, U.K. Ralf Hinze, University of Oxford, U.K. Jacob Howe, City University London, U.K. Joxan Jaffar, National University of Singapore, Singapore Gabriele Keller, University of New South Wales, Australia Naoki Kobayashi, University of Tokyo, Japan Kim Nguyen, LRI, Université Paris-Sud, France Norman Ramsey, Tufts University, U.S.A. Kostis Sagonas, Uppsala University, Sweden; NTUA, Greece (chair) Vitor Santos Costa, University of Porto, Portugal Terrance Swift, Univ. Nova de Lisboa, Portugal; Johns Hopkins Univ., USA Dimitrios Vytiniotis, Microsoft Research, U.K Contacts ======== For additional information about papers and submissions, please contact the Program Chairs: Kostis Sagonas Uppsala University, Sweden Email: kostis it uu se From tsoumakas at gmail.com Wed Aug 22 20:33:48 2012 From: tsoumakas at gmail.com (Grigorios Tsoumakas) Date: Wed, 22 Aug 2012 21:33:48 +0300 Subject: ECML PKDD 2012 - Call for Participation - Mid Registration Deadline: August 31 Message-ID: *** ECML PKDD 2012 *** CALL FOR PARTICIPATION *** MID REGISTRATION DEADLINE: AUGUST 31 *** The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) will take place in Bristol, UK from September 24th to 28th, 2012. ECML-PKDD is the prime European scientific event in machine learning and data mining. It will feature presentations of contributed papers and invited speakers, a wide program of workshops and tutorials on the first and last days, a discovery challenge, and a DINe track with demo, industry, and 'nectar' talks. http://www.ecmlpkdd2012.net/programme/keynote-talks/ http://www.ecmlpkdd2012.net/programme/schedule/ http://www.ecmlpkdd2012.net/programme/workshops/ http://www.ecmlpkdd2012.net/programme/tutorials/ The mid registration deadline with reduced registration fee is August 31st, 2012. Accommodation is booked directly with the hotels: reduced rates are available on a first-come-first-serve basis and some block bookings will be released soon, so please act now to avoid disappointment! http://www.ecmlpkdd2012.net/attending/registration/ http://www.ecmlpkdd2012.net/attending/hotels/ We look forward to welcoming you in Bristol this September. Peter Flach, Tijl De Bie and Nello Cristianini, University of Bristol ECML-PKDD 2012 General and Programme Chairs ECMLPKDD2012 at cs.bris.ac.uk -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From adrianrp at unimelb.edu.au Tue Aug 28 04:56:54 2012 From: adrianrp at unimelb.edu.au (Adrian Pearce) Date: Tue, 28 Aug 2012 02:56:54 +0000 Subject: PHD POSITIONS IN OPTIMISATION @ NICTA VRL MELBOURNE & VICTORIAN UNIVERSITIES Message-ID: PHD POSITIONS IN OPTIMISATION @ NICTA VRL MELBOURNE UNIVERSITY & VICTORIAN UNIVERSITIES National ICT Australia (NICTA) is Australia's Information and Communications Technology Research Centre of Excellence. NICTA is offering scholarships for exceptional PhD students working in the priority area of Optimisation at a number of Victorian universities. NICTA offers both full and top-up scholarships on top of base scholarships at Victorian Universities, including the University of Melbourne, RMIT University and Monash University Optimisation The optimisation research group at NICTA VRL, led by Professor Pascal Van Hentenryck, at the University of Melbourne is recognised as a world-class team with pioneering contributions in fields such as constraint programming, hybrid optimisation, and planning. The group currently offers attractive PhD scholarships for high-calibre students interested in contributing to their research effort. The group focuses on grand challenges in disaster management, future energy systems, and multi-modal supply chains. Fundamental and applied research is conducted in continuous and discrete optimisation, decision making under uncertainty, simulation and 3D-visualisation, and algorithmic decision theory. Optimisation and decision-support platforms are being developed that will bring unprecedented support for decision making in complex environments. NICTA Optimisation Research Group homepage: http://www.nicta.com.au/research/optimisation For further information please contact Pascal Van Hentenryck, Optimisation Research Group Leader: pvh at nicta.com.au Application procedure: Please follow the instructions at http://www.nicta.com.au/education/scholarships/victoria_research_lab Applications and questions should be directed to vrlschols at lists.nicta.com.au From Andreas.Herzig at irit.fr Wed Aug 29 16:15:54 2012 From: Andreas.Herzig at irit.fr (Andreas Herzig) Date: Wed, 29 Aug 2012 16:15:54 +0200 Subject: JELIA 2012 call for participation Message-ID: <204c-503e2400-b-6b2a3e00@183754447> JELIA 2012 CALL FOR PARTICIPATION ================================= 12th European Conference on Logics in Artificial Intelligence - Toulouse, France, September 26-28, 2012 http://www.irit.fr/jelia2012 Logics provide a formal basis and key descriptive notation for the study and development of applications and systems in Artificial Intelligence (AI). With the depth and maturity of formalisms, methodologies, and systems today, such logics are increasingly important. The European Conference on Logics in Artificial Intelligence (or Journees Europeennes sur la Logique en Intelligence Artificielle --- JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organized biennially, with English as the official language, and with proceedings published in Springer-Verlag's Lecture Notes in Artificial Intelligence series. In 2012 the conference is organized in Toulouse, France. The increasing interest in this forum, its international level with growing participation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major forum for the di! scussion of logic-based approaches to AI. Registration ============ Registration as well as travel and accommodation information is available on the JELIA 2012 web pages http://www.irit.fr/jelia2012 JELIA 2012 Registration Fees Early (until Aug 31) Late Regular 240 EUR 390 EUR Student 120 EUR 220 EUR including JELIA 2012 technical sessions and invited talks, coffee breaks, conference banquet on September 27, JELIA 2012 LNAI conference proceedings, and conference accessories (bag, programme, info,...) Scientific Program ================== The scientific program consists of three invited talks, 36 regular papers, and 5 system descriptions. See the list of accepted papers at http://www.irit.fr/jelia2012/acc_papers.html. Invited Speakers ================ Leila Amgoud (http://www.irit.fr/~Leila.Amgoud) and Philippe Besnard (http://www.irit.fr/~Philippe.Besnard) Ulrich Furbach (http://www.furbach.de/Uni) Wiebe van der Hoek (http://www.csc.liv.ac.uk/~wiebe) Venue and Travel Information ============================ The conference will be held in the auditorium Jacques Herbrand of the Institut de recherche en informatique de Toulouse (IRIT), reachable from downtown via the underground. Toulouse Blagnac airport has connections to many European cities, including London, Manchester, Bristol, Leeds, Edinburgh, Dublin, Amsterdam, Brussels, Geneva, Frankfurt, Munich, Hamburg, Oslo, Rome, Milan, Lisbon, Madrid and Athens, as well as an intercontinental connection to Montreal. Toulouse Matabiau train station has TGV connections to Paris, Lyons, Lille and Marseille; you may search for other connections on http://www.bahn.de. More information can be found on http://www.irit.fr/jelia2012/location.html. From fabrizio.riguzzi at unife.it Thu Aug 30 18:04:12 2012 From: fabrizio.riguzzi at unife.it (Fabrizio Riguzzi) Date: Thu, 30 Aug 2012 18:04:12 +0200 Subject: ILP 2012 Call for Participation, Early Registration Deadline extended to September 7 In-Reply-To: References: Message-ID: * ILP 2012 *** CALL FOR PARTICIPATION *** EARLY REGISTRATION DEADLINE EXTENSION: SEPTEMBER 7 *** http://ida.felk.cvut.cz/ilp2012/ ILP 2012 will feature 3 exciting invited talks: Luc De Raedt: Declarative Modeling for Machine Learning Ben Taskar: Geometry of Diversity and Determinantal Point Processes: Representation, Inference and Learning Geraint A. Wiggins: Learning and Creativity in the Global Workspace The 22nd International Conference on Inductive Logic Programming will take place in Dubrovnik on September 17-19, 2012. http://ida.felk.cvut.cz/ilp2012/participants/venue/ ILP 2012 is the twentysecond in the series of the international conference on ILP. The ILP conference has broadened its scope and welcomes contributions to learning from multi-relational databases and otherwise non-trivially structured data, ranging from purely logic-based to alternative approaches, such as probabilistic or connectionist, including their viable combinations. The early registration deadline with reduced registration fee is September the 7th, 2012. Accommodation is booked together with registration. http://ida.felk.cvut.cz/ilp2012/participants/registration/ We look forward to seeing you in Dubrovnik this September. Fabrizio Riguzzi, Filip Zelezn, Tina Anzic and Nada Lavrac ILP 2012 Program and Organization chairs From pascal.hitzler at wright.edu Fri Aug 31 20:06:16 2012 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Fri, 31 Aug 2012 14:06:16 -0400 Subject: Semantic Web Journal: Call for Special Issue Proposals Message-ID: <5040FD18.9040404@wright.edu> Semantic Web Journal: Call for Special Issue Proposals http://www.semantic-web-journal.net The Semantic Web journal seeks proposals for Special Issues of the journal. A proposal should fall into one of the following categories. A) Special Issues which address core technological or fundamental challenges for Semantic Web research and/or applications. B) Special Issues which are within the topical realm of a neighboring discipline but contribute directly or indirectly to Semantic Web research and/or applications. Proposals for special issues shall be sent to the Editors-in-Chief (contact at semantic-web-journal.net) and contain the following information in a single PDF file: * Names and affiliations of all guest editors * Topic of the special issue * Tentative list of Guest Editorial Board members * A short description of the topic * Why the topic is currently of interest * Why the topic is relevant to this call * Credentials of the guest editors regarding their research impact and their community standing with respect to the topic * A draft call for papers, including a suggested time-line Usually, it is recommended that the set of guest editors, as well as the proposed editorial board, are geographically diverse, have ample visibility within the discipline, and cover key dimensions of the special issue topic. It will be assumed that all proposed guest editors are aware of the journal's open and transparent review policy described at http://www.semantic-web-journal.net/reviewers#review Submission deadline: 30th of September, 2012 Best Regards, Pascal Hitzler Krzysztof Janowicz Editors-in-Chief -- Prof. Dr. Pascal Hitzler Dept. of Computer Science, Wright State University, Dayton, OH pascal at pascal-hitzler.de http://www.knoesis.org/pascal/ Semantic Web Textbook: http://www.semantic-web-book.org Semantic Web Journal: http://www.semantic-web-journal.net