From a.artikis at gmail.com Tue Nov 2 08:09:01 2010 From: a.artikis at gmail.com (Alexander Artikis) Date: Tue, 2 Nov 2010 09:09:01 +0200 Subject: Final CFP: Applied Artificial Intelligence Special Issue on Event Recognition Message-ID: =============== Call for Papers =============== ======================================= Special Issue on Event Recognition Applied Artificial Intelligence Journal ======================================= Users and organisations collect data in various structured and unstructured digital formats, but they cannot fully utilise these data to support content and resource management. It is evident that the analysis and interpretation of the available data needs to be automated, in order for large data volumes to be transformed into operational knowledge. Events are particularly important pieces of knowledge, as they represent activities of special significance both for users and organisations. Therefore, the recognition of events is of utmost importance. Consider, for example, the recognition of trends given user contributions in social Web 2.0 applications, the recognition of attacks on nodes of a computer network given the exchanged TCP/IP messages, the recognition of suspicious trader behaviour given the transactions in a financial market, and the recognition of various types of cardiac arrhythmia given electrocardiograms. We invite quality submissions focusing on various aspects of event recognition, including analysis of video, audio, text and other sensor data, as well as recognition on fused data sources. While we place emphasis on theoretical contributions, we also welcome papers describing interesting applications. Broad topics include: ===================== - Representation languages for event recognition - Algorithms for real-time event recognition - Probabilistic reasoning for event recognition - Machine learning for event recognition - Event recognition architectures - Benchmarks, performance evaluations, and testbeds - Domain-specific deployments of event recognition systems - Multimedia and social media analysis for event recognition - Clustering, concept recognition and multi-modal/fusion techniques - User interaction and interfaces for event navigation, browsing and management Key Dates ========= December 1, 2010 - Submissions July 10, 2011 - Final Decisions Publication - November 2011 Info ==== Email: events2010 at iti.gr Journal web site: http://www.tandf.co.uk/journals/titles/08839514.asp Guest Editors ============= Thomas Winkler, Fraunhofer IAIS, Germany Alexander Artikis, NCSR Demokritos Yiannis Kompatsiaris, CERTH-ITI, Greece Phivos Mylonas, NTUA, Greece From evomusart at gmail.com Tue Nov 2 11:40:00 2010 From: evomusart at gmail.com (Juan Romero) Date: Tue, 2 Nov 2010 11:40:00 +0100 Subject: CFP evomusart 2011. Evolutionary and Biologically Inspired Music, Sound, Art and Design Message-ID: Please distribute (Apologies for multiple posting) ---------------------------------------------------------------------------- SECOND CALL FOR PAPERS evomusart 2011 9th European Event on Evolutionary and Biologically Inspired Music, Sound, Art and Design Deadline 22 November 2010!! 27-29 April, 2011, Torino, Italy evomusart 2011: http://www.evostar.org/call-for-contributions/evoapplications/evomusart/ evo* 2011: http://www.evostar.org/ CFP in pdf: http://www.evostar.org/wp-content/uploads/2010/09/call_evomusart.pdf ---------------------------------------------------------------------------- INTRODUCTION ---------------------------------------------------------------------------- The use of biologically inspired techniques for the development of artistic systems is a recent, exciting and significant area of research. There is a growing interest in the application of these techniques in fields such as: visual art and music generation, analysis, and interpretation; sound synthesis; architecture; video; poetry; design; and other creative tasks. evomusart 2011 is the ninth european event on Evolutionary Music and Art. Following the success of previous events and the growth of interest in the field, the main goal of evomusart 2011 is to bring together researchers who are using biologically inspired techniques for artistic tasks, providing the opportunity to promote, present and discuss ongoing work in the area. The event will be held from 27-29 April, 2011 in Torino, Italy as part of the evostar event. Accepted papers will be presented orally at the event and included in the evoapplications proceedings, published by Springer Verlag in the Lecture Notes in Computer Science series. ---------------------------------------------------------------------------- TOPICS OF INTEREST ---------------------------------------------------------------------------- The papers should concern the use of biologically inspired techniques - e.g. Evolutionary Computation, Artificial Life, Artificial Neural Networks, Swarm Intelligence, etc. - in the scope of the generation, analysis and interpretation of art, music, design, architecture and other artistic fields. Topics of interest include, but are not limited to: - Generation o Biologically Inspired Design and Art - Systems that create drawings, images, animations, sculptures, poetry, text, designs, webpages, buildings, etc.; o Biologically Inspired Sound and Music - Systems that create musical pieces, sounds, instruments, voices, sound effects, sound analysis, etc.; o Robotic Based Evolutionary Art and Music; o Other related generative techniques; - Theory o Computational Aesthetics, Emotional Response, Surprise, Novelty; o Representation techniques; o Surveys of the current state-of-the-art in the area; identification of weaknesses and strengths; comparative analysis and classification; o Validation methodologies; o Studies on the applicability of these techniques to related areas; o New models designed to promote the creative potential of biologically inspired computation; - Computer Aided Creativity o Systems in which biologically inspired computation is used to promote the creativity of a human user; o New ways of integrating the user in the evolutionary cycle; o Analysis and evaluation of: the artistic potential of biologically inspired art and music; the artistic processes inherent to these approaches; the resulting artifacts; o Collaborative distributed artificial art environments; - Automation o Techniques for automatic fitness assignment; o Systems in which an analysis or interpretation of the artworks is used in conjunction with biologically inspired techniques to produce novel objects; o Systems that resort to biologically inspired computation to perform the analysis of image, music, sound, sculpture, or some other types of artistic object; ---------------------------------------------------------------------------- IMPORTANT DATES ---------------------------------------------------------------------------- Submission: 22 November 2010 Notification: 7 January 2011 Camera ready: 1 February 2011 Workshop: 27-29 April 2011 ---------------------------------------------------------------------------- ADDITIONAL INFORMATION AND SUBMISSION DETAILS ---------------------------------------------------------------------------- Submit your manuscript, at most 10 A4 pages long, in Springer LNCS format (instructions downloadable from http://www.springeronline.com/sgw/cda/frontpage/0,11855,5-164-2-72376-0,00.html) no later than November 22, 2010 to site http://myreview.csregistry.org/evoapps11 The reviewing process will be double-blind, please omit information about the authors in the submitted paper. The papers will be peer reviewed by at least three members of the program committee. Authors will be notified via email on the results of the review by January 7, 2011. The authors of accepted papers will have to improve their paper on the basis of the reviewers' comments and will be asked to send a camera ready version of their manuscripts, along with text sources and pictures, by February 1, 2011. The accepted papers will appear in the workshop proceedings, published in Springer LNCS Series, which will be available at the workshop. Further information, including the Online Submission Details, can be found on the following pages: evomusart2011: http://www.evostar.org/call-for-contributions/evoapplications/evomusart/ evostar 2011: http://www.evostar.org/ CFP in pdf: http://www.evostar.org/wp-content/uploads/2010/09/call_evomusart.pdf ---------------------------------------------------------------------------- PROGRAMME COMMITTEE ---------------------------------------------------------------------------- Alain Lioret (Paris 8 University,France) Alan Dorin (Monash University,Australia) Alejandro Pazos (University of A Coruna,Spain) Amilcar Cardoso (University of Coimbra,Portugal) Amy K. Hoover (University of Central Florida,USA) Andrew Gildfind (Google, Inc.,Australia) Andrew Horner (University of Science & Technology,Hong Kong) Anna Ursyn (University of Northern Colorado,USA) Antonino Santos (University of A Coruna,Spain) Artemis Sanchez Moroni (Renato Archer Research Center,Brazil) Benjamin Schroeder (Ohio State University,USA) Bill Manaris (College of Charleston,USA) Brian Ross (Brock University,Canada) Carla Farsi (University of Colorado,USA) Carlos Grilo (Instituto Politécnico de Leiria,Portugal) Christian Jacob (University of Calgary,Canada) Colin Johnson (University of Kent,UK) Craig Kaplan (University of Waterloo,Canada) Dan Ashlock (University of Guelph,Canada) Eduardo Miranda (University of Plymouth,UK Eleonora Bilotta (University of Calabria,Italy) Erwin Driessens (Independent Artist, Netherlands) Gary Greenfield (University of Richmond,USA) Gary Nelson (Oberlin College,USA) Gerhard Widmer (Johannes Kepler University Linz, Austria) Hans Dehlinger(Independent Artist,Germany) James McDermott(University of Limerick,Ireland) John Collomosse(University of Surrey,UK) Jon Bird (University of Sussex,UK) Jon McCormack (Monash University,Australia) Jorge Tavares (University of Coimbra,Portugal) José Fornari (NICS/Unicamp,Brazil) Juan Romero (University of A Coruna,Spain) Kevin Burns (Mitre Corporation,USA) Luigi Pagliarini (Pescara Electronic Artists Meeting & University of Southern Denmark,Italy) Marcelo Freitas Caetano (IRCAM, France) Maria Verstappen (Independent Artist,Netherlands) Matthew Lewis (Ohio State University,USA) Mauro Annunziato (Plancton Art Studio,Italy) Nicolas Monmarché (University of Tours,France) Oliver Bown (Monash University,Australia) Pablo Gervás (Universidad Complutense de Madrid,Spain) Palle Dahlstedt (Göteborg University,Sweden) Paul Brown (University of Sussex,UK) Paulo Urbano (Universidade de Lisboa ,Portugal) Penousal Machado (University of Coimbra,Portugal) Peter Bentley (University College London ,UK) Philip Galanter (Texas A&M College of Architecture,USA) Rafael Ramirez (Pompeu Fabra University,Spain) Rodney Waschka II (North Carolina State University,USA) Ruli Manurung (University of Indonesia,Indonesia) Scott Draves (Independent Artist,USA) Simon Colton (Imperial College,UK) Somnuk Phon-Amnuaisuk (University Tunku Abdul Rahman, Malaysia) Stefano Cagnoni (University of Parma,Italy) Stephen Todd (IBM,UK) Tim Blackwell (Goldsmiths College, University of London,UK) Vic Ciesielski (RMIT,Australia) William Latham (Goldsmiths College, University of London,UK) Yang Li (University of Science and Technology Beijing,China) ---------------------------------------------------------------------------- WORKSHOP CHAIRS ---------------------------------------------------------------------------- Juan Romero University of A Coruna, Spain jj AT udc DOT es Gary Greenfield University of Richmond, USA ggreenfi AT richmond DOT edu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From robert at grid.chu.edu.tw Tue Nov 2 13:36:14 2010 From: robert at grid.chu.edu.tw (Robert C. Hsu) Date: Tue, 2 Nov 2010 20:36:14 +0800 Subject: International Journal of Engineering and Industries Message-ID: <201011021236.oA2CaEYL010359@grid.chu.edu.tw> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From evostar2011 at yahoo.com Tue Nov 2 17:45:45 2010 From: evostar2011 at yahoo.com (Penousal Machado) Date: Tue, 2 Nov 2010 09:45:45 -0700 (PDT) Subject: 2nd CFP: evostar 2011 Message-ID: <989936.43216.qm@web120201.mail.ne1.yahoo.com> * Kindly forward to your colleagues or students who may be interested * * Our apologies if you receive multiple copies of this announcement. * EVOSTAR 2011 CALL FOR PAPERS evostar - the main european events on evolutionary computation eurogp, evocop, evobio and evoapplications 27-29 april 2011 - torino, italy http://www.evostar.org ABOUT EVO* The evo* event comprises the premier co-located conferences in the field of Evolutionary Computing: eurogp, evocop, evobio and evoapplications. In 2011, the evo* will take place at the Molecular Biotechnology Center, that hosts the School for the Biotechnologies of the University of Torino, Italy. Featuring the latest in theoretical and applied research, evo* topics include recent genetic programming challenges, evolutionary and other meta-heuristic approaches for combinatorial optimization, evolutionary algorithms, machine learning and data mining techniques in the biosciences, in numerical optimization, in music and art domains, in image analysis and signal processing, in hardware optimization and in a wide range of applications to scientific, industrial, financial and other real-world problems. The proceedings will be published by Springer Verlag in the Lecture Notes in Computer Science series. EVO* EVENTS eurogp 14th European Conference on Genetic Programming Papers are sought on topics strongly related to the evolution of computer programs, ranging from theoretical work to innovative applications. evocop 11th European Conference on Evolutionary Computation in Combinatorial Optimization Practical and theoretical contributions are invited, related to evolutionary computation techniques and other meta-heuristics for solving combinatorial optimization problems. evobio 9th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics Emphasis is on evolutionary computation and other advanced techniques addressing important problems in molecular biology, proteomics, genomics and genetics, that have been implemented and tested in simulations and on real-life datasets. evoapplications - European Conference on the Applications of Evolutionary Computation evocomnet 8th European event on nature-inspired techniques for telecommunication networks and other parallel and distributed systems evocomplex 2nd European event on algorithms and complex systems evofin 5th European event on evolutionary and natural computation in finance and economics evogames 3rd European event on bio-inspired algorithms in games evohot 6th European event on Bio-Inspired Heuristics for Design Automation evoiasp 13th European event on evolutionary computation in image analysis and signal processing evointelligence 2nd European event on interactive evolution and humanized computational intelligence evomusart 9th European event on evolutionary and biologically inspired music, sound, art and design evonum 4th European event on bio-inspired algorithms for continuous parameter optimisation evostim 6th European event on Scheduling and Timetabling evostoc 8th European event on evolutionary algorithms in stochastic and dynamic environments evotranslog 5th European event on evolutionary computation in transportation and logistics evophd 6th Graduate Student Workshop on evolutionary computation EVO* SUBMISSION INSTRUCTIONS Submissions must be original and not published elsewhere. The submissions will be peer reviewed by at least three members of the program committee. The authors of accepted papers will have to improve their paper on the basis of the reviewers' comments and will be asked to send a camera ready version of their manuscripts. At least one author of each accepted work has to register for the conference and attend the conference and present the work. The reviewing process will be double-blind, please omit information about the authors in the submitted paper. Submit your manuscript in Springer LNCS format. The submission deadline is 22 november 2010. The other submission details are conference specific. Please follow the instructions and links bellow. eurogp: submission link: http://myreview.csregistry.org/eurogp11/ page limit: 12 pages evocop: submission link: http://myreview.csregistry.org/evocop11/ page limit: 12 pages evobio: submission link: http://myreview.csregistry.org/evobio11/ evobio is interested in papers in three major areas: 1. Full research articles (maximum 12 pages) 2. System Demonstrations (maximum 6 pages) 3. Short reports (maximum 6 pages) evoapplications: Submitting to evocomnet, evocomplex, evofin, evogames, evohot, evoiasp, evointelligence, evomusart, evonum, evostim, evostoc and evotranslog: submission link: http://myreview.csregistry.org/evoapps11/ page limit: 10 pages Submitting to evophd: Submissions should be e-mailed in PDF or gzipped postscript to evophd(at)vanhemert.co.uk. The page limit is 14 A4 pages for students' submissions and 20 A4 pages for PhD-summary submissions, both in Springer LCNS format. IMPORTANT DATES eurogp, evocop, evobio and evoapplications: submission deadline: 22 november 2010 notification to authors: 7 january 2011 camera-ready deadline: 1 february 2011 evophd: submission deadline: 21 january 2011 notification to authors: 23 february 2011 camera-ready deadline: 15 march 2011 evo* event: 27-29 april 2011 ADDITIONAL INFORMATION evostar website: http://www.evostar.org evostar poster: http://evostar.dei.uc.pt/wp-content/uploads/2010/07/evostar_large.pdf evo* coordinator jennifer willies local chair mario giacobini publicity chair penousal machado From laurent.perrussel at univ-tlse1.fr Thu Nov 4 13:37:50 2010 From: laurent.perrussel at univ-tlse1.fr (Laurent Perrussel) Date: Thu, 04 Nov 2010 13:37:50 +0100 Subject: Uncertain Reasoning Special Track at FLAIRS-24: Call For Papers Message-ID: <4CD2A91E.7010107@univ-tlse1.fr> [Apologies for multiple copies] FLAIRS-24 - Special Track on Uncertain Reasoning (UR) West Palm Beach, Florida, USA May 18-20, 2011 http://www.irit.fr/~Laurent.Perrussel/ur11/ Call For Papers =============== Many problems in AI (in reasoning, planning, learning, perception and robotics) require the agent to operate with incomplete or uncertain information. The objective of this track is to present and discuss a broad and diverse range of current work on uncertain reasoning, including theoretical and applied research based on different paradigms. We hope that the variety and richness of this track will help to promote cross fertilization among the different approaches for uncertain reasoning, and in this way foster the development of new ideas and paradigms. The Special Track on Uncertain Reasoning (UR) is the oldest track in FLAIRS conferences, running annually since 1996. The UR'2011 Special Track at the 24th International Florida Artificial Intelligence Research Society Conference (FLAIRS-24) is the 16th in the series. As the past tracks, UR'2011 seeks to bring together researchers working on broad issues related to reasoning under uncertainty. Scopes ------ Papers on all aspects of uncertain reasoning are invited. Papers of particular interest include, but are not limited to: *Uncertain reasoning formalisms, calculi and methodologies *Reasoning with probability, possibility, fuzzy logic, belief function, vagueness, granularity, rough sets, and probability logics *Multi-agent uncertain reasoning and decision making *Modeling and reasoning using imprecise and indeterminate information, such as: Choquet capacities, comparative orderings, convex sets of measures, and interval-valued probabilities *Exact, approximate and qualitative uncertain reasoning *Graphical models of uncertainty *Decision-theoretic planning and Markov decision process *Temporal reasoning and uncertainty *Argumentation *Belief change and Merging *Nonmonotonic and conditional Logics *Similarity-based reasoning *Construction of models from elicitation, data mining and knowledge discovery *Uncertain reasoning in information retrieval, filtering, fusion, diagnosis, prediction, situation assessment *Practical applications of uncertain reasoning Paper Submission and Publication --------------------------------- Submitted papers must be original, and not submitted concurrently to a journal or another conference. Interested authors should format their papers according to AAAI formatting guidelines: http://www.aaai.org/Publications/Templates/AuthorKit.zip Papers should not exceed 6 pages (2 pages for a poster) and are due by November 22, 2010. Fake author names and affiliations must be used on submitted papers to provide double-blind reviewing. Papers must be submitted through the EasyChair conference system (http://ww.easychair.org/conferences/?conf=flairs24), which can be accessed through the main conference web site (http://www.flairs-24.info). Authors should indicate the special track “Uncertain Reasoning” for submissions. The proceedings of FLAIRS-24 will be published by AAAI Press. An author of each accepted paper is required to register, attend, and present the paper at FLAIRS-24. Important Dates --------------- Paper submission due: Nov. 22, 2010 Author Notification: Jan. 21, 2011 Camera Ready Copy Due: Feb. 21, 2011 Conference: May 18-20, 2011 Program Committee ----------------- [ Track Chairs ] C. Butz University of Regina, Canada L. Perrussel IRIT - Université de Toulouse, France [ PC Members ] Xiangdong An York U., Canada Christoph Beierle U. Hagen, Germany Salem Benferhat U. Artois, France Fabio Cuzzolin Oxford Brookes U., England Sylvie Doutre U. Toulouse, France Marek Druzdzel U. Pittsburgh, USA Love Ekenberg Stockholm U., Sweden Konstantinos Georgatos CUNY, USA Kevin Grant U. Lethbridge, Canada Souhila Kaci U. Artois, France Gabriele Kern-Isberner U. Dortmund, Germany Pawan Lingras Saint Mary’s U., Canada Weiru Liu Queen's U. Belfast, UK Tsai-Ching Lu HRL Laboratories, USA Anders Madsen HUGIN Expert, Denmark Christina Manfredotti U. Milano-Bicocca, Italy Malek Mouhoub U. Regina, Canada Eric Neufeld U. Saskatchewan, Canada Thomas Nielsen Aalborg U., Denmark Eugene Santos Dartmouth College, USA Paul Snow New Hampshire, USA Luis E. Sucar Inst. Astrophysics, Optics, Electronics, Mexico Choh-Man Teng Inst. For Human & Machine Cognition, USA Paolo Viappini U. Toronto, Canada Dan Wu U. Windsor, Canada Yang Xiang U. Guelph, Canada Changhe Yuan Mississippi State U., USA Travel Information ------------------ FLAIRS 2011 will be held in West Palm Beach, Florida. Additional information on the conference locale and travel planning can be found at "http://www.flairs-24.info/". From Thomas.Lukasiewicz at comlab.ox.ac.uk Thu Nov 4 15:50:06 2010 From: Thomas.Lukasiewicz at comlab.ox.ac.uk (Thomas Lukasiewicz) Date: Thu, 04 Nov 2010 14:50:06 +0000 Subject: AAAI-11: Call for Tutorials Message-ID: <4CD2C81E.9080005@comlab.ox.ac.uk> /Call for Proposals/ *AAAI-11 Tutorial Forum* Twenty-Fifth AAAI Conference on Artificial Intelligence August 7-11, 2011 * San Francisco, California, USA http://www.aaai.org/Conferences/AAAI/2011/aaai11tutorialcall.pdf /Sponsored by the Association for the Advancement of Artificial Intelligence/ The AAAI-11 Program Committee invites proposals for the Tutorial Forum of the Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI-11). The Tutorial Forum will be held August 7-8, 2011 in San Francisco. Anyone interested in presenting a tutorial at AAAI-11 should submit a proposal to the 2011 Tutorial Forum Cochairs (listed below) via EasyChair. * * *What Is the Tutorial Forum?* The Tutorial Forum provides an opportunity for junior and senior researchers to spend two days each year freely exploring exciting advances in disciplines outside their normal focus. We believe this type of forum is essential for the cross fertilization, cohesiveness, and vitality of the AI field. We all have a lot to learn from each other; the Tutorial Forum promotes the continuing education of each member of the AAAI. To encourage full participation by technical conference registrants, no separate fee will be charged for admittance to the Tutorial Forum in 2011. * * *Topics* AAAI is interested in proposals for advanced tutorials at the leading edge of AI. We are particularly interested in tutorials that offer two types of knowledge. The first type provides in-depth background tools to help educate researchers and students for the purpose of conducting AI research; examples of this type of tutorials from AAAI-10 include "Sampling Techniques for Probabilistic and Deterministic Graphical Models," "Voting Theory," and "Reinforcement Learning Algorithms for MDPs." A second type of tutorial provides a broad overview for an AI area that potentially crosses boundaries with an interesting application area; examples of this type of tutorial from AAAI-10 include "Exploiting Statistical and Relational Information on the Web and in Social Media: Applications, Techniques, and New Frontiers," "Towards Intelligent Web Search: Inferring Searcher Intent," and "Machine Learning Meets Knowledge Representation in the Semantic Web." Our goal is to present a diverse program that includes core areas of AI, new techniques from allied disciplines that can inform research within AI, and conversely emerging applications of AI techniques to new areas. Previous years' tutorial programs provide an indication of the scope and variety of possible topics. The list is not exclusive; indeed, we are expressly interested in topics that we would not have imagined to mention. Finally, note that we very much welcome proposals for educational approaches that go beyond the traditional format of four-hour tutorials, exploiting the flexibility that the open format program offers. * * *Submission Requirements* We need two kinds of information in the proposals: information that will be used for selecting proposals and information that will appear in the tutorial description brochure. The proposal should provide sufficient information to evaluate the quality of the technical content being taught, the quality of the educational material being used, and the speakers' skill at presenting this material. Each proposal should include at least the following: /Goal of the tutorial:/ Who is the target audience? What will the audience walk away with? What makes the topic innovative? /History:/ List of previous venues and approximate audience sizes, if the same or a similar tutorial has been given elsewhere; otherwise an estimate of the audience size. /Content:/ Detailed outline and list of additional materials, augmented with samples, such as past tutorial slides and survey articles, whenever possible. Be as complete as possible. /Tutorial description:/ A short paragraph summarizing the tutorial outline, and the intended duration of the symposium (default is four hours). /Prerequisite knowledge:/ What knowledge is assumed of the target audience. Please also submit the following information about the team of presenters: name, mailing address, phone number, email address; background in the tutorial area, including a list of publications and/or presentations; any available examples of work in the area (ideally, a published tutorial-level article or presentation materials on the subject); evidence of teaching experience (courses taught or references); and evidence of scholarship in AI or computer science. *Submission Deadline* Proposals must be received by December 3, 2010. Decisions about the tutorial program will be made by January 14, 2011. Speakers should be prepared to submit their tutorial descriptions and bios by January 28, 2011, and to post completed course materials on their websites by July 1, 2011. Submissions must be in pdf format and made via EasyChair at http://www.easychair.org/conferences/?conf=aaai2011tutorialforum. *Tutorial Cochairs* Thomas Lukasiewicz Oxford University Computing Laboratory Wolfson Building, Parks Road Oxford OX1 3QD, UK 0044-1865-522566 0044-1865-273839 (fax) Thomas.Lukasiewicz at comlab.ox.ac.uk Patrick Pantel Microsoft Research One Microsoft Way Redmond, WA 98052 ppantel at microsoft.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wf at wfaber.com Fri Nov 5 23:46:17 2010 From: wf at wfaber.com (Wolfgang Faber) Date: Fri, 05 Nov 2010 23:46:17 +0100 Subject: 2nd CFP: LPNMR-11 (Logic Programming and Nonmonotonic Reasoning) Message-ID: <1288997177.6040.63.camel@positron> [apologies for multiple copies] CALL FOR PAPERS LPNMR-11 11th International Conference on Logic Programming and Nonmonotonic Reasoning Vancouver, BC, Canada, 16-19 May, 2011 Web: http://sites.google.com/site/lpnmr11 Email: lpnmr11 at gmail.com LPNMR-11 is the eleventh in the series of international meetings on logic programming and nonmonotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between those researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those who work in the area of knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to the construction of systems for declarative programming and knowledge representation, as well as their use in practical applications. Authors are invited to submit papers presenting original and unpublished research on all aspects of nonmonotonic approaches in logic programming and knowledge representation. We particularly encourage submission of papers on LPNMR techniques which have led to the development of significant applications. We also invite submissions of short papers, which may include system and application descriptions. We invite submissions of both long and short papers. The proceedings of the conference will be published in the Springer Verlag Lecture Notes in Computer Science series; see http://www.springer.com/lncs/. All accepted papers will be published in the proceedings. This year the best paper(s) from the conference will be invited to appear at a special track of IJCAI'11 in Barcelona. Topics (non-exhaustive list) Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, and related approaches (such as causal reasoners); * Relationships among formalisms; * Complexity and expressive power; * Development of inference algorithms and search heuristics for LPNMR systems; Inference algorithms and heuristics for LPNMR systems; * Extensions of "classical" LPNMR languages by new logical connectives and new inference capabilitiessuch as abduction, reasoning by cases, etc ; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * LPNMR benchmarks. Applications of LPNMR systems: * Using LPNMR to model problems in KR and commonsense reasoning; * LPNMR languages and algorithms in planning, diagnosis, software engineering, decision making, and model checking; * Applications of action languages, to policies, planning, and other areas; * Applications of LPNMR languages in data integration and exchange systems; * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. Submission LPNMR-11 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories. * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page, references and figures. The proceedings of the conference will be published in the Springer Verlag Lecture Notes in Computer Science series. All submissions will be peer-reviewed; and all accepted papers will appear in the conference proceedings. Submissions must be formatted according to the Springer LNCS author instructions, be written in English, and present original research. Paper submission will be electronic through http://www.easychair.org/conferences/?conf=lpnmr11 . Workshops The program of LPNMR-11 will also include several specialised workshops. These workshops provide a venue for presenting more specialised and focussed topics, and are intended to allow for intensive discussions and project collaboration in any area related to LPNMR, including cross-disciplinary areas. Those interested in organizing a workshop at LPNMR-11 are invited to submit an informal workshop proposal to the program chairs by 31 December 2010. Potential workshop organizers are also invited to discuss their ideas for a workshop with the program chairs beforehand. Important Dates * Paper registration: 6 December 2010 * Paper submission: 13 December 2010 * Workshop applications: 31 December 2010 * Notification: 8 February 2011 * Final versions due: 25 February 2011 Venue Vancouver is located on the west coast of Canada. It is considered one of the most liveable and beautiful cities in the world and features a broad range of outdoor, leisure, and cultural activities. The conference will be held at the Segal Graduate School of Business of Simon Fraser University in downtown Vancouver. The conference is about 20 minutes from the airport by rapid transit. Program Chairs James Delgrande, Simon Fraser University, Canada Wolfgang Faber, University of Calabria, Italy Program Committee Jóse Júlio Alferes, Universidade Nova de Lisboa, Portugal Marcello Balduccini, Kodak Research Labs, USA Chitta Baral, Arizona State University, USA Leopoldo Bertossi, Carleton University, Canada Richard Booth, University of Luxembourg, Luxembourg Gerhard Brewka, University of Leipzig, Germany Pedro Cabalar, University of Corunna, Spain Stefania Costantini, University of L'Aquila, Italy Marina De Vos, University of Bath, UK James Delgrande, Simon Fraser University, Canada Marc Denecker, KU Leuven, Belgium Yannis Dimopoulos, University of Cyprus, Cyprus Jürgen Dix, Technical University of Clausthal, Germany Agostino Dovier, University of Udine, Italy Thomas Eiter, Vienna University of Technology, Austria Esra Erdem, Sabanci University, Turkey Wolfgang Faber, University of Calabria, Italy Michael Fink, Vienna University of Technology, Austria Andrea Formisano, University of Perugia, Italy Martin Gebser, University of Potsdam, Germany Michael Gelfond, Texas Tech University, USA Giovambattista Ianni, University of Calabria, Italy Tomi Janhunen, Aalto University, Finland Antonis Kakas, University of Cyprus, Cyprus Joohyung Lee, Arizona State University, USA Nicola Leone, University of Calabria, Italy Vladimir Lifschitz, University of Texas, USA Fangzhen Lin, Hong Kong University of Science and Technology, China Jorge Lobo, IBM T. J. Watson Research Center, USA Robert Mercer, University of Western Ontario, Canada Alessandra Mileo, University of Milan-Bicocca, Italy Pascal Nicolas, University of Angers, France Ilkka Niemelä, Aalto University, Finland Mauricio Osorio, Universidad de las Américas, Mexico Ramon Otero, University of Corunna, Spain David Pearce, Universidad Politécnica de Madrid, Spain Axel Polleres, National University of Ireland, Ireland Enrico Pontelli, New Mexico State University, USA Chiaki Sakama, Wakayama University, Japan John Schlipf, University of Cincinnati, USA Tran Cao Son, New Mexico State University, USA Terrance Swift, Stony Brook University, USA Evgenia Ternovska, Simon Fraser University, Canada Hans Tompits, Vienna University of Technology, Austria Francesca Toni, Imperial College London, UK Mirek Truszczynski, University of Kentucky, USA Agustin Valverde, University of Malaga, Spain Kewen Wang, Griffith University, Australia Stefan Woltran, Vienna University of Technology, Austria Jia-Huai You, University of Alberta, Canada Yan Zhang, University of Western Sydney, Australia -------------------------------------------------------------------------- From Agnieszka.Lawrynowicz at cs.put.poznan.pl Sat Nov 6 13:22:35 2010 From: Agnieszka.Lawrynowicz at cs.put.poznan.pl (Agnieszka.Lawrynowicz at cs.put.poznan.pl) Date: Sat, 6 Nov 2010 13:22:35 +0100 (CET) Subject: CFP for ESWC'2011 special track on Inductive and Probabilistic Approaches Message-ID: <62655.83.18.42.110.1289046155.squirrel@www.cs.put.poznan.pl> ------------- Apologies for multiple cross-postings --------------------- CALL FOR PAPERS The 8th Extended Semantic Web Conference (ESWC) *Special track on Inductive and probabilistic approaches* http://www.eswc2011.org/ May 29 - June 2, 2011, Heraklion, Greece * Abstract submission: December 6, 2010 (compulsory) * * Full-paper submission: December 13, 2010 (11:59 pm Hawaii time) * Overview ========================================================================= Approaches dealing with formalized knowledge fall in the spectrum between "knowledge-driven" and "data-driven" methods. Data-driven approaches are focused on the creation of new knowledge by extraction and mining it directly from data. They are suitable for scenarios where existing knowledge (in the form of ontologies or domain knowledge for example) is not available and is expensive to create. Data driven approaches operate on instances collected from the observed environment. In this track we invite contributions using methods from research areas such as statistical modeling, machine learning, Data/Text/Web-mining motivated by and/or applied to semantic technologies. We are interested in submissions that describe approaches tested and applied to large real-world data sets. Topics of interest ========================================================================= In particular we welcome submissions on (but not limited to): * Dealing with large amounts of real-world data * Methods for combining top-down and bottom-up techniques * Extraction and augmentation of ontological knowledge from data using statistical and machine learning methods - Ontology Learning/Mining - Ontology Mapping and Mediation - Learning Semantic Relations - Information Extraction * Use of existing ontological knowledge for improving Analytics systems * Web mining for the Semantic Web - Graph Mining - Social Network Analysis - Link Prediction - Statistical relational learning - Ranking methods and Learning to Rank - Inductive Logic Programming on the Semantic Web * Advances in semantic technologies using analytics approaches - Refinement operators for concept and rule languages - Probabilities formal representations - Probabilistic methods for concept and rule languages - Semantic (dis-)similarity measures - Kernels for structured representations * Applications of inductive and probabilistic methods (such as Consumer applications, life sciences, semantic multimedia, Search, Geo-informatics, recommender systems) Submission Details ========================================================================= The proceedings of the conference will be published in Springer's Lecture Notes in Computer Science series. Papers must not exceed fifteen (15) pages in length and must be formatted according to the information for LNCS authors. At least one author of each accepted paper must register for the conference in order for the paper to be included in the conference proceedings. Papers for the Inductive and probabilistic approaches track should be submitted at: http://www.easychair.org/conferences/?conf=eswc2011datadriven Important Dates ========================================================================= * Abstract submission: December 6, 2010 (compulsory) * Full-paper submission: December 13, 2010 (11:59 pm Hawaii time) * Notification of acceptance/rejection: February 21, 2011 * Camera-ready papers: March 7, 2011 Track chairs ========================================================================= Rayid Ghani - Accenture Technology Labs, US Agnieszka Lawrynowicz - Poznan University of Technology, PL Program Committee ========================================================================= Sarabjot S. Anand - University of Warwick, UK Mikhail Bilenko - Microsoft Research, US Stephan Bloehdorn - Karlsruhe Institute of Technology, DE Claudia d'Amato - University of Bari, IT Nicola Fanizzi - University of Bari, IT Blaz Fortuna - Institute Jozef Stefan, SI Melanie Hilario - University of Geneva, CH Luigi Iannone - University of Manchester, UK Ivan Jelinek - Czech Technical University, CZ Jörg-Uwe Kietz - University of Zurich, CH Ross D. King - University of Aberystwyth, UK Jens Lehmann - University of Leipzig, DE Yan Liu - University of Southern California, US Matthias Nickles - University of Bath, UK Sebastian Rudolph - Karlsruhe Institute of Technology, DE Dou Shen - Microsoft Adcenter Labs, US Sergej Sizov - University of Koblenz-Landau, DE Umberto Straccia - ISTI-CNR, IT Vojtech Svatek - University of Economics, Prague, CZ Volker Tresp - Siemens, DE Joaquin Vanschoren - Leiden University, NL From CSIE2011CFP at cust.edu.cn Sun Nov 7 21:34:33 2010 From: CSIE2011CFP at cust.edu.cn (Mingfen Li) Date: Mon, 8 Nov 2010 04:34:33 +0800 Subject: Congress on Computer Science & Information Engineering, Changchun, China (EI/ISTP/IEEE Xplore) Message-ID: <489163230.27574@cust.edu.cn> Dear Author, Due to many requests, CSIE 2011 is open for a second round submissions with a deadline 31 December. Submissions in each round will follow its own timetable for review and registration. Authors are encouraged to submit papers in both rounds, but please do not submit papers already submitted to the first round again to the second round. Please forward this announcement to your colleagues/students in your department. Thank you. 2011 2nd World Congress on Computer Science and Information Engineering (CSIE 2011) 17-19 June 2011， Changchun, China http://world-research-institute.org/conferences/CSIE/2011 Call for Papers & Exhibits CSIE 2011 intends to be a global forum for researchers and engineers to present and discuss recent advances and new techniques in computer science and information engineering. Topics of interests include, but are not limited to, data mining & data engineering, intelligent systems, software engineering, computer applications, communications & networking, computer hardware, VLSI, & embedded systems, multimedia & signal processing, computer control, robotics, and automation. All papers in the CSIE 2011 conference proceedings will be indexed in Ei Compendex and ISTP, as well as included in the IEEE Xplore (The previous conference CSIE 2009 has already been indexed in Ei Compendex and included in the IEEE Xplore). IEEE Catalog Number: CFP1160F-PRT. ISBN: 978-1-4244-8361-7. The registration fee of US$410 or CNY 2700 includes lunches, dinners, coffee breaks, and banquet. Changchun is the capital city of Jilin province, situated in the central section of China's northeast region. There are many natural attractions to entertain residents and visitors around Changchun. The grand Changbai Mountain renowned for its spectacular landscape, charming scenery, glamorous legends, as well as rich resources and products, has been praised as the first mountain in the northeast, outstanding as one of the China’s top-ten famous mountains. Other attractions in or around Changchun include Songhua lake (Songhuahu), Jingyue Lake (Jingyuetan), Changchun Movie Wonderland, Changchun Puppet Palace (Weihuanggong), Changchun World Sculpture Park, and Changchun World Landscape Park, etc. Important Dates: Second Round Submission Timetable: Paper Submission Deadline: 31 December 2010 Review Notification: 31 January 2011 Final Paper and Author Registration Deadline: 9 March 2011 First Round Submission Timetable: Paper Submission Deadline: 5 November 2010 Review Notification: 6 December 2010 Final Paper and Author Registration Deadline: 6 January 2011 Contact Information If you have any inquiries, please email us at CSIE2011 at cust.edu.cn Please feel free to forward to others. To unsubscribe, please reply with “unsubscribe event at tu-clausthal.de ” as your email subject. With kind regards, Mingfen Li CSIE 2011 Committee -------------- n?chster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From k.v.hindriks at tudelft.nl Mon Nov 8 08:11:25 2010 From: k.v.hindriks at tudelft.nl (Koen Hindriks) Date: Mon, 8 Nov 2010 08:11:25 +0100 Subject: CFP: The 2nd International Automated Negotiating Agents Competition (ANAC @ AAMAS 2011) Message-ID: <001201cb7f14$2810bc50$783234f0$@v.hindriks@tudelft.nl> The 2nd International Automated Negotiating Agents Competition (ANAC @ AAMAS 2011) May 2-6, 2011, Taipei, Taiwan Call For Participants We would like to invite you to participate in the Automated Negotiating Agents Competition (ANAC). The purpose of the competition is to steer the research in the area bilateral multi-issue closed negotiation. Closed negotiation, when opponents do not reveal their preferences to each other, is an important class of real-life negotiations. Negotiating agents designed using heuristic approach need extensive evaluation, typically through simulations and empirical analysis, since it is usually impossible to predict precisely how the system and the constituent agents will behave in a wide variety of circumstances. Furthermore, there is a need for the development of a best practice repository for negotiation techniques. That is, a coherent resource that describes which negotiation techniques are best suited to a given type of problem or domain. To facilitate research in the area of bilateral multi-issue negotiation the GENIUS system is developed. GENIUS allows easy development and integration of existing negotiating agents. GENIUS can be used to simulate individual negotiation sessions as well as tournaments between negotiating agents in various negotiation scenarios. It implements an open architecture that allows easy development and integration of existing negotiating agents using design patterns. The core functionality of the system includes: (1)specification of negotiation domains and preference profiles; (2) simulation of a bilateral negotiation between agents (3) analysis of the negotiation outcomes and negotiation dynamics. An analytical toolbox integrated in GENIUS calculates optimal solutions, such as the Pareto efficient frontier, Nash product and others. It allows the specification of negotiation domains and preference profiles by means of a graphical user interface. Performance of agents will be evaluated in a tournament that is defined by a set of agents, negotiation domains and preference profiles. For a tournament a set of negotiation sessions will be generated by matching all agents with all other agents on all domains using all profiles submitted by participants for the competition. A negotiation domain is a specification of the objectives and issues to be resolved by means of negotiation. An objective may branch into sub-objectives and issues providing a tree-like structure to the domain. Preferences profiles are defined for a specific negotiation domain and represent preferences of a single negotiating party in the domain regarding possible agreements. The preferences of a party are modeled using utility functions. The ANAC competition will be held in spring 2011, with the finals being run during the AAMAS 2011 conference. The reward for the winner of the competition is US$1000. Organization * Prof. Dr. Takayuki Ito (Organizing chair) * Prof. Dr. Catholijn Jonker * Prof. Dr. Sarit Kraus * Prof. Dr. Minjie Zhang * Dr. Koen Hindriks * Dr. Raz Lin * Tim Baarslag Timeline * Design and test your agent in GENIUS yourself. * Jan. 31st, 2011. The deadline for submitting agents and domains for Qualifying round. Those who submit ONE domain have the right to submit ONE agent. * Feb. 28th, 2011. Announcement of 8 finalists. * March 31st, 2011. The deadline for submitting final agents and domains for final round. * May 2-6, 2011. Final competition in AAMAS and presentations in ACAN. ACAN2011 will have a special session for presentations for ANAC teams. It is expected that teams that make it through to the finals will attend the AAMAS 2011 conference. More information about ANAC and GENIUS is available at: http://www.anac2011.com/ http://mmi.tudelft.nl/negotiation/index.php/Automated_Negotiating_Agents_Com petition_%28ANAC%29 http://mmi.tudelft.nl/negotiation/index.php/Genius Sponsors Makoto Lab., Inc. Bar-Ilan University Delft University of Technology -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wchen at i-a-i.com Mon Nov 8 18:05:57 2010 From: wchen at i-a-i.com (Wei Chen) Date: Mon, 8 Nov 2010 12:05:57 -0500 Subject: CFP: 2nd International Workshop on Multi-Agent Systems and Collaborative Technologies (I-MASC'11) Message-ID: <001901cb7f67$3602e6f0$a208b4d0$@com> The Second International Workshop on Multi-Agent Systems and Collaborative Technologies (I-MASC 2011) CALL FOR PAPERS As part of The 2011 International Conference on Collaboration Technologies and Systems (CTS 2011) http://cts2011.cisedu.info/ May 23 - 27, 2011 The Sheraton University City Hotel Philadelphia, Pennsylvania, USA *** Submission Deadline: January 3, 2011 ================================== INVITED SPEAKER Robert Kohout, Ph.D., DARPA/I2O Program Manager ================================== SCOPE AND OBJECTIVES Multi-Agent Systems (MAS) has grown into an interdisciplinary field that includes various tracks and embraces many previously distinctive research areas. Particularly, multi-agent coordination, a sub-area of MAS, investigates how multiple intelligent computational agents work together to achieve high-level goals beyond the capabilities of single agents. Many different approaches have been investigated, such as the partially observable Markov decision process (POMDP), task structure analysis, coordination communication protocols, etc. Collaborative Technologies and Systems (CTS) have evolved significantly as well. These tend to investigate the design and development of effective environments or tools that help human users work together in a distributed collaborative, possibly virtual, fashion. Some notable examples of CTS include Collaboratories, collaborative design/editing, and on-line collaboration tools and environments. CTS is beginning to look at the challenges of supporting coordinated, purposive activities. MAS is still facing challenges of scaling to large numbers of entities and real-world tasks (see, for example, Hendler's question of, "where are all the intelligent agents?"). This workshop will explore potential synergy between CTS and MAS/coordination because they share a common ground: how multiple entities - intelligent agents or humans alike - work together to carry out potentially related tasks. We will ask questions of whether and how design and development of collaborative systems, promoting coordinated human activity, could be enhanced by incorporating insights from MAS. Collaborative technologies embody practical considerations from the human users' points of view, allowing users to ignore how the underlying (agent) infrastructure is implemented. Meanwhile, MAS/coordination investigates intelligent agents' underlying algorithms and mechanisms and, in some cases, how artificial agents can interact with people as peers. Conversely, intelligent agents will not see significant acceptance, nor will they be able to manage the complexity and knowledge-intensity of meaningful practical applications, without developing some understanding of how to make effective use of human contributions throughout the specification, execution, evaluation, and refinement stages of the software lifecycle. This workshop solicits papers that discuss synergies between MAS and CTS, possible advantages/disadvantages of hybrids between them for designing and developing modern distributed collaborative software systems, and research and/or real-world experience and/or applications and/or lessons learned that involve both CTS and MAS. That is, any paper that addresses both CTS and MAS, preferably in one or a set of applications that share similar underlying research challenges, is of interest to this workshop. An example could be: the design and development of a collaborative environment (say, a distributed planning tool) that enables multiple heterogeneous, human experts and agents to work in combination across computer networks on courses of actions in response to cyber attacks. Another example might be systems or interfaces supporting the division of labor between CTS and MAS elements during execution. The Workshop topics include (but are not limited to) the following: * MAS: Coordination of and by Computational Agents - Agent Communication, Languages and Protocols - Agent Models and Architectures - Multi-Agent Coordination and Cooperation - Human-Agent Interaction - Multi-User/Multi-Agent Interaction - Teamwork, Coalition Formation, Coordination - Peer to Peer Coordination - Modeling the Dynamics of MAS - Agent-based System Development - Collective Decision Making - Bargaining and Negotiation - Auction and Mechanism Design - Cooperative and Non-Cooperative Agents - Complex MAS - Virtual Agents Applications - Conversational Agents - Distributed Task Planning and Execution - Cooperation with Humans and Robots - Collective Intelligence - Agent Reasoning - Mining Agents - Security Agents * CTS: Agent Technologies and Systems Supporting Collaboration Among Humans - Architectures and Design of Collaborative Systems - Frameworks and Methodologies for Collaboration - Cognitive and Psychological Issues in Collaboration - Collaborative Human-Centered Systems - Cultural Aspects & Human Factors in Collaboration - Interfaces for Collaborative Work - Social Software Based Collaboration - Visualization of Collaborative Processes - Web Infrastructure for Collaborative Applications - Information Infrastructure for Collaboration - Management of Metadata for Collaboration - Mobile and Wireless Collaboration Systems - Modeling and Simulation of Collaboration - Platforms for Collaboration - Collaboration in Domain Applications * Important: a submitted paper must have keywords from BOTH lists of MAS and CTS! Synergies of CTS and MAS topics are of interest with respect to any phase of a human or software systems lifecycle: specification, implementation, testing, evaluation, and deployment. PAPER SUBMISSION You are invited to submit original and unpublished research works on the above and other topics related to Collaborative Technologies and Multi-Agent Systems. Submitted papers must not have been published or simultaneously submitted elsewhere. Submission should include a cover page with authors' names, affiliation addresses, fax numbers, phone numbers, and email addresses. Please, indicate clearly the corresponding author and include up to 6 keywords from the above list of topics and an abstract of no more than 450 words. The full manuscript should be at most 8 pages (the cover page does NOT count towards this page limit) using the two-column IEEE format. Additional pages will be charged additional fee. Please include page numbers on all preliminary submissions to make it easier for reviewers to provide helpful comments. Submit a PDF copy of your full manuscript to the Workshop paper submission site at http://www.easychair.org/conferences/?conf=imasc2011. Notably, (1) only PDF files will be accepted; (2) papers should have the following name format for easy identification: 'Surname_Initial_1.PDF', where the Surname is that of the first author; and (3) follow the Easy Chair website instructions to login into the system (or create your account if necessary) and upload your paper accordingly. Each paper will receive a minimum of three reviews. Papers will be selected based on their originality, relevance, technical clarity and presentation. Submission implies the willingness of at least one of the authors to register and present the paper, if accepted. Authors of accepted papers must guarantee that their papers will be registered and presented at the workshop. Accepted papers will be published in the Conference proceedings. Instructions for final manuscript format and requirements will be posted on the CTS 2011 Conference web site. It is our intent to have the proceedings formally published in hard and soft copies and be available at the time of the conference. The proceedings is projected to be included in the IEEE Digital Library and indexed accordingly. If you have any questions about paper submission or the workshop, please contact the workshop organizer. IMPORTANT DATES Paper Submissions: ------------------------------------------- January 3, 2011 Acceptance Notification: ------------------------------------- February 1, 2011 Camera Ready Papers and Registration Due: -------------------- March 1, 2011 Conference Dates: ------------------------------------------- May 23 - 27, 2011 WORKSHOP ORGANIZER(S) Dr. Wei Chen (Chair) Intelligent Automation, Inc. 15400 Calhoun Drive, Suite 400, Rockville, MD 20855, USA +1-301-294-5278, wchen at i-a-i.com Dr. Edmund Durfee Computer Science and Engineering, University of Michigan, 2260 Hayward Street, Ann Arbor MI 48109-2121, USA (734) 936-1563, durfee at umich.edu Dr. Robert Neches Information Sciences Institute, University of Southern California 4676 Admiralty Way, Marina del Rey, CA 90292, USA +1-310-448-8481, RNeches at isi.edu International Program Committee (Partial): All submitted papers will be reviewed by the workshop technical program committee members following similar criteria used in CTS 2011. * Myriam Abramson Naval Research Laboratory, USA * Giacomo Cabri University of Modena e Reggio Emilia, Italy * Tim Finin University of Maryland, Baltimore County, USA * Zhi Jin Peking University, China * William McQuay Air Force Research Laboratory, USA * Elena Simperl University of Innsbruck, Austria * Brian Slack Boeing, USA * Waleed Smari University of Dayton, USA * Munindar Singh North Carolina State University, USA * Chengqi Zhang University of Technology - Sydney, Australia * Laura Zavala University of Maryland, Baltimore County, USA * Haibin Zhu Nipissing University, Canada Previous I-MASC Workshop: 1st I-MASC10 at CTS10, Chicago, Illinois, USA If you have questions regarding workshop paper submission or the workshop content, please contact the workshop organizers. For information or questions about Conference's paper submission, tutorials, posters, workshops, special sessions, exhibits, demos, panels and forums organization, doctoral colloquium, and any other information about the conference location, registration, paper formatting, etc., please consult the Conference's web site at URL: http://cts2011.cisedu.info/ or contact one of the Conference's organizers or Co-Chairs: Geoffrey C. Fox at gcf at indiana.edu and Waleed W. Smari at Smari at arys.org. __________________________________________________________________________ This message and all attachments are PRIVATE, and contain information that is PROPRIETARY to Intelligent Automation, Inc. You are not authorized to transmit or otherwise disclose this message or any attachments to any third party whatsoever without the express written consent of Intelligent Automation, Inc. If you received this message in error or you are not willing to view this message or any attachments on a confidential basis, please immediately delete this email and any attachments and notify Intelligent Automation, Inc. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ulle.endriss at uva.nl Mon Nov 8 21:23:47 2010 From: ulle.endriss at uva.nl (Ulle Endriss) Date: Mon, 8 Nov 2010 21:23:47 +0100 Subject: MSc Logic Programme at the ILLC, University of Amsterdam Message-ID: <4CD85C53.9010806@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, 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 2011 entry are 1 April 2011 for students from European countries and 1 February 2011 for all others (earlier deadlines may apply for certain funding schemes). Please visit http://www.illc.uva.nl/MScLogic/ to find out more. You can download a poster at http://www.illc.uva.nl/MScLogic/poster.pdf. ************************************************************************* -- 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 guido at di.unito.it Tue Nov 9 22:41:42 2010 From: guido at di.unito.it (Guido Boella) Date: Tue, 09 Nov 2010 22:41:42 +0100 Subject: SNAMAS@AISB2011- preliminary Call for Papers Message-ID: <4CD9C016.7070507@di.unito.it> PRELIMINARY CALL FOR PAPERS THIRD SOCIAL NETWORKS AND MULTIAGENT SYSTEMS SYMPOSIUM SNAMAS at AISB 2011 Convention http://www.aisb.org.uk/convention/aisb11/ 4-7 April 2011, University of York, UK ------------------------------------------------------------- SYMPOSIUM CHAIRS - Matthias Mailliard (Cemagref, France) - Clara Smith (UNLP and UCALP, Argentina) - Frédéric Amblard (IRIT, France) - Samuel Thiriot (INRIA ? France) -------------------------------------------------------------- The aim of the SNAMAS Symposium is to exchange ideas, tools, methodology, on various works in MAS that integrate the social network component. -------------------------------------------------------------- TOPICS The 2011 release of SNAMAS will be focused on "social relations and their underlying processes in social organizations". A special attention will be paid to empirical studies. Topics of interest include (but are not limited to) works exhibiting: - empirical and/or theoretical researches on a specific social relation (relation of power, solidarity, legitimity, trust...); - the role of specific social relations in structuring organizations; - the role of agents´ attributes in structuring social relations (values, emotions, cognitive abilities, ...); - the role of social relation structures on agent behaviour; - agent mechanisms and algorithms dealing with representations for social relations representations; - social relations regulations; - comparative and ontological studies from SNA and MAS; - mathematical representations to describe and analyse structures for social relations, and their dynamics. -------------------------------------------------------------- IMPORTANT DATES Paper submission deadline: January 9, 2011. Notification of acceptance: February 6, 2011. Camera ready version deadline: TBA Symposium: 4th - 7th April, 2011. -------------------------------------------------------------- PAPER SUBMISSION Authors should consult the instructions on the website for submitting their papers electronically. Guidelines for paper submission are as the following: - The paper should be written in English. - The maximum length of a paper is 6 A4-sized pages in ECAI format (format download: http://www.aisb.org.uk/convention/aisb08/download.html). - The paper should be in PDF format. - Please submit via the online paper submission system. (http://www.easychair.org/conferences/?conf=aisb11 (Track : Social Networks and Multi-agent systems)) -------------------------------------------------------------- PROGRAM COMMITTEE (confirmed) Luis Antunes (Univ. Lisbon, Portugal) Guido Boella (University of Turin) Cristiano Castelfranchi, (ISTC-CNR Rome, Italy) Edmund Chattoe-Brown (Univ. Leicester, UK) Rosaria Conte (ISTC-CNR Rome, Italy) Terrill Frantz (Carnegie Mellon University, USA) Jeremy Pitt (Imperial College London, UK) Camille Roth (CNRS-EHESS, Paris, France) Giovanni Sartor (Univ. Bologna, Italy) Serena Villata (University of Turin) Justin Zhan (CMU, Pittsburgh, USA) ------------------------------------------------------------ CONTACTS For further inquiries please contact: snamas2011 at res-ear.ch From iscl.2011 at gmail.com Wed Nov 10 16:36:06 2010 From: iscl.2011 at gmail.com (ISCL 2011 Organizers) Date: Wed, 10 Nov 2010 16:36:06 +0100 Subject: Spring School on Computational Logic - first annoucement and call manifestation of interest Message-ID: [please distribute - apologies for cross-postings] THIRD INTERNATIONAL SPRING SCHOOL ON COMPUTATIONAL LOGIC, ISCL 2011 Bertinoro, Italy, April 10-15, 2011 http://lia.deis.unibo.it/confs/iscl/ AIMS & SCOPE Computational Logic has many applications, including the modeling of intelligent systems, verification of software, and the support of systems for solving computationally hard problems. Moreover, being founded on mathematical logic, tools based on CL are themselves amenable to safe optimization and verification techniques. ISCL 2011 aims at giving a comprehensive introduction to this exciting research domain and disseminate the results of research with a perspective on the future. The school will provide a rich programme of lectures on different aspects of CL, covering both the theoretical framework and relevant practical perspectives, techniques and tools. Each lecture will provide the basic notions of its topic before proceeding to more advanced issues. Final exams in the topics studied will be available to participants on request. TOPICS & LECTURERS - Constraint Languages for Parameterized Verification: Bags, Words, Trees, and Graphs, by Giorgio Delzanno. Giorgio Delzanno is Associate Professor the University of Genoa. He has given many important contributions in automated verification, model checking, infinite-state systems, models for concurrent and biological systems. He has been the recipient of several research grants and international awards. - Description Logics, by Enrico Franconi. Enrico Franconi is the Director of the European Masters Program in Computational Logic at the Free University of Bozen-Bolzano, and Principal Investigator in many EU-funded actions, networks of excellence and large-scale projects on topics related to the semantic web, networked knowledge, business processes and integration of ontological and rule-based reasoning. - Computational Logic and Human Thinking: How to be Artificially Intelligent, by Robert Kowalski. Robert Kowalski is Professor Emeritus at Imperial College London, and one of the first developers of logic programming. He made important contributions to various areas such as automated reasoning, representing and reasoning about time, abductive logic programming and intelligent agents. His current research focuses on the application of computational logic to cognitive science. - Unity in Computational Logic, by Dale Miller. Dale Miller is the Director of Research at INRIA Saclay and leader of the Parsifal team working on foundational aspects of proof theory as well as on the design and implementation of systems that exploit that foundational work. His main interests are in programming language theory, proof theory, linear logic, and automated deduction. - Constraint Programming and Optimization Systems, by Pascal Van Hentenryck. Pascal Van Hentenryck is Professor of computer science at Brown University, and the Director of the optimization laboratory. He was the main designer and implementor of the CHIP programming system. He leads many research projects funded by public and private institutions, in which his research is applied to a large number of domains. TARGET AUDIENCE The School targets graduate students as well as other interested researchers, both from university and industry. It will allow graduate students to get a thorough overview of cutting-edge research and technologies, obtain feedback from leading scientists, and to participate in valuable discussions that will likely contribute in shaping and focussing their research interests. The school aims to be truly international with a strong participation from regions all around the world. This will help students make connections with international participants and set the base for potentially long-term cooperations. The school will include sessions dedicated to PhD students, mentoring activities, focussed discussions and guided brainstorming. MANIFESTATION OF INTEREST AND DISCOUNT To ensure an effective organization of the event, it will be very useful for the organizers to have a good estimation of attendance well in advance. For this purpose, you are encourage to manifest your intention to participate as early as possible, by sending an email to iscl.2011 at gmail.com. Manifestations do not represent a commitment to participate, but all manifestations received by the end of November 2011 will be rewarded with a discount on the early registration fee. More information on the ISCL Web site. GRANTS Thanks to sponsor support, ISCL 2011 will help participation of students at all levels. Please consult the School Web site to know how to apply. INQUIRIES Send your inquires to iscl.2011 at gmail.com. We will answer you in 2 business days. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From schneider at ps.uni-saarland.de Thu Nov 11 18:53:04 2010 From: schneider at ps.uni-saarland.de (Thomas Schneider) Date: Thu, 11 Nov 2010 18:53:04 +0100 Subject: 1st CfP: 5th Int. Workshop on Modular Ontologies (WoMO 2011) Message-ID: <13942215-8511-4851-B9F9-8D97D09F23F3@ps.uni-saarland.de> ======================================================== 5th Int. Workshop on Modular Ontologies (WoMO) Ljubljana, Slovenia, August 8-12, 2011 held in conjunction with ESSLLI 2011 --- First Call for Papers --- Submission deadline: February 15, 2011 ======================================================== http://www.informatik.uni-bremen.de/~okutz/womo5 MODULARITY, as studied for many years in software engineering, allows mechanisms for easy and flexible reuse, generalization, structuring, maintenance, design patterns, and comprehension. Applied to ontology engineering, modularity is central not only to reduce the complexity of understanding ontologies, but also to facilitate ontology maintenance and ontology reasoning. Recent research on ontology modularity shows substantial progress in foundations of modularity, techniques of modularization and modular development, distributed reasoning and empirical evaluation. These results provide a foundation for ongoing multi-disciplinary research and development. The workshop follows a series of successful events that have been an excellent venue for practitioners and researchers to discuss latest work and current problems, and is this time organised as a satellite workshop of ESSLLI 2011 (week 2, see http://esslli2011.ijs.si/?p=306 ), following an introductory ESSLLI course on notions of modularity in ontologies (week 1, see http://esslli2011.ijs.si/?p=310 ). TOPICS include, but are not limited to: - What is Modularity: Kinds of modules and their properties; modules vs. contexts; design patterns; granularity of representation; - Logical/Foundational Studies: Conservativity and syntactic approximations for modules; modular ontology languages; reconciling inconsistencies across modules; formal structuring of modules; networks of ontologies; heterogeneity; - Algorithmic Approaches: distributed reasoning; modularization and module extraction; (selective) sharing and re-using, linking and importing; hiding and privacy; evaluation of modularization approaches; complexity of reasoning; reasoners or implemented systems; - Applications: Semantic Web; life sciences; bio-ontologies; natural language processing; ontologies of space and time; ambient intelligence; collaborative ontology development; etc. The workshop is open to all members of the ESSLLI community. Workshop speakers will be required to register for the Summer School; however, they will be able to register at a reduced rate to be determined by the Local Organizers. IMPORTANT DATES (Tentative) Paper Submission: February 15, 2011 Notification: April 15, 2011 Camera ready: June 1, 2011 Workshop: August 8-12, 2011 SUBMISSION GUIDELINES: The workshop welcomes submission of high quality original and previously unpublished papers. Contributions should not exceed 13 pages in length and must be formatted according to IOS Press style (see http://www.iospress.nl/authco/instruction_crc.html ). Contributions should be prepared in PDF format and submitted not later than February 15, 2011, through the EasyChair Submission System (see http://www.easychair.org/conferences/?conf=womo2011 ). Submitted papers will be peer-reviewed by members of the program committee (TBA). Accepted papers may be extended up to 16 pages and are expected to be published as chapters in an IOS Press book in the series 'Frontiers in Artificial Intelligence and Applications'. (Find the WoMO 2010 proceedings here http://www.booksonline.iospress.nl/Content/View.aspx?piid=16268 ) WORKSHOP CO-CHAIRS: Oliver Kutz (Research Center on Spatial Cognition (SFB/TR 8), Bremen, Germany) Thomas Schneider (Saarland University, Saarbruecken, Germany) PROGRAM COMMITTEE and INVITED SPEAKERS: TBA From Manuela.Bujorianu at manchester.ac.uk Sat Nov 13 13:09:28 2010 From: Manuela.Bujorianu at manchester.ac.uk (Manuela Bujorianu) Date: Sat, 13 Nov 2010 12:09:28 +0000 Subject: Hybrid Autonomous Systems Message-ID: <20101113120928.428079l4x8ocbchk@webmail.manchester.ac.uk> Dear colleague, (apologies for the invariable cross-posting that will occur) We hope that our email will find you well! We are organizing a workshop, satellite of ETAPS 2011 that promotes applications of hybrid discrete/continuous models to autonomous systems. We have an excellent set of invited speakers: Howard Barringer, Mike Hinchey, Joost-Pieter Katoen, Pieter Mosterman, Holger Voos. The workshop will take place in Saarbrucken on 2nd and 3rd of April 2011. If you are interested in these topics, please bookmark our workshop in your diary! Moreover, there is a possibility to submit a paper to be included in the workshop programme. The selected papers will be published by Elsevier in a special issue of Electronic Notes in Computer Science. A call for papers, including useful links, is attached below. The topics of interest span over large areas, and high profile experts in these areas have joint our Programme Committee. Looking forward to seeing in Saarbrucken, On behalf of the organizing team, Manuela Bujorianu ============================================================================== HAS 2011 HYBRID AUTONOMOUS SYSTEMS A satellite event of European Joint Conferences on Theory and Practice of Software ETAPS 2011 2-3 April, 2011, Saarbrucken, Germany _______________________________________________________________________ 2nd Call for Papers _______________________________________________________________________ URL: http://personalpages.manchester.ac.uk/staff/Manuela.Bujorianu/HAS.htm ETAPS: http://www.etaps.org/workshops _______________________________________________________________________ CHAIRS Manuela Bujorianu, University of Manchester, UK Martin Fränzle, Carl von Ossietzky Universität Oldenburg, DE Antonios Tsourdos, Cranfield University, UK _______________________________________________________________________ SCOPE The variety of autonomous systems is increasing both in industry and academia. Such systems must operate with limited human intervention in a changing environment and they must be able to compensate for significant system failure without external intervention. In highly autonomous systems, the system behavior is normally so complex that it is either impossible or inappropriate to describe it with conventional mathematical system models. The complexity of the system model needed in design depends on both the complexity of the physical system and on how demanding the design specifications are. The most appropriate models of autonomous systems can be find in the class are hybrid systems (which study continuous-state dynamic processes via discrete-state controllers) that interact with their environment. The symposium will bring together researchers interested in all aspects of autonomy and adaptivity of hybrid systems. _______________________________________________________________________ PLENARY SPEAKERS Howard Barringer, University of Manchester, UK Mike Hinchey, Lero-the Irish Software Engineering Research Centre, IE Joost-Pieter Katoen, RWTH Aachen, DE Pieter J. Mosterman, The MathWorks, CA Holger Voos, University of Luxembourg, LU _______________________________________________________________________ TOPICS OF INTEREST These include, but are not restricted to: Ø new modelling paradigms for autonomous systems; Ø extending hybrid systems with autonomous behaviours; Ø formal methods for autonomous systems Ø verification and safety certification techniques Ø modelling, analysis and control of hybrid systems, Ø uncertainty and stochastic modelling; Ø multi-agent systems; Ø algebraic and categorical methods Ø reports on practical experiments _______________________________________________________________________ SUBMISSION All submitted papers will undergo a thorough review process; each paper will be refereed by at least three experts in the field based on relevance, originality, significance, quality and clarity. Submissions should: - contain original contributions that have not been published or submitted to other conferences/journals in parallel with this event; - clearly state the problem being addressed, the goal of the work, the results achieved, and the relation to other works; - be in PS or PDF and formatted according to ENTCS Instructions for authors: http://www.entcs.org/prelim.html; - be in English and in a form that can be immediately included in the proceedings without major revision; - be with a maximum length of 16 pages - be attached (if necessary) by an Appendix that contains proofs, figures, tables etc. - be sent electronically (as a PostScript or PDF file) through the submissions link to the conference website: https://www.easychair.org/account/signin.cgi?conf=has2011 Submission deadline (NEW!): 21st December 2010 _______________________________________________________________________ PUBLICATION Accepted papers will be included in HAS 2011 Proceedings. At least one of the authors will be required to register and attend the symposium to present the paper in order to include the paper in the proceedings. All accepted papers will be published by Elsevier in the Electronic Notes in Theoretical Computer Science journal. _______________________________________________________________________ PROGRAM COMMITTEE Jose Luiz Fiadeiro, University of Leicester, UK Michael Fisher, University of Liverpool , UK Alessandro Giua, Universita' di Cagliari, IT Klaus Havelund, JPL, NASA, USA Michael Hofbaur, Private University UMIT, AT Joost-Pieter Katoen, RWTH Aachen, DE Rom Langerak, University Of Twente, NL Corina Pasareanu, NASA Ames, USA Manuel Silva, GISED, Zaragoza, SP Joerg Raisch, Technische Universitaet Berlin, DE Sandeep Shukla, Virginia Tech, USA Olaf Stursberg, University of Kassel, DE Janan Zaytoon, CReSTIC, Reims, FR ============================================================================== From brewka at informatik.uni-leipzig.de Sun Nov 14 03:26:01 2010 From: brewka at informatik.uni-leipzig.de (Gerhard Brewka) Date: Sun, 14 Nov 2010 03:26:01 +0100 Subject: JAIR special issue on Nonmonotonic Reasoning Message-ID: <20101114032601.11915u6rfaw28n21@mail.uni-leipzig.de> ===================== CALL FOR SUBMISSIONS Journal of Artificial Intelligence Research Special issue on NONMONOTONIC REASONING Guest Editors: Gerhard Brewka, Victor Marek, Mirek Truszczynski We are planning a special issue of the Journal of Artificial Intelligence Research devoted to the progress in nonmonotonic reasoning. The issue is loosely connected to the recent conference "30 years of Nonmonotonic Reasoning" but all relevant submissions will beconsidered. We are interested in original papers on any topic concerned with the phenomenon of nonmonotonic reasoning and nonmonotonic logics as they relate to artificial intelligence and, in particular, knowledge representation. The papers will be subject to the JAIR reviewing process and to JAIR paper acceptance standards. The papers should be submitted using JAIR's regular web-based submission procedure. Each paper should clearly identify that it is submitted for the special issue on nonmonotonic reasoning. This should be done in a note under ?Special information for editors? on the submission form (see JAIR's policy on special issues www.jair.org/Special-Issues.pdf). After submission, please send an email to one of the guest editors for confirmation. Submission deadline: March 7, 2011. We expect to finish the reviewing process by May 9, 2011. Gerhard Brewka, Victor W. Marek and Mirek Truszczynski ===================== ---------------------------------------------------------------- This message was sent using IMP, the Internet Messaging Program. From dalt.school.2011 at gmail.com Mon Nov 15 16:21:36 2010 From: dalt.school.2011 at gmail.com (DALT School 2011 Organizers) Date: Mon, 15 Nov 2010 16:21:36 +0100 Subject: Spring School on Declarative Agent Languages and Technologies Message-ID: FIRST INTERNATIONAL SPRING SCHOOL ON DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES *** DALT SCHOOL 2011 *** Bertinoro, Italy, April 10-15, 2011 co-located with ISCL 2011 http://lia.deis.unibo.it/confs/dalt_school/ AIMS & SCOPE DALT is a well-established forum for researchers interested in sharing their experiences in combining declarative and formal approaches with engineering and technology aspects of agents and multiagent systems. Building complex agent systems calls for models and technologies that ensure predictability, allow for the verification of properties, and guarantee flexibility. Developing technologies that can satisfy these requirements still poses an important and difficult challenge. Here, declarative approaches have the potential of offering solutions satisfying the needs for both specifying and developing multiagent systems. Moreover, they are gaining more and more attention in important application areas such as the semantic web, service-oriented computing, security, and electronic contracting. For instance, some convergence points between the areas of formal methods for dealing with web services and formal methods for agents are emerging and gaining more and more attention. The DALT School builds on the success of 8 editions of the international AAMAS workshop series. Past editions of the DALT workshop series were held in Toronto, Budapest, Estoril, Honolulu, Hakodate, Utrecht, New York, and Melbourne. The DALT School aims at giving a comprehensive introduction to this exciting research domain and disseminate the results of research achieved in this 8-year-long activity with a perspective on the future. TOPICS & LECTURERS - Agent Reasoning: Knowledge, Plans and Flexible Control Cycles, by Francesca Toni. Francesca is Reader in Computational Logic in the Department of Computing at Imperial College London and Leader of the Computational Logic and Argumentation research group. She has been Principal Investigator of several EU-funded projects in the areas of logic-based agents and argumentation. She is one of the main researchers who developed the KGP model of agency. - Agent Reasoning: Goals and Preferences, by Birna van Riemsdijk. Birna is Assistant Professor at TU Delft, where she develops techniques for engineering intelligent software systems that can support humans in performing complex tasks. Her research focusses on the use and development of declarative agent programming languages. She is one of the developers of the GOAL language and a member of the DALT steering committee. - Agent Interaction: Languages, Dialogues and Protocols, by Peter McBurney. Peter is Professor of Computer Science and Head of the ART group at the University of Liverpool. He has been leading EU-funded research initiatives and managed many research grants for agent-related research wordwide and acted as a management consultant for leading IT and Telecommunications companies. His research focusses on semantics and pragmatics of agent communication and on multi-agent models of economic markets and marketing. - Organisation, Coordination and Norms for Multi-Agent Systems, by Wamberto Vasconcelos. Wamberto is a senior lecturer at the University of Aberdeen, where he works on intelligent software agents and on knowledge technologies. He has been involved in several international research projects on information technologies and service sciences. He is a member of the steering committee of the Coordination, Organization, Institutions and Norms workshop series (COIN) and an organizer of the DALT workshop in 2010 and 2011. - Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification, by Rafael Bordini. Rafael is Associate Professor at Universidade Federal do Rio Grande do Sul. He is one of the main developers of the Jason agent programming language and framework and author of several books on agent programming. His research interests cover various aspects of software engineering for autonomous systems, including programming, modelling, verification, testing, debugging and application deployment. TARGET AUDIENCE The School targets graduate students as well as other interested researchers, both from university, government and industry. It will allow graduate students to get a thorough overview of cutting-edge research and technologies, obtain feedback from leading scientists, and to participate in valuable discussions that will likely contribute in shaping and focussing their research interests. The school aims to be truly international with a strong participation from regions all around the world. This will help students make connections with international participants and set the base for potentially long-term cooperations. The school will include sessions dedicated to PhD students, mentoring activities, focussed discussions and guided brainstorming. MANIFESTATION OF INTEREST AND DISCOUNT To ensure an effective organization of the event, it will be very useful for the organizers to have a good estimation of attendance well in advance. For this purpose, you are encourage to manifest your intention to participate as early as possible, by sending an email to dalt.school.2011 at gmail.com. Manifestations do not represent a commitment to participate, but all manifestations received by the end of November 2011 will be rewarded with a discount on the early registration fee. More information on the DALT School Web site. GRANTS Thanks to sponsor support, the DALT School 2011 will help participation of students at all levels. Please consult the School Web site to know how to apply. INQUIRIES Send your inquires to dalt.school.2011 at gmail.com. We will answer in 2 working days. ============== -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ruy at cin.ufpe.br Tue Nov 16 17:13:49 2010 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Tue, 16 Nov 2010 13:13:49 -0300 Subject: WoLLIC 2011, Philadelphia, May 18-21, 2011 - Call for Papers Message-ID: *WoLLIC 2011 18th Workshop on Logic, Language, Information and Computation * *May 18th to 21st, 2011 * *University of Pennsylvania Philadelphia, USA* *Scientific Sponsorship* *Interest Group in Pure and Applied Logics (IGPL )* *The Association for Logic, Language and Information (FoLLI )* *Association for Symbolic Logic (ASL )* *European Association for Theoretical Computer Science (EATCS )* *Sociedade Brasileira de Computação (SBC )* *Sociedade Brasileira de Lógica (SBL )* *Organisation* *Department of Mathematics , University of Pennsylvania , USA Centro de Informática , Universidade Federal de Pernambuco , Brazil * ------------------------------ Call for PapersWoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The eighteenth WoLLIC will be held at the University of Pennsylvania, Philadelphia, USA, from May 18th to 21st, 2011. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). *Paper submission* Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2010 EasyChair website. (Please go to http://wollic.org/wollic2011/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by January 1, and the full paper by January 8 (firm date). Notifications are expected by February 21, and final papers for the proceedings will be due by March 1 (firm date). *Proceedings* The proceedings of WoLLIC 2011, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the *Logic Journal of the IGPL*, and selected contributions will be published as a special post-conference WoLLIC 2011 issue of a scientific journal (soon to be confirmed). *Invited Speakers* *Rajeev Alur *(Philadelphia) *Rosalie Iemhoff * (Utrecht) *John Mitchell * (Stanford) *Vladimir Voevodsky * (Princeton) *Yoad Winter * (Utrecht) *Student Grants* ASL sponsorship of WoLLIC 2011 will permit ASL student members to apply for a modest travel grant (deadline: February 18, 2011). See http://www.aslonline.org/studenttravelawards.html for details. *Important Dates* January 1, 2011: Paper title and abstract deadline January 8, 2011: Full paper deadline (firm) February 21, 2011: Author notification March 1, 2011: Final version deadline (firm) *Programme Committee* Sergei Artemov (New York) Jeremy Avigad (Pittsburgh) Arnold Beckman (Swansea) Lev Beklemishev (Moscow) (CHAIR) Alessandro Berarducci (Pisa) Andreas Blass (Ann Arbor) (tbc) Sam Buss (San Diego) Achim Jung (Birmingham) Benedikt Löwe (Amsterdam) Janos Makowsky (Haifa) Michael Moortgat (Utrecht) Vincent van Oostrom (Utrecht) Prakash Panangaden (Montréal) Rohit Parikh (New York) Ruy de Queiroz (Recife) Alexander Shen (Marseilles and Moscow) Bas Spitters (Nijmegen) Helmut Veith (Wien) Yde Venema (Amsterdam) Scott Weinstein (Philadelphia) Frank Wolter (Liverpool) *Steering Committee* Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Hiroakira Ono, Ruy de Queiroz. *Organising Committee* Vivek Nigam (U Penn) Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) Andre Scedrov (U Penn) (co-chair) *Further information* Contact one of the Co-Chairs of the Organising Committee. *Web page* http://wollic.org/wollic2011/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From torsten at cs.uni-potsdam.de Wed Nov 17 10:20:41 2010 From: torsten at cs.uni-potsdam.de (Torsten Schaub) Date: Wed, 17 Nov 2010 10:20:41 +0100 (CET) Subject: Doctoral/PostDoctoral Position in Answer Set Programming Message-ID: <20101117092041.74EC5399@raz.haiti.cs.uni-potsdam.de> Doctoral/PostDoctoral Position in Answer Set Programming (ASP) The Knowledge Representation and Reasoning group at the University of Potsdam is looking for a Doctoral or PostDoctoral Researcher in the area of ASP. The position is part of a DFG project on ASP Solver Construction. Successful candidates hold either a MSc or PhD in Computer Science or a related discipline and have an interest in ASP or related areas such as SAT or CSP; interest in parallelism is an asset. The appointment is initially for 1.5 years and afterwards subject to project extension. The salary follows the E13 scheme and depends on the applicant's work experience. Initial screening of applications begins immediately and the position remains open until filled. Applications: Please contact Torsten Schaub, preferably via email to torsten at cs.uni-potsdam.de -- Prof. Dr. Torsten Schaub Universität Potsdam, Institut für Informatik August-Bebel-Strasse 89, D-14482 Potsdam net torsten at cs.uni-potsdam.de fon (+49) 331 977 3080/3081 url http://www.cs.uni-potsdam.de/~torsten fax (+49) 331 977 3122 From axel.polleres at deri.org Wed Nov 17 15:47:53 2010 From: axel.polleres at deri.org (Axel Polleres) Date: Wed, 17 Nov 2010 14:47:53 +0000 Subject: Call for Papers: ESWC2011 - Semantic Data Management Track Message-ID: <7AB2B772-9734-4A88-8161-C007918C9D86@deri.org> (Apologies for cross posting) --------------------------------------------------------------------- CALL FOR PAPERS --------------------------------------------------------------------- The 8th Extended Semantic Web Conference (ESWC), Research Track: SEMANTIC DATA MANAGEMENT http://www.eswc2011.org/ May 29 - June 2, 2011, Heraklion, Greece Chairs: Vassilis Christophides and Axel Polleres Abstract submission: December 6, 2010 Full-paper submission: December 13, 2010 http://www.eswc2011.org/content/cfp#Semantic%20Data%20Management During last years we have witnessed a tremendous increase in the amount of semantic data that is available on the Web in almost every field of human activity. Billions of RDF triples from Wikipedia, U.S. Census, CIA World Factbook, open government sites in the US and the UK, news and entertainment sources, as well as various ontologies (especially in eScience) have been created and published online. For the successful discovery, sharing, distribution and organization of this emerging information universe, the ability to understand and manage the semantics of the data is of paramount importance. Semantic data management refers to a range of techniques that can be employed for storing, querying, manipulating and integrating data based on its meaning. It essentially enables sustainable solutions for a range of IT environments, where the usage of today's mainstream semantic technology is either inefficient or entirely unfeasible, namely, enterprise data integration, life science research, and collaborative data sharing in SaaS architectures. In a nutshell, semantic data management aims to support a more comprehensive usage of larger scale and more complex semantic datasets at lower cost. To achieve this vision, interdisciplinary synergies are required among researchers in the Semantic Web, data management systems as well as information retrieval communities. To this end, ESWC's Semantic Data Management track will be organized along the following key themes. TOPICS OF INTEREST ================== * Semantic repositories and databases - Storage schemas optimized for RDF data - Reasoning supported by data management infrastructures - Indexing structures for schema-less or schema-relaxed semantic data, storage - Density and performance improvements - Efficient query processing - Embedded semantic data processing (stored procedures and storage engine extension APIs) * Semantic access to legacy data - Efficient publishing from and to other data formats (e.g. XML, relational data) from RDF and ontologies - Semantic query optimization techniques; * Virtualized semantic stores and scalability - Identification and composition of (fragments of) data sets by abstracting the applications from the specific set-up of the data management service (e.g., local vs. remote and distribution) - Semantic data partitioning - Replication - Federation on the cloud * Exploratory semantic searching and browsing - Dataspaces for the Semantic Web - Semantic data analytics - Data dynamics - Emergent data semantics - Data- and query- specific strategies for dynamic data materialization - Adaptive, multi-query optimization - Multi-modal retrieval (quantitative and statistical) and ranking algorithms (FTS, co-occurrence, concordance, temporal, spatial); * Security and privacy - Access control specification languages and enforcement strategies - Consistency checking of access control policies - Incremental maintenance of security annotations - Privacy aware access control models * Traceability and trustworthiness - Probabilistic RDF data and query answering - Provenance models for SPARQL queries and RDFS/OWL programs - Provenance models of dataflows and mash-ups - Automated reasoning over abstract provenance information - Efficient storage and querying of provenance data * Benchmarking - Foundations, methods and tools for semantic systems benchmarking - Performance evaluation of existing semantic query, update and reasoning services - Analysis of synthetic and real large-scale semantic data repositories SUBMISSIONS =========== The proceedings of the conference will be published in Springer's Lecture Notes in Computer Science series. Paper submission and reviewing will be electronic. Papers must not exceed fifteen (15) pages in length and must be formatted according to the information for LNCS authors: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 Papers must be submitted as PDF (Adobe's Portable Document Format) and will not be accepted in any other format. Papers that exceed 15 pages or do not follow the LNCS guidelines risk being rejected automatically without a review. The contributions to the Semantic Data Management track should be submitted through the track submission site at: http://www.easychair.org/conferences/?conf=eswc2011datamanagement IMPORTANT DATES =============== Abstract submission: Dec. 6, 2010 (compulsory) Full paper submission: Dec. 13,2010 (11:59 pm Hawaii time) Notifications: Feb. 21,2011 Camera-ready due: March 7,2011 PROGRAM COMITTEE ================ Karl Aberer Abraham Bernstein Aidan Boran Stefano Ceri Vassilis Christophides Oscar Corcho Orri Erling George H. L. Fletcher Irini Fundulaki Claudio Gutierrez Steve Harris Andreas Harth Panagiotis Karras Greg Karvounarakis Anastasios Kementsietsidis Atanas Kiryakov Manolis Koubarakis Reto Krummenacher Georg Lausen Josiane Parreira Axel Polleres Sherif Sakr Andy Seaborne Amit Sheth Umberto Straccia Giovanni Tummarello Yannis Velegrakis Maria Esther Vidal From stephane.jean at univ-poitiers.fr Thu Nov 18 09:54:09 2010 From: stephane.jean at univ-poitiers.fr (=?ISO-8859-1?Q?St=E9phane_Jean?=) Date: Thu, 18 Nov 2010 09:54:09 +0100 Subject: Call for Participation: The 11th International Conference on Web Information Systems Engineering (WISE 2010) In-Reply-To: <4B5EF766.5000605@ensma.fr> References: <4B5EF766.5000605@ensma.fr> Message-ID: <4CE4E9B1.2070106@univ-poitiers.fr> Apologies for multiple postings =========================================================================================== The 11th International Conference on Web Information Systems Engineering (WISE 2010) http://conference.cs.cityu.edu.hk/wise2010/ December 12-14, 2010 Hong Kong, China Hosted by: Department of Computer Science, City University of Hong Kong and the International WISE Society CALL FOR PARTICIPATION =========================================================================================== The aim of this eleventh edition of the conference series on Web Information Systems Engineering is to provide an international forum for researchers, professionals, and industrial practitioners to share their knowledge in the rapidly growing area of Web technologies, methodologies and applications. Previous WISE conferences were held in Hong Kong, China (2000), Kyoto, Japan (2001), Singapore (2002), Roma, Italy (2003), Brisbane, Australia (2004), New York, USA (2005), Wuhan, China (2006), Nancy, France (2007), Auckland, New Zealand (2008), and Poznan, Poland (2009). Highlights: - 4 keynote speeches - Beng Chin Ooi (the National University of Singapore) - Edward Chang (Google Research China) - Christian S. Jensen (Aarhus University) - Kyu-Young Whang (KAIST) - 51 selected papers (32 full papers and 19 short papers) - 4 WISE co-located Symposium and Workshops Keynote Speeches ---------------- Title: Providing Scalable Database Services on the Cloud Speaker: Beng Chin Ooi Professor of Computer Science at School of Computing, the National University of Singapore (NUS) Title: Search and Social Integration Speaker: Edward Chang Google Research China Title: Elements of a Spatial Web Speaker: Christian S. Jensen Professor of Computer Science, Aarhus University, Denmark Title: The Ubiquitous DBMS Speaker: Kyu-Young Whang Distinguished Professor and Professor of Computer Science, KAIST WISE co-located Symposium and Workshops --------------------------------------- The 1st International Symposium on Web Intelligent Systems & Services (WISS 2010) http://www.cse.cuhk.edu.hk/~kwchiu/WISS2010.html The 2nd International Workshop on Mobile Business Collaboration (MBC 2010) http://ww2.cs.mu.oz.au/~jsh/mbc10/index.htm The 1st International Workshop on Cloud Information System Engineering(CISE 2010) http://www.cse.cuhk.edu.hk/~kwchiu/CISE2010.html The 1st International Workshop on Web-Supported Concurrent Collaborative Work (WSCCW 2010) http://appsrv.cse.cuhk.edu.hk/~kwchiu/WSCCW2010.html WISE Program ------------ The WISE 2010 conference offers a full social program, including the conference welcome reception and the conference banquet. It provides the following sessions (http://conference.cs.cityu.edu.hk/wise2010/program.pdf). Session 1a: Web Service Session 1b: Social Networks Session 2a: Web Data Mining Session 2b: Keyword Search Session 3a: Web Search (I) Session 3b: Web Data Modeling Session 4a: Recommender Systems Session 4b: RDF and Web Data Session 5a: XML and Query Languages Session 5b: Web Search (II) Session 6a: Web Information Systems Session 6b: Information Retrieval and Extraction Registration ------------ Registration (http://conference.cs.cityu.edu.hk/wise2010/wise2010_reg_form.pdf) has opened. The early bird registration deadline is 12 Nov, 2010. The conference venue is Kowloon Shangri-La Hotel. More information can be found at: http://conference.cs.cityu.edu.hk/wise2010/hotel.pdf It is advisable to make a hotel reservation as soon as possible. For more details on this, please visit at http://conference.cs.cityu.edu.hk/wise2010/Acommendation.pdf Organizers ---------- Conference Co-chairs ==================== Qing Li, City U of Hong Kong Karl Aberer, EPFL, Switzerland Dennis McLeod, USC, USA PC Co-chairs ============ Lei Chen, HKUST, Hong Kong Peter Triantafillou, U of Patras, Greece Torsten Suel, NYU Poly, USA Organization Chairs ================== Hong Va Leong, PolyU, Hong Kong Howard Leung, CityU, Hong Kong Workshop Co-chairs ================== Dickson Chiu, Dickson Computer Sys., Hong Kong Ladjel Bellatreche, ENSMA-Poitiers U, France Publicity Co-chairs =================== Hua Wang, U Southern Queesland, Australia Raymong Wong, HKUST, Hong Kong Stephane Jean, Poitiers U, France Feifei Li, Florida State U., USA Finance Chair ============= Xiaohua Jia, City U of Hong Kong Steering Committee Representatives ================================== Yanchun Zhang, Victoria U, Australia Xiaohua Jia, City U of Hong Kong From richard.booth at uni.lu Thu Nov 18 22:25:25 2010 From: richard.booth at uni.lu (Richard Booth) Date: Thu, 18 Nov 2010 22:25:25 +0100 Subject: MIWAI 2010 - CALL FOR PARTICIPATION Message-ID: --------------------------------------------------------------------------- Apologies for Multiple Copies Due to Cross Posting --------------------------------------------------------------------------- ============================================ MIWAI'10 - CALL FOR PARTICIPATION ============================================ The 4th Mahasarakham International Workshop on Artificial Intelligence. December 9-10, 2010, Mahasarakham University, Mahasarakham, Thailand. (Tutorials December 8) http://khamreang.msu.ac.th/miwai10/ --------------------------------------------------------------------------- Important Dates --------------------------------------------------------------------------- Early Registration deadline: December 2, 2010 Tutorials: December 8, 2010 Workshop dates: December 9-10, 2010 --------------------------------------------------------------------------- Registration --------------------------------------------------------------------------- Fees are as follows (in Thai Baht. 1,000 Thai Baht = 33 USD approx.): Early Registration (on or before Dec. 2): 2,500 (students), 3,500 (non-students) Late Registration (after Dec. 2): 3,500 (students), 6,000 (non-students) To register, please fill in the registration form (1 form for each participant, available from http://khamreang.msu.ac.th/miwai10/MIWAI_2010/Registration.html) and either fax it to Ms Suwicha Nantawong (+66 43 754 359), or send scanned versions by email to Chattrakul Sombattheera (chattrakul.s[AT]msu.ac.th). Late registration on-site is also possible. For more details see http://khamreang.msu.ac.th/miwai10/MIWAI_2010/Registration.html --------------------------------------------------------------------------- Invited Speakers + Tutorials --------------------------------------------------------------------------- Invited Speakers: 1.Arun Agarwal (University of Hyderabad, India) "Excitement of Research in Document Forensics" 2.Anthony Cohn (University of Leeds, UK) "Learning about Activities and Objects from Video" Tutorials (December 8): 1.Siba K. Udgata (University of Hyderabad, India) "Swarm Intelligence - A Tool for Optimization in various Information Technology Applications" 2.Richard Booth (University of Luxembourg and Mahasarakham) "Reasoning using Argumentation: An Introduction" --------------------------------------------------------------------------- About MIWAI --------------------------------------------------------------------------- Artificial Intelligence (AI) research has broad applications in real world problems. Examples include control, planning and scheduling, pattern recognition, knowledge mining, software applications and strategy games. The ever-evolving needs in business both on a local and on a global scale demand better technologies for solving more and more complex problems. Such needs can be found in all industrial sectors and in any part of the world. This workshop aims to be a meeting place where excellence in AI research meets the needs for solving dynamic and complex problems in the real world. The academic researchers, developers, and industrial practitioners will have extensive opportunities to present their original work, technological advances and practical problems. Participants can learn from each other and exchange their experiences in order to fine tune their activities in order to help each other better. The main purposes of the MIWAI series of workshops are as follows: . to provide a meeting place for AI researchers and practitioners in Thailand and beyond. . to inform Thai students about cutting-edge AI research via the presence of outstanding international invited speakers. . to raise the standards of practice of AI research in the whole of Thailand by providing Thai researchers and students with feedback from an internationally-renowned program committee. --------------------------------------------------------------------------- Committees --------------------------------------------------------------------------- Advisory Committee --------------------------------------------------------------------------- -Wanchai Rivepaiboon (Chulalongkorn University, Bangkok, Thailand) -Wirat Pongsiri (Mahasarakham University, Thailand) -Sujin Butdeesuwan (Mahasarakham University, Thailand) -Somnuk Puangpronpitag (Mahasarakham University, Thailand) Program Co-Chairs --------------------------------------------------------------------------- - Richard Booth (University of Luxembourg and Mahasarakham University, Thailand) - Chattrakul Sombattheera (Mahasarakham University, Thailand) Program Committee --------------------------------------------------------------------------- - Arun Agarwal (Hyderabad, India) - Samir Aknine (Paris 6, France) - Laor Boongasame (Bangkok University, Thailand) - Roger Boyle (Leeds, UK) - Kosin Chamnongthai (KMUTT, Bangkok, Thailand) - Matthew Dailey (AIT, Bangkok, Thailand) - Juergen Dix (Clausthal, Germany) - Patrick Doherty (Linkoping, Sweden) - Andreas Herzig (IRIT, Toulouse, France) - Jerome Lang (CNRS, Universite Paris-Dauphine, France) - Kittichai Lavangnananda (KMUTT, Bangkok, Thailand) - Fangzhen Lin (HKUST, Hong Kong) - Jerome Mengin (IRIT, Toulouse, France) - Ekawit Nantajeewarawat (SIIT, Bangkok, Thailand) - Eric Pacuit (Tilburg, Netherlands) - Vineet Padmanabhan (Hyderabad, India) - Patrice Perny (Paris 6, France) - Supawan Phonphitakchai (Naresuan University, Thailand) - Guilin Qi (Southeast University, Nanjing, China) - Jun Shen (Wollongong, Australia) - Alok Singh (Hyderabad, India) - Virach Sornlertlamvanich (NECTEC, Thailand) - Siriwan Suebnukarn (Thammasat University, Bangkok, Thailand) - Boontawee Suntisrivaraporn (SIIT, Bangkok, Thailand) - Leon van der Torre (Luxembourg) - Thanaruk Theeramunkong (SIIT, Bangkok, Thailand) - Siba Kumar Udgata (Hyderabad, India) - Paul Weng (Paris 6, France) Publicity Chairs --------------------------------------------------------------------------- -Wijittra Noisanguan (Rajamangala University of Technology, Isan, Surin campus, Thailand) -Mana Setwong (Mahasarakham University, Thailand) Local Organisation Chairs --------------------------------------------------------------------------- -Suwicha Nantawong (Mahasarakham University, Thailand) -Phisanurak Pitathasang (Mahasarakham University, Thailand) --------------------------------------------------------------------------- Contact --------------------------------------------------------------------------- Please direct any comments or enquiries to Chattrakul Sombattheera (chattrakul.s[AT]msu.ac.th) or Richard Booth (richard.booth[AT]uni.lu). From universal.logic at ufc.br Sat Nov 20 14:59:29 2010 From: universal.logic at ufc.br (Universal Logic) Date: Sat, 20 Nov 2010 11:59:29 -0200 (BRST) Subject: free access to logica universalis Message-ID: <4f2e101779aa60145b8fb55bf61fabaa.squirrel@correio3.ufc.br> Free access to all papers published in Logica Universalis is avalaible up to November 30: http://www.springer.com/birkhauser/mathematics/journal/11787 Last issue of the journal is on the topic "is logic universal?" In the next future there will be special issues of the journal on the following topics: - Logic diagrams - Multimodal logics - Categorical logics - Hexagon of opposition Among many interesting papers published since the start of the journal - freely downloadable up to November 30 - you can find: Birkhoff Completeness in Institutions Mihai Codescu and Daniel Gaina Symmetric Generalized Galois Logics Katalin Bimbo and J. Michael Dunn Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties Francesco Paoli, Matthew Spinks and Robert Veroff A Galois Connection Stan J. Surma A Global Glance on Categories in Logic Peter Arndt, Rodrigo de Alvarenga Freire, Odilon Otavio Luciano and Hugo Luiz Mariano Distributive-Lattice Semantics of Sequent Calculi with Structural Rules Alexej P. Pynko Abstract Logics, Logic Maps, and Logic Homomorphisms Steffen Lewitzka From aguabtni at cse.unsw.edu.au Mon Nov 22 00:01:02 2010 From: aguabtni at cse.unsw.edu.au (Adnene Guabtni) Date: Mon, 22 Nov 2010 10:01:02 +1100 Subject: CFP Workshop Proposals WI-IAT 2011 Message-ID: * Apologies for cross-posting * This is sent on behalf or the 2011 edition of IEEE/WIC/ACM WI-IAT conference organizing committee. ================================================================== Call for workshop proposals The 2011 IEEE / WIC / ACM International Conferences on Web Intelligence and Intelligent Agent Technology 22 – 27 August 2011, Lyon, France http://wi-iat-2011.org The Program Committees of the 2011 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT’11) invite proposals for Workshops. The Workshops will be held within the Conference, August, 22, 2011 at Lyon, France. The main goal of the WI-IAT’11 workshops is to stimulate and facilitate active exchange, interaction and comparison of approaches, methods and ideas related to specific topics, both theoretical and applied, in the general areas related to Web Intelligence and Intelligent Agent Technology. The workshops will provide an informal setting where participants will have the opportunity to discuss specific technical topics in an atmosphere that fosters the active exchange of ideas. The workshop organizers will be responsible for advertising the workshop, forming the program committees, reviewing and selecting the papers, and guaranteeing a high quality worthy of the prestige and range of the Conference. All papers accepted for workshops will be included in the Workshop Proceedings published by IEEE Computer Society Press and will be available at the workshops. The workshop organizers will also have the discretion of editing selected papers (after their expansion and revision) into books or special journal issues. Workshops may be full-day or half-day. A full-day workshop should select 10-14 regular papers, while a half-day workshop should select 5-7 regular papers, from a large number of submissions. Submissions accepted as workshop papers will be allocated 4 pages in the proceedings. The workshop organizers should ensure the presence of authors of accepted papers at the workshops. Optionally, the workshop may be started or concluded by a panel focusing on interesting aspects, controversial issues, or unsolved problems to stimulate lively, thoughtful, and thought-provoking debate; we expect the workshop organizers to actively engage the audience and help them gain a deeper understanding of the issues. The goal of a panel is to debate and thus panels should always reflect more than one point of view. Workshop Proposals Submission: Workshop organizers should submit their proposals (PDF) directly to the three Workshop Chairs via e-mail (see their email addresses below). Workshop proposals should include the following elements: - Title of the workshop - Names of workshop organizers, affiliation, mailing address and e-mail address - Short CV of organizers - A description of the topics of the workshop (not exceeding 200 words) - Type of the workshop (full-day or half-day) - A description of how the workshop will contribute to the field of Web Intelligence and/or Intelligent Agent Technology - A short description on how the workshop will be advertised so as to ensure a sufficiently wide range of authors and high quality papers - Information about previous offerings of the proposed workshop. Topics of Interest Each workshop subject will focus on new research challenges and initiatives in Web Intelligence (WI) and Intelligent Agent Technology (IAT). The workshops should provide an informal and vibrant forum for researchers and industry practitioners to share their research results and practical development experiences in these two fields. Suggested, workshop topics include, but are not limited to: - Intelligent e-Technology (including e-Science, e-Business, e-Things and e-Activities, e-Learning, e-Finance, e-Medicine, e-Government, e-Community) - Intelligent Human-Web Interaction - Intelligent Distributed Robots - Distributed Intelligence - Knowledge Grids and Grid Intelligence - Semantics and Ontology Engineering - Sensing Web and Smart World - Social Networks and Ubiquitous Intelligence - Ubiquitous Computing - Web Agents - Web Information Filtering and Retrieval - Web Mining and Farming - Web Data Management - Web Scale Commonsense Knowledge Processing - Web Security, Integrity, Privacy and Trust - Web Services and Grid Services - Web Support Systems - World Wide Wisdom Web (W4) - Convergence of email, instant messaging and social-network tools - Agent Systems Modeling and Methodology - Autonomous Knowledge and Information Agents - Autonomous Auctions and Negotiation - Autonomy-Oriented Computing (AOC) - Learning and Self-Adapting Agents Important Dates Workshop proposal submission: December 17, 2010 Notification to workshop proposers: January 7, 2011 Workshop paper submissions: March 21, 2011 Notification of Workshop paper acceptance: June 1, 2011 Workshops and Industry day: August 22, 2011 Workshop Co-Chairs Jomi F. Hübner (Federal University of Santa Catarina, Brasil, jomi at das.ufsc.br) Jean-Marc Petit (INSA, France,jean-marc.petit at insa-lyon.fr) Einoshin Suzuki (Kyushu University, Japan, suzuki at inf.kyushu-u.ac.jp) ================================================================== -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ianni at mat.unical.it Mon Nov 22 17:36:50 2010 From: ianni at mat.unical.it (Giovambattista Ianni) Date: Mon, 22 Nov 2010 17:36:50 +0100 Subject: Third ASP Competition: Call for Participation Message-ID: <4CEA9C22.5000603@mat.unical.it> [Apologies for multiple copies] ....................................................................... The Third Answer Set Programming Competition Call For Participation University of Calabria, Fall 2010 - Winter 2011 http://aspcomp2011.mat.unical.it ....................................................................... The Third Answer Set Programming Competition is now open and in the Call for benchmarks stage. The event is open to ASP systems and any other system based on a declarative specification paradigm. ------------------ Important dates Summary: * Problem selection stage: * December 25th, 2010 - Deadline for Problem submission * Competition stage: * February 4th, 2011 - Deadline for Systems submission * May 16th 2011 Announcement of results and awards at LPNMR 2011 - Vancouver, BC, Canada. ------------------ 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 and many others. Since the first informal editions (Dagstuhl 2002 and 2005), ASP systems compare themselves in the nowadays customary ASP Competition: the Third ASP Competition will take place at the University of Calabria (Italy) in the first half of 2011. The event is the sequel to the ASP Competitions Series, held at the University of Potsdam in Germany (2006-2007) and at the University of Leuven in Belgium in 2009. The current competition is held in cooperation with the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 11) where the results will be published. == Competition Format == Participants will compete on a selected collection of declarative specifications of benchmark problems, and instances thereof. Before the registration of competitor systems, there will be a problem selection stage, in which participants and interested researchers will be able to submit problem specifications; these will be then selected by the Organizing Committee, after an informal review and discussion stage. == Competition Tracks == The Competition will be constituted by two different sub-competitions, conceived for promoting some equivalently important, yet orthogonal, aspects: 1. the Model & Solve Competition, held on an open problem encoding, open language basis, and open to any system based on a declarative specification paradigm, and 2. the System Competition, held on the basis of fixed problem encodings, written in a standard ASP language. In the former competition track, the team can choose the best system configuration along with the best encoding for each problem, while, in the latter, the system and its configuration is fixed for all problems. Given that the interest towards parallel ASP systems is increasing, we encourage the submission of parallel systems as non-competing participants to both the competition tracks. Further information can be found on the competition web site at: http://aspcomp2011.mat.unical.it From wf at wfaber.com Mon Nov 29 20:18:02 2010 From: wf at wfaber.com (Wolfgang Faber) Date: Mon, 29 Nov 2010 20:18:02 +0100 Subject: 3rd CFP: LPNMR-11 (Logic Programming and Nonmonotonic Reasoning) Message-ID: <1291058282.2877.3230.camel@positron> [apologies for multiple copies] [abstract deadline: Dec 6, paper deadline: Dec 13] CALL FOR PAPERS LPNMR-11 11th International Conference on Logic Programming and Nonmonotonic Reasoning Vancouver, BC, Canada, 16-19 May, 2011 Web: http://sites.google.com/site/lpnmr11 Email: lpnmr11 at gmail.com LPNMR-11 is the eleventh in the series of international meetings on logic programming and nonmonotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between those researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those who work in the area of knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to the construction of systems for declarative programming and knowledge representation, as well as their use in practical applications. Authors are invited to submit papers presenting original and unpublished research on all aspects of nonmonotonic approaches in logic programming and knowledge representation. We particularly encourage submission of papers on LPNMR techniques which have led to the development of significant applications. We also invite submissions of short papers, which may include system and application descriptions. We invite submissions of both long and short papers. The proceedings of the conference will be published in the Springer Verlag Lecture Notes in Computer Science series; see http://www.springer.com/lncs/. All accepted papers will be published in the proceedings. This year the best paper(s) from the conference will be invited to appear at a special track of IJCAI'11 in Barcelona. Topics (non-exhaustive list) Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, and related approaches (such as causal reasoners); * Relationships among formalisms; * Complexity and expressive power; * Development of inference algorithms and search heuristics for LPNMR systems; Inference algorithms and heuristics for LPNMR systems; * Extensions of "classical" LPNMR languages by new logical connectives and new inference capabilitiessuch as abduction, reasoning by cases, etc ; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * LPNMR benchmarks. Applications of LPNMR systems: * Using LPNMR to model problems in KR and commonsense reasoning; * LPNMR languages and algorithms in planning, diagnosis, software engineering, decision making, and model checking; * Applications of action languages, to policies, planning, and other areas; * Applications of LPNMR languages in data integration and exchange systems; * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. Submission LPNMR-11 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories. * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page, references and figures. The proceedings of the conference will be published in the Springer Verlag Lecture Notes in Computer Science series. All submissions will be peer-reviewed; and all accepted papers will appear in the conference proceedings. Submissions must be formatted according to the Springer LNCS author instructions, be written in English, and present original research. Paper submission will be electronic through http://www.easychair.org/conferences/?conf=lpnmr11 . Workshops The program of LPNMR-11 will also include several specialised workshops. These workshops provide a venue for presenting more specialised and focussed topics, and are intended to allow for intensive discussions and project collaboration in any area related to LPNMR, including cross-disciplinary areas. Those interested in organizing a workshop at LPNMR-11 are invited to submit an informal workshop proposal to the program chairs by 31 December 2010. Potential workshop organizers are also invited to discuss their ideas for a workshop with the program chairs beforehand. Important Dates * Paper registration: 6 December 2010 * Paper submission: 13 December 2010 * Workshop applications: 31 December 2010 * Notification: 8 February 2011 * Final versions due: 25 February 2011 Venue Vancouver is located on the west coast of Canada. It is considered one of the most liveable and beautiful cities in the world and features a broad range of outdoor, leisure, and cultural activities. The conference will be held at the Segal Graduate School of Business of Simon Fraser University in downtown Vancouver. The conference is about 20 minutes from the airport by rapid transit. Program Chairs James Delgrande, Simon Fraser University, Canada Wolfgang Faber, University of Calabria, Italy Program Committee Jóse Júlio Alferes, Universidade Nova de Lisboa, Portugal Marcello Balduccini, Kodak Research Labs, USA Chitta Baral, Arizona State University, USA Leopoldo Bertossi, Carleton University, Canada Richard Booth, University of Luxembourg, Luxembourg Gerhard Brewka, University of Leipzig, Germany Pedro Cabalar, University of Corunna, Spain Stefania Costantini, University of L'Aquila, Italy Marina De Vos, University of Bath, UK James Delgrande, Simon Fraser University, Canada Marc Denecker, KU Leuven, Belgium Yannis Dimopoulos, University of Cyprus, Cyprus Jürgen Dix, Technical University of Clausthal, Germany Agostino Dovier, University of Udine, Italy Thomas Eiter, Vienna University of Technology, Austria Esra Erdem, Sabanci University, Turkey Wolfgang Faber, University of Calabria, Italy Michael Fink, Vienna University of Technology, Austria Andrea Formisano, University of Perugia, Italy Martin Gebser, University of Potsdam, Germany Michael Gelfond, Texas Tech University, USA Giovambattista Ianni, University of Calabria, Italy Tomi Janhunen, Aalto University, Finland Antonis Kakas, University of Cyprus, Cyprus Joohyung Lee, Arizona State University, USA Nicola Leone, University of Calabria, Italy Vladimir Lifschitz, University of Texas, USA Fangzhen Lin, Hong Kong University of Science and Technology, China Jorge Lobo, IBM T. J. Watson Research Center, USA Robert Mercer, University of Western Ontario, Canada Alessandra Mileo, University of Milan-Bicocca, Italy Pascal Nicolas, University of Angers, France Ilkka Niemelä, Aalto University, Finland Mauricio Osorio, Universidad de las Américas, Mexico Ramon Otero, University of Corunna, Spain David Pearce, Universidad Politécnica de Madrid, Spain Axel Polleres, National University of Ireland, Ireland Enrico Pontelli, New Mexico State University, USA Chiaki Sakama, Wakayama University, Japan John Schlipf, University of Cincinnati, USA Tran Cao Son, New Mexico State University, USA Terrance Swift, Stony Brook University, USA Evgenia Ternovska, Simon Fraser University, Canada Hans Tompits, Vienna University of Technology, Austria Francesca Toni, Imperial College London, UK Mirek Truszczynski, University of Kentucky, USA Agustin Valverde, University of Malaga, Spain Kewen Wang, Griffith University, Australia Stefan Woltran, Vienna University of Technology, Austria Jia-Huai You, University of Alberta, Canada Yan Zhang, University of Western Sydney, Australia -------------------------------------------------------------------------- From joana at informatik.uni-bremen.de Wed Nov 24 23:12:10 2010 From: joana at informatik.uni-bremen.de (Joana Hois) Date: Wed, 24 Nov 2010 23:12:10 +0100 Subject: CfP: Applied Ontology Special Issue on Modularity in Ontologies Message-ID: <1290636731.1763.163.camel@name> ========================================================= --- Applied Ontology --- --- Special Issue on Modularity in Ontologies --- --- Call for Papers --- Abstract Submission deadline: 31 December 2010 Paper Submission deadline: 31 January 2011 http://www.informatik.uni-bremen.de/~okutz/womoAO/ ========================================================= Applied Ontology - An Interdisciplinary Journal of Ontological Analysis and Conceptual Modeling IOS Press, ISSN: 1570-5838 Editors-in-Chief: Nicola Guarino, Mark A. Musen MODULARITY, as studied for many years in software engineering, allows mechanisms for easy and flexible reuse, generalisation, structuring, maintenance, design patterns, and comprehension. Applied to ontology engineering, modularity is central not only to reduce the complexity of understanding ontologies, but also to facilitate ontology maintenance and ontology reasoning. Recent research on ontology modularity shows substantial progress in foundations of modularity, techniques of modularisation and modular development, distributed reasoning and empirical evaluation. These results provide a solid foundation and exciting prospects for further research and development. This special issue invites submission of high quality original work that has neither appeared in, nor is under consideration by, other journals. Submissions must be formatted according to IOS Press style ( www.iospress.nl/authco/instruction_crc.html ) and should be prepared in PDF format. Contributions must be received not later than December 2010 through the EasyChair Submission System ( www.easychair.org/account/signin.cgi?conf=aowomo11 ). IMPORTANT DATES Abstract Submission: till 31st December 2010 Paper Submission: closes 31st January 2011 Notification (expected): March/April 2011 Revised Version due: June 2011 Publication (expected): Fall 2011 GUEST EDITORS Oliver Kutz, Joana Hois (Research Center on Spatial Cognition (SFB/TR 8), Bremen, Germany) http://www.ontospace.uni-bremen.de From A.Lomuscio at imperial.ac.uk Wed Nov 24 10:46:30 2010 From: A.Lomuscio at imperial.ac.uk (Alessio Lomuscio) Date: Wed, 24 Nov 2010 09:46:30 +0000 Subject: Lectureship (equiv. Assistant Professor) - Imperial College London Message-ID: <4CECDEF6.5010803@imperial.ac.uk> Imperial College London Department of Computing Lectureship Post (equiv. Assistant Professor) Lectureship Salary: GBP 42,500 to GBP 47,450 per annum Imperial College London is a world leading university whose reputation for excellence in teaching and research attracts students and staff of the highest international quality. The three Faculties - Engineering, Natural Sciences and Medicine - together with the Business School explore the interface between science, medicine, engineering and management. The Department of Computing is a leading department of Computer Science among the UK Universities. It has consistently been awarded the highest research rating (5*) in Research Assessment Exercises and was rated as "Excellent" in the previous national assessment of teaching quality. Research in the Department is clustered into the following themes: Computer Systems, Human Centered Computing, Logic & Artificial Intelligence, Theory of Computational Systems, Quantitative Analysis and Optimization, Distributed Software Engineering and Visual Information Processing. Applications are invited for Lectureship positions in the Department of Computing in any of the above areas. Candidates are expected to have a proven international record relevant to the above areas and will be expected to play a full part in the teaching and administrative activities of the Department. For further information on the Department visit http://www.imperial.ac.uk/computing. Interviews will be held in mid February 2011. For more details regarding the position, please refer to http://www.imperial.ac.uk/computing/vacancies Our preferred method of application is online via this website: http://www.imperial.ac.uk/employment. Please download the following application form and save to your computer. Once completed, please upload your application form prior to submitting your application. In addition to the application form, you should attach a full CV (including a list of publications) that covers any aspects of your career not covered by the online form, a 2-3 page statement of your research plans over the next 5 years and a brief statement of your teaching interests. Should you have any queries regarding the application process contact Margaret Hall by email at: margaret.hall at imperial.ac.uk Closing date: 10 January 2011. Committed to equality and valuing diversity. We are an Athena Silver SWAN Award winner and a Stonewall Diversity Champion. From Bertram.Fronhoefer at inf.tu-dresden.de Thu Nov 25 21:57:45 2010 From: Bertram.Fronhoefer at inf.tu-dresden.de (=?iso-8859-1?Q?Bertram_Fronh=F6fer?=) Date: Thu, 25 Nov 2010 21:57:45 +0100 Subject: Master Course Computational Logic Message-ID: <623461A7-4529-46EF-B075-7CC2607BE3F5@inf.tu-dresden.de> Dear recipient of this mail, I'd like to draw your attention to the fact that fresh Erasmus Mundus scholarships are available for Non-European AND European students who intend to enroll in our European Master's Program in Computational Logic in the fall of 2011. The deadline for application is 31 January, 2011. More details are given below. In particular, I'd like to draw your attention to the fact that we are able to provide grants to EU-students for doing their project at the National ICT of Australia (NICTA). Please spread this information as wide as possible among friends and colleagues, at your old universities and the places, where you currently live and work. Many thanks -- Bertram Fronhöfer ------------------------------------------------------------------------------ The European Master's Program in Computational Logic We are glad to announce to you the possibility to join our European Master's Program of Computational Logic. This program is offered jointly at the Free-University of Bozen-Bolzano in Italy, the Technische Universität Dresden in Germany, the Universidade Nova de Lisboa in Portugal and the Technische Universität Wien in Austria. Within this program you have the choice to study at two /three of the four European universities. In addition you can do your project work at the National ICT of Australia (NICTA). You will graduate with a MSc in Computer Science and obtain a double/multiple degree. Information on the universities and the program including the application form are provided here: http://www.emcl-study.eu/home.html Language of instruction is English. Tuition fees are 3.000 EUR (for non-European students) and 1.000 (for European students) per year. In addition, we would like to draw your attention to the ERASMUS-MUNDUS scholarship program. The ERASMUS-MUNDUS consortium offers 2-year scholarships up to 48.000 EUR for non-EU students and up to 23.000 EUR for EU students of our European Master's Program in Computational Logic. More information on the application procedure is available from: http://www.emcl-study.eu/application.html Do not hesitate to contact us again if you have any further questions. Kind regards -- Steffen Hölldobler Prof. Dr. Steffen Hoelldobler International Center for Computational Logic Technische Universität Dresden 01062 Dresden, Germany phone: [+49](351)46 33 83 40 fax: [+49](351)46 33 83 42 email: sh at iccl.tu-dresden.de From CSIE2011CFP at cust.edu.cn Fri Nov 26 18:23:25 2010 From: CSIE2011CFP at cust.edu.cn (Mingfen Li) Date: Sat, 27 Nov 2010 01:23:25 +0800 Subject: Congress on Computer Science & Information Engineering, Jilin, China (EI/ISTP/IEEE Xplore) Message-ID: <490793538.13733@cust.edu.cn> Dear Author, Due to many requests, CSIE 2011 is open for a second round submissions with a deadline 31 December. Submissions in each round will follow its own timetable for review and registration. Authors are encouraged to submit papers in both rounds, but please do not submit papers already submitted to the first round again to the second round. Please forward this announcement to your colleagues/students in your department. Thank you. 2011 2nd World Congress on Computer Science and Information Engineering (CSIE 2011) 17-19 June 2011， Changchun, China http://world-research-institute.org/conferences/CSIE/2011 Call for Papers & Exhibits CSIE 2011 intends to be a global forum for researchers and engineers to present and discuss recent advances and new techniques in computer science and information engineering. Topics of interests include, but are not limited to, data mining & data engineering, intelligent systems, software engineering, computer applications, communications & networking, computer hardware, VLSI, & embedded systems, multimedia & signal processing, computer control, robotics, and automation. All papers in the CSIE 2011 conference proceedings will be indexed in Ei Compendex and ISTP, as well as included in the IEEE Xplore (The previous conference CSIE 2009 has already been indexed in Ei Compendex and included in the IEEE Xplore). IEEE Catalog Number: CFP1160F-PRT. ISBN: 978-1-4244-8361-7. The registration fee of US$410 or CNY 2700 includes lunches, dinners, coffee breaks, and banquet. Changchun is the capital city of Jilin province, situated in the central section of China's northeast region. There are many natural attractions to entertain residents and visitors around Changchun. The grand Changbai Mountain renowned for its spectacular landscape, charming scenery, glamorous legends, as well as rich resources and products, has been praised as the first mountain in the northeast, outstanding as one of the China’s top-ten famous mountains. Other attractions in or around Changchun include Songhua lake (Songhuahu), Jingyue Lake (Jingyuetan), Changchun Movie Wonderland, Changchun Puppet Palace (Weihuanggong), Changchun World Sculpture Park, and Changchun World Landscape Park, etc. Important Dates: Second Round Submission Timetable: Paper Submission Deadline: 31 December 2010 Review Notification: 31 January 2011 Final Paper and Author Registration Deadline: 9 March 2011 First Round Submission Timetable: Paper Submission Deadline: 5 November 2010 Review Notification: 6 December 2010 Final Paper and Author Registration Deadline: 6 January 2011 Contact Information If you have any inquiries, please email us at CSIE2011 at cust.edu.cn Please feel free to forward to others. To unsubscribe, please reply with “unsubscribe event at tu-clausthal.de ” as your email subject. With kind regards, Mingfen Li CSIE 2011 Committee -------------- n?chster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From C.Orasan at wlv.ac.uk Mon Nov 29 17:00:07 2010 From: C.Orasan at wlv.ac.uk (Constantin Orasan) Date: Mon, 29 Nov 2010 16:00:07 +0000 Subject: Final call for applications: Erasmus Mundus Masters in NLP&HLT Message-ID: <1291046407.28571.42.camel@dinel-desktop> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Erasmus Mundus Masters Course - International Masters in NLP and HLT CALL FOR APPLICATIONS students and scholars http://mastermundusnlp-hlt.univ-fcomte.fr/ For applicants requesting a scholarship from the Consortium (category A, B and scholars), the deadline for submitting applications is 15th December 2010. For the other applicants the deadline for submitting applications is 7th June 2011. Category A = non European and special window Category B = European and other than A Other applicants = not requesting a scholarship ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ We invite applications for the Erasmus Mundus MA course on NLP and HLT, organized jointly by Universite de Franche-Comte (France), Universitat Autònoma de Barcelona (Spain), Universidade do Algarve (Portugal) and the University of Wolverhampton (UK). The objective of this Masters Course is to provide education and training of specialists in Language Technologies and their applications and prepare them for careers in the LT industry, research and academia. Students from European or non European countries will be able to select a combination of modules on topics in Linguistics, Translation Studies, Computer Science, and Mathematics, the languages of instruction being those of the country of each partner university. As part of the course, the students will complete a research project jointly supervised by lecturers from the partner universities. During the two-year programme, each student will spend two semesters at one university of his/her choice, and another two at either one or two other universities. After completing the programme, students will receive a multiple Masters degree from the universities they have attended. Up to 20 best EU and non-EU candidates will be offered a grant for the duration of the course. Four grants will also be offered to scholars to come for 3 months in one or 2 of the partner universities. For more information on the course, please visit: http://mastermundusnlp-hlt.univ-fcomte.fr/ -- Dr. Constantin Orasan Senior Lecturer in Computational Linguistics Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton -- Scanned by iCritical. From pascal.hitzler at wright.edu Tue Nov 30 02:20:13 2010 From: pascal.hitzler at wright.edu (Pascal Hitzler) Date: Mon, 29 Nov 2010 20:20:13 -0500 Subject: Semantic Web Journal: Call for Special Issue Proposals Message-ID: <4CF4514D.4010703@wright.edu> Semantic Web Journal: Call for Special Issue Proposals http://www.semantic-web-journal.net Semantic Web research is interdisciplinary in nature. Indeed, progress towards the Semantic Web vision requires the incorporation of fundamental state-of-the-art and future developments from many domains including Computer & Information Science, Cognitive Science, Geographic Information Science, the social sciences, and many more. To establish bridges between these domains, it is thus important to demonstrate what and how they contribute to the Semantic Web vision, and what the Semantic Web can offer in return to these disciplines. Hence, the Semantic Web Journal calls for Special Issue proposals on topics which (a) are within the topical realm of a neighboring domain but (b) contribute directly or indirectly to Semantic Web research. Research published in such special issues should strengthen the in-depth information exchange between disciplines by providing novel and high-quality contributions and at the same time demonstrate the impact on foundational research questions relevant for Semantic Web. While such manuscripts can be written with a specific audience in mind, the key ideas and contributions should be accessible to the broader Semantic web community. Proposals for special issues shall be sent to the Editors-in-Chair (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 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: 10th of January, 2011 Best Regards, Pascal Hitzler. -- 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 From a.artikis at gmail.com Tue Nov 30 09:07:07 2010 From: a.artikis at gmail.com (Alexander Artikis) Date: Tue, 30 Nov 2010 10:07:07 +0200 Subject: Deadline Extension: Applied Artificial Intelligence Special Issue on Event Recognition Message-ID: *New Submission Deadline: December 10 2010* ======================================= Special Issue on Event Recognition Applied Artificial Intelligence Journal ======================================= Users and organisations collect data in various structured and unstructured digital formats, but they cannot fully utilise these data to support content and resource management. It is evident that the analysis and interpretation of the available data needs to be automated, in order for large data volumes to be transformed into operational knowledge. Events are particularly important pieces of knowledge, as they represent activities of special significance both for users and organisations. Therefore, the recognition of events is of utmost importance. Consider, for example, the recognition of trends given user contributions in social Web 2.0 applications, the recognition of attacks on nodes of a computer network given the exchanged TCP/IP messages, the recognition of suspicious trader behaviour given the transactions in a financial market, and the recognition of various types of cardiac arrhythmia given electrocardiograms. We invite quality submissions focusing on various aspects of event recognition, including analysis of video, audio, text and other sensor data, as well as recognition on fused data sources. While we place emphasis on theoretical contributions, we also welcome papers describing interesting applications. Broad topics include: ===================== - Representation languages for event recognition - Algorithms for real-time event recognition - Probabilistic reasoning for event recognition - Machine learning for event recognition - Event recognition architectures - Benchmarks, performance evaluations, and testbeds - Domain-specific deployments of event recognition systems - Multimedia and social media analysis for event recognition - Clustering, concept recognition and multi-modal/fusion techniques - User interaction and interfaces for event navigation, browsing and management Key Dates ========= December 1, 2010 - Submissions July 10, 2011 - Final Decisions Publication - November 2011 Info ==== Email: events2010 at iti.gr Journal web site: http://www.tandf.co.uk/journals/titles/08839514.asp Guest Editors ============= Thomas Winkler, Fraunhofer IAIS, Germany Alexander Artikis, NCSR Demokritos Yiannis Kompatsiaris, CERTH-ITI, Greece Phivos Mylonas, NTUA, Greece From lobrst at mitre.org Tue Nov 30 19:05:28 2010 From: lobrst at mitre.org (Obrst, Leo J.) Date: Tue, 30 Nov 2010 13:05:28 -0500 Subject: Announcement: First IAOA Summer Institute in Applied Ontology, Tuscany, Italy, July 17-23, 2011 Message-ID: <0111C34BD897FD41841D60396F2AD3D304DE6C82D8@IMCMBX2.MITRE.ORG> =============================================== First IAOA Summer Institute in Applied Ontology Firenze, Italy July 17-23, 2011 Topic: Process Ontology and its Applications =============================================== The International Association for Applied Ontology (www.iaoa.org), in cooperation with the Vespucci Initiative (www.vespucci.org), announces its first Summer Institute in Applied Ontology. The IAOA promotes interdisciplinary research and international collaboration at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, and applications of ontological analysis more generally. This first Summer Institute in Applied Ontology will take place July 17-23, 2011, and will focus on the topic of Process Ontology and its applications to the analysis of processes in the human environment, in engineering, and in business. The Summer Institute facilitators will be: Antony Galton (University of Exeter, UK) Michael Gruninger (University of Toronto, Canada) Werner Kuhn (University of Muenster, Germany) David Mark (State University of New York at Buffalo, USA). Venue: Firenze, Italy (see http://vespucci.org/presentation) Accommodation: hotel, bed and breakfast, or camp ground in Fiesole (20 minutes by bus from Firenze; shuttle bus or car to venue) Application: at vespucci.org and www.iaoa.org, starting December 15, 2011 Notification of acceptance: until mid April 2011 (at the latest). Travel grants may be available for participants with special financial needs, if these are stated and justified in the application. Goals and Contents: Understanding processes has become one of the key challenges to society: how much does our climate change, and why? how can deforestation of the Amazon be put under control? how can manufacturing processes be optimized? Process ontology provides the theory, tools, and techniques to analyze processes and to improve the design and use of information systems that support human decisions in dynamic situations. The institute will feature tutorials on ontology, progressing into research discussions and group work on the ontological analysis of processes. Participants will learn to: - apply basic ontological distinctions and formal ontology; - sort out the different kinds of things that go under the name "process"; - identify spatio-temporal patterns underlying processes; - understand implications of choosing between three- and four-dimensionalism - relate existing process ontologies to each other; - specify complex states, processes and events in terms of simpler ones; - design domain-specific process ontologies (e.g. in manufacturing, e-commerce, geography, biology) from more generic ontologies.