From holger.wache at fhnw.ch Sat Nov 1 13:06:14 2008 From: holger.wache at fhnw.ch (Wache,Holger) Date: Sat, 1 Nov 2008 13:06:14 +0100 Subject: =?iso-8859-1?Q?[WM2009]_DEADLINE_EXTENSION_f=FCr_5._Konferenz_Professione?= =?iso-8859-1?Q?lles_Wissensmanagement?= Message-ID: <61D782572FA1864A95B7DD1DE0F7D7B36049BE44B1@MXAMU11.adm.ds.fhnw.ch> **************************************************************** WM2009 5. Konferenz Professionelles Wissensmanagement - Erfahrungen und Visionen - Solothurn, Schweiz 25.-27. März 2009 http://www.wm-konferenz2009.org **************************************************************** ACHTUNG ACHTUNG ACHTUNG ACHTUNG ACHTUNG ACHTUNG Mehrere Workshops haben Ihre Einreichungsfristen verlängert. Schauen Sie unter http://www.wm-konferenz2009.org/workshops.php ob auch Ihr Workshop die Frist verlängert hat. **************************************************************** Die zweijährlich stattfindende Konferenz Professionelles Wissensmanagement will einen breiten integrativen Überblick über die organisatorischen, kulturellen, sozialen und technischen Aspekte des Wissensmanagements liefern. Dabei steht im Mittelpunkt der Konferenz, die verschiedenen Forschungsdisziplinen miteinander zu verbinden und die gesammelten Erfahrungen aus den unterschiedlichen Anwendungsbereichen zu teilen. Wir möchten sowohl Anwender als auch Wissenschaftler nach Solothurn in die Schweiz einladen, um gemeinsam die gesammelten Erfahrungen auszutauschen, die aktuellen Probleme und Herausforderungen zu diskutieren und voneinander zu lernen. Die Teilnehmer sollen sich einen fundierten Überblick über die wichtigsten aktuellen Trends im Wissensmanagement verschaffen können, daher soll die Konferenz viel Raum und Zeit zur Kommunikation bieten. Die diesjährige 5. Konferenz wird von den Fachgruppen Wissensmanagement der Gesellschaft für Informatik e.V. sowie dem Institut für Wirtschaftsinformatik der Fachhochschule Nordwestschweiz veranstaltet. Weitere Informationen finden Sie unter http://www.wm-konferenz2009.org/organisation.php. Das Konferenz-Plakat steht zum Download (PDF) unter http://www.wm-konferenz2009.org/docs/WM2009_Plakat.pdf bereit! Der Konferenzflyer finden Sie zum Download (PDF) unter http://www.wm-konferenz2009.org/docs/WM2009_Flyer.pdf Wir freuen uns, Sie in Solothurn willkommen zu heissen. From hendawson2 at gmail.com Sat Nov 1 18:31:10 2008 From: hendawson2 at gmail.com (Henry Dawson) Date: Sat, 1 Nov 2008 13:31:10 -0400 Subject: MULTICONF-09 call for papers Message-ID: <71ed09fa0811011031j51fea1b4p31672140905c0f70@mail.gmail.com> MULTICONF-09 call for papers The 2009 Multi Conference in Computer Science, Information Technology and Control systems and Computational Science and Computer Engineering (MULTICONF-09) (website: http://www.PromoteResearch.org ) will be held during July 13-16 2009 in Orlando, FL, USA. We invite draft paper submissions. The event consists of the following conferences: · International Conference on Artificial Intelligence and Pattern Recognition (AIPR-09) · International Conference on Automation, Robotics and Control Systems (ARCS-09) · International Conference on Bioinformatics, Computational Biology, Genomics and Chemoinformatics (BCBGC-09) · International Conference on Enterprise Information Systems and Web Technologies (EISWT-09) · International Conference on High Performance Computing, Networking and Communication Systems (HPCNCS-09) · International Conference on Information Security and Privacy (ISP-09) · International Conference on Recent Advances in Information Technology and Applications (RAITA-09) · International Conference on Software Engineering Theory and Practice (SETP-09) · International Conference on Theory and Applications of Computational Science (TACS-09) · International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-09) The website http://www.PromoteResearch.org contains more details. Sincerely Henry Dawson Publicity committee Please forward this email to interested people. Please send an email to the above address if you do not wish to receive further updates on this event. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From icard at stanford.edu Sat Nov 1 22:00:32 2008 From: icard at stanford.edu (Thomas Icard) Date: Sat, 1 Nov 2008 14:00:32 -0700 (PDT) Subject: ESSLLI Student Session -- Call for papers Message-ID: <1070365833.2542101225573232634.JavaMail.root@zm02.stanford.edu> The 2009 ESSLLI Student Session will take place from July 20 to July 31 in Bordeaux, France, as part of the annual European Summer School in Logic, Language, and Information. We hereby invite paper submissions from students in the areas of logic and computation, logic and language, and language and computation for presentation in the oral session or in the poster session. All submissions will be reviewed by three experts in the field, and those selected for presentation will be published in the proceedings. The Student Session is an excellent venue to present work in progress, and also to gain experience presenting one’s research to a wide audience. As in previous years, Springer is offering 500 Euro in textbooks for the best paper award, and 250 Euro in textbooks to each of two runners-up. The deadline for submission is February 1, 2009. For more details, please see the full call for papers: http://www.stanford.edu/~icard/esslli/call From simon.miles at kcl.ac.uk Mon Nov 3 11:18:03 2008 From: simon.miles at kcl.ac.uk (Simon Miles) Date: Mon, 3 Nov 2008 10:18:03 +0000 Subject: AAMAS-09 Call for Industry Track papers Message-ID: (apologies if you receive multiple copies of this call) Call for Industry Track Papers The Eighth International Joint Conference on AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS (AAMAS-09) Budapest, Hungary May 10--15, 2009 http://www.conferences.hu/AAMAS2009/ The AAMAS Conference Industry Track is dedicated to collect, present and discuss contributions reporting on industrial and commercial deployment of software agent technologies and their applications. If you are working to commercialize agent technologies, or developing a real-world applications based on the agent technologies, you are coordially invited to submit papers on your current works, to help people discuss the answer to some of the existing key questions: * Which real-world applications can benefit of agent technology? * What are the main challenges? * How is autonomous agent and multi-agent systems research results contributing to viable business? * What are your experiences in developing real world impact for agent technologies? Novel papers in this general space are strongly encouraged. Topics of interest include but are not limited to: * Experiences gained from commercialization or commercialization attempts. * Return on investment analysis of agent technologies. * Insights into markets appropriate for agent technologies. * Commercial application of agents. * Application case studies. * Agent applications for E-government. * Agent applications for defense or aerospace. * Agent applications for manufacturing, automation, and logistics. * Agent applications for telecommunication, media and entertainment. * Agent applications for health, smart living, ambient intelligence. * Agent applications for bio-technology. * Agent applications for telematics, monitoring and maintenance, and surveillance. * Agent applications for managing large scale infrastrctures. * Other applications of agents, such as in the non-profit sector. * Barriers to adoption or adoption facilitators. What is the Industry Track? --------------------------- The AAMAS Industry Track is a special track at the AAMAS conference that runs in parallel with the regular AAMAS scientific track. The track is dedicated to fostering commercial or real world, impact for agent technologies. The track will feature presentations and demonstrations from industrial and academia participants, giving them an opportunity to showcase the state of the art in agent technology. Accepted papers of the AAMAS Industry Track will be included in the same electrical media (e.g. USB memory) with the main track papers. Hard copies of the proceedings are also available with fee upon request. The Industry Track aims to foster mutually beneficial links between those engaged in foundational scientific research and those working to make autonomous agents and multi-agent systems a commercial reality. How it will be refereed? ------------------------ The submission and reviewing processes for the AAMAS Industry Track will be separated from that of the regular scientific track. Whereas in the regular conference track the overriding refereeing criterion is clearly scientific excellence, the Industry Track focuses primarily on the industrial relevance and technological significance of the contribution. Preference will be given to mature work demonstrating concrete industrial/commercial results and business value. Examples of an "ideal" paper might include: * Significance of problem solved, user needs and use cases; * Technology innovation, why agents are superior to other technologies; * Business case, return of investment analysis; * Deployment scale and adoption. We discourage the submission of purely speculative papers or papers whose primary contribution is scientific. Papers focusing on purely scientific matters should be submitted to the regular conference track, with Description Axis = "Applications". We want your applied business experience with agent technologies. Submissions ----------- Papers should be submitted by email to industrial-track-chairs at aamas09.org Instructions for the submission of The AAMAS Industrial and Applications Track submissions: Submitted papers should be formatted according to AAMAS specifications. AAMAS style guides, as well as templates and style sheets for Microsoft Word, WordPerfect, and LaTeX can be found here. Papers must be 8 pages (regular paper) or 4 pages (short paper), including figures and references, when formatted using the specified style. Papers should be formatted for standard Letter paper size. (i.e. not A4) Overlength papers will be rejected. Notification of receipt of the electronic paper will be mailed to the first author (or designated author) soon after receipt. Please send the contact information and abstract of your paper by plain text before December 7, 2008, midnight (UCT). Last name: First name: Affiliation: Address: E-mail: Keywords: Abstract: In addition to the above, authors are required to submit their electronic papers. The only formats allowed for electronic submission are PostScript or PDF (Adobe's Portable Document Format). Papers will not be accepted in any other format (e.g., MS Word) because of compatibility problems between software versions, machines, and nationalities. However, we strongly encourage the submission in PDF format. We cannot accept title pages or papers submitted by FAX. Electronic paper submissions must arrive no later than: December 14, 2008, midnight UCT. Submissions received after this date will not be considered for review. Policy on Multiple Submissions ------------------------------ The AAMAS 2009 Industry and Applications Track will not accept any paper which, at the time of submission, is under review for or has already been published or accepted for publication in a journal or another conference. Authors are also expected not to submit their papers elsewhere during the AAMAS review period. These restrictions apply only to journals and conferences, not to workshops and similar specialized presentations with a limited audience and no formal proceedings. Review process -------------- Three Industry Track Program Committee members will review each paper. The decision of the Program Committee Chairs will be final and cannot be appealed. Accepted papers will be scheduled for presentation and will be included in the Proceedings. Notification of acceptance or rejection of submitted papers will be mailed to the first author (or designated author) by January 23, 2009. Note that at least one author of each accepted paper is required to register and to attend the conference to present the work. Dates and Instructions ---------------------- - Deadline for paper information December 7, 2008. - Deadline for paper submission December 14, 2008. - Notification of acceptance or rejection January 23, 2009 - Final versions due Approximately February 8, 2009. For more information, contact the track co-chairs at industrial-track-chairs at aamas09.org. Track Co-Chairs --------------- Jeff Bradshaw Florida Institute for Human and Machine Cognition (IHMC), USA Birgit Burmeister Daimler AG Group Research, Germany Akihiko Ohsuga The University of Electro-Communications, Japan Programme Committee ------------------- Andrzej Uszok Florida Institute for Human and Machine Cognition (IHMC), USA Dominic Greenwood Whitestein Technologies, Switzerland Gaku Yamamoto IBM, Japan Giovanni Caire TelecomItalia, Italy Hartwig Baumgärtel University of Applied Sciences Ulm, Germany Ian Dickinson HP Laboratories, UK James Odell Oslo Software, Inc , USA Jeffrey O. Kephart IBM Research, USA Jeremy Baxter Qinetiq, UK Jiming Liu Hong Kong Baptist University, Hong Kong Maarten Sierhuis NASA, USA Michael Berger DocuWare AG, Germany Michael Kerstetter The Boeing Company, USA Michael Pirker Siemens AG, Germany Michal Pechoucek Gerstner Lab/Czech Technical University, Czech Republic Monique Calisti Whitestein Technologies, Switzerland Ning Zhong Maebashi Institute of Technology, Japan Partha S Dutta Rolls-Royce plc, UK Peter Göhner University Stuttgart, Germany Satoru Fujita Hosei University, Japan Satoshi Nishiyama NICT, Japan Shigeo Matsubara Kyoto University, Japan Shigeru Fujita Chiba Institute of Technology, Japan Simon Thompson BT Innovate Intelligent Systems Research Centre,, UK Stefan Kirn Universität Hohenheim, Germany Sven Brückner NewVectors LLC, USA Takahiro Kawamura Toshiba, Japan Tarek El-Bassuny King Fahd University of Petroleum and Mineral, Saudi-Arabia Toshiharu Sugawara Waseda University, Japan -- Dr Simon Miles Agents and Intelligent Systems Group Department of Computer Science Kings College London, UK From fuchs at ifi.uzh.ch Tue Nov 4 12:19:57 2008 From: fuchs at ifi.uzh.ch (Norbert E. Fuchs) Date: Tue, 4 Nov 2008 12:19:57 +0100 Subject: Final Call for Submissions: CNL 2009 Workshop on Controlled Natural Languages (extended deadline) Message-ID: <2106E50E-29B8-4B3F-B5B7-1B9F717D87E6@ifi.uzh.ch> ********************************************************************** Final Call for Submissions CNL 2009 Workshop on Controlled Natural Languages http://attempto.ifi.uzh.ch/site/cnl2009/ Location: Marettimo Island, Sicily (Italy) Workshop date: 8-10 June 2009 Extended submission deadline: 23 November 2008 Change: Extended abstracts will be published before the workshop as CEUR Workshop Proceedings (http://ceur-ws.org) for improved visibility and publication status. (As before, full papers will be published after the workshop by Springer in their LNCS/LNAI series.) ********************************************************************** From fmics2009 at dsic.upv.es Tue Nov 4 11:40:17 2008 From: fmics2009 at dsic.upv.es (FMICS 2009 workshop chair) Date: Tue, 04 Nov 2008 11:40:17 +0100 Subject: FMICS 2009: First Call for Papers Message-ID: <49102691.9070604@dsic.upv.es> FMICS 2009 - FIRST CALL FOR PAPERS Please visit: http://www.dsic.upv.es/workshops/fmics2009 ************************************************** * 14th International Workshop on * * Formal Methods for Industrial Critical Systems * * FMICS 2009 * * * * November 2-3, 2009 * * Eindhoven, The Netherlands * ************************************************** IMPORTANT DATES --------------- Deadline for abstracts: 1st April Deadline for papers: 7 April Accept/Reject notification: 15 June Camera-ready version: 15 July Workshop: 2-3 November SCOPE OF THE WORKSHOP --------------------- The aim of the ERCIM FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops bring together scientists and engineers that are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications. Topics include, but are not restricted to: - Design, specification, code generation and testing based on formal methods. - Methods, techniques and tools to support automated analysis, certification, debugging, learning, optimization and transformation of complex, distributed, real-time systems and embedded systems. - Verification and validation methods that address shortcomings of existing methods with respect to their industrial applicability (e.g., scalability and usability issues). - Tools for the development of formal design descriptions. - Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions. - Impact of the adoption of formal methods on the development process and associated costs. - Application of formal methods in standardization and industrial forums. INVITED SPEAKERS ---------------- To be announced CO-CHAIRS --------- Maria Alpuente (Technical University of Valencia, Spain) Byron Cook (Microsoft Research, UK) PROGRAM COMMITTEE ------------------- Hassan Ait-Kaci (Ilog, Canada) Maria Alpuente (Technical University of Valencia, Spain) Thomas Arts (IT-Universitetet i Goteborg, Sweden) Demis Ballis (Universita degli Studi di Udine, Italy) Josh Berdine (Microsoft Research, UK) Lubos Brim (Masarykova Univerzita, Czech Republic) Darren Cofer (Rockwell Collins, USA) Byron Cook (Microsoft Research, UK) Patrick Cousot (Ecole Normale Superieure, France) Santiago Escobar (Technical University of Valencia, Spain) Azadeh Farzan (University of Toronto, Canada) Hubert Garavel (INRIA Rhone-Alpes, France) Stefania Gnesi (ISTI-CNR, Italy) Alexey Gotsman (University of Cambridge, UK) Holger Hermanns (Universitat des Saarlandes, Germany) Christophe Joubert (Technical University of Valencia, Spain) Daniel Kroening (ETH Zurich, Switzerland) Michael Leuschel (Heinrich-Heine-Universitat Dusseldorf, Germany) Pedro Merino (Universidad de Malaga, Spain) Juan Jose Moreno-Navarro (Universidad Politecnica de Madrid, Spain) Corina Pasareanu (NASA Ames Research Center, USA) Jaco van de Pol (Universiteit Twente, The Netherlands) Murali Rangarajan (Honeywell, USA) Jakob Rehof (Technische Universitat Dortmund, Germany) Andrey Rybalchenko (Max-Planck-Gesellschaft, Germany) Marcel Verhoef (Chess, The Netherlands) Martin Wirsing (Ludwig-Maximilians-Universitat Munchen, Germany) Hongseok Yang (Queen Mary, University of London, UK) Greta Yorsh (IBM T.J. Watson Research Center, USA) ERCIM FMICS WG COORDINATOR -------------------------- Alessandro Fantechi (Universita degli Studi di Firenze and ISTI-CNR, Italy) WORKSHOP CHAIR -------------- Christophe Joubert (Technical University of Valencia, Spain) PAPER SUBMISSIONS ----------------- Submissions must be made electronically. Papers should be up to 16 pages in LNCS format, with the names and affiliations of the authors and a clear and informative abstract. Additional details may be included in a clearly marked appendix, which will be read at the discretion of the program committee. All submissions must report on original research. Submitted papers must not have previously appeared in a journal or conference with published proceedings and must not be concurrently submitted to any other peer-reviewed workshop, symposium, conference or archival journal. Any partial overlap with any such published or concurrently submitted paper must be clearly indicated. Case study papers should identify lessons learned, validate theoretical results (such as scalability of methods), or provide specific motivation for further research and development. Publication of the workshop proceedings in the Springer series Lecture No tes in Computer Science (LNCS) is envisaged. CO-LOCATION ----------- FMICS 2009 is part of the first Formal Methods Week (FMweek), which will bring together a choice of events in the area, including FM 2009 (16th symposium on Formal Methods), TESTCOM/FATES (conference on Testing of Communicating Systems and workshop on Formal Approaches to Testing of Software), FORMATS (Formal Modelling and Analysis of Timed Systems), PDMC (Parallel and Distributed Methods of verifiCation), and the REFINE Workshop. For the latest information on FMweek, please visit http://www.win.tue.nl/fmweek. From amilcar at dei.uc.pt Tue Nov 4 21:10:05 2008 From: amilcar at dei.uc.pt (=?UTF-8?Q?=22F._Am=C3=ADlcar_Cardoso=22?=) Date: Tue, 4 Nov 2008 20:10:05 +0000 Subject: CFP: NAACL-2009 Wshp on Computational Approaches to Linguistic Creativity (CALC-09) Message-ID: <1B1376BC-791C-4751-B81E-0AC583F63D5E@dei.uc.pt> [Sorry for cross-posting] Workshop on Computational Approaches to Linguistic Creativity CALC-09 ======= In conjunction with NAACL HLT 2009 in Boulder, Colorado, June 4 or 5, 2009 http://aclweb.org/aclwiki/index.php?title=CALC-09 Workshop Description ==================== It is generally agreed upon that "linguistic creativity" is a unique property of human language. Some claim that linguistic creativity is expressed in our ability to combine known words in a new sentence, others refer to our skill to express thoughts in figurative language, and yet others talk about syntactic recursion and lexical creativity. For the purpose of this workshop, we treat the term "linguistic creativity" to mean "creative language usage at different levels", from the lexicon to syntax to discourse and text (see also topics, below). The recognition of instances of linguistic creativity and the computation of their meaning constitute one of the most challenging problems for a variety of Natural Language Processing tasks, such as machine translation, text summarization, information retrieval, question answering, and sentiment analysis. Computational systems incorporating models of linguistic creativity operate on different types of data (including written text, audio/speech/sound, and video/images/gestures). New approaches might combine information from different modalities. Creativity-aware systems will improve the contribution Computational Linguistics has to offer to many practical areas, including education, entertainment, and engineering. Within the scope of the workshop, the event is intended to be interdisciplinary. Besides contributions from an NLP perspective, we also welcome the participation of researchers who deal with linguistic creativity from different perspectives, including psychology, neuroscience, or human-computer interaction. Topics ====== We are particularly interested in work on the automatic detection, classification, understanding, or generation of: * neologisms; * figurative language, including metaphor, metonymy, personification, idioms; * new or unconventional syntactic constructions ("May I serve who's next?") and constructions defying traditional parsers (e.g. gapping: "Many words were spoken, and sentiments expressed"); * indirect speech acts (such as curses, insults, sarcasm and irony); * verbally expressed humor; * poetry and fiction; * and other phenomena illustrating linguistic creativity. Depending on the state of the art of approaches to the various phenomena and languages, preference will be given to work on deeper processing (e.g., understanding, goal-driven generation) rather than shallow approaches (e.g., binary classication, random generation). We also welcome descriptions and discussions of: * computational tools that support people in using language creatively (e.g. tools for computer-assisted creative writing, intelligent thesauri); * computational and/or cognitive models of linguistic creativity; * metrics and tools for evaluating the performance of creativity-aware systems; * specific application scenarios of computational linguistic creativity; * design and implementation of creativity-aware systems. Related topics, including corpora collection, elicitation, and annotation of creative language usage, will also be considered, as long as their relevance to automatic systems is clearly pointed out. Invited Speaker =============== Nick Montfort, MIT Submissions =========== Submissions should describe original, unpublished work. Papers are limited to 8 pages. No author information should be included in the papers, since reviewing will be blind. Papers not conforming to these requirements are subject to rejection without review. Papers should be submitted via START; more information on this will be made available on the workshop homepage, http://aclweb.org/aclwiki/index.php? title=CALC-09. We encourage submissions from everyone. For those how are new to ACL conferences and workshops, or with special needs, we are planning to set up a lunch mentoring program. Let us know if you are interested. Also, a limited number of student travel grants might become available, intended for individuals with minority background and current residents of countries where conference travel funding is usually hard to find. Important Dates =============== * Feb 27, 2009: Deadline for paper submissions * Mar 30, 2009: Notification of paper acceptances * Apr 12, 2009: Camera-ready copies due * June 4 or June 5, 2009: CALC-09 workshop at NAACL HLT 2009 Organizers ========== * Anna Feldman, Montclair State University (anna.feldman at montclair.edu) * Birte Loenneker-Rodman, International Computer Science Institute (loenneke at icsi.berkeley.edu) Program Committee ================= * Shlomo Argamon, Illinois Institute of Technology; * Roberto Basili, University of Roma, Italy; * Amilcar Cardoso, University of Coimbra, Portugal; * Afsaneh Fazly, University of Toronto, Canada; * Eileen Fitzpatrick, Montclair State University; * Pablo Gervas, Universidad Complutense de Madrid, Spain; * Sam Glucksberg, Princeton University; * Jerry Hobbs, ISI, Marina del Rey; * Sid Horton, Northwestern University; * Diana Inkpen, University of Ottawa, Canada; * Mark Lee, Birmingham, UK; * Hugo Liu, MIT; * Xiaofei Lu, Penn State; * Ruli Manurung, University of Indonesia; * Katja Markert, University of Leeds, UK; * Rada Mihalcea, University of North Texas; * Anton Nijholt, University of Twente, The Netherlands; * Andrew Ortony, Northwestern University; * Vasile Rus, The University of Memphis; * Richard Sproat, University of Illinois at Urbana-Champain; * Gerard Steen, Vrije Universiteit, Amsterdam, The Netherlands; * Carlo Strapparava, Istituto per la Ricerca Scientifica e Tecnologica, Trento, Italy; * Juergen Trouvain, Saarland University, Germany. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ilona.zaremba at sti2.at Fri Nov 7 17:10:35 2008 From: ilona.zaremba at sti2.at (Ilona Zaremba) Date: Fri, 07 Nov 2008 17:10:35 +0100 Subject: CALL FOR PAPERS: International Journal of Knowledge Engineering and Data Mining (IJKEDM), Special Issue on: "Incentives for Semantic Content Creation" Message-ID: <4914687B.9050207@sti2.at> ====== Call For Papers ====== International Journal of Knowledge Engineering and Data Mining (IJKEDM) Special Issue on: "Incentives for Semantic Content Creation" Guest Editors : Elena Simperl and Katharina Siorpaes, University of Innsbruck, Austria Denny Vrandecic, Universität Karlsruhe, Germany https://www.inderscience.com/browse/callpaper.php?callID=1066 "The Semantic Web is not a separate Web but an extension of the current one, in which information is given well-defined meaning, better enabling computers and people to work in cooperation.” Berners-Lee et al., The Semantic Web, Scientific American, 2001. Soon a decade will have passed since the publication of this article, but the original vision of the Semantic Web still remains to a large extent unrealised. Web-scale automated computer interaction and intelligent information processing technology producing added value for humans still have to become reality. Nevertheless, the Semantic Web community, academia as well as industry, were very active during the past decade and their efforts resulted in a wide range of maturing methodologies, methods, and tools for creating, processing, managing and using semantic content, be that ontologies or RDF data. A critical mass of useful semantic content is, however, missing; one can only find very few, well-maintained and up-to-date domain ontologies on the Web and even though recently growing, the amount of RDF data publicly available is limited compared to the size of the traditional Web. One reason for this state of affairs is the lack of user involvement in semantic content creation tasks. Only a small number of Web users, typically members of the Semantic Web community, annotate their Web resources semantically or build and publish ontologies. This is a sharp contrast to several Web 2.0 applications, such as Wikipedia, Del.icio.us, Flickr, YouTube, Facebook or LinkedIn, which exhibit great popularity and user involvement and generate huge amounts of data at comparatively low costs and impressively high quality. To encourage large-scale user participation, the Semantic Web community has to look into incentive structures and means to motivate humans to become part of the Semantic Web movement and to contribute their knowledge and time to create useful ontologies and to use these in annotating documents, images, videos or even Web services. In this special issue, we aim to present approaches that tackle the incentive bottleneck in semantic content creation. In particular we are looking for high quality research papers describing the way humans can be effectively involved in the development of useful ontologies, and the generation of massive amounts of RDF annotations of resources. ================ Subject Coverage ================ Topics of interest for the prospective special issue include, but are not limited to: * Motivations and incentives of several Web 2.0 applications and their application and applicability to the Semantic Web and semantic applications. * Incentive structures both within enterprise intranets and the open Web and their semantic extensions. * Games with a purpose for the creation of semantic content, ontologies as well as RDF data. * Tools and applications exploiting collective intelligence and the "Wisdom of Crowds" in the context of semantic technologies, and their respective incentive structures. * Community-driven semantic applications. * Empirical studies on the usage of Web 2.0 principles to encourage large-scale user participation in Semantic Web-related tasks. * Instruments to derive and estimate the value of semantic technologies from quantitative and qualitative criteria. * Experience reports and models of the benefits of semantic technologies. ============================= Notes for Prospective Authors ============================= Submitted papers should not have been previously published nor be currently under consideration for publication elsewhere. All papers are refereed through a peer review process. A guide for authors, sample copies and other relevant information for submitting papers are available on the Author Guidelines page: http://www.inderscience.com/mapper.php?id=31 =============== Important Dates =============== Paper submission: 30 March, 2009 Acceptance notification: 31 May, 2009 Camera ready papers due: 22 June, 2009 ================= Editors and Notes ================= You may send one copy in the form of an MS Word file attached to an e-mail (details in Author Guidelines: http://www.inderscience.com/mapper.php?id=31) containing the subject line "Submission – IJKEDM Special Issue on Incentives for Semantic Content Creation" to the following email address: incentives_specialissue at sti2.at with a copy to: Editorial Office E-mail: editorial at inderscience.com Please include in your submission the title of the Special Issue, the title of the Journal and the name of the Guest Editor. From admmk09 at easychair.org Fri Nov 7 22:40:38 2008 From: admmk09 at easychair.org (admmk09 at easychair.org) Date: Fri, 7 Nov 2008 22:40:38 +0100 Subject: CFP: Special Issue Authoring, Digitalization and Management of Mathematical Knowledge Message-ID: <200811072140.mA7LecYi032097@dave.dfki.uni-sb.de> [Apologies for multiple copies] Call for Papers Mathematics in Computer Science Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge http://www.dfki.de/~serge/admmk09 Guest editors: Serge Autexier, Petr Sojka, Masakazu Suzuki This special issue is devoted to the topics of the seventh International Conference on Mathematical Knowledge Management (MKM'08) and the workshop on Digital Mathematics Libraries (DML'08) which took place in July 2008 in Birmingham, UK. Topics of interest include * Representations of mathematical knowledge * Repositories of formalized mathematics * Mathematical digital libraries * Diagrammatic representations * Multi-modal representations * Mathematical OCR * Deduction systems * Mathematical assistants, tutoring and assessment systems * Authoring languages and tools * MathML, OpenMath, and other mathematical content standards * Web presentation of mathematics * Data mining, discovery, theory exploration * Collaboration tools for mathematics * Search, indexing and retrieval of mathematical documents * Ranking of mathematical papers, similarity of mathematical documents * Mathematical document compression * Processing of scanned images * Algorithms for crosslinking of bibliographical items, intext citations search * Mathematical document classification, MSC 2010 * Mathematical text mining * Inference of semantics for semi-formalized mathematics * Mathematical documents metadata * Long term archiving, data migration * Mathematical publishing with long term archival goal * Handwritten formulae recognition * Recognition and search of mathematical diagrams * E-learning of mathematics Potential contributors may also contact the guest editors to discuss suitability of topics and papers. SUBMISSION GUIDELINES Submission to this special issue is completely open. We expect original articles (typically 15-30 pages) that present high-quality contributions that have not been previously published in an archival venue and that must not be simultaneously submitted for publication elsewhere. Submissions must comply with MCS' author guidelines (http://www.cc4cm.org/mcs/), be written in English, and be formatted using LaTeX. All submitted papers will be refereed according to the usual MCS refereeing process. Submission to this special issue is hereby encouraged via the EasyChair submission system (see URL below). To aid planning and organization, an early e-mail of intent to submit a paper (including author information, and a tentative title and abstract) would be appreciated. IMPORTANT DATES: Submission deadline: 5 January 2009 Notification of acceptance/rejection: 6 March 2009 Submission of revised versions: 17 April 2009 Final notification of acceptance/rejection: 8 May 2009 Submission of camera-ready copies: 29 May 2009 USEFUL ADDRESSES Special issue website: http://www.dfki.de/~serge/admmk09 Submission webpage: http://www.easychair.org/conferences/?conf=admmk09 Guest editors' email address: admmk09 at easychair.org Journal MCS webpage: http://www.cc4cm.org/mcs MKM'08 conference website: http://events.cs.bham.ac.uk/cicm08/mkm08 DML'08 workshop website: http://www.fi.muni.cz/~sojka/dml-2008.xhtml From G.Brewka at t-online.de Sat Nov 8 11:40:24 2008 From: G.Brewka at t-online.de (Gerhard Brewka) Date: Sat, 8 Nov 2008 11:40:24 +0100 Subject: Open position in Knowledge Representation at Leipzig University (German required) Message-ID: <6C7158389E524502BAD275019DF71BBB@DELL> The Intelligent Systems Group at Leipzig University, led by Gerhard Brewka, invites applications for an open position in the area of Knowledge Representation (Wissenschaftliche/r Mitarbeiter/in 13 TV-L). German language skills are required as the position involves some teaching. The position is for 3 years, with the possibility of an extension after that period. Applications from candidates planning to do a PhD as well as from postdocs are welcome. For further information please contact brewka at informatik.uni-leipzig.de. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From simon.miles at kcl.ac.uk Sat Nov 8 15:15:16 2008 From: simon.miles at kcl.ac.uk (Simon Miles) Date: Sat, 8 Nov 2008 14:15:16 +0000 Subject: AAMAS-09 Final Call for Tutorials Message-ID: (apologies if you receive multiple copies of this call) Final Call for Tutorial Proposals Eighth International Joint Conference on AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS 2009) Budapest, Hungary May 10-15, 2009 http://www.conferences.hu/AAMAS2009/ The AAMAS-09 Organizing Committee invites proposals for the Tutorial Program, to be held on May 10--12, immediately before to the technical conference. AAMAS-09 Tutorials should serve one or more of the following objectives: * Introduce novices to major topics of AAMAS research. * Provide instruction in established practices and methodologies. * Survey a mature area of AAMAS research or practice. * Motivate and explain an AAMAS topic of emerging importance. * Introduce expert non-specialists to an AAMAS area. * Survey an area of agent research especially relevant for people from industry Submission Requirements: ------------------------ Proposals should be two to four pages in length, and should contain the following information: * A brief description of the tutorial, suitable for inclusion in the conference registration brochure. * A detailed outline of the tutorial, including preferred length (half or full day). * Characterization of the potential target audience for the tutorial, including prerequisite knowledge. * A description of why the tutorial topic would be of interest to a substantial part of the AAMAS audience. * A brief resume of the presenter(s), which should include name, postal address, phone and fax numbers, e-mail address, background in the tutorial area, any available example of work in the area (ideally, a published tutorial-level article on the subject), evidence of teaching experience (including references that address the proposer's presentation skills), and evidence of scholarship in the area. * The name and e-mail address of the corresponding presenter. The corresponding presenter should be available for e-mail correspondence during the evaluation process, in the case clarifications and discussions on the scope and content of the proposal are needed. The evaluation of the proposal will take into account its general interest for AAMAS attendees, the quality of the proposal as well as the expertise and skills of the presenters. We emphasize that the primary criteria for evaluation will be whether a proposal is interesting, well-structured, and motivated, rather than the perceived experience/standing of the proposer. Those submitting a proposal should keep in mind that tutorials are intended to provide an overview of the field; they should present reasonably well established information in a balanced way. Tutorials should not be used to advocate a single avenue of research, nor should they promote a product. The selection of the tutorials to be included in the final AAMAS program will be based upon a number of factors, including: the scientific/technical interest of the topics, the quality of the proposal, the need to avoid strictly overlapping tutorials, and the unavoidable need to limit the overall number of selected tutorials. Responsibilities (with respect to accepted proposals): ----------------------------------------------------- AAMAS will be responsible for: * Providing logistic support and a meeting place for the tutorial. * Together with the organizers, determining the tutorial date and time. * Duplicating tutorial material and distributing them to the participants. Tutorial organizers will be responsible for: ---------------------------------------------------------- * Providing AAMAS with a legible PDF copy of their tutorial notes by February 6, 2009. * Presenting the tutorial at AAMAS-09. AAMAS reserves the right to cancel any tutorial if the above responsibilities are not fulfilled, if deadlines are missed, or if too few attendees register for the tutorial to support the costs of running the tutorial. Important Dates: ---------------- November 14, 2008: Tutorial Proposal Submission Deadline December 5, 2008: Tutorial Acceptance Notifications February 6, 2009: Deadline for submitting tutorial materials May 10--12, 2009: AAMAS-2009 Tutorials Submissions and Inquiries: -------------------------- Proposals and inquiries should be sent by email (in ASCII) to the tutorials chair: Mehdi Dastani Intelligent Systems Group Utrecht University mehdi at cs.uu.nl -- Dr Simon Miles Agents and Intelligent Systems Group Department of Computer Science Kings College London, UK From vani.martinez at gmail.com Fri Nov 7 21:13:01 2008 From: vani.martinez at gmail.com (Vanina Martinez) Date: Fri, 7 Nov 2008 15:13:01 -0500 Subject: WARNING! (3719507425) In-Reply-To: References: Message-ID: On Fri, Nov 7, 2008 at 3:09 PM, event administration < event-subscribe at in.tu-clausthal.de> wrote: > This is an automated message from the > mailing list manager > > List messages sent to your address have bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 3719507425, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > > -- Maria Vanina Martinez Department of Computer Science UMCP University of Maryland Institute for Advanced Computer Studies (UMIACS) College Park, MD 20742 USA Ph: 301.405.1765 Fax: 301.405.6707 Web Page http://www.cs.umd.edu/~mvm -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From calimeri at mat.unical.it Tue Nov 11 12:16:24 2008 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Tue, 11 Nov 2008 12:16:24 +0100 Subject: PhD Positions in Informatics available at University of Calabria Message-ID: <872bf010811110316w5ea12b05oe177542d521aa5a4@mail.gmail.com> University of Calabria (Italy) Two Ph.D. Positions available for non-Italian citizens at the Doctoral Program in Mathematics and Informatics ==================================================================== The University of Calabria invites applications of non-Italian citizens for 2 Ph.D. scholarships for the 2009 class of the Doctoral Program in Mathematics and Informatics. The Program has been activated by the Department of Mathematics (www.mat.unical.it), which is one of the largest departments of the University of Calabria. The Ph.D. period will be 3 years. The University of Calabria will provide one successful candidate with a grant, of about EUR 1050,00 per month. For all the successful candidates, the University of Calabria is also likely to cover living expenses (mensa + accommodation in the campus). Ph.D. positions are offered in a pleasant working environment with excellent possibilities for professional development. Successful candidates in Informatics (with projects focused on AI and Computational Logics) will join the Database and Artificial Intelligence group of the Department of Mathematics. The group has deep knowledge in several AI areas, which are investigated with respect to their theoretical aspects and their formal foundations as well as with the respect to the design of practical applications most often carried out in tight cooperation with industrial partners. In particular, members of the group conduct high-level research in the development of innovative infrastructure for knowledge representation and reasoning, and have achieved important results in developing non-monotonic reasoning systems. Requirements ============ Only non-Italian citizens (from within European Community as well as from outside) are allowed to submit. The required qualification for being eligible for the program is a Master's Degree, or equivalent. A three-year degree is not sufficient. Applications ============ We are looking for highly-motivated, dedicated candidates that are interested in research in Informatics or Mathematics. Candidates are requested to: - Fill in the online form available at http://unical.ugmanager.it/ - Send a notice of the application to leone at mat.unical.it, and annex the following deliverables: (1) Curriculum Vitae (conforming to the template available at https://www.mat.unical.it/dottorato/Admissions) (2) Research project (3 pages max) (3) Presentation letter (2 pages max) (4) List of passed university exams, with scores The deadline is 2008-12-04 (December 4th, 2008), 12:00 CET. Contacts ======== To get in contact with the Department of Mathematics, send an email to: Prof. Nicola Leone Department of Mathematics, University of Calabria Ponte P. Bucci, cubo 30b I-87036 Rende (CS), Italy Email: leone at mat.unical.it Phone: +39 0984 49 6433 Fax : +39 0984 49 6410 To get in touch with the current PhD students, see . ==================================================================== For further information, please refer to: https://www.mat.unical.it/phd From calimeri at mat.unical.it Tue Nov 11 17:19:30 2008 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Tue, 11 Nov 2008 17:19:30 +0100 Subject: PhD Positions in Informatics available at University of Calabria Message-ID: <017301c94419$46928b50$d3b7a1f0$@unical.it> University of Calabria (Italy) Two Ph.D. Positions available for non-Italian citizens at the Doctoral Program in Mathematics and Informatics ==================================================================== The University of Calabria invites applications of non-Italian citizens for 2 Ph.D. scholarships for the 2009 class of the Doctoral Program in Mathematics and Informatics. The Program has been activated by the Department of Mathematics (www.mat.unical.it), which is one of the largest departments of the University of Calabria. The Ph.D. period will be 3 years. The University of Calabria will provide one successful candidate with a grant, of about EUR 1050,00 per month. For all the successful candidates, the University of Calabria is also likely to cover living expenses (mensa + accommodation in the campus). Ph.D. positions are offered in a pleasant working environment with excellent possibilities for professional development. Successful candidates in Informatics (with projects focused on AI and Computational Logics) will join the Database and Artificial Intelligence group of the Department of Mathematics. The group has deep knowledge in several AI areas, which are investigated with respect to their theoretical aspects and their formal foundations as well as with the respect to the design of practical applications most often carried out in tight cooperation with industrial partners. In particular, members of the group conduct high-level research in the development of innovative infrastructure for knowledge representation and reasoning, and have achieved important results in developing non-monotonic reasoning systems. Requirements ============ Only non-Italian citizens (from within European Community as well as from outside) are allowed to submit. The required qualification for being eligible for the program is a Master's Degree, or equivalent. A three-year degree is not sufficient. Applications ============ We are looking for highly-motivated, dedicated candidates that are interested in research in Informatics or Mathematics. Candidates are requested to: - Fill in the online form available at http://unical.ugmanager.it/ - Send a notice of the application to leone at mat.unical.it, and annex the following deliverables: (1) Curriculum Vitae (conforming to the template available at https://www.mat.unical.it/dottorato/Admissions) (2) Research project (3 pages max) (3) Presentation letter (2 pages max) (4) List of passed university exams, with scores The deadline is 2008-12-04 (December 4th, 2008), 12:00 CET. Contacts ======== To get in contact with the Department of Mathematics, send an email to: Prof. Nicola Leone Department of Mathematics, University of Calabria Ponte P. Bucci, cubo 30b I-87036 Rende (CS), Italy Email: leone at mat.unical.it Phone: +39 0984 49 6433 Fax : +39 0984 49 6410 To get in touch with the current PhD students, see . ==================================================================== For further information, please refer to: https://www.mat.unical.it/phd From fcalimeri at gmail.com Tue Nov 11 17:19:26 2008 From: fcalimeri at gmail.com (Francesco Calimeri) Date: Tue, 11 Nov 2008 17:19:26 +0100 Subject: PhD Positions in Informatics available at University of Calabria In-Reply-To: References: <872bf010811110316w5ea12b05oe177542d521aa5a4@mail.gmail.com> Message-ID: <872bf010811110819mbd7d9adhce55ade373945cfc@mail.gmail.com> done. thank you very much. :) ciao, Francesco On Tue, Nov 11, 2008 at 4:16 PM, Administrator of mailing lists of CIG wrote: > event at in.tu-clausthal.de From zeynep at cs.unibo.it Wed Nov 12 13:52:58 2008 From: zeynep at cs.unibo.it (Zeynep Kiziltan) Date: Wed, 12 Nov 2008 13:52:58 +0100 (CET) Subject: KES-AMSTA 2009-DEADLINE EXTENDED In-Reply-To: <1362.130.136.2.75.1222939662.squirrel@ssl.cs.unibo.it> References: <1453.130.136.2.75.1221639296.squirrel@ssl.cs.unibo.it> <20080917215250.wz4vb6ac9wsggw0o@webmail5.uu.se> <2468.130.136.2.75.1221726927.squirrel@ssl.cs.unibo.it> <20080918205108.cb1hcjabggsskk4c@webmail5.uu.se> <2629.130.136.2.75.1221812319.squirrel@ssl.cs.unibo.it> <1362.130.136.2.75.1222939662.squirrel@ssl.cs.unibo.it> Message-ID: <3064.130.136.2.75.1226494378.squirrel@ssl.cs.unibo.it> ****** Apologies for multiple postings ******* * please distribute to interested colleagues * *************************************************************************** CALL FOR PAPERS The 3rd KES International Symposium on AGENTS AND MULTI-AGENT SYSTEMS - TECHNOLOGIES AND APPLICATIONS (KES-AMSTA-09) Uppsala, Sweden June 3 - June 5, 2009 =========================================================================== SUBMISSION DEADLINE EXTENDED TO NOVEMBER 30 =========================================================================== http://amsta-09.kesinternational.org/ INTRODUCTION KES-AMSTA-2009 is an international scientific symposium for research in the field of agent and multi-agent systems. The aim of the symposium is to provide an internationally respected forum for scientific research in the technologies and applications of agent and multi-agent systems. Agents and multi-agent systems are related to a modern software paradigm which has long been recognized as a promising technology for constructing autonomous, complex and intelligent systems. This symposium will provide and excellent opportunity for researchers to discuss modern approaches and techniques for agent and multi-agent systems and their applications. KES-AMSTA-2009 is organized by KES International and Uppsala University, Sweden, and will take place in Uppsala. IMPORTANT DATES Submission of papers: EXTENDED 30 Nov. 2008 Notification of acceptance: 10 Jan. 2009 Final papers to be received: 1 Feb. 2009 Authors / Early registration: 16 Feb. 2009 Symposium: 4 Jun - 5 Jun 2009 TOPICS OF INTEREST Agent Systems: Formal models of agency. Agent architectures. BDI architecture. Learning, evolution, and adaptation. Perception and action. Communication: languages, semantics, pragmatics, protocols, and conversations. Knowledge representation Computational complexity. Autonomous or humanoid robots. Social robots and robot teams. Autonomy aspect. Cognitive models, including emotions and philosophies. Embodied and believable agents. Emergent behaviour. Ontologies. Multi-agent Systems: Cooperative distributed problem solving. Task and resource allocation. Mechanism design, auctions, and game theory. Modelling other agents and self. Multi-agent planning. Negotiation protocols. Multi-agent learning. Conflict resolution. Trust and reputation management. Privacy, safety and security. Scalability, robustness and dependability. Social and organizational structures. Verification and validation. Novel computing paradigms (autonomic, grid, P2P, ubiquitous computing). Brokering and matchmaking. Agent-oriented software engineering, including implementation languages and frameworks. Mobile agents. Per-formance, scalability, robustness, and dependability. Verification and validation. E-business agents. Pervasive computing. Privacy, safety, and security. Tools and Applications: Simulation systems. Web services and service-oriented computing. Artificial social systems. Autonomic computing. Case studies and reports on deployments. Computational infrastructures. Information retrieval. Web services and semantic web. E-learning sys-tems. E-institutions. E-commerce. INFORMATION FOR AUTHORS Papers are invited from prospective authors with interests on the indicated symposium topics and related areas of application. All contributions should be original and not published elsewhere or intended to be published during the review period. Contributions from more applied related fields in industry and commerce are very welcome. All accepted papers must be presented by one of the authors who must register for the conference and pay the fee. To ensure high quality, all papers will be thoroughly reviewed by the KES-AMSTA-09 International Programme Committee. The symposium proceedings are planned to be published by Springer-Verlag in LNCS/LNAI series (subject to confirmation). Submitted papers should be prepared in LNCS/LNAI style and should not exceed 10 pages. Extended versions of selected papers will be considered for publication in special issues to be included in several journals indexed by ISI, KES Journal and Int. Journal of Intelligent Information and Database Systems. Ph.D. students are invited to submit papers to Doctoral Track. Special sessions are also welcome. POST-CONFERENCE PUBLICATION A selected number of accepted and personally presented papers will be expanded and revised for possible inclusion in special issues for the following prestigious international journals and books: - Knowledge and Information Systems: An International Journal (Springer, ISI/SCI indexed) - International Journal of Software Engineering and Knowledge Engineering (Springer, ISI/SCI indexed) - Journal of Universal Computer Science (Graz University, ISI/SCI indexed) - Journal of Intelligent & Fuzzy Systems 17(3) (IOS Press, ISI/SCI indexed) - International Journal of Intelligent Information and Databse Systems (Inderscience, EI, Inspec, DBLP indexed) - Edited book (title will be announced later), to be published by Springer in series Studies in Computational Intelligence - Edited book (title will be announced later) to be published by IGI Global Publishers in series Computational Intelligence and its Applications Note that only papers personally presented at the symposium will be considered for invitation to the special issues and books. PAPER SUBMISSION AND PUBLICATION The symposium proceedings are planned to be published by Springer-Verlag in LNCS/LNAI series (subject to confirmation). Submitted papers should be prepared in LNCS/LNAI style and should not exceed 10 pages. Extended versions of selected papers will be considered for publication in special issues to be included in several journals indexed by ISI, KES Journal and Int. Journal of Intelligent Information and Database Systems. Ph.D. students are invited to submit papers to Doctoral Track. Special sessions are also welcome. ORGANIZATION COMMITTEES Honorary Chair: L. Magnusson, Uppsala University, Sweden General Co-Chairs: A. Håkansson, Uppsala University, Sweden and N.T. Nguyen, Wroclaw University of Technology, Poland Executive Chair: R.J. Howlett, University of Brighton, UK Program Co-Chairs: R.L. Hartung, Franklin University, USA, and D. Sharma, Canberra University, Australia Local Organizing Chair: T. Palm, Uppsala University, Sweden Publicity Co-Chairs: Z. Kiziltan, University of Bologna, Italy and E. Moradian, Uppsala University, Sweden Invited Session Chair: L.C. Jain, University of South Australia, Australia Doctoral Track Chair: A. Pietrusiewicz, Wroclaw University of Technology, Poland KES-AMSTA-2009 is part of the AMSTA Series Chair: N.T. Nguyen, which is a sub-series of KES International Conference Series, Chairs L.C. Jain and R.J. Howlett CONTACT DETAILS Email: amsta-09 at kesinternational.org Postal Address:- KES International?2nd Floor, 145-157 St John Street London EC1V 4PY United Kingdom Best regards, KES-AMSTA-09 Organizing Committee From lobrst at mitre.org Wed Nov 12 21:14:50 2008 From: lobrst at mitre.org (Obrst, Leo J.) Date: Wed, 12 Nov 2008 15:14:50 -0500 Subject: EARLY REGISTRATION ENDS NOV 11: ONTOLOGY FOR THE INTELLIGENCE COMMUNITY (OIC 2008) Message-ID: <9F771CF826DE9A42B548A08D90EDEA8003EA38AC@IMCSRV1.MITRE.ORG> Apologies for Duplications! From: Kathryn B Laskey [mailto:klaskey at gmu.edu] Sent: Saturday, November 08, 2008 8:34 PM To: Kathryn B Laskey (co-chair) Subject: EARLY REGISTRATION ENDS NOV 11: ONTOLOGY FOR THE INTELLIGENCE COMMUNITY (OIC 2008) Please circulate to interested parties within your organization. ----------------------------------------------------------------------- ------------------ Call for Participation OIC 2008: ONTOLOGY FOR THE INTELLIGENCE COMMUNITY Toward Effective Exploitation and Integration of Intelligence Resources http://c4i.gmu.edu/OIC08 Keynote Speakers: Deborah McGuinness Michael Gruninger George Mason University, Fairfax, Virginia December 3-4, 2008 (Classified session December 5 for those with TS/SCI clearances only. For further information contact: oic-2008-ts-sci at cox.net ) The tasks of collecting, analyzing, and disseminating intelligence grow more complex with every year, the emergence of new technologies and new types of threats. New approaches are required to enable greater flexibility, precision, timeliness and automation of analysis in response to rapidly evolving threats. Ontology-based technology as applied in areas such as bioinformatics has demonstrated the possibility of gains along all of these dimensions. The time is ripe to extend these gains to other spheres. This conference will bring together experts on ontology-based technology with particular experience in the problems facing the intelligence community. It will feature invited talks from prominent ontologists and intelligence community leaders, as well as submitted papers focusing especially on the creation of public-domain ontology resources to support the work of intelligence analysts. Registration is now open at http://c4i.gmu.edu/OIC08. Register soon - earlybird rate ends November 11. Accommodations at Hyatt Fairlakes: special rate of $129 per night for OIC attendees, http://www.fairlakes.hyatt.com/hyatt/hotels/group-booking.jsp?_requesti d=6128. TECHNICAL PAPERS: * Eric Little and Kedar Sambhoos: Improving Situational Awareness with Ontologically-enhanced Graph Matching * Kristo Miettinen: The Ontology of Systems * Pontus Svenson and Christian Mårtenson: Information Model for Non-hierarchical Information Management * Kathryn Laskey, David Schum and Paulo Costa: Ontology of Evidence * Mihai Boicu, Gheorghe Tecuci and David Schum: Intelligence Analysis Ontology for Cognitive Assistants * Dru McCandless and Steve Matechik: An Ontology Based Approach to Flexible Automated Video Analysis and Retrieval * Mithun Balakrishna and Munirathnam Srikanth: Automatic Ontology Creation from Text for National Intelligence Priorities Framework (NIPF) * Martin Thurn and Terry Patten: Ontologies and Discovery in the Intelligence Community * Fabian Neuhaus: Ontology-based Technologies--Technology Transfer from Bioinformatics? * Jim Starz, Jason Losco, Brian Kettler, Rachel Hingst and Christopher Rouff: Leveraging Emergent Ontologies in the Intelligence Community * Ian Bailey: Working with Extensional Ontology for Defence Applications * Daniel Reininger, Jeff Mershon, Jef Armstrong, Ray Kulberda, Andrew Cohen, P. Robert Bullard and David Ihrie: Semantic Wiki for Tactical Intelligence Applications: A Demonstration * Dean Brown and Dominick Profico: ICD Wiki - Framework for Enabling Semantic Web Service Definition and Orchestration * Patrick Cassidy: Toward an Open-Source Foundation Ontology Representing the Longman's Defining Vocabulary: The COSMO Ontology OWL Version * Bob MacGregor and Craig Norvell: Common Logic for an RDF Store * Mohamed Keshk and Sally Chambless: Model Driven Ontology: A New Methodology for Ontology Development * Jans Aasman and Craig Norvell: Unification of Geospatial Reasoning, Temporal Logic, & Social Network Analysis in an RDF Database * Brock Stitts: Intelligence Analysis and the Semantic Web For inquiries please write to the conference co-chairs: Kathryn Blackmond Laskey C4I Center and SEOR Department 4400 University Drive, MS 4B5 George Mason University Fairfax, VA 22030-4444 klaskey at gmu.edu Duminda Wijesekera Department of Computer Science 4400 University Drive, MS 4A5 George Mason University Fairfax, VA 22030-4444 dwijesek at gmu.edu Scientific Committee Bill Andersen (Ontology Works) Selmer Bringsjord (Rensselaer Polytechnic University) Dennis Buede (Innovative Decisions, Inc.) Werner Ceusters (University at Buffalo) Randall Dipert (University at Buffalo) Katherine Goodier (US Department of Defence/NCI) Kathleen Stewart Hornsby (University of Iowa) Terry Janssen (Lockheed Martin Corporation) Kathryn Blackmond Laskey (George Mason University, co-chair) Nancy Lawler (US Department of Defense) Kevin Lynch (CIA) Dan Maxwell (Innovative Decisions, Inc.) Fabian Neuhaus (NIST) Leo Obrst (MITRE Corporation) Steven Robertshaw (UK Defence Science and Technology Laboratory) Barry Smith (University at Buffalo) Duminda Wijesekera (George Mason University, co-chair) Sponsors: Innovative Decisions, Inc. Saab Technologies National Center for Ontological Research George Mason University Center of Excellence in Command, Control, Communications, Computing and Intelligence -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From simon.miles at kcl.ac.uk Thu Nov 13 15:57:39 2008 From: simon.miles at kcl.ac.uk (Simon Miles) Date: Thu, 13 Nov 2008 14:57:39 +0000 Subject: AAMAS-09 Doctoral Mentoring Program Message-ID: (apologies if you receive multiple copies of this call) Call for Doctoral Mentoring Program The Eighth International Joint Conference on AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS 2009) Budapest, Hungary Symposium Date: May 10, 2009 Conference Dates: May 10-15, 2009 http://www.conferences.hu/AAMAS2009/ AAMAS 2009 will include a doctoral mentoring program, intended for PhD students in advanced stages of their research. This program will provide an opportunity for students to interact closely with established researchers in their fields, to receive feedback on their work and to get advice on managing their careers. Specifically, the goals of the program are: * To match each student with an established researcher in the community (who will act as a mentor). The mentor will interact closely with the student, will provide feedback on research, help form new contacts, etc. * To allow students an opportunity to present their work to a friendly audience of other students as well as mentors. * To provide students with contacts and professional networking opportunities. * The doctoral mentoring program will consist of opportunities for interactions between mentors and their mentorees prior to the conference, as well as a one day doctoral symposium. A.1 Submission Requirements We encourage submissions from PhD students at advanced stages of their research within the Autonomous Agents and Multi Agent Systems field. Based on the submissions, the organizing committee will select a group of students that will be invited to participate in the program. Participants will be expected to take active part in all doctoral mentoring program activities. Each submission should include a set of documents from the students, and a recommendation letter from the advisor. The submission package should include: 1. A two-page extended abstract of the student's thesis (in the AAMAS submission format) 2. A personal research statement (one page) 3. A short (2-page) resume (CV) 4. A recommendation letter from the advisor. Submissions of the first three items should be sent in electronic form (PDF), to the doctoral mentoring chair (Stacy Marsella, mentoring at aamas09.org), by January 31, 2009. In addition, the dissertation advisor should send the last item (a letter of recommendation) by e-mail to mentoring at aamas09.org. The letter should address the expected benefit of attending (to the student), the significance of the research, and the expected date for thesis submission. This letter can be sent in either plain text or PDF format. The student's name must be clearly pointed out in the letter. A.2 Important Dates * January 31: Submission package due * February 28: Acceptance notifications * March 12: Camera-ready copy due * May 10: Doctoral Mentoring Symposium The one-day symposium will be held on the first day of the conference. Doctoral Mentoring Chair Stacy Marsella University of Southern California marsella [at] ict.usc.edu Web page: http://www.conferences.hu/AAMAS2009/mentoring.html -- Dr Simon Miles Agents and Intelligent Systems Group Department of Computer Science Kings College London, UK From sofia.espinosa at tu-harburg.de Thu Nov 13 16:04:50 2008 From: sofia.espinosa at tu-harburg.de (Irma Sofia Espinosa Peraldi) Date: Thu, 13 Nov 2008 16:04:50 +0100 Subject: BOEMIE 2008 - call for participation Message-ID: [apologies if you receive multiple copies] BOEMIE 2008 Workshop on Ontology Evolution and Multimedia Information Extraction http://www.boemie.org/boemie2008 held next to SAMT 2008 – 3rd International Conference on Semantic and Digital Media Technologies December 2, 2008, Koblenz, Germany Call for participation Participation in the workshop is free of charge but subject to prior registration and confirmation. Delegates will have to pay for their own travel and accommodation expenses. It is not required to pay the registration fee for the SAMT conference. To obtain an invitation, please send e-mail to Irma Sofia Espinosa Peraldi, with the following information: - Name - Affiliation - Country - Why are you interest in participating? Send this information no later than November 28th. For more specific details please refer to: http://www.boemie.org/boemie2008 Motivation and Scope BOEMIE 2008 focuses on the automation of the process of knowledge acquisition from multimedia content, using evolving multimedia ontologies which will be used for the extraction of information from multimedia content in networked sources. The goal is to develop synergistic approaches that combine multimedia extraction and ontology evolution in a bootstrapping process involving, on the one hand, the continuous extraction of semantic information from multimedia content in order to populate and enrich the ontologies and, on the other hand, the deployment of these ontologies to enhance the robustness of the extraction process. The workshop is tightly coupled with the BOEMIE project, aiming to initiate a new research activity on the automation of knowledge acquisition from multimedia content, through computer-aided ontology evolution. The resulting technology will have a wide range of applications in commerce, tourism, e-science, publishing, etc. During the project, the technology will be evaluated through the development of an automatic content collection and annotation service for public events in a number of major European cities. The extracted semantic information will enrich the underlying ontology as well as a digital map, which will provide a friendly interface to the end user. Topics The workshop includes contributions to all research topics related to the BOEMIE project. We anticipate significant and fruitful discussions owing to differences in potential approaches in handling the issues above. The detailed topics of the workshop include but are not limited to the following: * Knowledge driven multimedia analysis * Multimedia ontologies * Multimedia reasoning * Ontology learning * Ontology evolution * Ontology matching and coordination * Combining Handling multiple vocabularies * Interoperability among current multimedia and Semantic Web standards * Automatic and semi-automatic content annotation tools * Bridging the gap between multimedia features and semantics Speakers Welcome and introduction to Workshop Silvana Castano, Dipartimento di Informatica e Communicazione (DICO), University of Milano (UNIMI), Italy Ralf Möller, Software, Technology and Systems (STS), Hamburg University of Technology (TUHH), Germany Introduction to BOEMIE project George Paliouras, Institute of Informatics and Telecommunications (IIT) National Center of Scientific Research (NCSR “Demokritos”), Greece Multimedia Information Extraction Jerry R. Hobbs, Information Sciences Institute (ISI), University of Southern California, USA Sergios Petridis, Institute of Informatics and Telecommunications (IIT) National Center of Scientific Research (NCSR “Demokritos”), Greece Multimedia Ontologies Stamatia Dasiopoulou, Informatics and Telematics Institute (ITI), Centre for Research and Technology Hellas (CERTH), Greece Steffen Staab, Information Systems and Semantic Web (ISWeb), University of Koblenz-Landau, Germany Multimedia and Reasoning Umberto Straccia, Institute of Information Science and Technologies (ISTI), National Research Council (CNR), Italy Sofia Espinosa and Atila Kaya, Software, Technology and Systems (STS), Hamburg University of Technology (TUHH), Germany Ontology Learning and Evolution Giorgios Flouris, Institute of Computer Science Foundation for Research and Technology Hellas, (FORTH), Greece Alfio Ferrara, Dipartimento di Informatica e Communicazione (DICO), University of Milano (UNIMI), Italy Demo and Evolution session of the integrated BOEMIE prototype Chair: George Paliouras Institute of Informatics and Telecommunications (IIT) National Center of Scientific Research (NCSR “Demokritos”), Greece Organizers and Chairs Silvana Castano, University of Milano, Italy Alfio Ferrara, University of Milano, Italy Ralf Möller, Hamburg University of Technology, Germany George Paliouras, NCSR Demokritos, Greece Irma Sofia Espinosa Peraldi, -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From evomusart at yahoo.com Thu Nov 13 19:09:25 2008 From: evomusart at yahoo.com (Penousal Machado) Date: Thu, 13 Nov 2008 10:09:25 -0800 (PST) Subject: EvoMUSART 2009 : Submission Deadline extended to 30 November 2008 Message-ID: <226017.44628.qm@web59416.mail.ac4.yahoo.com> *** additional submission deadline extension*** Due to a number of requests by individual authors for a further deadline extension, we have decided to grant an extension of the submission deadline for all the Evo* 2009 events to 30 November 2008 ----------------------------------------------------------------------- EvoMUSART 2009 7th European Workshop on Evolutionary and Biologically Inspired Music, Sound, Art and Design 15-17 April, 2009, Tubingen, Germany http://evostar.na..icar.cnr.it/EvoWorkshops/EvoMUSART/EvoMUSART.html http://www.evostar.org ---------------------------------------------------------------------- INTRODUCTION ---------------------------------------------------------------------- EvoMUSART 2009 is the seventh workshop of the EvoNet working group on Evolutionary Music and Art. Following the success of previous events and the growth of interest in the field, the main goal of EvoMUSART 2009 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 this area. The workshop will be held from 15-17 April, 2009 in Tubingen, Germany as part of the EvoStar event. Accepted papers will be presented orally at the workshop and included in the EvoWorkshops proceedings, published by Springer Verlag in the Lecture Notes in Computer Science series. EvoMUSART 2009 important dates are: Submission deadline: November 30, 2008 Conference: April 15-17, 2009 To submit a paper you can directly access the page: http://myreview.csregistry.org/evoworkshops09/ or otherwise find all instructions and information about the EvoStar 2009 events at the page: http://www.evostar.org ---------------------------------------------------------------------- TOPICS OF INTEREST ---------------------------------------------------------------------- The papers should concern the use of bio-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, objects, designs, webpages, buildings, etc.; o Biologically Inspired Sound and Music - Systems that create music, 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 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 automated 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 exploit biologically inspired computation to perform the analysis of image, music, sound, sculpture, or some other types of artistic object; ---------------------------------------------------------------------- ADDITIONAL INFORMATION AND SUBMISSION DETAILS ---------------------------------------------------------------------- Submit your manuscript, at most 10 A4 pages long, in Springer LNCS format no later than November 30, 2008. Formatting instructions available at: http://www.springer..com/dal/home/computer/lncs?SGWID=1-164-7-72376-0&teaserId=45515&CENTER_ID=73062) 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 9, 2008. 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 January 28, 2009. 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: Evo*2009: http://www.evostar.org EvoMUSART2009: http://evostar.na.icar.cnr.it/EvoWorkshops/EvoMUSART/EvoMUSART.html ---------------------------------------------------------------------- IMPORTANT DATES ---------------------------------------------------------------------- Submission: 30 November 2008 Notification: 9 January 2008 Camera ready: 28 January 2009 Workshop: 15-17 April 2009 ---------------------------------------------------------------------- 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 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 Bill Manaris, College of Charleston, USA Brian Ross, Brock University, Canada Carla Farsi, University of Colorado, USA Christian Jacob , University of Calgary, Canada Colin Johnson, University of Kent, UK David Hart, Independent Artist, USA 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 Bath, UK Jon Bird, University of Sussex, UK Jonatas Manzolli , UNICAMP, Brasil Jorge Tavares, INRIA Lille - Nord Europe, France Juan Romero, University of A Coruna, Spain Luigi Pagliarini, Pescara Electronic Artists Meeting & University of Southern Denmark, Italy Maria Verstappen, Independent Artist, Netherlands Matthew Lewis, Ohio State University, USA Mauro Annunziato, Plancton Art Studio, Italy Nicolas Monmarché, University of Tours, France Pablo Gervás, Universidad Complutense de Madrid, Spain Paul Brown, University of Sussex, UK Paulo Urbano, Universidade de Lisboa , 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 Simon Colton, Imperial College, UK Somnuk Phon-Amnuaisuk, Multimedia University, Malaysia Stefano Cagnoni, University of Parma, Italy Stephen Todd, IBM, UK Steve DiPaola, Simon Fraser University, Canada Tim Blackwell, Goldsmiths College, University of London, UK William Latham, Art Games Ltd, UK ---------------------------------------------------------------------- STEERING COMMITTEE ---------------------------------------------------------------------- Penousal Machado University of Coimbra, Portugal Machado AT dei DOT uc DOT pt Juan Romero University of A Coruna, Spain jj AT udc DOT es Jon McCormack Monash University Jon DOT McCormack AT infotech DOT monash DOT edu DOT au ---------------------------------------------------------------------- WORKSHOP CHAIRS ---------------------------------------------------------------------- Penousal Machado University of Coimbra, Portugal Machado AT dei DOT uc DOT pt Jon McCormack Monash University Jon DOT McCormack AT infotech DOT monash DOT edu DOT au From nza at Cs.Nott.AC.UK Tue Nov 18 11:29:22 2008 From: nza at Cs.Nott.AC.UK (nza at Cs.Nott.AC.UK) Date: 18 Nov 2008 10:29:22 +0000 Subject: Workshop on Logics and Agent Programming Languages Message-ID: <200811181029.aa00057@pat.Cs.Nott.AC.UK> Call for Papers WORKSHOP ON LOGICS AND AGENT PROGRAMMING LANGUAGES July 20th-25th 2009 http://www.agents.cs.nott.ac.uk/events/lapl09 to be held as part of ESSLLI 2009 (21st European Summer School in Logic, Language and Information, Bordeaux, France) between the 20th and 31st of July 2009 http://esslli2009.labri.fr/ WORKSHOP DESCRIPTION To create a language for programming entities capable of intelligent behaviour (`agents'), researchers and developers must address deep questions such as: what are the basic constituent parts of an intelligent agent; how should the agent `think' (e.g., which deliberation strategy should it employ -- should it plan a precise sequence of actions in advance or should it adopt an abstract plans with gaps `to be filled-in later'); what relationship should there be between the agent's beliefs and its goals, etc. In seeking to address these questions, researchers have drawn heavily on formal models of agents and on agent logics, including epistemic logics, logics of action, dynamic logic, coalition logics etc. For example, the development of agent programming languages such as AgentSpeak were heavily influenced by the BDI (Beliefs, Desires and Intentions) logics developed to understand what an agent's behaviour should be. These interactions have resulted in an extremely fruitful cross fertilisation between work in logic and computation, and the application of logical techniques to address key practical issues such as the verification of agent programs (i.e., will an agent program meet the specification set out by its developers). The development of agent programming languages continues to go hand in hand with the development of logics to express properties of agent programs and associated verification techniques, with work on various aspects of agent programming, agent logics and verification. The workshop will provide a forum for advanced PhD students and researchers in these areas to compare methodologies, exchange ideas and identify challenges in agent programming languages and writing reliable agent programs. Topics of interest include (but are not limited to): * agent programming languages * agent logics * verification of agent programs PUBLICATION Accepted papers will appear in pre-proceedings published by ESSLLI. We aim to publish a selection of revised and expanded papers as a journal special issue. SUBMISSIONS Authors are invited to submit a full original paper. Submissions should not exceed 15 pages in LaTeX 11pt article style. The following formats are accepted: pdf, ps. Please submit on line at http://www.easychair.org/conferences/?conf=lapl09 All enquiries to lapl09 at cs.nott.ac.uk IMPORTANT DATES February 15 2009 Deadline for submissions April 15 2009 Notification of acceptance June 1 2009 Deadline for proceedings ORGANISERS Natasha Alechina University of Nottingham, UK Brian Logan University of Nottingham, UK INVITED SPEAKER (TBC) PROGRAMME COMMITTEE Thomas Agotnes Bergen University College, Norway Rafael Bordini University of Durham, UK Mehdi Dastani Universiteit Utrecht, Netherlands Juergen Dix Technische Universitaet Clausthal, Germany Amal El Fallah Seghrouchni, University Paris VI, France Michael Fisher University of Liverpool, UK Giuseppe De Giacomo Sapienza Universita' di Roma, Italy Andreas Herzig IRIT, Universit=E9 Paul Sabatier, France Koen Hindriks Delft University of Technology, Netherlands Gerhard Lakemeyer Aachen University of Technology, Germany Yves Lesperance York University, Canada Hector Levesque, University of Toronto, Canada John-Jules Ch. Meyer Universiteit Utrecht, Netherlands Steven Shapiro University of Toronto, Canada Neil Yorke-Smith, AIC, SRI International, USA This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From alexander.friedmann at uqam.ca Tue Nov 18 01:01:32 2008 From: alexander.friedmann at uqam.ca (alex friedmann) Date: Mon, 17 Nov 2008 19:01:32 -0500 Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: On Mon, Nov 17, 2008 at 6:48 PM, event administration < event-subscribe at in.tu-clausthal.de> wrote: > This is an automated message from the > mailing list manager > > > -- email: alexander.friedmann at uqam.ca en cas de panne UQAM / if problems with this adress please use: alexfri7 at gmail.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tkutsia at risc.uni-linz.ac.at Tue Nov 18 19:12:09 2008 From: tkutsia at risc.uni-linz.ac.at (Temur Kutsia) Date: Tue, 18 Nov 2008 19:12:09 +0100 Subject: First CFP: WWV 2009 Message-ID: <20081118181209.GA18025@risc.uni-linz.ac.at> [Apologies if you receive multiple copies] *********************************************************** * CALL FOR PAPERS * * * * WWV 2009 * * Automated Specification and Verification of Web Systems * * 5th International Workshop * * * * Castle of Hagenberg, Austria. July 17, 2009 * * http://www.risc.uni-linz.ac.at/conferences/wwv09/ * * * * Part of the RISC Summer 2009 * * http://www.risc.uni-linz.ac.at/conferences/summer2009/ * *********************************************************** IMPORTANT DATES Abstract Submission February 2, 2009 Full Paper Submission February 9, 2009 Acceptance Notification April 20, 2009 Camera Ready June 1, 2009 Workshop July 17, 2009 SCOPE The increased complexity of Web sites and the explosive growth of Web-based applications has turned their design and construction into a challenging problem. Nowadays, many companies have diverted their Web sites into interactive, completely-automated, Web-based applications (such as Amazon, on-line banking, or travel agencies) with a high complexity that requires appropriate specification and verification techniques and tools. Systematic, formal approaches to the analysis and verification can address the problems of this particular domain with automated and reliable tools that also incorporate semantic aspects. We solicit original papers on formal methods and techniques applied to Web sites, Web services or Web-based applications, such as: * rule-based approaches to Web site analysis, certification, specification, verification, and optimization * algebraic methods for verification and certification of Web systems * formal models for describing and reasoning about Web sites * model-checking, synthesis and debugging of Web sites * abstract interpretation and program transformation applied to the semantic Web * intelligent tutoring and advisory systems for Web specifications authoring * Web quality and Web metrics * Web usability and accessibility * Testing and evaluation of Web systems and applications The WWV series provides a forum for researchers from the communities of Rule-based programming, Automated Software Engineering, and Web-oriented research to facilitate the cross-fertilization and the advancement of hybrid methods that combine the three areas. The previous WWV editions were: WWV'08 (Siena, Italy), WWV'07 (Venice, Italy), WWV'06 (Paphos, Cyprus), and WWV'05 (Valencia, Spain). LOCATION WWV'09 will be held at the Research Institute for Symbolic Computation (RISC), which is an institute of the Johannes Kepler University in Linz. It is located in the Castle of Hagenberg, a romantic, medieval castle amidst the lovely, hilly landscape of the M�hlviertel region, 20 km north east of Linz, the provincial capital of Upper Austria, located halfway between Salzburg and Vienna. For more information about RISC, please visit: http://www.risc.uni-linz.ac.at/ The workshop is a part of the RISC Summer 2009 conference series: http://www.risc.uni-linz.ac.at/about/conferences/summer2009/ SUBMISSION PROCEDURE Submissions must be received by February 9, 2009. In addition, an ASCII version of the title and abstract must be submitted by February 2, 2009. Submitted papers should be prepared in LaTeX, formatted according to the Springer llncs style, and should not exceed 15 pages. Submission is web-based via this link: http://www.easychair.org/conferences/?conf=wwv09 PUBLICATION Accepted papers will be published in a preliminary proceedings volume, which will be available during the workshop. After the workshop, a special issue of the Journal of Symbolic Computation on the topic of the WWV workshop is planned. PROGRAM CO-CHAIRS Demis Ballis University of Udine, Italy Temur Kutsia Johannes Kepler University Linz, Austria WORKSHOP CO-CHAIRS Temur Kutsia Johannes Kepler University Linz, Austria Wolfgang Schreiner Johannes Kepler University Linz, Austria INVITED SPEAKERS Fran�ois Bry Ludwig Maximilian University of Munich, Germany Axel Polleres National University of Ireland, Galway, Ireland PROGRAM COMMITTEE Maria Alpuente Technical University of Valencia, Spain Demis Ballis University of Udine, Italy Wlodzimierz Drabent Link�ping University, Sweden, and Institute Of Computer Science, Polish Academy of Sciences, Poland Santiago Escobar Technical University of Valencia, Spain Moreno Falaschi University of Siena, Italy M�rio Florido University of Porto, Portugal Temur Kutsia Johannes Kepler University Linz, Austria Massimo Marchiori University of Padova, Italy Mircea Marin University of Tsukuba, Japan Catherine Meadows Naval Research Laboratory, USA Rosario Pugliese University of Florence, Italy I.V. Ramakrishnan Stony Brook University, USA Antonio Vallecillo University of Malaga, Spain From friedmann.alexander at uqam.ca Tue Nov 18 17:26:42 2008 From: friedmann.alexander at uqam.ca (ALEX FRIEDMANN) Date: Tue, 18 Nov 2008 11:26:42 -0500 (EST) Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: On Tue, 18 Nov 2008, event administration wrote: > This is an automated message from the > mailing list manager > > List messages sent to your address have bounced. > > If you read this message, your mail system has been probably fixed. > > To clear the bounce counter and to prevent automatic cancelation of > your subscription, use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2900068290, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > ------- Alex Friedmann tel: (514) 987-3000 ext. 3219 Dept. d'Informatique fax: (514) 987-8477 U.Q.A.M. e-mail :alexander dot friedmann dot uqam.ca C.P. 8888 Centre-Ville Montreal Canada, H3C 3P8 From heymans at kr.tuwien.ac.at Fri Nov 21 09:24:04 2008 From: heymans at kr.tuwien.ac.at (Stijn Heymans) Date: Fri, 21 Nov 2008 09:24:04 +0100 Subject: PhD / Postdoc Position at the Vienna University of Technology Message-ID: The Knowledge-Based Systems Group ( http://www.kr.tuwien.ac.at/ ) at the Vienna University of Technology ( http://www.tuwien.ac.at/ ) is looking for excellent candidates to work as a researcher in the prospective EU FP7 ONTORULE project (ONTOlogies meet business RULEs) as well as in related Austrian-funded basic research projects (see http://www.fwf.ac.at/ ). The objective of ONTORULE is to integrate all the required pieces of knowledge and technology, including some that will need be researched and developed within the project, to allow the acquisition of ontologies and rules from the most appropriate sources, including natural language documents, their separate management and maintenance, and their transparent operationalisation in IT applications. In particular, the successful candidate will be expected to work in ONTORULE and related Austrian-funded projects on the theoretical foundations for combinations of rules, ontologies and data structures, on the development of effective and efficient methods for processing such combinations, as well as on the investigation of consistency management of such combinations. The candidate should have: * a Master's degree in Mathematics or Computer Science * a minimum of 2 years experience in academic research, i.e., a Postdoc or experienced PhD student. * a strong background/interest in Logic Programming and its applications * a background/interest in other Knowledge Representation paradigms such as Description Logics * a willingness to travel to project meetings and to work on project deliverables * a willingness to work in an international team * good proficiency in English ONTORULE will run from early 2009 and this for a total of 3 years; the salary will depend on the experience of the candidate and will be according to Austrian guidelines ( http://www.fwf.ac.at/de/projects/personalkostensaetze_2008.html ). In case the position is filled by an experienced PhD student, the candidate will work towards a PhD degree in Computer Science. We encourage interested candidates to send their resume, list of publications, and digital versions of their most relevant work to Dr. Stijn Heymans heymans at kr.tuwien.ac.at The Knowledge-Based Systems group is lead by Prof. Dr. Thomas Eiter and has a strong expertise in areas such as Knowledge Representation and Reasoning, Computational Logic and Complexity, and Declarative Problem Solving. For more information, see http://www.kr.tuwien.ac.at/. From wcom at worldcomp.cviog.uga.edu Mon Nov 24 18:00:15 2008 From: wcom at worldcomp.cviog.uga.edu (WORLDCOMP'09 Congress Conferences) Date: Mon, 24 Nov 2008 12:00:15 -0500 Subject: Call For Papers: Computer Science & Computer Engineering Conferences - July 13-16 2009, USA, WORLDCOMP'09 Message-ID: <20081124170015.E5B6951BBC@worldcomp.cviog.uga.edu> CALL FOR PAPERS and Call For Workshop/Session Proposals WORLDCOMP'09 The 2009 World Congress in Computer Science, Computer Engineering, and Applied Computing July 13-16, 2009, Las Vegas, USA (composed of 22 Joint Conferences) You are invited to submit a paper (and/or a proposal to organize a session/workshop). All accepted papers will be published in the respective conference proceedings. The 2009 World Congress in Computer Science, Computer Engineering, and Applied Computing (WORLDCOMP'09) is composed of the following 22 conferences (all will be held simultaneously, same location and dates: July 13-16, 2009, USA): o BIOCOMP'09: The 2009 International Conference on Bioinformatics and Computational Biology o CDES'09: The 2009 International Conference on Computer Design o CGVR'09: The 2009 International Conference on Computer Graphics and Virtual Reality o CSC'09: The 2009 International Conference on Scientific Computing o DMIN'09: The 2009 International Conference on Data Mining o EEE'09: The 2009 International Conference on e-Learning, e-Business, Enterprise Information Systems, and e-Government o ERSA'09: The 2009 International Conference on Engineering of Reconfigurable Systems and Algorithms o ESA'09: The 2009 International Conference on Embedded Systems and Applications o FCS'09: The 2009 International Conference on Foundations of Computer Science o FECS'09: The 2009 International Conference on Frontiers in Education: Computer Science and Computer Engineering o GCA'09: The 2009 International Conference on Grid Computing and Applications o GEM'09: The 2009 International Conference on Genetic and Evolutionary Methods o ICAI'09: The 2009 International Conference on Artificial Intelligence o ICOMP'09: The 2009 International Conference on Internet Computing o ICWN'09: The 2009 International Conference on Wireless Networks o IKE'09: The 2009 International Conference on Information and Knowledge Engineering o IPCV'09: The 2009 International Conference on Image Processing, Computer Vision, and Pattern Recognition o MSV'09: The 2009 International Conference on Modeling, Simulation and Visualization Methods o PDPTA'09: The 2009 International Conference on Parallel and Distributed Processing Techniques and Applications o SAM'09: The 2009 International Conference on Security and Management o SERP'09: The 2009 International Conference on Software Engineering Research and Practice o SWWS'09: The 2009 International Conference on Semantic Web and Web Services (a link to each conference's URL can be found at http://www.world-academy-of-science.org ) ACADEMIC CO-SPONSORS: Currently being prepared - it will include a number of active research laboratories and centers that have helped to shape our field. The Academic Co-Sponsors of the last offering of WORLDCOMP included research labs at Harvard University, UCLA, University of Minnesota, University of Illinois at Urbana- Champaign, Georgia Institute of Technology, Emory University, University of Texas at Austin, MIT, George Mason University, University of Iowa, Russian Academy of Sciences, NEMO/European Union, and others. Corporate Co-Sponsors included, Google, Salford Systems, Synplicity, Supermicro, NIIT, and others. General Co-Chair and Coordinator: H. R. Arabnia, PhD Professor, Computer Science Editor-in-Chief, The Journal of Supercomputing (Springer) Advisory Board, IEEE Technical Committee on TCSC Vice President, Int'l Society of Intelligent Biological Medicine The University of Georgia Department of Computer Science 415 Boyd Building Athens, Georgia 30602-7404, USA Tel: (706) 542-3480 Fax: (706) 542-2966 E-mail: hra at cs.uga.edu PURPOSE / HISTORY: This set of joint conferences is the largest annual gathering of researchers in computer science, computer engineering and applied computing. Many of the joint conferences in WORLDCOMP are the premier conferences for presentation of advances in their respective fields. We anticipate to have 2,400 or more attendees from over 85 countries participating in the 2009 joint conferences. The motivation is to assemble a spectrum of affiliated research conferences into a coordinated research meeting held in a common place at a common time. The main goal is to provide a forum for exchange of ideas in a number of research areas that interact. The model used to form these annual conferences facilitates communication among researchers from all over the world in different fields of computer science, computer engineering and applied computing. Both inward research (core areas of computer science and engineering) and outward research (multi-disciplinary, inter-disciplinary, and applications) will be covered during the conferences. WORLCOMP'09 will be composed of research presentations, keynote lectures, invited presentations, tutorials, panel discussions, and poster presentations. In recent past, keynote and/or tutorial speakers included: Prof. David A. Patterson (U. of California, Berkeley); Prof. Michael J. Flynn (Stanford U.); Prof. John H. Holland (U. of Michigan, Ann Arbor); Prof. Brian D. Athey (U. of Michigan, Ann Arbor), Prof. H. J. Siegel (Colorado State U.); Prof. Barry Vercoe (MIT); Prof. Ruzena Bajcsy (U. of California, Berkeley); Prof. Jun Liu (Harvard U.); Dr. Jim Gettys (OLPC + developer of X Window); Dr. Chris Rowen (President and CEO, Tensilica, Inc.); and many other distinguished speakers. SUBMISSION OF PAPERS: Prospective authors are invited to submit their draft papers by uploading them to http://worldcomp.cviog.uga.edu/ . Submissions must be received by Feb. 25, 2009 and they must be in either MS doc or pdf formats (about 5 to 7 pages - single space, font size of 10 to 12). All reasonable typesetting formats are acceptable (later, the authors of accepted papers will be asked to follow a particular typesetting format to prepare their papers for publication.) The length of the Camera-Ready papers (if accepted) will be limited to 7 (IEEE style) pages. Papers must not have been previously published or currently submitted for publication elsewhere. The first page of the draft paper should include: title of the paper, name, affiliation, postal address, and email address for each author. The first page should also identify the name of the Contact Author and a maximum of 5 topical keywords that would best represent the content of the paper. Finally, the name of the conference that the paper is being submitted to must be stated on the first page. Papers will be evaluated for originality, significance, clarity, impact, and soundness. Each paper will be refereed by two experts in the field who are independent of the conference program committee. The referees' evaluations will then be reviewed by two members of the program committee who will recommend a decision to the chair of the track that the paper has been submitted to. The chair will make the final decision. Lastly, the Camera-Ready papers will be reviewed by one member of the program committee. PROPOSAL FOR ORGANIZING SESSIONS/WORKSHOPS: Each session will have at least 6 paper presentations from different authors (12 papers in the case of workshops). The session chairs will be responsible for all aspects of their sessions; including, soliciting papers, reviewing, selecting, ... The names of session chairs will appear as Associate Editors in the conference proceedings and on the cover of the books. Proposals to organize sessions should include the following information: name and address (+ email) of proposer, title of session, a 100-word description of the topic of the session, the name of the conference the session is submitted for consideration, and a short description on how the session will be advertised (in most cases, session proposers solicit papers from colleagues and researchers whose work is known to the session proposer). email your session proposal to H. R. Arabnia (address is given above). We would like to receive the proposals by January 16, 2009. IMPORTANT DATES: Jan. 16, 2009: Proposals for organizing/chairing sessions/workshops Feb. 25, 2009: Submission of papers (about 5 to 7 pages) March 25, 2009: Notification of acceptance April 25, 2009: Camera-Ready papers and Registration due July 13-16, 2009: The 2009 World Congress in Computer Science, Computer Engineering, and Applied Computing (WORLDCOMP'09 - 22 joint conferences) MEMBERS OF PROGRAM AND ORGANIZING COMMITTEES: The Program Committee includes members of chapters of World Academy of Science (chapters: supercomputing; scientific computing; AI; imaging science; databases; simulation; software engineering; embedded systems; internet and web technologies; communications; computer security; and bioinformatics.) The Program Committee for individual conferences is currently being formed. Those interested in joining the Program Committee should email H. R. Arabnia (hra at cs.uga.edu) the following information: Name, affiliation and position, complete mailing address, email address, a short biography together with research interests and the name of the conference offering to help with. Many who have already joined the committees of individual tracks are renowned leaders, scholars, researchers, scientists and practitioners of the highest ranks; many are directors of research laboratories, fellows of various societies, heads/chairs of departments, deans and provosts. LOCATION OF CONFERENCES: The conferences will be held in the Monte Carlo hotel, Las Vegas, Nevada, USA (with any overflows at other near-by hotels). This is a mega hotel with excellent conference facilities and over 3,000 rooms. It is minutes from the airport with 24-hour shuttle service to and from the airport. This hotel has many recreational attractions, including: waterfalls, spa, pools, sunning decks, Easy River, wave pool, lighted tennis courts, health spa, nightly shows, a number of restaurants, ... The negotiated room rate for conference attendees is very reasonable. The hotel is within walking distance from most other attractions (recreational destinations, Golf courses, ...) =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= This email was sent to: event at in.tu-clausthal.de To opt out of this email list: http://worldcomp.cviog.uga.edu/cgi-bin/rm/full.cgi?1BC32490-BA23-11DD-ABA0-FC776EE9E895 From simon.miles at kcl.ac.uk Tue Nov 25 11:27:40 2008 From: simon.miles at kcl.ac.uk (Simon Miles) Date: Tue, 25 Nov 2008 10:27:40 +0000 Subject: 2009 ACM SIGART Autonomous Agents Research Award Message-ID: (apologies if you receive multiple copies of this post) Call For Nominations -- 2009 ACM SIGART Autonomous Agents Research Award ACM SIGART, in collaboration with the International Conference on Autonomous Agents, has instituted an annual award for excellence in research in the area of autonomous agents. Award winners will receive an honorarium and will be invited to give a talk at the annual Autonomous Agents and Multi-Agent Systems (AAMAS) Conference, which in 2009 will be held in Budapest, Hungary, in May. This award is specifically intended to recognize researchers whose current research is influencing the field of autonomous agents and multi-agent systems. Candidates will be evaluated based on the quality, significance, and impact of their research contributions. It is usually expected that at least some of these contributions should have been reported at one or more Autonomous Agents or AAMAS conferences, although this is not an absolute requirement. Previous winners of the SIGART Autonomous Research Award were Yoav Shoham (2008), Sarit Kraus (2007). Michael Wooldridge (2006), Milind Tambe (2005), Makoto Yokoo (2004), Nick Jennings (2003), Katia Sycara (2002), and Tuomas Sandholm (2001). The award committee is now seeking nominations for the 2009 award. *** Nominations should be submitted by email to the Awards Committee Chair, Sarit Kraus (sarit at cs.biu.ac.il) The nomination should specify: -- Name of person being nominated; -- Name and contact information for the person making the nomination; -- A statement describing why the nominee should be considered for the award. Nominations must be made no later than: December 16, 2008. -- Dr Simon Miles Lecturer, Department of Computer Science Kings College London, WC2R 2LS, UK +44 (0)20 7848 1166 From areces at pluton.loria.fr Tue Nov 25 11:31:40 2008 From: areces at pluton.loria.fr (Carlos Areces) Date: Tue, 25 Nov 2008 11:31:40 +0100 Subject: [HyLo09] First Call for Papers Message-ID: <200811251031.mAPAVeUj010035@pluton.loria.fr> *************************************************************** Please excuse for multiple posts and distribute as widely as possible *************************************************************** FIRST CALL FOR PAPERS International Workshop on Hybrid Logic 2009 (HyLo 2009) "Conmemorating the Ten Years of HyLo" http://hylo.loria.fr/content/Hylo02 15 - 17 July, 2007 Nancy, France *************************************************************** WORKSHOP PURPOSE: Hybrid logic is a branch of modal logic allowing direct reference to worlds/times/states. It is easy to justify interest in hybrid logic on the grounds of applications, as the additional expressive power is very useful. In addition, hybrid-logical machinery improves the behaviour of the underlying modal formalism. For example, it becomes considerably simpler to formulate modal proof systems, and one can prove completeness and interpolation results of a generality that is not available in orthodox modal logic. But more generally, the topic of HyLo 2009 is not only standard hybrid-logical machinery (like nominals, satisfaction operators, binders, etc) but also extensions of modal logic that increase its expressive power in one way or other. HyLo 2009 will be an special event, conmemorating the ten years since the organization of the first HyLo workshop in 1999. HyLo 2009 will be relevant to a wide range of people, including those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. The workshop continues a series of previous workshops on hybrid logic. The workshop aims to provide a forum for advanced PhD students and researchers to present and discuss their work with colleagues and researchers. For more general background on hybrid logic, and many of the key papers, see the Hybrid Logics homepage (http://hylo.loria.fr/). SUBMISSION DETAILS: We invite the contribution of papers reporting new work from researchers interested in hybrid logic. Details about the submission procedure will be announced in the second call for papers. The accepted papers will appear in the workshop proceedings, and selected papers will be included in a special volume to conmemorate the 10th aniversary of the first Hybrid Logic Workshop. One author for each accepted paper must attend the workshop in order to present the paper. INVITED SPEAKERS: To be announced ORGANIZERS: Carlos Areces (INRIA Nancy Grand Est, areces at loria.fr) Patrick Blackburn (INRIA Nancy Grand Est, blackbur at loria.fr) PROGRAM COMMITTEE: Carlos Areces (INRIA Nancy Grand Est, co-chair) Patrick Blackburn (INRIA Nancy Grand Est, co-chair) Thomas Bolander (Technical University of Denmark) Torben Brauner (Roskilde University) Stephane Demri (LSV Cachan) Santiago Figueira (University of Buenos Aires) Valentin Goranko (University of the Witwatersrand) Ian Hodkinson (Imperial College London) Ulrike Sattler (University of Manchester) Thomas Schneider (University of Manchester) Balder ten Cate (University of Amsterdam) IMPORTANT DATES: Deadline for submissions: Sunday, 1st March 2009 Notification of acceptance: Monday, 30th of April 2009 Deadline for final versions: Friday, 1st of May 2009 Workshop dates: 15 to 17 July, 2007 FURTHER INFORMATION: http://hylo.loria.fr/content/Hylo09 From qapl09 at tcs.inf.tu-dresden.de Tue Nov 25 12:38:29 2008 From: qapl09 at tcs.inf.tu-dresden.de (QAPL 2009) Date: Tue, 25 Nov 2008 12:38:29 +0100 Subject: QAPL 2009 Call for Papers Message-ID: <492be3b5.YFsWGk0xRohMzKzM%qapl09@tcs.inf.tu-dresden.de> ****************************************************************************** [Apologies for multiple copies] ******************************************************************************* Second CALL FOR PAPERS Seventh Workshop on Quantitative Aspects of Programming Languages (QAPL 2009) Affiliated with ETAPS 2009 March 28-29, 2009, York, UK http://wwwtcs.inf.tu-dresden.de/ALGI/qapl09/ ******************************************************************************* SCOPE: Quantitative aspects of computation are important and sometimes essential in characterising the behavior and determining the properties of systems. They are related to the use of physical quantities (storage space, time, bandwidth, etc.) as well as mathematical quantities (e.g. probability and measures for reliability, security and trust). Such quantities play a central role in defining both the model of systems (architecture, language design, semantics) and the methodologies and tools for the analysis and verification of system properties. The aim of this workshop is to discuss the explicit use of quantitative information such as time and probabilities either directly in the model or as a tool for the analysis of systems. In particular, the workshop focuses on: * the design of probabilistic, real-time, quantum languages and the definition of semantical models for such languages * the discussion of methodologies for the analysis of probabilistic and timing properties (e.g. security, safety, schedulability) and of other quantifiable properties such as reliability (for hardware components), trustworthiness (in information security) and resource usage (e.g., worst-case memory/stack/cache requirements) * the probabilistic analysis of systems which do not explicitly incorporate quantitative aspects (e.g. performance, reliability and risk analysis) * applications to safety-critical systems, communication protocols, control systems, asynchronous hardware, and to any other domain involving quantitative issues TOPICS: Topics include (but are not limited to) probabilistic, timing and general quantitative aspects in: Language design, Information systems, Asynchronous HW analysis, Language extension, Multi-tasking systems, Automated reasoning, Language expressiveness, Logic, Verification, Quantum languages, Semantics, Testing, Time-critical systems, Performance analysis, Safety, Embedded systems, Program analysis, Risk and hazard analysis, Coordination models, Protocol analysis, Scheduling theory, Distributed systems, Model-checking, Security, Biological systems, Concurrent systems, ... INVITED SPEAKER: * Vincent Danos, Universite Paris Diderot - Paris 7, France. * Jane Hillston, University of Edinburgh, UK. SUBMISSIONS: In order to encourage participation and discussion, this workshop solicits two types of submissions - regular papers and presentations: 1. Regular paper submissions must be original work, and must not have been previously published, nor be under consideration for publication elsewhere. Regular paper submission must not exceed 15 pages, possibly followed by a clearly marked appendix which will be removed for the proceedings and contains technical material for the reviewers. 2. A presentation reports on recent or ongoing work on relevant topics and ideas, for timely discussion and feedback at the workshop. There is no restriction as for previous/future publication of the contents of a presentation. Typically, a presentation is based on a paper which recently appeared (or which is going to appear) in the proceedings of another recognized conference, or which has not yet been submitted. The (extended) abstract of presentation submissions should not exceed 4 pages. All submissions must be in PDF format and use the ENTCS style files. Submissions can be made on the following website: www.easychair.org/conferences/?conf=qapl09 The program co-chairs can be contacted at: qapl09chairs at tcslist.inf.tu-dresden.de The workshop PC will review all submissions of both types to select appropriate ones for acceptance in each category, based on their relevance, merit, originality, and technical content. The authors of the accepted submissions of both types are expected to present and discuss their work at the workshop. Negotiations are ongoing about publishing the proceedings in Elsevier's ENTCS. Publication of a selection of the papers in a special issue of a journal is under consideration. For regular papers: Submission (title + abstract): December 18, 2008 Submission (regular paper): December 20, 2008 Notification: January 28, 2009 Final version (ETAPS proceedings): February 2, 2009 Final version (ENTCS proceedings): TBA For presentations: Submission: January 28, 2009. Notification: January 31, 2009. ORGANIZATION: PC Chairs: * Alessandra Di Pierro, University of Verona, Italy * Christel Baier, University of Dresden, Germany. Program Committee: * Alessandro Aldini, University of Urbino, Italy * Christel Baier, University of Dresden, Germany * Nathalie Bertrand, IRISA/INRIA Rennes, France * Patricia Bouyer, Oxford University, UK * Jeremy Bradley, Imperial College London, UK * Tomas Brazdil, Masaryk University, Czech Republic * Flavio Corradini, University of Camerino, Italy * Josee Desharnais, University of Laval, Canada * Alessandra Di Pierro, University of Verona, Italy * Maurizio Gabbrielli, University of Bologna, Italy * Marcus Groesser, Technical University Dresden, Germany * Cosimo Laneve, University of Bologna, Italy * Mieke Massink, NR-ISTI Pisa, Italy * Paulo Mateus, Technical University of Lisbon, Portugal * Annabelle McIver, Maquarie University, Australia * Gethin Norman, Oxford University, UK * Jeremy Sproston, University of Torino, Italy * Franck van Breugel, York University, Toronto, Canada * Herbert Wiklicky, Imperial College London, UK From tkutsia at risc.uni-linz.ac.at Tue Nov 25 13:56:15 2008 From: tkutsia at risc.uni-linz.ac.at (Temur Kutsia) Date: Tue, 25 Nov 2008 13:56:15 +0100 Subject: CFP: ISSAC 2009 Message-ID: <20081125125615.GA15496@risc.uni-linz.ac.at> CALL FOR PAPERS ISSAC 2009 International Symposium on Symbolic and Algebraic Computation Korea Institute for Advanced Study Seoul, Korea, July 28-31, 2009 http://issac2009.kias.re.kr/ The 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC) is the 34th meeting in a series of conferences, begun in 1966 and held annually since 1981 in North America, Europe and Asia, for original research on all aspects of symbolic computation. Following tradition, ISSAC 2009 will have presentations of accepted research papers, invited talks, poster sessions, tutorial courses, software demonstrations, and company exhibits. IMPORTANT DATES Paper submission deadline is Saturday, Jan. 17, 2009, 23:59 EST [+7 days extension] Notification of Acceptance/rejection: no later than Monday, March 30, 2009. CONFERENCE TOPICS All topics covered traditionally by ISSAC including all of computer algebra algebraic methods in computational geometry and in theorem proving the computer science of creating software for doing mathematics Applications of symbolic computation to the natural sciences, life science, engineering, education, and others For more details, see, e.g., the TOC in the Computer Algebra Handbook URL: http://issac2009.kias.re.kr/cah_toc.pdf In addition and not exclusively, applications of symbolic computation to new models of computation (e.g., quantum computation, origami mathematics) algebraic statistics Certification of numerical results by symbolic computation Implementation of symbolic computation systems on compact and mobile devices. CONFERENCE OFFICERS Jeremy Johnson, Drexel U., USA and Hyungju Park, KIAS, Korea, General Co-Chairs Erich Kaltofen, NCSU, USA, Program Committee Chair Program Committee Massimo Caboara, U. Pisa, Italy Siegfried Rump, TUHH, Germany Gene Cooperman, Northeastern U., USA Bruno Salvy, INRIA, France Mark Giesbrecht, U. Waterloo, Canada Carsten Schneider, RISC, Austria Jaime Gutierrez, U. Cantabria, Spain Kiyoshi Shirayanagi, Tokai U., Japan Weidong Liao, Shepherd U., USA Elena Smirnova, Texas Instruments, USA Scott McCallum, Macquarie U., Australia Volker Sorge, U. Birmingham, UK Kosaku Nagasaka, Kobe U., Japan Adam Strzebonski, Wolfram Research, USAClement Pernet, U. Washington, USA Stephen Watt, U. Western Ontario, Canada / U. Grenoble I, France Franz Winkler, RISC, Austria Markus Rosenkranz, RICAM, Austria Min Wu, East China Normal U., China SUBMISSION INSTRUCTIONS Papers must contain original research and not duplicate work published or submitted for publication elsewhere. Papers will be reviewed by the Program Committee and external referees. Proceedings will be distributed at ISSAC 2009. Papers must be written in English and should not exceed 8 pages in ACM's Proceedings style http://www.acm.org/sigs/publications/proceedings-templates, which is about 20 to 22 pages in LaTeX 12pt article style. If necessary, submissions can have an appendix that may be read by the reviewers and PC Members, but that is not considered part of the Proceedings paper. Papers are exclusively submitted via http://www.easychair.org/conferences?conf=issac2009 We expect that at least one author of each accepted paper attends ISSAC 2009 and presents her or his paper. REPEATING DATES Submit by Jan. 24, 23:59 EST; accept/reject by Mar. 30; Conf. Jul. 28-31, 2009. From clu at tcs.inf.tu-dresden.de Tue Nov 25 17:01:00 2008 From: clu at tcs.inf.tu-dresden.de (Carsten Lutz) Date: Tue, 25 Nov 2008 17:01:00 +0100 Subject: TIME 2009 Call for Papers Message-ID: TIME 2009 Call for Papers Sixteenth International Symposium on Temporal Representation and Reasoning Brixen, Italy, July 23-25, 2009 http://www.inf.unibz.it/krdb/events/time-2009/ The TIME symposium series is a well-established annual event that brings together researchers from all areas of computer science that involve temporal representation and reasoning. This includes, but is not limited to, artificial intelligence, temporal databases, and the verification of software and hardware systems. In addition to fostering interdisciplinarity, the TIME symposia emphasize bridging the gap between theoretical and applied research. TIME 2009 encompasses three tracks, but has a single program committee. The conference will span three days, and will be organized as a combination of technical paper presentations, poster sessions, and keynote lectures. * IMPORTANT DATES Abstract Submission: April 6 Paper Submission: April 9 Paper Notification: May 11 Camera Ready Copy Due: May 22 TIME 2009 Symposium: July 23-25 * TOPICS Track 1: Temporal Representation and Reasoning in AI - temporal aspects of agent- and policy-based systems - spatial and temporal reasoning - reasoning about actions and change - planning and planning languages - ontologies of time and space-time - belief and uncertainty in temporal knowledge - temporal learning and discovery - time in problem solving (e.g. diagnosis, scheduling) - time in human-machine interaction - temporal information extraction - time in natural language processing - spatio-temporal knowledge representation systems - spatio-temporal ontologies for the semantic web Track 2: Temporal Database Management - temporal data models and query languages - temporal query processing and indexing - temporal data mining - time series data management - stream data management - spatio-temporal data management, including moving objects - data currency and expiration - indeterminate and imprecise temporal data - temporal constraints - temporal aspects of workflow and ECA systems - real-time databases - time-dependent security policies - privacy in temporal and spatio-temporal data - temporal aspects of multimedia databases - temporal aspects of e-services and web applications - temporal aspects of distributed systems - novel applications of temporal database management - experiences with real applications Track 3: Temporal Logic and Verification in Computer Science - specification and verification of systems - verification of web applications - synthesis and execution - model checking algorithms - verification of infinite-state systems - reasoning about transition systems - temporal architectures - temporal logics for distributed systems - temporal logics of knowledge - hybrid systems and real-time logics - tools and practical systems - temporal issues in security * PAPER SUBMISSION Submissions of high quality papers describing research results or on-going work are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere. Submitted papers will be refereed by at least three reviewers for quality, correctness, originality, and relevance. Accepted papers will be presented at the symposium and included in the proceedings, which will be published by the IEEE Computer Society Press. Acceptance of a paper is contingent on one author presenting the paper at the symposium. Submissions should be in PDF format (with the necessary fonts embedded). They must be formatted according to the IEEE guide- lines described at ftp://pubftp.computer.org/press/outgoing/ proceedings/8.5x11 - Formatting files/ and must not exceed 8 pages; over-length submissions may be rejected without review. Papers are submitted electronically via Easychair: http://www.easychair.org/conferences/?conf=time2009 * CONFERENCE OFFICERS General Chair: David Toman, University of Waterloo, Canada Program Committee Chairs: Carsten Lutz, University of Bremen, Germany Jean-Francois Raskin, Free University of Brussels, Belgium Organization Chair: Alessandro Artale, Free University of Bozen-Bolzano, Italy * PROGRAM COMMITTEE Peter van Beek, University of Waterloo, Canada Claudio Bettini, University of Milan, Italy Thomas Brihaye, University of Mons-Hainaut, Belgium Franck Cassez, National ICT Australia Jan Chomicki, University at Buffalo, USA Carlo Combi, University of Verona, Italy Alessandro Cimatti, IRST, Italy Stephane Demri, CNRS, France Bernd Finkbeiner, Saarland University, Germany Michael Fisher, Liverpool, UK Tim French, University of Western Australia, Australia Antony Galton, University of Exeter, UK Alfonso Gerevini, University of Brescia, Italy Valentin Goranko, University of Witwatersrand, South Africa Rajeev Gore, ANU, Australia Keijo Heljanko, Helsinki University of Technology, Finland Ian Hodkinson, Imperial College, UK Ulrich Hustadt, University of Liverpool, UK George Kollios, Boston University, USA Orna Kupferman, Hebrew University, Israel Francois Laroussinie, CNRS, France Salvatore Latorre, University of Salerno, Italy Nicolas Markey, CNRS, France Rupak Majumdar, University of California, USA Angelo Montanari, University of Udine, Italy Madhusudan Parthasarathy, University of Illinois, USA Ian Pratt-Hartmann, Manchester University, UK Jochen Renz, Australian National University, Australia Roger Villemaire, UQAM, Canada Sean Wang, University of Vermont, USA Jef Wijsen, University of Mons-Hainaut, Belgium Ouri Wolfson, University of Illinois, USA Pierre Wolper, University of Liege, Belgium Frank Wolter, University of Liverpool, UK James Worrell, Oxford University, UK Michael Zakharyaschev, Birkbeck College, UK Carlo Zaniolo, University of California, USA * FURTHER INFORMATION Questions related to submission, reviewing, and program: time09 at informatik.uni-bremen.de Questions related to local organization: artale at inf.unibz.it From tc at cs.bath.ac.uk Wed Nov 26 04:11:46 2008 From: tc at cs.bath.ac.uk (Tom Crick) Date: Wed, 26 Nov 2008 03:11:46 +0000 Subject: Final Call for Participation: EUMAS 2008 Message-ID: <492CBE72.2060100@cs.bath.ac.uk> ***Apologies for multiple copies*** *********************************************************** CALL FOR PARTICIPATION Sixth European Workshop on Multi-Agent Systems (EUMAS 2008) University of Bath, Bath, UK 18th--19th December 2008 http://eumas08.cs.bath.ac.uk/ *** registration closes on 30th November! *** *********************************************************** OVERVIEW EUMAS 2008 is the sixth edition of the EUMAS meeting series that started in Oxford in 2003. This year's meeting retains the traditions of past events with a focus on student presentation, early results and re-presentation of recent conference papers. We are pleased to report there were 71 submissions this year, of which 42 were accepted for full presentations and 12 for short presentations (overall acceptance rate of 76%). A programme schedule is available here: http://eumas08.cs.bath.ac.uk/schedule/. Co-located with EUMAS 2008, the sixth Agent Technical Fora will run on the day prior to the meeting (Wednesday 17th December). Two fora have been announced: "Agent-Oriented Software Engineering" (AOSE) and "Self-Organisation in MAS" (SELFORG). The registration deadline is 10th December 2008; further information is available from http://eumas08.cs.bath.ac.uk/tfg/. LOCATION The City of Bath is a UNESCO World Heritage site located in the south-west of England. Founded by the Romans as a thermal spa, Bath became an important centre of the wool industry in the Middle Ages. In the 18th century, under King George III, it developed into an elegant town with neo-classical Palladian buildings, which blend harmoniously with the Roman baths. The University of Bath campus is situated in the hills surrounding the city and is a leading UK university with an international reputation for teaching quality and research. Further information about the University of Bath, how to get here and finding your way around is available from http://www.bath.ac.uk/getting-here/. Bath can be easily reached by road, train or air. For international participants, Bath is best served by either Bristol International Airport or London Heathrow; we advise strongly against using any of the other London airports. REGISTRATION Registration is open for EUMAS 2008 and information is available online at: http://eumas08.cs.bath.ac.uk/registration/ Registration is open until *30th November*. Your registration fee includes: the electronic proceedings, a ticket for the welcome reception at the Roman Baths, a ticket for the evening banquet, lunch and refreshments on both days of the workshop (and accommodation on Wednesday 17th and Thursday 18th Dec, if selected). Reduced registration fees are available for students. Thanks to sponsorship from the Engineering and Physical Science Research Council (EPSRC), we can offer a limited number of student bursaries. Please note that only EPSRC-funded students are eligible for these bursaries. If you are in receipt of an EPSRC studentship, and wish to apply, please consult the website for further details. These bursaries will be allocated on a first-come, first-served basis. CONTACT DETAILS EUMAS 2008 Organisation Department of Computer Science University of Bath Bath BA2 7AY UK Fax: +44 (0)1225 383493 Email: eumas08 at cs.bath.ac.uk IMPORTANT DATES Registration closes: ***30th November 2008*** Technical Forum Group registration: 10th December 2008 Technical Forum Group meetings: 17th December 2008 EUMAS 2008 workshop: 18th/19th December 2008 OFFICIALS General Chair Julian Padget, University of Bath, UK Program Chair Franziska Klugl, Orebro University, Sweden Local Organisation Marina De Vos, University of Bath, UK Julian Padget, University of Bath, UK Publicity/Web Tom Crick, University of Bath, UK Owen Cliffe, University of Bath, UK TF6 Forum Chairs (tf6-chair at irit.fr) Marie-Pierre Gleizes, IRIT, Université Paul Sabatier, Toulouse, France Massimo Cossentino, ICAR-CNR, National Research Council, Italy Michael Luck, King’s College London, UK Rubén Fuentes, Universidad Complutense Madrid, Spain From simon.miles at kcl.ac.uk Wed Nov 26 14:23:57 2008 From: simon.miles at kcl.ac.uk (Simon Miles) Date: Wed, 26 Nov 2008 13:23:57 +0000 Subject: IFAAMAS-08 Victor Lesser Distinguished Dissertation Award Message-ID: Call for IFAAMAS-08 Victor Lesser Distinguished Dissertation Award nominations Nominations are invited for the 2008 Victor Lesser Distinguished Dissertation Award sponsored by IFAAMAS, the International Foundation for Autonomous Agents and Multiagent Systems (http://www.ifaamas.org). This award includes a certificate signed by the IFAAMAS Chair and 1500EUR. Eligible doctoral dissertations are those defended between January 1, 2008 and December 31, 2008 in the area of Autonomous Agents or Multiagent Systems. The originality, significance, and real or potential impact of the work. Evidence of such impact may come from existing pre- or post-defense publications of the work at highly selective conferences and journals, and/or from comments of the supervisor and references. Work that resulted primarily from the student's initiative will be considered more favourably. The selection committee will be the final arbiter in the decision process. The selection committee might decide to consult external assessors and reserves the right not to award the prize if the nominations do not meet the expected quality level. The dissertation must be nominated by the thesis supervisor and must be supported by the following documents: *A.* A pdf file of the dissertation. If the dissertation is not written in English, the nomination must include a long paper in English, with the nominee as the first author, published in a journal or a prestigious conference. *B.* A list of citations to published papers based primarily on work reported in the dissertation with links to corresponding pdf files. *C.* A recommendation from the supervisor nominating the dissertation for the IFAAMAS-08 Victor Lesser Distinguished Dissertation Award. The recommendation should argue the merit of the dissertation and highlight, where relevant, how the work resulted from the initiative of the student. This document, not to exceed 500 words, should also certify the eligibility of the PhD by asserting that the PhD was defended in calendar year 2008. *D.* Up to three reference letters of no more than 500 words in length, signed and scanned as pdf files, from researchers familiar with the research of the candidate and with related research expertise. These documents must be placed on a web page and only a link to this page e-mailed to the chair of the selection committee, Makoto Yokoo, at yokoo at is.kyushu-u.ac.jp on or before February 13, 2009. Though the nomination is to be submitted by the student's supervisor, it is assumed that the student has consented that the dissertation be considered for this award and, if selected, commits to attend the AAMAS09 conference where he/she will receive the award and will give an hour-long presentation on this work in a special session. The cost of attending the conference is not covered by the award. Selection committee: Vincent Conitzer Les Gasser Radu Jurca Sarit Kraus Sandip Sen Makoto Yokoo (Chair) -- Dr Simon Miles Agents and Intelligent Systems Group Department of Computer Science Kings College London, UK From adrian.paschke at gmx.de Wed Nov 26 19:22:16 2008 From: adrian.paschke at gmx.de (Adrian Paschke) Date: Wed, 26 Nov 2008 19:22:16 +0100 Subject: CFP: 3rd International Conference on Adaptive Business Information Systems (ABIS 2009) In-Reply-To: <000001c8304c$d356fbc0$a50f9b86@informatik.unimannheim.de> References: <000001c8304c$d356fbc0$a50f9b86@informatik.unimannheim.de> Message-ID: <026701c94ff3$fbb85a60$f3290f20$@paschke@gmx.de> Dear Colleagues, This is a kind reminder the deadline for submission (5 December 2008) is ten days away. 3rd International Conference on Adaptive Business Information Systems (ABIS 2009), Leipzig, Germany, 23-25 March 2009 http://siwn.org.uk/2009leipzig/CfP_ABIS09.pdf Next year in March the European SIWN roof conference (see http://siwn.org.uk/2009leipzig/), which hosts ABIS 2009, will take place in Leipzig together with the SABRE conference (see http://sabreconference.wifa.uni-leipzig.de/frontend/index.php). Moreover, that year will be the 600 anniversary of Leipzig University. Thus, after a series of successful ABIS conferences the 3rd ABIS 2009 ( http://siwn.org.uk/2009leipzig/ABIS09.htm) will be something very special. Papers of the conference will be published in the International Journal Communications of SIWN (CoSIWN) (ISSN 1757-4439). Please find attached the CFP for the 3rd International Conference on Adaptive Business Information Systems (ABIS'09). Please consider submitting a paper and forward the CFP to your interested colleagues. Thanks, Adrian Paschke [ our apologies should you receive this message more than one time ] 3rd International Conference on Adaptive Business Information Systems Leipzig, Germany, 23-25 March http://siwn.org.uk/2009leipzig/ABIS09.htm Call for Papers Second SIWN Congress (SIWN 2009) collocated with SOFTWARE, AGENTS, AND SERVICES FOR BUSINESS, RESEARCH, AND E-SCIENCES (SABRE 2009) ============================================================ Papers of the conference will be invited to publish their revised versions in a journal issue of the International Journal Communications of SIWN (CoSIWN) (ISSN 1757-4439) ============================================================ Overview -------- Information Technologies in their broad sense have been profoundly changing the ways, the processes and the philosophies of businesses. Adaptive business applications support processes whose workflows, user interfaces and business rules often change. The need for these dynamic applications is greater now than ever before and business systems in every perspective, management, workflow, information, infrastructure, etc. are evolving themselves towards being autonomic, adaptive, self-managing, self-organizing, and so forth. Emerging technologies such business rules management systems, complex event processing engines, event-driven business process management tools, corporate semantic web technologies, etc. are now gaining increasing momentum as they promise enhanced adaptive and agility capabilities to businesses, in order to sense unexpected environmental changes and to respond to business opportunities or to avoid business risks that turn up in a turbulent and quickly changing business environment. ABIS 2009 aims to provide a premier forum for stimulating exchange and in-depth discussion of advances, challenges and emerging areas in adaptive business information systems. Conference Venue ------------------------ Next year in March the European SIWN 2009 roof conference (see http://siwn.org.uk/2009leipzig/), which hosts ABIS'09 (http://siwn.org.uk/2009leipzig/ABIS09.htm), will take place in Leipzig together with the SABRE 2009 conference (see http://sabreconference.wifa.uni-leipzig.de/frontend/index.php). Moreover, that year will be the 600 anniversary of Leipzig University. Thus, after a series of successful ABIS conferences the 3rd ABIS'09 will be something very special and collocated with several other conferences and events. Deadlines --------- 05 December 2008 Submission of manuscripts 05 January 2009 Notification of acceptance 01 February 2009 Camera-Ready Version (CRV) & Presentation files due 23-25 March 2009 Conferences Topics of Interest ------------------ Topics of particular interest include (but not limited to) the followings. (1) Enterprise Information / Management Systems - business process integration - business process management - agile business process management - event-driven business process management - business rules and rule-based approaches for the business - enterprise resource planning - corporate semantic web - enterprise workflow management - inventory / warehouse management - management information systems - manufacturing resource planning - material requirement planning - product data management - product life cycle management - production and operation management - production planning and control - total quality management - business / IT service management and governance (2) Business Collaboration - business coalition - business partnership - coalition formation - collaborative e-business - agent-based e-business - enterprise federation - enterprise integration - global enterprise - global information systems - inter-enterprise transaction and workflow management - inter-organizational systems - corporate semantic web collaboration systems - knowledge network and management - virtual / networked enterprises - workflow interoperation (3) Supply Chains and Logistics - cooperation of supply chains - coordination / optimization in supply chains - customer / supplier relationship management - demand chain management - e-logistics - global supply networks - inventory management in supply chains - logistics and transportation systems - modeling of supply chains - multi-agent negotiations in supply chains - supply chain design and performance evaluation - supply chain dynamic formation - supply chain management (4) E-Business - agent mediated auction mechanisms - agent mediated bidding and negotiation - agent-mediated e-commerce - business rules in e-business - authentication / privacy / security in e-business - B2B, B2C, C2C models - e-banking - e-bidding and e-negotiation - e-business design and developments - e-business process modeling, integration, and monitoring - e-business security, trust and privacy - e-commerce - e-commerce content management - electronic data interchange - e-marketing and e-advertising - e-marketplaces - e-payment - e-taxation - e-work - global e-business - mobile commerce (5) Business Intelligence - artificial neural networks / evolutionary computation in business - data mining in business - group decision systems in business - information retrieval in business - intelligent agents in business - intelligent decision support systems in business - knowledge based / expert systems in business - knowledge management and ontology in business - machine learning in business - multi-linguistic user interfaces in business - natural language processing in business - particle swarm optimization / ant colony optimization in business - corporate semantic web in business - soft computing / fuzzy logic in business - swarm / collective / social intelligence in business (6) On-Demand Business - adaptive business - adaptive enterprises - agile business - agile enterprise - business adaptation / evolution - business process re-engineering - emergent enterprise - enterprise re-engineering - holonic enterprise - on-demand e-business - utility computing - service oriented computing - re-configurable enterprises - re-configurable / agile / holonic manufacturing system - responsive business - responsive enterprise - self-configuration of enterprise systems - self-organized production system - self-organizing business - self-organizing enterprises (7) Information Infrastructures of Businesses - complex event processing - business rules and rule-based approaches - distributed object systems - e-business applications and integration - electronic data interchange - enterprise (distributed) computing - enterprise applications interoperability - enterprise applications integration - enterprise collaborative computing - corporate semantic web and business ontologies - enterprise distributed intelligence - enterprise Grid computing - enterprise internet - enterprise middleware - enterprise portals - enterprise service bus - event-driven architectures - enterprise service oriented architectures - enterprise web services - enterprise XML Type of contributions and instructions ----------------------------------------------------- ABIS 2009 Technical Committee seeks original contributions in all areas of Adaptive Business Information Systems. Submissions must be original contributions that neither have been published nor have been under review for publication elsewhere. All submissions must be in English and no more than 7 pages in the format specified in the Instructions for Authors, which are available on http://siwn.org.uk/press/ita.htm. To submit a paper, a file in pdf format containing the manuscript of submission must be uploaded to the ABIS 2009 submission website at http://www.easychair.org/conferences/?conf=abis09 All manuscripts submitted will be sent to 3 members of the International Technical Program Committees of the Conferences for peer reviews and assessed according to the technical merits and presentation, on which the acceptance decision will be based. Accepted papers will be included in the CD-ROM Proceedings of SIWN 2009, which will be available for participants at the Conferences to promote the widest exchange and dissemination at the Conferences. Accepted papers of the conference will be invited to publish their revised versions in the international journal <> (CoSIWN, http://siwn.org.uk/cosiwn/) (ISSN 1757-4439) after the conference. Details can be seen on the SIWN 2009 website. Proposals of workshops, invited sessions and tutorials on emerging areas are welcome. Please discuss your proposals with Prof. Dr. Adrian Paschke, the Chair of ABIS 2009 Technical Committee (abis09 at easychair.org). Organizing Committee ------------------------------------- Adrian Paschke, Program Chair Corporate Semantic Web, Free University Berlin, Germany Heinz Juergen Mueller, Publicity Chair Berufsakademie Mannheim, Germany Program Committee ----------------------------- + Esma Aimeur, Université de Montréal, CA + Soeren Auer, University Leipzig, Germany + Matteo Baldoni, University of Torino, Italy + Claudio Bartolini, HP Labs, USA + Paul Buhler, College of Charleston, USA + Luis M. Camarinha-Matos, New University of Lisbon, Portugal + Jorge Cuellar, Siemens Corporate Research, Germany + Jiangbo Dang, Siemens Corporate Research, Germany + Marlon Dumas, University of Tartu, Estonia + Schahram Dustdar, TU Wien, Vienna + Agata Filipowska, Poznan University of Economics, Poland + Rony G. Flatscher, Wirtschaftsuniversitaet Wien, Austria + Dragan Gasevic, Simon Fraser University, Canada + Adrian Giurca, Technical University of Cottbus, Germany + Robert Golan, DB Mind, USA + Jaap Gordijn, Vrije Universiteit, NL + Dominic Greenwood, Whitestein Technologies AG, USA + Steven Guan, Xian Jiatong-Liverpool University, China + Oliver Guenther, HU Berlin, Germany + Ulrich Hasenkamp, Uni Marburg, Germany + Christian Huemer, Vienna University of Technology, Austria + Herbert Kopfer, Uni Bremen, Germany + Kyriakos Kritikos, ICS-FORTH, Greece + Leora Morgenstern, IBM, US + Gero Muehl, TU Berlin, Germany + Joerg Mueller, TU Clausthal, Germany + Dirk Neumann Albert-Ludwig University Freiburg, Germany + Volker Nissen, Technische Universitaet Ilmenau, Germany + Andreas Oberweis, Uni Karlsruhe, Germany + Alexander Pokahr, University of Hamburg, Germany + Dumitru Roman, STI / University Innsbruck, Austria + Graham Rong, MIT, USA + Kurt Sandkuhl, Jönköping University, Sweden + Matthias Schumann, Uni Goettingen, Germany + Michael Sheng, The University of Adelaide, Australia + Susanne Strahringer, TU Dresden, Germany + Vijay Sugumaran, Oakland University, USA + Kuldar Taveter, University of Melbourne, Australia + Vladimir Tosic, NICTA, Australia + Klaus Turowski, Uni Augsburg, Germany + Jan Vanthienen, Katholieke Universiteit Leuven, Belgium + Hans Weigand, Tilburg University, Netherlands + Gerhard Weiss, Software Competence Center Hagenberg GmbH, Austria + Yingjie Yang, De Montfort University, UK ===================================================================== In Co-operation with: Corporate Semantic Web (http://www.corporate-semantic-web.de/) funded by German Federal Ministry of Education and Research (BMBF) and the BMBF Innovation Initiative for the New German Länder - Entrepreneurial Regions, "InnoProfile” RuleML (http://www.ruleml.org/) – Realize your knowledge CITT ( http://www.citt-online.com/) - Centrum für Informations-Technologie Transfer (CITT) GmbH STI Berlin (www.stiberlin.de) – Semantic Technology Institute Berlin ===================================================================== Contact Prof. Dr. Adrian Paschke AG-CSW (Corporate Semantic Web) Institute of Informatics Free University Berlin paschke at inf.fu-berlin.de -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From tkutsia at risc.uni-linz.ac.at Thu Nov 27 20:38:13 2008 From: tkutsia at risc.uni-linz.ac.at (Temur Kutsia) Date: Thu, 27 Nov 2008 20:38:13 +0100 Subject: CFA: Fourth Training School in Symbolic Computation Message-ID: <20081127193813.GA29999@risc.uni-linz.ac.at> [Apologies for multiple copies.] %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % European Commission Framework 6 Programme % % Integrated Infrastructures Initiatives % % % % Symbolic Computation in Europe (SCIEnce) % % % % % % FOURTH TRAINING SCHOOL IN SYMBOLIC COMPUTATION % % % % June 29 - July 10, 2009 % % RISC, Castle of Hagenberg, Austria % % % % http://www.risc.uni-linz.ac.at/projects/science/school % % % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% The Research Institute for Symbolic Computation (RISC), Johannes Kepler University of Linz, organizes the Fourth RISC/SCIEnce Training School in Symbolic Computation, in June 29 - July 10, 2009 in the Castle of Hagenberg, Austria. The school gives an introduction to the field of symbolic computation and provides training in selected symbolic computation software and techniques for students and researchers from various fields of sciences who are interested in using symbolic computation in their work. ===================== GRANTS ARE AVAILABLE! ===================== The SCIEnce project provides a number of grants to potential school participants. Please visit the school web page for the details. ====================== LECTURES AND TUTORIALS ====================== * Abdallah Al Zain (Heriot-Watt University, Scotland, UK). SymGrid-Par. * Anna Bigatti (University of Genoa, Italy). CoCoA Tutorial. * Ralf Hemmecke (RISC, Austria). Maple Tutorial. * Sylla Lesseni (Technische Universit�t Berlin, Germany). KANT/KASH Tutorial. * Alexander Konovalov. GAP Tutorial. * Temur Kutsia (RISC, Austria). Unification. * Wolfgang Windsteiger (RISC, Austria). Mathematica Tutorial. * Franz Winkler (RISC, Austria). Introduction to Gr�bner bases and other methods in elimination theory. (More courses to be announced) =============== IMPORTANT DATES =============== * February 23, 2009: Application deadline. * March 16, 2009: Notification of acceptance. * May 4, 2009: Registration. * June 29�July 10, 2009: Training School. ===================== APPLICATION PROCEDURE ===================== http://www.risc.uni-linz.ac.at/projects/science/school/fourth/application.html ================== SCHOOL COORDINATOR ================== Temur Kutsia, RISC, Johannes Kepler University, Austria kutsia at risc.uni-linz.ac.at From simon.miles at kcl.ac.uk Thu Nov 27 14:05:35 2008 From: simon.miles at kcl.ac.uk (Simon Miles) Date: Thu, 27 Nov 2008 13:05:35 +0000 Subject: AAMAS-09 2nd Call for Industry Track papers Message-ID: (apologies if you receive multiple copies of this call) Second Call for Industry Track Papers The Eighth International Joint Conference on AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS (AAMAS-09) Budapest, Hungary May 10-15, 2009 http://www.conferences.hu/AAMAS2009/ The AAMAS Conference Industry Track is dedicated to collect, present and discuss contributions reporting on industrial and commercial deployment of software agent technologies and their applications. If you are working to commercialize agent technologies, or developing a real-world applications based on the agent technologies, you are coordially invited to submit papers on your current works, to help people discuss the answer to some of the existing key questions: * Which real-world applications can benefit of agent technology? * What are the main challenges? * How is autonomous agent and multi-agent systems research results contributing to viable business? * What are your experiences in developing real world impact for agent technologies? Novel papers in this general space are strongly encouraged. Topics of interest include but are not limited to: * Experiences gained from commercialization or commercialization attempts. * Return on investment analysis of agent technologies. * Insights into markets appropriate for agent technologies. * Commercial application of agents. * Application case studies. * Agent applications for E-government. * Agent applications for defense or aerospace. * Agent applications for manufacturing, automation, and logistics. * Agent applications for telecommunication, media and entertainment. * Agent applications for health, smart living, ambient intelligence. * Agent applications for bio-technology. * Agent applications for telematics, monitoring and maintenance, and surveillance. * Agent applications for managing large scale infrastrctures. * Other applications of agents, such as in the non-profit sector. * Barriers to adoption or adoption facilitators. What is the Industry Track? --------------------------- The AAMAS Industry Track is a special track at the AAMAS conference that runs in parallel with the regular AAMAS scientific track. The track is dedicated to fostering commercial or real world, impact for agent technologies. The track will feature presentations and demonstrations from industrial and academia participants, giving them an opportunity to showcase the state of the art in agent technology. Accepted papers of the AAMAS Industry Track will be included in the same electrical media (e.g. USB memory) with the main track papers. Hard copies of the proceedings are also available with fee upon request. The Industry Track aims to foster mutually beneficial links between those engaged in foundational scientific research and those working to make autonomous agents and multi-agent systems a commercial reality. How it will be refereed? ------------------------ The submission and reviewing processes for the AAMAS Industry Track will be separated from that of the regular scientific track. Whereas in the regular conference track the overriding refereeing criterion is clearly scientific excellence, the Industry Track focuses primarily on the industrial relevance and technological significance of the contribution. Preference will be given to mature work demonstrating concrete industrial/commercial results and business value. Examples of an "ideal" paper might include: * Significance of problem solved, user needs and use cases; * Technology innovation, why agents are superior to other technologies; * Business case, return of investment analysis; * Deployment scale and adoption. We discourage the submission of purely speculative papers or papers whose primary contribution is scientific. Papers focusing on purely scientific matters should be submitted to the regular conference track, with Description Axis = "Applications". We want your applied business experience with agent technologies. Submissions ----------- Papers should be submitted by email to industrial-track-chairs at aamas09.org Instructions for the submission of The AAMAS Industrial and Applications Track submissions: Submitted papers should be formatted according to AAMAS specifications. AAMAS style guides, as well as templates and style sheets for Microsoft Word, WordPerfect, and LaTeX can be found here. Papers must be 8 pages (regular paper) or 4 pages (short paper), including figures and references, when formatted using the specified style. Papers should be formatted for standard Letter paper size. (i.e. not A4) Overlength papers will be rejected. Notification of receipt of the electronic paper will be mailed to the first author (or designated author) soon after receipt. Please send the contact information and abstract of your paper by plain text before December 7, 2008, midnight (UCT). Last name: First name: Affiliation: Address: E-mail: Keywords: Abstract: In addition to the above, authors are required to submit their electronic papers. The only formats allowed for electronic submission are PostScript or PDF (Adobe's Portable Document Format). Papers will not be accepted in any other format (e.g., MS Word) because of compatibility problems between software versions, machines, and nationalities. However, we strongly encourage the submission in PDF format. We cannot accept title pages or papers submitted by FAX. Electronic paper submissions must arrive no later than: December 14, 2008, midnight UCT. Submissions received after this date will not be considered for review. Policy on Multiple Submissions ------------------------------ The AAMAS 2009 Industry and Applications Track will not accept any paper which, at the time of submission, is under review for or has already been published or accepted for publication in a journal or another conference. Authors are also expected not to submit their papers elsewhere during the AAMAS review period. These restrictions apply only to journals and conferences, not to workshops and similar specialized presentations with a limited audience and no formal proceedings. Review process -------------- Three Industry Track Program Committee members will review each paper. The decision of the Program Committee Chairs will be final and cannot be appealed. Accepted papers will be scheduled for presentation and will be included in the Proceedings. Notification of acceptance or rejection of submitted papers will be mailed to the first author (or designated author) by January 23, 2009. Note that at least one author of each accepted paper is required to register and to attend the conference to present the work. Dates and Instructions ---------------------- - Deadline for paper information December 7, 2008. - Deadline for paper submission December 14, 2008. - Notification of acceptance or rejection January 23, 2009 - Final versions due Approximately February 8, 2009. For more information, contact the track co-chairs at industrial-track-chairs at aamas09.org. Track Co-Chairs --------------- Jeff Bradshaw Florida Institute for Human and Machine Cognition (IHMC), USA Birgit Burmeister Daimler AG Group Research, Germany Akihiko Ohsuga The University of Electro-Communications, Japan Programme Committee ------------------- Andrzej Uszok Florida Institute for Human and Machine Cognition (IHMC), USA Dominic Greenwood Whitestein Technologies, Switzerland Gaku Yamamoto IBM, Japan Giovanni Caire TelecomItalia, Italy Hartwig Baumgärtel University of Applied Sciences Ulm, Germany Ian Dickinson HP Laboratories, UK James Odell CSC, USA Jeffrey O. Kephart IBM Research, USA Jeremy Baxter Qinetiq, UK Jiming Liu Hong Kong Baptist University, Hong Kong Maarten Sierhuis NASA, USA Michael Berger DocuWare AG, Germany Michael Kerstetter The Boeing Company, USA Michael Pirker Siemens AG, Germany Michal Pechoucek Gerstner Lab/Czech Technical University, Czech Republic Monique Calisti Whitestein Technologies, Switzerland Ning Zhong Maebashi Institute of Technology, Japan Partha S Dutta Rolls-Royce plc, UK Peter Göhner University Stuttgart, Germany Satoru Fujita Hosei University, Japan Satoshi Nishiyama NICT, Japan Shigeo Matsubara Kyoto University, Japan Shigeru Fujita Chiba Institute of Technology, Japan Simon Thompson BT Innovate Intelligent Systems Research Centre,, UK Stefan Kirn Universität Hohenheim, Germany Sven Brückner NewVectors LLC, USA Takahiro Kawamura Toshiba, Japan Tarek Helmy King Fahd University of Petroleum and Mineral, Saudi-Arabia Toshiharu Sugawara Waseda University, Japan -- Dr Simon Miles Agents and Intelligent Systems Group Department of Computer Science Kings College London, UK From tkutsia at risc.uni-linz.ac.at Thu Nov 27 20:18:47 2008 From: tkutsia at risc.uni-linz.ac.at (Temur Kutsia) Date: Thu, 27 Nov 2008 20:18:47 +0100 Subject: CFP: ISSAC 2009 Message-ID: <20081127191847.GA26939@risc.uni-linz.ac.at> [Apologies for multiple copies.] %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % European Commission Framework 6 Programme % % Integrated Infrastructures Initiatives % % % % Symbolic Computation in Europe (SCIEnce) % % % % % % FOURTH TRAINING SCHOOL IN SYMBOLIC COMPUTATION % % % % June 29 - July 10, 2009 % % RISC, Castle of Hagenberg, Austria % % % % http://www.risc.uni-linz.ac.at/projects/science/school % % % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% The Research Institute for Symbolic Computation (RISC), Johannes Kepler University of Linz, organizes the Fourth RISC/SCIEnce Training School in Symbolic Computation, in June 29 - July 10, 2009 in the Castle of Hagenberg, Austria. The school gives an introduction to the field of symbolic computation and provides training in selected symbolic computation software and techniques for students and researchers from various fields of sciences who are interested in using symbolic computation in their work. ===================== GRANTS ARE AVAILABLE! ===================== The SCIEnce project provides a number of grants to potential school participants. Please visit the school web page for the details. ====================== LECTURES AND TUTORIALS ====================== * Abdallah Al Zain (Heriot-Watt University, Scotland, UK). SymGrid-Par. * Anna Bigatti (University of Genoa, Italy). CoCoA Tutorial. * Ralf Hemmecke (RISC, Austria). Maple Tutorial. * Sylla Lesseni (Technische Universit�t Berlin, Germany). KANT/KASH Tutorial. * Alexander Konovalov. GAP Tutorial. * Temur Kutsia (RISC, Austria). Unification. * Wolfgang Windsteiger (RISC, Austria). Mathematica Tutorial. * Franz Winkler (RISC, Austria). Introduction to Gr�bner bases and other methods in elimination theory. (More courses to be announced) =============== IMPORTANT DATES =============== * February 23, 2009: Application deadline. * March 16, 2009: Notification of acceptance. * May 4, 2009: Registration. * June 29�July 10, 2009: Training School. ===================== APPLICATION PROCEDURE ===================== http://www.risc.uni-linz.ac.at/projects/science/school/fourth/application.html ================== SCHOOL COORDINATOR ================== Temur Kutsia, RISC, Johannes Kepler University, Austria kutsia at risc.uni-linz.ac.at From areces at pluton.loria.fr Fri Nov 28 19:11:19 2008 From: areces at pluton.loria.fr (Carlos Areces) Date: Fri, 28 Nov 2008 19:11:19 +0100 Subject: ACKERMANN AWARD 2009: CALL FOR NOMINATIONS Message-ID: <200811281811.mASIBJKI027486@pluton.loria.fr> ========================================================================= ACKERMANN AWARD 2009 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE CALL FOR NOMINATIONS * Eligible for the 2009 Ackermann Award are PhD dissertations in topics specified by the EACSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1.1.2007 and 31.12. 2008. * The deadline for submission is 15.3.2009. * Submission details are available at www.dimi.uniud.it/eacsl/award.html www.cs.technion.ac.il/eacsl * The award consists of - a diploma, - an invitation to present the thesis at the CSL conference, - the publication of the abstract of the thesis and the laudation in the CSL proceedings, - travel support to attend the conference. * The 2009 Ackermann Award will be presented to the recipients at the annual conference of the EACSL (CSL'09). * The jury consists of nine members: - The president of EACSL, J. Makowsky (Haifa); - The borad-member of EACSL, A. Dawar (Cambridge); - One member of the LICS organizing committee, G. Plotkin (Edinburgh); - P.-L. Curien (Paris) - A. Durand (Paris) - J. van Benthem (Amsterdam) - M. Grohe (Berlin); - M. Hyland (Cambridge); - A. Razborov (Moscow and Princeton). * The jury is entitled to give more than one award per year. * The previous Ackermann Award recipients were: 2005: Mikolaj Bojanczyk, Konstantin Korovin, Nathan Segerlind; 2006: Stefan Milius and Balder ten Cate; 2007: Dietmar Berwanger, Stephane Lengrand and Ting Zhang. 2008: Krishnendu Chatterjee * For the three years 2007-2009, the Award is sponsored by Logitech, S.A., Romanel, Switzerland, the worlds leading provider of personal peripherals. ========================================================================= From wmaccaul at stfx.ca Fri Nov 28 19:15:17 2008 From: wmaccaul at stfx.ca (Wendy MacCaull) Date: Fri, 28 Nov 2008 14:15:17 -0400 Subject: Post doc position in Verification Message-ID: The Centre for Logic and Information at St. Francis Xavier University, Antigonish, Canada, has a post doctoral position open for research in Logic and Computer Science. The position forms part of a 5 year University/Industry collaborative project in modeling and reasoning about dynamically changing processes directed by Wendy MacCaull. The successful candidate is expected to do research in automated verification. The project involves modeling and verifying intelligent and adaptive workflow processes with particular reference to processes that require run time monitoring and, by their nature, are highly variable. Candidates must have a strong logic background, as demonstrated by their doctoral research and publications in journals and presentations at international conferences. Their thesis should be successfully defended before they can assume the position. The candidate will have the opportunity to work in an interdisciplinary setting involving an industry partner and members from the health care domain, for which applications are intended. Experience in high performance computing methodologies is an asset. Duration: Funding is intended for 2 years with second year funding dependent upon satisfactory performance during the first year. Starting date: is as soon as possible; at the latest, June 2009. Salary: The candidate will receive a salary of $40,000 Canadian per year with an additional conference travel allowance of up to $4,000 per year. The position may include minor teaching duties in an appropriate undergraduate course. Other members of the research team are involved in modeling and verifying processes, knowledge representation and reasoning, paraconsistent and nonclassical logics, ontologies for intelligent processes and high performance computing methodologies for verification. More information about the position and the project can be obtained from Wendy MacCaull (wmaccaul at stfx.ca); interested applicants can visit the website www.logic.stfx.ca and follow the links there. Applications should include: A statement of research interests and/or draft research proposal A detailed CV including a list of publications Sample publications Three letters of Reference (send directly to the address below), one from the PhD Supervisor Application material should be sent to Janet Norgrove at jnorgrove at stfx.ca by January 1, 2009. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wmaccaul at stfx.ca Fri Nov 28 20:28:21 2008 From: wmaccaul at stfx.ca (Wendy MacCaull) Date: Fri, 28 Nov 2008 15:28:21 -0400 Subject: Ontology Research Position Message-ID: The Centre for Logic and Information at St. Francis Xavier University, Antigonish, Canada, is looking for candidates to work as a researcher in a multi-year University/Industry/Health Authority collaborative project entitled "Building Decision Support Through Dynamic Workflow Systems for Health Care", directed by Wendy MacCaull. Candidates must have a background in knowledge representation and reasoning and research expertise in ontologies and web based ontology oriented applications. Familiarity with Description Logics and inference mechanisms, with ontology development tools such as the Protégé Ontology Editor and the Knowledge Acquisition System, and with semantic web technologies and languages such as OWL are required. Experience in high performance computing methodologies, a working knowledge in biomedical ontologies and interest in reasoning with uncertainty are assets. The successful candidate will be developing health ontologies for integration with business process technology. A Masters degree in Mathematics or Computer Science and a minimum of 2 years experience in academic research (such as a post doc or experienced PhD student) are required. The initial appointment will be for a period of one year, with extensions of 2 or more years based on satisfactory achievement. The salary will be based on the experience of the candidate. The starting date is as soon as possible and, at the latest, June 2009. The candidate will have the opportunity to work in an interdisciplinary setting involving computer scientists and graduate students, an industry partner and participants from the health care domain. More information about the position and the project can be obtained from Wendy MacCaull (wmaccaul at stfx.ca); interested applicants can visit the website www.logic.stfx.ca and follow the links there. Applications should include: A detailed statement of prior experience and research interests A CV Sample publications Three Letters of Reference (send directly to the address below) Applications should be sent be sent directly to Janet Norgrove at jnorgrove at stfx.ca by January 7, 2009. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ci-listen at in.tu-clausthal.de Tue Nov 11 16:16:18 2008 From: ci-listen at in.tu-clausthal.de (Administrator of mailing lists of CIG) Date: Tue, 11 Nov 2008 16:16:18 +0100 Subject: PhD Positions in Informatics available at University of Calabria In-Reply-To: <872bf010811110316w5ea12b05oe177542d521aa5a4@mail.gmail.com> References: <872bf010811110316w5ea12b05oe177542d521aa5a4@mail.gmail.com> Message-ID: Dear Francesco, please resend your posting to event at in.tu-clausthal.de and I will definitely let it through as it is of interest to our subscribers. best, Peter Novak, Event at CIG administrator. On Tue, 11 Nov 2008 12:16:24 +0100 "Francesco Calimeri" wrote: > University of Calabria (Italy) > > Two Ph.D. Positions available for non-Italian >citizens > at the Doctoral Program in Mathematics and >Informatics > ==================================================================== > > > The University of Calabria invites applications of >non-Italian > citizens for 2 Ph.D. scholarships for the 2009 class of >the > Doctoral Program in Mathematics and Informatics. > > The Program has been activated by the Department of >Mathematics > (www.mat.unical.it), which is one of the largest >departments of > the University of Calabria. > > The Ph.D. period will be 3 years. > > The University of Calabria will provide one successful >candidate > with a grant, of about EUR 1050,00 per month. > >For all the successful candidates, the University of >Calabria is > also likely to cover living expenses (mensa + >accommodation in the > campus). > > Ph.D. positions are offered in a pleasant working >environment with > excellent possibilities for professional development. > > Successful candidates in Informatics (with projects >focused on AI > and Computational Logics) will join the Database and >Artificial > Intelligence group of the Department of Mathematics. The >group has > deep knowledge in several AI areas, which are >investigated with > respect to their theoretical aspects and their formal >foundations > as well as with the respect to the design of practical > applications most often carried out in tight cooperation >with > industrial partners. In particular, members of the group >conduct > high-level research in the development of innovative > infrastructure for knowledge representation and >reasoning, and > have achieved important results in developing >non-monotonic > reasoning systems. > > > Requirements > ============ > Only non-Italian citizens (from within European >Community as well > as from outside) are allowed to submit. The required >qualification > for being eligible for the program is a Master's Degree, >or > equivalent. A three-year degree is not sufficient. > > > Applications > ============ > We are looking for highly-motivated, dedicated >candidates that are > interested in research in Informatics or Mathematics. > > Candidates are requested to: > - Fill in the online form available at >http://unical.ugmanager.it/ > - Send a notice of the application to >leone at mat.unical.it, and > annex the following deliverables: > (1) Curriculum Vitae (conforming to the template >available at > https://www.mat.unical.it/dottorato/Admissions) > (2) Research project (3 pages max) > (3) Presentation letter (2 pages max) > (4) List of passed university exams, with scores > > > The deadline is 2008-12-04 (December 4th, 2008), 12:00 >CET. > > > Contacts > ======== > To get in contact with the Department of Mathematics, >send an > email to: > > Prof. Nicola Leone > Department of Mathematics, University of Calabria > Ponte P. Bucci, cubo 30b > I-87036 Rende (CS), Italy > Email: leone at mat.unical.it > Phone: +39 0984 49 6433 >Fax : +39 0984 49 6410 > > To get in touch with the current PhD students, see > . > > > ==================================================================== >For further information, please refer to: > https://www.mat.unical.it/phd