From k.balogh at uva.nl Tue Jan 1 22:29:54 2008 From: k.balogh at uva.nl (Kata Balogh) Date: Tue, 1 Jan 2008 22:29:54 +0100 Subject: 2nd CfP -- ESSLLI 2008 Student Session Message-ID: [apologies for multiple copies] *********************************************************** 2nd Call for Papers ESSLLI 2008 STUDENT SESSION 4-18 August 2008, Hamburg, Germany Submission deadline: 15 February 2008 Website: http://staff.science.uva.nl/~kbalogh/StuS13 *********************************************************** We are pleased to announce the Student Session of the 20th European Summer School in Logic, Language and Information to be held in Hamburg, Germany on August 4-15, 2008. The aim of the Student Session is to give an opportunity to students at all levels (Bachelor-, Master- and PhD-students) to present and discuss their work in progress with a possibility to get feedback from senior researchers. Each year, 18 papers are selected for oral presentation and a number of others for poster presentation. CALL FOR PAPERS The programme committee invites submissions of papers for oral and poster presentation and for appearance in the proceedings. We welcome submissions with topics within the areas of Logic, Language and Computation. *** Submission deadline: 15 February 2008 *** The ESSLLI Student Session encourages submissions from students at any level, undergraduates as well as postgraduates. Papers co-authored by non-students will not be accepted. The Student Session papers should describe original, unpublished work, completed or in progress, that demonstrates insight, creativity, and promise. No previously published papers should be submitted. SUBMISSION Student authors are invited to submit a full paper up to 7 pages inclusive of references. Note that the length of the final version of the accepted papers will not be allowed to exceed 10 pages. The preferred formats of submissions are PostScript or PDF, although other formats will also be accepted. More submission details and all relevant information at: http://staff.science.uva.nl/~kbalogh/StuS13 CONTACT Kata Balogh ESSLLI 2008 Student Session chair email: k.balogh at uva.nl tel.: +31 20 5254544 fax: +31 20 5254503 postal address: Department of Philosophy Universiteit van Amsterdam Nieuwe Doelenstraat 15 1012 CP Amsterdam The Netherlands From mehdi at cs.uu.nl Wed Jan 2 14:30:19 2008 From: mehdi at cs.uu.nl (Mehdi Dastani) Date: Wed, 02 Jan 2008 14:30:19 +0100 Subject: [Siksleden] EASSS 2008: Call for Tutorials Message-ID: <477B91EB.70700@cs.uu.nl> !!! CALL FOR TUTORIALS -- EASSS 2008 !!! !!! Proposals deadline : 18 January 2008 !!! The tenth edition of the European Agent Systems Summer School (EASSS'08) will be co-located with AAMAS'08 and take place at Universidade Nova de Lisboa, Portugal 5-9 May 2008 Researchers and lecturers in the field of autonomous agents and multi-agent systems are invited to submit a proposal for a state-of-the-art course in the tenth edition of the European Agent Systems Summer School. Like its very successful predecessors, EASSS 2008 aims to offer a valuable forum for knowledge exchange between various research groups in this field for the benefit of students and researchers at both beginner and advanced level. The success of this summer school is essential not only for the mutual benefit of research groups, but also in forming future generations of researchers to maintain the excellence of Agents research and development in Europe. Tutors are encouraged to submit a 1-page course proposal including: the topic and its importance for the field, intended audience and their required background knowledge, outline of the topics to be presented, how the course material will be prepared, the tutors and their experience, level of the course (beginners/advanced), duration (typically 4 or 6 hours), and any special equipment requirements. Proposals will be evaluated based on the importance and quality of the topic description, the quality of the presentation material, and the teaching ability of the proposed speakers. Deadline for proposals: January 18, 2008 Notification: February 4, 2008 material for reader (< 26 pp) March 23, 2008 A typical course has 4 hours in total, but variations are possible. Courses should be broad enough to provide a general introduction to the chosen topic, but it should also cover the most important contributions in depth. Courses are expected to take a wider perspective than one specific approach practised by an individual or group. For an impression, the courses given in 2001 are collected in a volume of Springer's LNAI series (No 2086), and programmes of previous editions of EASSS can be found via the webpage of EASSS07 (http://www.dur.ac.uk/durham.agents007/EASSS07/). The summer schools attract about 100 students each year. We intend to give a modest contribution towards tutors' expenses by providing free accommodation, but EASSS would not normally cover tutors' travel costs. Please note that this year EASSS is co-located with AAMAS 2008 and takes place one week before that event. Submissions should be sent to Mehdi Dastani (mehdi at cs.uu.nl). The EASSS-2008 Committee members are: Joao Leite (local chair) Lisbon, Portugal Mehdi Dastani (chair) Utrecht, Netherlands Rafael Bordini Durham, UK Catholijn Jonker Delft, Netherlands Barbara Keplicz Warszawa, Poland Michal Pechoucek Prague, Czech Republic Wiebe van der Hoek Liverpool, UK Gerhard Weiss Hagenberg, Austria For information about local organisation please contact Joao Leite (jleite at di.fct.unl.pt). POSSIBLE TOPICS: * action selection and planning in multi-/agent systems * adaptation, evolution and learning in multi-/agent systems * agent-based simulation and modeling * agent communication, agent dialogues and agent argumentation * agents, ontologies, web services and semantic web * agent-oriented software engineering and development methodologies * agent programming languages and development tools * agent standardizations in industry and commerce * applications and deployment for agents and multi-agent systems * architectures for multi-agent systems * artificial market systems, auctions, trading agents and electronic commerce, electronic institutions * autonomous robots and robot teams * believability, human-like qualities of synthetic agents, humanoid and sociable robots * game theory and coalition formation for agents based systems * computational complexity in agent systems * conventions, commitments, norms, social laws and legal issues in multi-agent systems * coordination, cooperation, and collaboration in multi-agent systems * emergence, self-organisation and collective behavior in agent-based systems * foundational issues and theories of agency * information agents, routers, brokering and matchmaking * logics for specification, verification and validation of multi-agent systems * mobile agents * negotiation, task and resource allocation, and conflict handling in multi-agent systems * privacy, safety and security in multi-agent systems * scalability, robustness and dependability of multi-agent systems * social and cognitive models for agents * social and organizational structures of multi-agent systems * trust and reputation in multi-agent systems -- Mehdi Dastani Intelligent Systems Group Utrecht University P.O.Box 80.089 3508 TB Utrecht The Netherlands Tel: +31 - 30 - 253 3599 Fax: +31 - 30 - 251 3791 URL: http://www.cs.uu.nl/~mehdi From iclp08pub at cs.nmsu.edu Wed Jan 2 23:13:41 2008 From: iclp08pub at cs.nmsu.edu (ICLP 08) Date: Wed, 2 Jan 2008 15:13:41 -0700 Subject: ICLP'08 CALL FOR PAPERS Message-ID: <200801022213.m02MDf89012188@pippo.cs.nmsu.edu> FIRST CALL FOR PAPERS ICLP'08 24th International Conference on Logic Programming Udine, Italy, December 9th-13th, 2008 http://iclp08.dimi.uniud.it CONFERENCE SCOPE ---------------- Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (papers, position papers, and posters) are sought in all areas of logic programming including but not restricted to: * Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. * Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. * Environments: Program Analysis, Program Transformation, Validation and Verification, Debugging, Profiling, Integration. * Language Issues: Extensions, Integration with Other Paradigms, Concurrency, Modularity, Objects, Coordination, Mobility, Higher Order, Types, Modes, Programming Techniques. * Related Paradigms: Abductive Logic Programming, Inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming. * Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics The three broad categories for submissions are: (1) Technical papers, providing novel research contributions, innovative perspectives on the field, and/or novel integrations across different areas; (2) Application papers, describing innovative uses of logic programming technology in real-world application domains; (3) Posters, ideal for presenting and discussing current work, not yet ready for publication, for PhD thesis summaries and research project overviews. A separate session dedicated to the celebration of the 20th anniversary of stable model semantics will also be part of the program. Accepted papers and posters will be allocated time for presentation during the conference. At least one author of each accepted submission is expected to register and participate in the event. In addition to papers and posters, the technical program will include invited talks, advanced tutorials, specialized sessions, workshops, and a Doctoral Student Consortium. Details, as they become available will be posted at: http://iclp08.dimi.uniud.it PAPERS AND POSTERS ------------------ Papers and posters must describe original, previously unpublished research, and must not be simultaneously submitted for publication elsewhere. Emphasis will be placed on the novelty and innovative nature of the results (even if not completely polished and refined). All submissions will be peer-reviewed by an international panel. Submissions MUST contain substantial original, unpublished material. All submissions must be written in English. Technical papers and application papers must not exceed 15 pages in the Springer LNCS format (see http://www.springeronline.com/lncs/) The limit for posters is 5 pages in the same format. The primary means of submission will be electronic, through the Easychair submission system. The submission page is available at http://www.easychair.org/conferences/?conf=ICLP08 PUBLICATION ----------- The proceedings of the conference will be published by Springer-Verlag in the LNCS series. All accepted papers and posters will be included in the proceedings. WORKSHOPS --------- The ICLP'08 program will include several workshops. They are perhaps the best place for the presentation of preliminary work, novel ideas, and new open problems to a more focused and specialized audience. Workshops also provide a venue for presenting specialised topics and opportunities for intensive discussions and project collaboration in any areas related to logic programming, including cross-disciplinary areas. DOCTORAL CONSORTIUM ------------------- The Doctoral Consortium (DC) on Logic Programming is the 4th Doctoral consortium to provide doctoral students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and word-renown experts in the field. The DC will also offer invited speakers and panel discussions. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper and presentation from the DC will be given the opportunity to present in special session of the main ICLP conference. CELEBRATING 20th YEARS OF STABLE MODEL SEMANTICS ------------------------------------------------ The year 2008 marks the 20th anniversary of the publication that introduced the stable model semantics for logic programs with negation. The paper titled "The stable semantics for logic programs" by Michael Gelfond and Vladimir Lifschitz was presented at ICLP-1988. It was a momentous event that gave rise to a vibrant subfield of logic programming known now as the answer-set programming. Its distinguishing aspects are close connections to the fields of knowledge representation, satisfiability and constraint satisfaction, ever faster computational tools, and a growing list of successful applications. To celebrate the stable-model semantics, there will be a special session at ICLP 2008 dedicated to answer-set programming. The session will feature talks by Michael Gelfond and Vladimir Lifschitz. as well as by other major contributions to the field, presenting personal perspectives on the stable-model semantics, its impact and its future. There will be a panel discussion, and regular accepted ICLP papers falling into the answer-set programming area will complete the program. CONFERENCE VENUE ---------------- The conference will be held in the city of Udine, the capital of the historical region of Friuli, Italy. Located between the Adriatic sea and the Alps, close to Venice, Austria and Slovenia, Udine is a city of Roman origins, funded by Emperor Otto in 983. Rich of historical sites, Udine is also famous for its commercial and shopping opportunities and its outstanding wine and culinary traditions. SUPPORT SPONSORING AND AWARDS ----------------------------- The conference is sponsored by the Association for Logic Programming (ALP). The ALP has funds to assist financially disadvantaged participants. The ALP is planning to sponsor two awards for ICLP 2008: for the best technical paper and for the best student paper. IMPORTANT DATES --------------- Papers Posters Abstract submission deadline June 2nd n/a Submission deadline June 9th August 15th Notification of authors August 1st September 1st Camera-ready copy due September 15th September 15th 20 Years of Stable Models TBA Doctoral Consortium TBA Workshop Proposals June 2nd Early-bird Registration TBA Conference December 9-13, 2008 ICLP'2008 ORGANIZATION ---------------------- General Chair: Agostino Dovier (University of Udine) Program Co-Chairs: Maria Garcia de la Banda (Monash University) Enrico Pontelli (New Mexico State University) Workshop Chair: Tran Cao Son (New Mexico State University) Doctoral Student Consortium: David Warren (SUNY Stony Brook) Tom Schrijvers (K.U.Leuven) Publicity Co-Chairs: Marcello Balduccini (Kodak Research Labs) Alessandro Dal Palu' (University of Parma) Programming Competition Chair: Bart Demoen (K.U.Leuven) 20 Years of Stable Models: Mirek Truszczynski (University of Kentucky) Andrea Formisano (University of Perugia) Program Committee: Salvador Abreu Sergio Antoy Pedro Barahona Chitta Baral Gerhard Brewka Manuel Carro Michael Codish Alessandro Dal Palu' Bart Demoen Agostino Dovier John Gallagher Michael Gelfond Carmen Gervet Gopal Gupta Manuel Hermenegildo Andy King Michael Maher Juan Moreno Navarro Alberto Pettorossi Brigitte Pientka Gianfranco Rossi Fariba Sadri Vitor Santos Costa Tran Cao Son Paolo Torroni Frank Valencia Mark Wallace Web Master: Raffaele Cipriano Local Arrangements Committee: Alberto Casagrande Elisabetta De Maria Luca Di Gaspero Carla Piazza ---------------------------------------------------- For further information: iclp08 at cs.nmsu.edu http://iclp08.dimi.uniud.it From M.U.Reichert at ewi.utwente.nl Thu Jan 3 15:01:34 2008 From: M.U.Reichert at ewi.utwente.nl (M.U.Reichert at ewi.utwente.nl) Date: Thu, 3 Jan 2008 15:01:34 +0100 Subject: BPM 2008 - Call for Papers Message-ID: Call for Papers - BPM 2008 6th International Conference on Business Process Management Milan, Italy, 1-4 September 2008 http://bpm08.polimi.it BPM 2008 is the sixth conference in a series that provides the most distinguished specialized forum for researchers and practitioners in business process management (BPM). The conference has a record of attracting innovative research of highest quality related to all aspects of business process management including theory, frameworks, methods, techniques, architectures, and empirical findings. Traditionally, the BPM conference attracts the most prestigious researchers in the field and abides to the highest academic standards. Each submission is reviewed by at least three reviewers, and the acceptance rate in previous editions has been around 14%. The BPM conference also aims at bridging the viewpoints of leading research outcomes with practical demands. In addition to the main research track, BPM 2008 will include an industrial papers track. Accordingly, the conference encourages industry practitioners to submit experience and application papers reporting on innovative industrial implementations and applications of business process management methods and techniques, with particular focus on their impact on information technology use or business practice. These papers have to go beyond mature prototypes and potentially applicable methods and techniques, and must draw upon industry experience or empirical data. Awards will be given to the best papers in different categories. In addition, authors of selected papers will be invited to submit an extended version of their paper to a special issue of Data and Knowledge Engineering (DKE, an Elsevier Science Journal). BPM 2008 will be held in Milan, Italy and will be organized by the Information Systems group of the Department of Electronics and Information of Politecnico di Milano. The Politecnico di Milano is a Technical University in Italy, established in 1863, offering degrees in Engineering, Architecture, and Industrial Design, with approximately 42,000 students. The event will be conducted at the main Leonardo Campus of Politecnico di Miano. The campus is located in the scientific university area of Milan, with an easy access from the town center. With 1.3 million people, Milan offers a continuously growing environment for the development of technological services, fashion and design. Topics include, but are not limited to: PROCESS MODELING AND ANALYSIS - Process modeling languages, notations and methods - Reference process models - Variability and configuration of process models - Process simulation and static analysis - Process metadata and semantic reasoning - Process patterns, repositories, and standards PROCESS ARCHITECTURES AND PLATFORMS - Process-oriented software architectures - Service-oriented architectures for BPM - Workflow management systems - Security aspects of business process execution - Automated planning for business process execution - Resource management in business process execution MANAGEMENT OF PROCESS EXECUTION DATA - Process tracing and monitoring - Process performance measurement - Process mining and learning - Process data warehousing - Data streaming in business processes PROCESS EVOLUTION AND FLEXIBILITY - Process exception handling - Process change management - Adaptive and context-aware processes - Case handling - Process-enhanced groupware NON-TRADITIONAL BPM SCENARIOS - Knowledge-intensive processes - Data-driven processes - Distributed and mobile processes - Inter-process planning and coordination - Grid and scientific workflows MANAGEMENT ISSUES AND EMPIRICAL STUDIES - Business process lifecycle management - Success factors and measures in BPM - BPM governance and compliance management - BPM maturity - Adoption and practice of BPM - Case Studies and Experience Reports in BPM Conference Paper Submission BPM 2008 invites research submissions on all topics related to business process management, including but not limited to those listed above. Research papers should be submitted electronically via the BPM 2008 web site by uploading a self-contained PDF file. All submissions must be received no later than 21 March 2008 at 11:59 pm Western Samoa time. Research papers must be in English. They must be original research contributions that have not been published previously, nor already submitted to other conferences or journals in parallel with this conference. The length of the paper should not exceed 16 pages. Papers should be formatted in LNCS format (for details see www.springer.de/comp/lncs/authors.html). The title page must contain a short abstract and a classification of the topics covered, preferably using the list of topics above. The paper must clearly state the research problem being addressed, the goal of the work, the results achieved, and the relation to other work. Submissions received too late, in another format than PDF, or sent by fax or post will be rejected. The same will happen with papers which are not in English or exceed the page limit. Industrial papers must follow the same format requirements and length constraints as research papers. All industrial submissions will be treated in the same way as research papers regarding review process and quality requirements. All accepted papers will be contained in the conference proceedings published by Springer-Verlag. For each accepted paper, at least one author should register to the conference and should plan to present the paper. Workshops The conference will be complemented by workshops. Workshops are meant to facilitate the exchange of ideas and experiences between active researchers, and stimulate discussions on new and emerging issues in line with the conference topics. Workshops may concentrate in-depth on research topics, or may also be devoted to application and/or standardization issues. Demonstrations Submissions are invited for demos to be included in the BPM 2008 Demonstration Track. The demo track is intended to showcase innovative business process management tools and applications, and will provide an opportunity to show and discuss emerging technologies with researchers and practitioners in the BPM field. All demonstration proposals should consist of two parts. The first part (maximum four pages) should contain a short description of the system, a summary of its novel characteristics, a statement on the scope and limitations of the system and its significance to the field of BPM, and the list of functions and features to be demonstrated. This part will be included in the proceedings in case of acceptance. The second part is an appendix of no longer than six pages explaining the demonstrated scenario and illustrating how the presentation will be conducted (i.e. the demo script) and possibly some screenshots. This part will not be included in the proceedings but is valuable input for the review process. Authors are encouraged to include in their submissions links to mockups, videos, or animations of the proposed demonstration. Submissions must adhere to the conference paper submission formatting guidelines and are limited to four pages for the first part and six for the appendix. Demo proposals should be submitted at the BPM conference submission system. Demo proposals will undergo a strict review process in line with that of the main conference. Demo proposals will be assessed on the basis of their innovation, technical advances and challenges, overall practical attractiveness, relevance and presentation. All accepted demo proposals (without appendix) will be included in the conference proceedings published by Springer-Verlag. There will be a best demo award based on the demo proposal and the presentation at the conference. Tutorials and Panel Discussions Tutorials and panel discussions will complement the core of the BPM 2008 conference. Tutorials will provide the opportunity to introduce one selected topic and to discuss related trends and challenges. Panel discussions will allow the open conversation of BPM-related topics. The local organizers are able to facilitate contacts to local industry representatives, if this is of interest for an organizer of a panel. Proposals for tutorials and panel discussions should include: the title; name, brief biography of each participant; an outline of the theme, goals, planned activities and intended audience. Proposals should be submitted in electronic form (plain text or PDF) to the Tutorial/Panel Chairs. Conference Dates Paper submission deadline (strict): 21 March 2008 Notification of acceptance: 12 May 2008 Camera-ready papers deadline: 13 June 2008 Conference: 2-4 September 2008 Workshop Dates Deadline for workshop paper submissions: 16 May 2008 Notification of Acceptance: 16 June 2008 Camera-ready papers deadline: 7 July 2008 Workshops: 1 September 2008 Demo Dates Deadline for demo submissions: 21 March 2008 Notification of Acceptance: 12 May 2008 Camera-ready papers deadline: 13 June 2008 Demos: 2-4 September 2008 Tutorial / Panel Dates Deadline for submissions: 16 May 2008 Notification of Acceptance: 16 June 2008 Tutorials: 2-4 September 2008 Panels: 2-3 September 2008 General Chairs Barbara Pernici, Politecnico di Milano, Italy Fabio Casati, University of Trento, Italy Program Chairs: Marlon Dumas, University of Tartu, Estonia and Queensland University of Technology Australia Manfred Reichert, University of Ulm, Germany Industry Chair: Ming-Chien Shan, SAP Labs Palo Alto, USA Organization Chair: Danilo Ardagna, Politecnico di Milano, Italy Industry Sponsorship Chair: Chiara Francalanci, Politecnico di Milano, Italy Workshop Chairs: Massimo Mecella, Universita di Roma La Sapienza, Italy Jian Yang, Macquarie University, Australia Demo Chairs Malu Castellanos, HP Labs Palo Alto, USA Andreas Wombacher, EPFL, Switzerland Tutorial/Panel Chairs: Vincenzo d'Andrea, University of Trento, Italy Heiko Ludwig, IBM Watson Research Center, USA Steering Committee Wil van der Aalst, Eindhoven University of Technology Boualem Benatallah, University of New South Wales Fabio Casati, University of Trento Joerg Desel, Catholic University Eichstätt Schahram Dustdar, Vienna University of Technology Arthur ter Hofstede, Queensland University of Technology Barbara Pernici, Politecnico di Milano Matthias Weske, Hasso-Plattner-Institut, Univ. of Potsdam Program Committee Wil van der Aalst, The Netherlands Alistair Barros, Australia Boualem Benatallah, Australia Djamal Benslimane, France M. Brian Blake, USA Shawn Bowers, USA Chris Bussler, USA Jorge Cardoso, Portugal Jinjun Chen, Australia Peter Dadam, Germany Jörg Desel, Germany Valeria De Antonellis, Italy Asuman Dogac, Turkey Schahram Dustdar, Austria Johann Eder, Austria Gregor Engels, Germany Maria Grazia Fugini, Italy Manfred Hauswirth, Ireland Harald Gall, Switzerland Dimitrios Georgakopoulos, USA Claude Godart, France Peter Green, Australia Paul Grefen, The Netherlands Arthur ter Hofstede, Australia Kees van Hee, The Netherlands Marta Indulska, Australia Stefan Jablonski, Germany Gerti Kappel, Austria Ekkart Kindler, Denmark Akhil Kumar, USA Frank Leymann, Germany Heiko Ludwig, USA Zongwei Luo, Hong Kong Peri Loucopoulos, UK Axel Martens, USA Jan Mendling, Australia Mirjam Minor, Germany Mike Papazoglou, The Netherlands Cesare Pautasso, Switzerland Barbara Pernici, Italy Olivier Perrin, France Marco Pistore, Italy Calton Pu, USA Frank Puhlmann, Germany Jolita Ralyte, Switzerland Hajo Reijers, The Netherlands Wolfgang Reisig, Germany Stefanie Rinderle, Germany Michael Rosemann, Australia Domenico Sacca, Italy Mohand Said-Hacid, France Shazia Sadiq, Australia Wasim Sadiq, Australia Heiko Schuldt, Switzerland Carine Souveyet, France Jianwen Su, USA Stefan Tai, USA Farouk Toumani, France Kunal Verma, USA Barbara Weber, Austria Mathias Weske, Germany Andreas Wombacher, Switzerland Michael zur Muehlen, USA From fs at doc.ic.ac.uk Thu Jan 3 20:32:03 2008 From: fs at doc.ic.ac.uk (F Sadri) Date: Thu, 03 Jan 2008 19:32:03 +0000 Subject: CPF: (ASAmI'08) 2nd Symposium on "Artificial Societies for Ambient Intelligence" Message-ID: <477D3833.1040204@doc.ic.ac.uk> Note: Submission Deadline: 14 January 2008 2nd Symposium on "*Artificial Societies for Ambient Intelligence*" (ASAmI'08) AISB Convention, 3rd April 2008, Aberdeen, UK. SEE: http://asami08.cs.rhul.ac.uk/ *Background & Motivation * The vision of Ambient Intelligence (AmI) is a society based on unobtrusive, often invisible interactions amongst people and computer-based services in a global computing environment. Services in AmI will be ubiquitous in that there will be no specific bearer or provider but, instead, they will be associated with a variety of objects and devices in the environment, which will not bear any resemblance to computers. People will interact with these services through intelligent and intuitive interfaces embedded in these objects and devices, which in turn will be sensitive to what people need. For a large class of the envisaged AmI applications, the added value of these new services is likely to be for people in ordinary social contexts. Such applications beg for technologies that are transparent, so that their functional behaviour can be understood easily. Put simply, transparency should bring AmI interactions closer to the way people think rather than the way machines operate. Another challenge posed by the AmI vision is that the electronic part of the ambience will often need to act intelligently on behalf of people. The conceptual components of ambience will need to be both reactive and proactive, behaving as if they were agents that act on behalf of people. It would be more natural, in other words, to use the agent metaphor in order to understand components of an intelligent ambience. An agent in this context can be a software (or hardware) entity that can sense and affect the environment, has knowledge of the environment and its own goals, and can proactively plan to achieve its goals or those of its user(s), so that the combined interactions of the electronic and physical environment provide a desirable outcome for one or more people. If we assume that agents are abstractions for the interaction within an ambient intelligent environment, one aspect that we need to ensure is that their behaviour is regulated and coordinated, so that the system as a whole functions effectively. For this purpose, we need rules that take into consideration the social context in which these interactions take place, and the whole system begs for an organisation similar to that envisaged by artificial agent societies. The society is there not only to regulate behaviour but also to distribute responsibility amongst the member agents. *Goals* We expect that the symposium will help develop scenarios for the use of agent societies for AmI, establish a body of knowledge and a theoretical framework in this context, use the framework to link existing work on related areas such as the semantic web, cognitive and social agents, and ambient and ubiquitous technologies. We also anticipate to present current research in the area of agent societies for AmI, where people activities are mapped onto social organisations of agents, computing devices or both, and assess the outcomes of such research. The symposium will identify issues for future investigation, establish links between researchers and encourage international collaborations. * Topics * Topics of relevance to the symposium include, but are not limited to, the following: * Social architectures * Agent interaction * Reasoning and knowledge representation * Reactivity and pro-activity * Learning * Decision making * Co-operation and co-ordination * Social emergence and evolution * Normative reasoning and regulations * Security, trust and privacy * Interaction design and interfaces * Mobility * Applications This workshop complements previous events, such as the /European Symposium on Ambient Intelligence,/ and ongoing events, such as /ESAW/ and /AITAmI/ workshop series. *Important Dates* This one-day Symposium has the following important dates: Submission Deadline: 14 January 2008 Notification: 15 February 2008 Camera Ready Copy Due: 29 February 2008 Workshop Date: 3rd April 2008 *Submission* Submission is now open through OpenConf. *Proceedings* A printed volume of the proceedings will be available at the symposium. Selected best papers of ASAMI2008 would be considered as a special issue of the /International Journal on Autonomous and Adaptive Communications Systems/. IJCAS intends to be the leader journal in the area. *Co-Chairs * Dr. Fariba Sadri fs @ doc.ic.ac.uk Department of Computing Imperial College, U.K. Dr. Kostas Stathis kostas @ cs.rhul.ac.uk Department of Computer Science, Royal Holloway, U. of London, U.K. *Program Committee* Alexander Artikis (NCSR Demokritos, Greece) Juan Carlos Augusto (University of Ulster at Jordanstown, UK) Cristiano Castelfranchi (CNR, Italy) Oscar DeBruijn (University of Manchester, UK) Paul J. Feltovitch (IHMC, USA) Marie-Pierre Gleizes (IRIT, France) Gregory O'Hare (University College Dublin, Ireland) Andrea Omicini (University of Bologna, Italy) Paolo Petta (Medical Univ. of Vienna, Austria) Jeremy Pitt (Imperial College, UK) Eric Platon (NII, Japan) Alessandro Ricci (University of Bologna, Italy) Nicolas Sabouret (Laboratoire d'Informatique de Paris 6, France) Fariba Sadri (Imperial College, UK) Rob Saunders (University of Sydney, Australia) Daniel Shapiro (Stanford University, USA) Maarten Sierhuis (NASA, US) Kostas Stathis (Royal Holloway - U. of London, UK) Francesca Toni (Imperial College, UK) George Vouros (University of Aegean, Greece) Pinar Yolum (Bogazici University, Turkey) From A.Beckmann at swansea.ac.uk Fri Jan 4 20:45:42 2008 From: A.Beckmann at swansea.ac.uk (Arnold Beckmann) Date: Fri, 4 Jan 2008 19:45:42 +0000 (GMT) Subject: CiE08 - Extended Deadline Message-ID: Due to hugh request, we have extended the paper submission deadline to January 14th, 2008 ******************************************************************** Computability in Europe 2008: Logic and Theory of Algorithms University of Athens, June 15-20 2008 http://www.cs.swan.ac.uk/cie08/ EXTENDED SUBMISSION DEADLINE: January 14th, 2008 CiE 2008 is the fourth in a series of conferences organised by CiE (Computability in Europe), a European network of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings took place in Amsterdam (2005), Swansea (2006) and Siena (2007). CiE 2008 aims at bridging the gap from the logical methods of mathematical and meta-mathematical flavour to the applied and industrial questions that are involved in devising and choosing the right algorithms and analysing their effectiveness and efficiency. TUTORIALS will be given by: John V. Tucker (Swansea) Moshe Y. Vardi (Houston, TX) PLENARY SPEAKERS will include: Keith Devlin (Stanford, CA) Rosalie Iemhoff (Utrecht) Antonina Kolokolova (Vancouver, BC) Janos Makowsky (Haifa) Dag Normann (Oslo) Prakash Panangaden (Montreal, QC) Christos Papadimitriou (Berkeley, CA) Jan van Leeuwen (Utrecht) & Jiri Wiedermann (Prague) See http://www.cs.swan.ac.uk/cie08/invited.php for more informations on Plenary Speakers. SPECIAL SESSIONS Algorithms in the history of mathematics (organized by J. Hoyrup, Roskilde, and K. Chemla, Paris) Formalising mathematics and extracting algorithms from proofs (organized by H. Barendregt, Nijmegen, and M. Seisenberger, Swansea) Higher type recursion theory and applications (organized by U. Berger, Swansea, and D. Normann, Oslo) Algorithmic game theory (organized by E. Koutsoupias, Athens, and B. von Stengel, London) Quantum algorithms and complexity (organized by V. Kendon, Leeds, and B. Coecke, Oxford) Biology and computation (organized by N. Jonoska, Tampa FL, and G. Mauri, Milano) See http://www.cs.swan.ac.uk/cie08/special.php for more informations on special sessions. CiE 2008 conference topics include, but not exclusively * Admissible sets * Analog computation * Artificial intelligence * Automata theory * Classical computability and degree structures * Complexity classes * Computability theoretic aspects of programs * Computable analysis and real computation * Computable structures and models * Computational and proof complexity * Computational learning and complexity * Concurrency and distributed computation * Constructive mathematics * Cryptographic complexity * Decidability of theories * Derandomization * DNA computing * Domain theory and computability * Dynamical systems and computational models * Effective descriptive set theory * Finite model theory * Formal aspects of program analysis * Formal methods * Foundations of computer science * Games * Generalized recursion theory * History of computation * Hybrid systems * Higher type computability * Hypercomputational models * Infinite time Turing machines * Kolmogorov complexity * Lambda and combinatory calculi * L-systems and membrane computation * Mathematical models of emergence * Molecular computation * Neural nets and connectionist models * Philosophy of science and computation * Physics and computability * Probabilistic systems * Process algebra * Programming language semantics * Proof mining * Proof theory and computability * Quantum computing and complexity * Randomness * Reducibilities and relative computation * Relativistic computation * Reverse mathematics * Swarm intelligence * Type systems and type theory * Uncertain reasoning * Weak systems of arithmetic and applications Contributed papers will be selected from submissions received by the PROGRAMME COMMITTEE consisting of: L. Aiello (Roma) T. Altenkirch (Nottingham) K. Ambos-Spies (Heidelberg) G. Ausiello (Roma) A. Beckmann (Swansea, co-chair) L. Beklemishev (Moscow) P. Bonizzoni (Milano) S. A. Cook (Toronto ON) B. Cooper (Leeds) C. Dimitracopoulos (Athens, co-chair) R. Downey (Wellington) E. Koutsoupias (Athens) O. Kupferman (Jerusalem) S. Laplante (Orsay) H. Leitgeb (Bristol) B. Loewe (Amsterdam) E. Mayordomo Camara (Zaragoza) F. Montagna (Siena) M. Mytilinaios (Athens) (+) M. Nielsen (Aarhus) I. Oitavem (Lisboa) C. Palamidessi (Palaiseau) T. Pheidas (Heraklion) Ramanujam (Chennai) A. Schalk (Manchester) U. Schoening (Ulm) H. Schwichtenberg (Muenchen) A. Selman (Buffalo NY) A. Sorbi (Siena) I. Soskov (Sofia) C. Timpson (Leeds) S. Zachos (New York NY) We cordially invite all researchers (European and non-European) in computability related areas to submit their papers (in PDF- format, max 10 pages) for presentation at CiE 2008. We particularly invite papers that build bridges between different parts of the research community. The CONFERENCE PROCEEDINGS will be published by LNCS, Springer-Verlag. There will also be journal special issues, collecting invited contributions related to the conference. Special issues will be published in the journals "Theory of Computing Systems", the "Archive for Mathematical Logic", and the "Journal of Algorithms". See http://www.cs.swan.ac.uk/cie08/publications.php for more informations on publications. From bit.precise.reasoning at gmail.com Sat Jan 5 03:15:49 2008 From: bit.precise.reasoning at gmail.com (Workshop BPR) Date: Fri, 4 Jan 2008 18:15:49 -0800 Subject: CFP - The 1st International Workshop on Bit-Precise Reasoning (BPR 2008) Message-ID: CALL FOR PAPERS BPR'08 - The 1st International Workshop on Bit-Precise Reasoning Location: Princeton, New Jersey. July 14th, 2008. (Affiliated with CAV 2008.) Website: http://www.bit-precise-reasoning.org/ Bit-Precise Reasoning is increasingly being used for the analysis of many real world hardware and software systems. Current applications include microcode validation, word-level model checking, software verification, equivalence checking and random testcase generation. The continued success in these and other applications depends on the development of more efficient decision procedures for bit-precise reasoning, their combination with decision procedures for other theories (e.g. the theory of arrays), as well as domain-specific techniques to further increase the scalability of the analysis. The goal of this workshop is to bring together researchers in Bit-Precise Reasoning with industrial users. Topics of interest include, but are not limited to: * Case studies and applications * New decision procedures and novel implementation techniques * Combination with other theories * Theoretical results * Benchmarks and evaluation methodologies Paper Submission ---------------- * Original Papers that have not been previously published or submitted (simultaneous submissions are not allowed). Tutorial / survey papers are encouraged. Given the informal style of the workshop, work in progress will be welcome. Papers must be less than 12 pages long and will be published in the proceedings to be distributed to the participants. * Presentation-only Papers describing work recently published or submitted. These papers will not be published in the proceedings. Both kinds of submissions will be peer reviewed. Deadlines --------- * Submission: April 28th, 2008 * Notification: June 2nd, 2008 * Final version: June 9th, 2008 * Workshop: July 14th, 2008 Invited Speaker --------------- Daniel Kroening, Oxford University Program Committee ----------------- Domagoj Babic (co-chair), University of British Columbia Amit Goel (co-chair), Intel Corporation Per Bjesse, Synopsys, Inc. Alessandro Cimatti, ITC-Irst, Trento Jim Grundy, Intel Corporation Ranjit Jhala, University of California, San Diego Pete Manolios, Georgia Institute of Technology Leonardo de Moura, Microsoft Research Ofer Strichman, Technion - Israel Institute of Technology Karen Yorav, IBM Haifa From wmaccaul at stfx.ca Mon Jan 7 19:11:26 2008 From: wmaccaul at stfx.ca (Wendy MacCaull) Date: Mon, 7 Jan 2008 14:11:26 -0400 Subject: MSc Opportunities Message-ID: [apologies for multiple postings] MSc Opportunities in Verification, Knowledge Representation, and Logic Programming Applications are invited from students interested in pursuing an MSc in Computer Science at St. Francis Xavier University. Students will be pursuing thesis research in an area related to one of the following: verification, logic programming, automated theorem proving, temporal, modal, paraconsistent and other nonclassical logics, knowledge representation, ontology building and merging, scheduling, and requirements and software engineering. The students will join a growing research group at the StFX Centre for Logic and Information, in Antigonish, NS, that is collaborating on a prestigious international research and development project with a health informatics company and a regional Health Authority. The project goal is verifiable and innovative workflow and decision support products for complex and distributed systems. Opportunities exist within the project to work on applications in parallel and high performance computing using ACENet, Atlantic Canada's high performance computing consortium ( www.ace-net.ca ). Project Lead: Dr.Wendy MacCaull, Professor of Mathematics, Statistics and Computer Science and Director of the StFX Centre for Logic and Information. ( http://logic.stfx.ca ) Qualifications: A BSc. Honours degree in Computer Science (or closely related subject). Funding: Students without external funding will be awarded funding for 2 years at the rate of $16,000 per year. Once accepted, students are encouraged to apply for graduate student assistantships which typically cover the cost of tuition; duties average 4 to 6 hours per week. Students with external funding will receive a suitable supplement. Canadian citizens and permanent residents of Canada will have the opportunity of applying for an NSERC Industrial Postgraduate Scholarship (IPS) and working on site with the health informatics company for 20% of each year. To Apply: Interested students should forward a university transcript and a covering letter which outlines their interests and their experience, especially with respect to the thesis research areas, and includes the names and addresses of 3 references to Dr. W. MacCaull (wmaccaul at stfx.ca). Simultaneously they should submit their application for graduate studies to StFX, see: http://www.stfx.ca/academic/mathcs/MASTERS/index.html . Applicants will be reviewed, initially, on Feb. 15, 2008, but the file will remain open until filled. All accepted applicants will be expected to adhere to the Centre's Intellectual Property commitments and contractual obligations and sign a confidentiality agreement. Wendy MacCaull, PhD, Professor, Department of Math/Stats/Comp Sci Director, Centre for Logic and Information, St. Francis Xavier University, PO Box 5000, Antigonish, NS, CANADA, B2G 2W5, email: wmaccaul at stfx.ca Phone: 902 867-3989 FAX: 902 867-1397 Or Project Manager, Janet Norgrove Phone: 902 867-2449 email: jnorgrove at stfx.ca -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From alexander.friedmann at uqam.ca Mon Jan 7 16:33:04 2008 From: alexander.friedmann at uqam.ca (Alex Friedmann) Date: Mon, 07 Jan 2008 10:33:04 -0500 Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: <6buhm2$54arls@toip7.srvr.bell.ca> At 08:35 AM 1/5/2008, you 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. From clu at tcs.inf.tu-dresden.de Tue Jan 8 14:28:01 2008 From: clu at tcs.inf.tu-dresden.de (Carsten Lutz) Date: Tue, 08 Jan 2008 14:28:01 +0100 Subject: DL2008 Second Call for Papers Message-ID: --------------------------------------------------------------------- 21st International Workshop on Description Logics (DL'08) SECOND CALL FOR PAPERS Dresden, Germany May 13-16, 2008 http://dl.kr.org/dl2008/ The DL workshop is the major annual event of the description logic research community. The workshop is thought as a gathering forum to meet, discuss and exchange experiences among all those, both in academia and industry, who are interested in description logics and their applications. ---------------------------------------------------------------------- IMPORTANT DATES Paper submission deadline: 15 February 2008 Notification of acceptance: 23 March 2008 Camera ready papers due: 13 April 2008 DL'07 Workshop: 13-16 May 2008 (3 or 4 days) ---------------------------------------------------------------------- SCOPE We invite contributions on all aspects of description logics. Possible subjects include: * Foundations of description logics, including expressive power, decidability and complexity of reasoning, novel inference problems, and reasoning techniques for solving these problems. * Extensions of description logics, including, but not limited to, closed world reasoning, defaults, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, and query languages. * Integration of description logics with other formalisms, such as object-oriented representation languages, database query languages, constraint-based programming, logic programming, and rule-based systems. * Use of description logics in applications or areas such as ontology engineering, ontology languages, databases, semi-structured data, document management, natural language, learning, planning, semantic web, and grid computing. * Building systems based on description logics, with special emphasis on optimization and implementation techniques. * Tools that exploit description Logic reasoning, such as ontology editors, database schema design, query optimization, and data integration tools. ---------------------------------------------------------------------- INVITED SPEAKERS * Bernhard Ganter, Dresden, Germany * Georg Gottlob, Oxford, UK * Maarten Marx, Amsterdam, Netherlands * Kent Spackman, Oregon, USA ---------------------------------------------------------------------- SUBMISSION DETAILS We invite submissions of papers in Springer LNCS style, see http://www.springer.com/comp/lncs/Authors.html to arrive no later than February 15, 2008. The length of submissions is limited to 11 pages, including title and abstract (if any), and list of references. Submitted papers must be in PDF format. Submission is via EasyChair, see http://www.easychair.org/DL08/ The workshop proceedings will be made available electronically in the CEUR Workshop Proceedings series, see http://www.CEUR-ws.org/ ---------------------------------------------------------------------- WORKSHOP CHAIRS * Franz Baader, Dresden, Germany (General chair) * Carsten Lutz, Dresden, Germany (PC Chair) ---------------------------------------------------------------------- PROGRAM COMMITTEE * Carlos Areces, Nancy, France * Alessandro Artale, Bozen-Bolzano, Italy * Alex Borgida, Rutgers, USA * Sebastian Brandt, Machester, UK * Diego Calvanese, Bozen-Bolzano, Italy * Giuseppe de Giacomo, Rome, Italy * Volker Haarslev, Montreal, Canada * Ian Horrocks, Oxford, UK * Ulrich Hustadt, Liverpool, UK * Pascal Hitzler, Karlsruhe, Germany * Carsten Lutz, Dresden, Germany (Chair) * Maja Milicic, Dresden, Germany * Boris Motik, Oxford, UK * Ralf Moeller, Hamburg, Germany * Bijan Parsia, Manchester, UK, * Peter Patel-Schneider, Alcatel Lucent, USA * Riccardo Rosati, Rome, Italy * Uli Sattler, Manchester, UK * Umberto Straccia, Pisa, Italy * David Toman, Waterloo, Canada * Frank Wolter, Liverpool, UK * Misha Zakharyaschev, London, UK ---------------------------------------------------------------------- RESOURCES * Information regarding registration, travel information, hotels, etc will be made available on the DL2008 homepage http://dl.kr.org/dl2008/ * Enquiries about the DL2008 workshop can be made by mailing to lutz at tcs.inf.tu-dresden.de * The official Description Logic home page is at http://dl.kr.org/ ---------------------------------------------------------------------- From georgev at aegean.gr Tue Jan 8 17:19:30 2008 From: georgev at aegean.gr (Vouros George) Date: Tue, 8 Jan 2008 18:19:30 +0200 Subject: 2nd CfP : "Organised Adaptation in Multi-Agent Systems" (OAMAS 08) Message-ID: Apologies for cross posting. ------------------------------------------------------------------------ --- CALL FOR PAPERS ------------------------------------------------------------------------ --- International Workshop on "Organised Adaptation in Multi-Agent Systems" (OAMAS 08), May 12 or 13, 2008, Estoril, Portugal. To be held with AAMAS 08 http://oamas08.iit.demokritos.gr ------------------------------------------------------------------------ --- AIMS & SCOPE: Multi-agent systems (MAS) such as formal organizations, electronic institutions and computational economies, often have to adapt in order to reflect, among others, environmental, social and economic changes in them. Adaptation may take place in several levels. The environment of a MAS may need to be reorganised by introducing or removing new resources to make the operation of the MAS more efficient. Changes in the MAS environment may cause the existing members of the MAS to be re-organized: existing members leave the MAS, new agents are introduced, or the current members are allocated to different roles. The roles themselves may be the subject of adaptation as the eligibility conditions for occupying a role, and/or the permissions, obligations, authorities, entitlements, responsibilities, institutional powers, and other normative positions that are associated with a role, may be subject to adaptation. We welcome high-quality, original contributions that address issues of organized adaptation in a MAS, as opposed to unintended, emergent modification of a MAS. Topics of interest include, but are not limited to: -Organizational models of adaptive MAS. -Methodologies for analysis, design and development of adaptive MAS. -Formal models of norm (policy, law) change. -Practical engineering issues of norm (policy, law) change. -Protocols and procedures for carrying out adaptation. -Cooperative human-agent models of adaptation. -Evaluating methods of adaptation in a MAS. -Simulations of adaptive MAS. -Real-world applications of adaptive MAS. -Scalability in adaptive MAS. -Legal implications of adaptation. -Agent architectures for adaptive MAS. ------------------------------------------------------------------------ --- IMPORTANT DATES: * Submission Deadline: January 25, 2008 * Acceptance/Rejection Notification: February 25, 2008 * Camera-Ready Copies: March 7, 2008 ------------------------------------------------------------------------ --- SUBMISSION: There is a plan to publish the accepted papers as a Springer LNAI volume. We welcome both short papers (eg, position statements), ranging between 4-8 pages, and full papers, not exceeding 16 pages. Papers should be formatted according to the Springer LNAI guidelines. ------------------------------------------------------------------------ --- ORGANISERS: - George Vouros, (University of the Aegean, Greece) - Alexander Artikis, (NCSR 'Demokritos', Greece) - Kostas Stathis, (Royal Holloway, University of London, UK) - Jeremy Pitt, (Imperial College London, UK) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : OAMAS08-cfp.pdf Dateityp : application/octet-stream Dateigröße : 72744 bytes Beschreibung: OAMAS08-cfp.pdf URL : From thor at informatik.uni-leipzig.de Tue Jan 8 22:17:27 2008 From: thor at informatik.uni-leipzig.de (Andreas Thor) Date: Tue, 08 Jan 2008 22:17:27 +0100 Subject: Deadline Extension - WAIM08 - Web-Age Information Management, Zhangjiajie, China In-Reply-To: <4731D49A.4090500@informatik.uni-leipzig.de> References: <4731D49A.4090500@informatik.uni-leipzig.de> Message-ID: <4783E867.2010400@informatik.uni-leipzig.de> WAIM 2008 Call for Papers The Ninth International Conference on Web-Age Information Management The modified dates are as follows: - Abstracts of research papers due: January 17, 2008 - Full research papers due: January 24, 2008 - Industrial/Demo papers due: January 24, 2008 URL: http://waim2008.nudt.edu.cn/index.html Email: waim2008 at nudt.edu.cn July 20-22, 2008, Zhangjiajie, China Organized by National Laboratory for Parallel and Distributed Processing, China. Sponsored by: Database Society, Chinese Computer Federation; Natural Science Foundation of China The rapid development and prevalent use of the World Wide Web continue to stimulate the need for new technologies for the design, implementation and management of better Web-based information systems. With widely distributed data of diverse types (structured records, texts, images, video/audio, etc) from millions of autonomous sites and hundreds of millions of users, the Web introduces new challenges beyond the capabilities of traditional database and information retrieval systems. These challenges include the development of effective and efficient techniques and tools for querying, retrieving, integrating, analyzing, and managing the data on the Web. WAIM'08 will continue the fine tradition of the previous WAIM conferences in providing an international forum for researchers and practitioners in the Web and database communities to share and exchange new ideas, results, experience, techniques and tools related to all aspects of Web data management. The conference invites original research and industrial papers on the theory, design and implementation of Web-based information systems, as well as proposals for demonstrations, tutorials and panels. WAIM'08 is expected to attract outstanding researchers from all over the world to Zhangjiajie, one of the most beautiful areas in China. WAIM'08 topics include but are not limited to the following areas - Advanced application of databases - Biological and genome information systems - Data mining and knowledge discovery - Data and information quality control - Data grid - Data migration and integration - Database security - Emerging Web technologies - Information retrieval - Interoperability and heterogeneous systems - Location dependent data management - Mobile data management - Multidimensional databases and OLAP - Multimedia information systems - Parallel and distributed database systems - Peer-to-peer data management - Performance and benchmarking - Query processing and optimization - Semantic web and web ontology - Spatial and temporal databases - Storage management and access methods - Web community analysis - Web mining - Web data management - Web services and information management - Workflow and E-services - XML and semi-structured data management PUBLICATION and PAPER SUBMISSION The proceedings will be published by IEEE Computer Societyâ��s Conference Publishing Services (agreement pending). All submitted manuscripts must be in English. Only original manuscripts whose main technical contents have not been published by or submitted to other conferences and journals are allowed. If a paper is accepted, at least one author is required to attend the conference to present the work. Authors are required to submit a paper title and short abstract (about 100 words) before submitting the paper. Paper submission will be electronic through the WAIM'08 paper submission site (https://cmt.research.microsoft.com/WAIM2008/Default.aspx). Information about paper format is forthcoming at the WAIM 2008 website. Papers not satisfying the above requirements will be rejected without review. Best Paper Awards and Special Issue of JCST Hongjun Lu Best Paper Award and Hongjun Lu Best Student Paper Award will be given to the best regular paper and the best student paper, respectively. For a paper to qualify for consideration for the Hongjun Lu Best Student Paper Award, the first author of the paper must be a student by the time the paper is submitted to WAIM 2008. The best papers will be selected by the best paper selection committee. Authors of selected high quality papers will be invited to submit extended manuscripts for possible publication in a special issue of Journal of Computer Science and Technology (JCST). The extended manuscripts will go through another round of review. WORKSHOP, PANELS, TUTORIALS, INDUSTRIAL PAPERS AND DEMOS In addition to technical contributions, WAIM'08 invites proposals for workshops, panels and tutorials, as well as industrial and demo papers. For workshops, WAIM'08 will provide administrative support for workshop room booking, registration, and publication. Information about the format for industrial papers and demo proposals will be available at the WAIM 2008 website soon. All submitted industrial and demo papers must have not been published by or submitted to other conferences and journals. All accepted industrial and demo papers will be published in the main proceedings of the conference. Papers accepted by WAIM'08 workshops will be published separately. Workshop, panel and tutorial Proposals and industrial and demo papers should be sent as e-mail attachments to the corresponding chairs. IMPORTANT DATES Abstracts of research papers due: January 17, 2008 Full research papers due: January 24, 2008 Industrial/Demo papers due: January 24, 2008 Acceptance notification: March 17, 2008 Camera-ready copy: April 17, 2008 Workshop proposals: January 22, 2008 Panel/Tutorial Proposals: March 24, 2008 ORGANIZING COMMITTEE Honorary Conference Chair: Huowang Chen, National Laboratory for Parallel and Distributed Processing, China General Co-Chairs: Jianzhong Li, Harbin Institute of Technology, China. Clement Yu, University of Illinois at Chicago, USA. Program Committee Co-Chairs: Yan Jia, National Laboratory for Parallel and Distributed Processing, China. Weiyi Meng, State University of New York at Binghamton, USA. Proceedings Chair: Ning Jing, National University of Defense Technology, China. Industrial Track Chair: Jiangning Liu, CVIC Software Engineering CO., China Demonstration Track Chair: Dongwon Lee, Penn State University, USA Tutorial Chair: Susan Gauch, University of Arkansas, USA Workshop Chair: Weihong Han, National Laboratory for Parallel and Distributed Processing, China Panel Chair: Aoying Zhou, Fudan University, China Publicity Co-Chairs: Andreas Thor, University of Leipzig, Germany Wai Gen Yee, Illinois Institute of Technology, USA Lihua Yue, University of Science and Technology of China, China Local Arrangements Co-Chairs: Shuqiang Yang, National Laboratory for Parallel and Distributed Processing, China Wei Xiong, National University of Defense Technology, China Steering Committee Liaison: Sean X. Wang, University of Vermont, USA PROGRAM COMMITTEE - James Bailey, University of Melbourne, Australia - Sourav S. Bhowmick, Nanyang Technological University, Singapore - Lei Chen, Hong Kong Univ. of Sci. & Tech., Hong Kong - Qiming Chen, Hewlett-Packard Laboratories, USA - Reynold Cheng, Hong Kong Polytechnic University, Hong Kong - Gao Cong, Microsoft Research Asia, China - Alfredo Cuzzocrea, University of Calabria, Italy - Xiaoyong Du, Renmin University of China, China - Ling Feng, Tsinghua University, China - Ophir Frieder,Illinois Institute of Technology, USA - Jun Gao, Peking University, China - Madhusudhan Govindaraju, State University of New York at Binghamton,USA - Stephane Grumbach, LIAMA(The Sino-French IT Lab Institute of Automation), China - Giovanna Guerrini, Universita di Genova, Italy - Weihong Han, National Laboratory for Parallel and Distributed Processing,China - Yoshiharu Ishikawa, Nagoya University, Japan - Ruoming Jin, Kent State University, USA - Hiroyuki Kitagawa, University of Tsukuba, Japan - Chiang Lee, National Cheng-Kung University, Taiwan - Dik Lun Lee, Hong Kong University of Science and Technology, China - Wang-Chien Lee, Pennsylvania State University, USA - Yoon-Joon Lee, Korea Advanced Institute of Science and Technology (KAIST), Korea - Jinyan Li, Nanyang Technological University, Singapore - Qing Li, City University of Hong Kong, Hong Kong - Quanzhong Li, IBM, USA - Ee Peng Lim, Nanyang Technological University, Singapore - Xuemin Lin, University of New South Wales, Australia - Tok Wang Ling, National University of Singapore, Singapore - Chengfei Liu, Swinburne University of Technology, Australia - Huan Liu, Arizona State University, USA - Jiangning Liu, CVIC Software Engineering CO, China - Qiong Luo, Hong Kong Univ. of Sci. & Tech., Hong Kong - Xiaofeng Meng, Renmin University, China - Mukesh K Mohania, IBM India Research Lab., India - Anne H. H. Ngu, Texas State University, USA - Wilfred Siu-Hung Ng, Hong Kong University of Science and Technology,China - Jian Pei, Simon Fraser University, Canada - Zhiyong Peng, Wuhan University, China - Evaggelia Pitoura, University of Ioannina, Greece - Weining Qian, Fudan University, China - Vijay Raghavan, University of Louisiana at Lafayette, USA - Keun Ho Ryu, Chungbuk National University, Korea - Albrecht Schmidt, Aalborg University, Denmark - Heng Tao Shen, University of Queensland, Australia - Timothy K. Shih, Tamkang University, Taiwan - Markus Schneider, University of Florida, USA - Changjie Tang, Sichuan University, China - David Taniar, Monash University, Australia - Yufei Tao, Chinese University of Hong Kong, Hong Kong - Yicheng Tu, University of South Florida, USA - Anthony Tung, National University of Singapore, Singapore - Guoren Wang, Northeastern University, China - Haixun Wang, IBM T. J. Watson Research Center, USA - Jianyong Wang, Tsinghua University, China - Shan Wang, Renmin University, China - X. Sean Wang, University of Vermont, USA - Wei Wang, Fudan University, China - Wei Wang, University of New South Wales, Australia - Jirong Wen, Microsoft Research Asia, China - Raymond Wong, University of New South Wales, Australia - Wensheng Wu, IBM, USA - Zonghuan Wu, University of Louisiana at Lafayette, USA - Wei Xiong National University of Defense Technology, China - Shuqiang Yang National Laboratory for Parallel and Distributed Processing, China - Jian Yang, Macquarie University, Australia - Jun Yang, Duke University, USA - Ge Yu, Northeastern University, China - Jeffrey Xu Yu, Chinese University of Hong Kong, China - Lei Yu, State University of New York at Binghamton, USA - Philip S. Yu, University of Illinois at Chicago, USA - Qing Zhang, CSIRO, Australia - Yanchun Zhang, Victoria University, Australia - Hongkun Zhao, Bloomber, USA - Aoying Zhou, Fudan University, China - Lizhu Zhou, Tsinghua University, China - Xuan Zhou, L3S Research Center, Germany - Yongluan Zhou, EPFL, Switzerland - Qiang Zhu, University of Michigan, USA From bernhard.jung at ofai.at Wed Jan 9 15:41:54 2008 From: bernhard.jung at ofai.at (bernhard.jung at ofai.at) Date: Wed, 9 Jan 2008 15:41:54 +0100 Subject: 2nd CfP: "From Agent Theory to Agent Implementation" AT2AI-6@AAMAS2008 Message-ID: <200801091441.m09EfsuF026486@fichte.ofai.at> ======================================================================== 2nd Call for Papers (* apologies for cross-posting *) Sixth International Workshop "From Agent Theory to Agent Implementation" AT2AI-6 at2ai6 (AT) ofai (DOT) at at the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008) May 21-13, 2008, Estoril, Portugal (EU) Submission deadline: January 25, 2008 ======================================================================== "From Agent Theory to Agent Implementation" (AT2AI) is a forum to present and discuss experiences and innovative ideas that help to strengthen the connection and dialogue between theory and practice of agent-oriented systems. AT2AI builds upon the success of previous editions that promoted the exchange of ideas and experiences, needs and opportunities between researchers, practitioners and further stakeholders working on and with the whole range of theoretical and application-oriented aspects of agent technology. Of particular relevance to the workshop are reflections that share insights and lessons learnt when applying specific agent theories or technologies to application problems, or, from the recipients' end, when contracting agent technologies to provide a service envisioned. The workshop will critique methods, methodologies, and other tools meant to help system designers to perceive the full range of options offered by the agent-oriented approach and to accomplish the mapping between available agent technology and application needs. Other stakeholders should be rewarded with a better understanding of the current potential of and challenges for agent-oriented systems. Introduction & Background ------------------------- Since its first edition in 1998, the symposium series "From Agent Theory to Agent Implementation" has been not only documenting the progress in agent-related technologies, but also managed to contribute to the rapid development of this area. AT2AI actively promotes the exchange of ideas and experiences between researchers and practitioners working on the whole range of theoretical and application-oriented issues of agent technology. It covers both the micro and macro aspects of agent-oriented design, and discusses the relations of drawing boards and partly idealised models to modelling tools and frameworks to deployment, management and maintenance of implementations. The focus of AT2AI lies in the discussion of direct experience reports from all stakeholders, so as to remain well aware of the actual target domains while using the language of current agent terminology. Previous AT2AI editions produced a first blueprint of a layered ecology of technologies for the development of agent based applications (see http://www.ofai.at/~paolo.petta/conf/at2ai3/ and the editorial: "Engineering Agent Systems: Best of ``From Agent Theory to Agent Implementation (AT2AI-3)''" of Applied Artificial Intelligence 16(9-10):671-67, 2003 --- available as OFAI TR-2002-41 from http://www.ofai.at/tr-online/). This perspective considers middleware, tools, off-the shelf platforms, integrated development environments (IDEs), and the like, with respect to their practical value to improve the application performance delivered. The qualities of these support technologies can in turn be improved and better exploited with the design of architectural frameworks and the deployment of standards. The evolution of these in turn can be assisted by the development of sound theoretical foundations and related formal methods. Methodologies are considered as working know-that and know-how, capturing and maintaining the best practises how to identify, align, and process application- and environment-derived (bottom-up) and support technology related (top-down) requirements and options. AT2AI also compiled an updated inventory against the maturing agent field: the status of logic-based approaches was addressed in particular; but evidence was also provided for how routine consideration of a multitude of perspectives is finally starting to meet the requirements posed by serious application needs (including e.g. issues of privacy and flexible access right management). These results have been published in the triple issue of Applied AI 20(2-4), 2006. AT2AI-6 is aimed at pushing the envelope further still, as more substantial experiences with more sizeable and persisting systems deployed become available. In addition to the understanding of what approaches and aspects can contribute in which ways to system resilience, sustainability, and other properties of practical importance, further reflection is now starting to identify inherent dynamical properties that are particular to agent-oriented systems and that may enable to expand the range of application support significantly. This for example includes consideration of the pros and cons of functional and physical approaches to encapsulation, and accepting and devising solutions to cope with limited control over the environment and system coherence at the macro level. This workshop has strong links to two other AAMAS workshops: Agent Oriented Software Engineering (AOSE) and Programming Multi-Agent Systems (ProMAS). These workshops will coordinate their activities, including the organisation of a joint session. Details will be published on the AT2AI-6 web site in due course. Topics of Interest ------------------ Of particular relevance to the workshop are reflections that share insights about experiences and lessons learnt when applying specific agent theories or architectures to application problems, or, from the recipients' end, when contracting agent technologies to provide a service envisioned. Such discussions and critiques may be aimed at conceptual vocabulary, methods, methodologies, good and bad management practices, and other tools and activities: anything that may be of value for system designers to improve the mapping of their agent-oriented toolbox to application needs, and for other stakeholders to better understand the available potential and current challenges of agent-oriented systems. Topics of interest therefore include, but are not limited to: * Conceptual and theoretical foundations * Agent languages and architectures * The nature and relation of the micro and macro levels * Learning and adaptability * Communication, coordination and collaboration within MAS * Monitoring and regulation of MAS behaviour * Reactivity, pro-activeness, autonomy at the macro level * Use and adaptation of Meta-Models at run-time * Solutions for (soft-)real-time characteristics * Social issues in agent societies * Safety, security, and responsibility * Granularities of system design (single-agent, multi-agent, ant, ...) * Agents vs. Middleware vs. Grids vs. Web Services * Development, engineering, and management methodologies * User interfaces and usability * MAS Information interfaces (handling of discrete and continuous information) * Testbeds and evaluations * Applications of agent technology in routine use * Bio-inspired theories/techniques for MAS implementations Important dates --------------- January 25, 2008 Submission deadline February 25, 2008 Paper acceptance notification March 5, 2008 Camera-ready copies May 12/13, 2008 Workshop at AAMAS 2008 Submission ---------- Submissions are encouraged to cast the presentation in terms of the schema described below, or to propose changes to it. As the previous editions of AT2AI have shown, this is a significant aid for the workshop audience to grasp more readily the significance of the work presented and to relate it to their own activities: the quality and variety of feedback provided to authors improves accordingly, often leading to persisting fruitful contacts. m ---------------------------------------------------+ e | | t theoretical foundations | | h | | o -----------------------------------------+ | | d | | | | o standards | | | | l | | | | o -------------------------------+ | | | | g | | | | | | i middleware | | | | | | e | | | | | | s ---------------+ | | | | | | | | | | | | | IDEs | APPLICATIONS | tools | | | | | | | | | | | | | | +----------------+ | | | | | | off-the-shelf platforms | | | | | +--------------------------------+ | | | | architectures | | | +------------------------------------------+ | | formal methods | +----------------------------------------------------+ Papers should be formatted using Springer LNCS style (http://www.springer.de/comp/lncs/authors.html) and have a maximum of 14 pages. Papers will have to be submitted through the following page: http://www.easychair.org/conferences/?conf=at2ai6 in PDF format. Reviewing process ----------------- Each paper will be triple reviewed. Criteria for the selection of papers include: originality, readability, coverage of relevant state of the art, relevance to themes, soundness, and overall quality. An affirmative action policy will hold for strongly innovative papers. Proceedings ----------- Selected contributions of previous editions were published in Applied Artificial Intelligence. For the 2008 edition, we again plan to compile a special issue out of revised and extended versions of selected papers arising out of the workshop discussions in Applied AI, Multi-agent and Grid Systems (MAGS), or another journal. Organising committee -------------------- Bernhard Jung Austrian Research Institute for AI (OFAI), AT Fabien Michel CReSTIC / LERI, Univ. Reims, FR Alessandro Ricci DEIS, Universit� di Bologna, IT Paolo Petta Austrian Research Institute for AI (OFAI), AT Programme Committee ------------------- Ardissono, Liliana Gustavsson, Rune Bauer, Bernhard Hanachi, Chihab Bergenti, Federico Holvoet, Tom Boissier, Olivier Hubner, Jomi Fred Bordini, Rafael Leite, Jo�o Coelho, Helder Omicini, Andrea Dastani, Mehdi Platon, Eric Demazeau, Yves Schumacher, Michael Ignaz Dickinson, Ian Simonin, Olivier El Fallah Seghrouchni, Amal Vizzari, Giuseppe Ferber, Jacques Weiss, Gerhard Giorgini, Paolo Weyns, Danny Gomez Sanz, Jorge J. van Riemsdijk, Birna Goua�ch, Abdelkader From pokahr at informatik.uni-hamburg.de Thu Jan 10 00:37:58 2008 From: pokahr at informatik.uni-hamburg.de (Alexander Pokahr) Date: Thu, 10 Jan 2008 00:37:58 +0100 Subject: 2nd CFP: ProMAS @ AAMAS'08 Message-ID: <47855AD6.8090109@informatik.uni-hamburg.de> (please accept our apologies if you receive multiple postings) CALL FOR PAPERS: ProMAS'08 Sixth international Workshop on Programming Multi-Agent Systems (ProMAS'08) ProMAS'08 is a satellite workshop at AAMAS 2008 Estoril, Portugal, 12-16 May 2008 Even though the contributions of the multi-agent systems (MAS) community can make a significant impact in the development of open distributed systems, the techniques resulting from such contributions will only be widely adopted when suitable programming languages and development tools are available. Furthermore, such languages and tools must incorporate those techniques in a principled but practical way, so as to support the ever more complex task of professional programmers, in particular when the systems have to operate in dynamic environments. The ProMAS workshop series aims to address the theoretical and practical programming issues related to developing and deploying multi-agent systems. In particular, ProMAS aims to address how multi-agent systems designs or specifications can be effectively implemented. In its previous editions, ProMAS constituted an invaluable occasion bringing together leading researchers from both academia and industry to discuss issues on the design of programming languages and tools for multi-agent systems. In particular, the workshop promotes the discussion and exchange of ideas concerning the techniques, concepts, requirements, and principles that are important for multi-agent programming technology. These include the theory and applications of agent programming languages, the verification and analysis of agent systems, as well as the implementation of social structure in agent-based systems (e.g. roles within organizations, coordination and communication in multi-agent systems). We encourage the submission of proposals for programming languages and development tools that provide specific programming constructs to facilitate the implementation of the essential concepts used in multi-agent system analysis and specifications (e.g., mental attitudes, distribution, and social interaction). We also welcome submissions describing significant multi-agent applications, as well as agent programming tools that allow the integration of agents with legacy systems. Further, we are particularly interested in approaches or applications that show clearly the added-value of multi-agent programming, and explain why and how this technology should be adopted by designers and programmers both in academia and industry. The main areas of interest of the ProMAS workshop concern the development and programming of Multi-Agent Systems, ranging from tools, (new) agent and organizational programming concepts to semantics and formal verification. These themes are related to other workshops, including among others the AOSE and AT2AI workshops, which are also organized at AAMAS’08. These workshops aim to coordinate their activities, in particular, by organizing a joint session. Details will be published on the ProMAS web site. Specific topics for this workshop include, but are not limited to: - Programming Languages for multi-agent systems - Extensions of traditional languages for multi-agent programming - Theoretical and practical aspects of multi-agent programming - Computational complexity of MAS - Semantics for multi-agent programming languages - High-level executable multi-agent specification languages - Algorithms, techniques, or protocols for multi-agent issues (e.g., coordination, cooperation, negotiation) - Agent communication issues in multi-agent programming - Implementation of social and organisational aspects of MAS - Formal methods for specification and verification of MAS - Verification tools for implementations of MAS - Test and debugging tools and techniques - Agent development tools and platforms - Generic tools and infrastructures for multi-agent programming - Interoperability and standards for MAS - Programming mobile agents - Safety and security for mobile MAS deployment - Fault tolerance and load balancing for mobile MAS - Application areas for multi-agent programming languages - Applications using legacy systems - Programming MAS for Grid-based applications - Programming MAS for the Semantic Web - Deployed (industrial-strength) MAS - Benchmarks and testbeds for comparing MAS languages and tools Important Dates: ---------------- Paper submission deadline: 25 January, 2008 Notifications of acceptance/rejection: 25 February, 2008 Camera-ready copies due: 12 March, 2008 Workshop Date: 12th/13th May, 2008 (TBA) Submission Details: ------------------- Authors can submit their papers via the conference management system, available at the following address: http://www.conftool.net/ProMAS2008/ First, you will be asked to register into the system, then you will get a user id and a password that you can use to submit your paper. Papers should be formatted using Springer LNCS style (http://www.springer.de/comp/lncs/authors.html) and have a maximum of 15 pages. Accepted papers will be published as a technical report and distributed among participants during the workshop. As was the case for previous editions of the ProMAS workshop, we are planning to publish extended versions of selected papers as a volume of the Lecture Notes in Computer Science series by Springer-Verlag. Workshop Chairs: --------------------- - Koen Hindriks (Delft University of Technology, The Netherlands) http://www.mmi.tudelft.nl/ - Alexander Pokahr (University of Hamburg, Germany) http://vsis-www.informatik.uni-hamburg.de/members/info.php/84 - Sebastian Sardina (RMIT University, Australia) http://goanna.cs.rmit.edu.au/~ssardina/home.shtml Steering Committee: --------------------- - Rafael Bordini (University of Durham, UK) - Mehdi Dastani (Utrecht University, The Netherlands) - Juergen Dix (Clausthal University of Technology, Germany) - Amal El Fallah Seghrouchni (University of Paris VI, France) Programme Committee ------------------- Matteo Baldoni (Università degli Studi di Torino, Italy) Juan A. Botía Blaya (Universidad de Murcia, Spain) Lars Braubach (University of Hamburg, Germany) Jean-Pierre Briot (University of Paris 6, France) Keith Clark (Imperial College, UK) Rem Collier (University College Dublin, Ireland) Yves Demazeau (Institut IMAG - Grenoble, France) Frank Dignum (Utrecht University, Netherlands) Michael Fisher (University of Liverpool, UK) Jorge Gómez-Sanz (Universidad Complutense Madris, Spain) Vladimir Gorodetsky (Russian Academy of Sciences, Russia) Dominic Greenwood (Whitestein Technologies, Switzerland) Benjamin Hirsch (TU-Berlin, Germany) Shinichi Honiden (NII, Tokyo, Japan) Jomi Hübner (Universidade Regional de Blumenau, Brazil) Michael Huhns (University of South Carolina (USA) Yves Lespérance (York University, Canada) João Leite (Universidade University Nova de Lisboa, Portugal) John-Jules Meyer (Utrecht University, Netherlands) David Morley (SRI, USA) Jörg Müller (Clausthal University of Technology, Germany) Oliver Obst (Koblenz-Landau University, Germany) Andrea Omicini (University of Bologna, Italy) Agostino Poggi (Università degli Studi di Parma, Italy) Alessandro Ricci (DEIS, Universit di Bologna, Italy) Birna van Riemsdijk (Ludwig-Maximilians-Universität, Germany) Ralph Rönnquist (Intendico, Australia) Ichiro Satoh (NII, Kyoto, Japan) Kostas Stathis (City University London, UK) Paolo Torroni (University of Bologna, Italy) Tran Cao Son (New Mexico State University, Mexico) Gerhard Weiß (Software Competence Center Hagenberg, Austria) Michael Winikoff (RMIT University, Melbourne, Australia) Wayne Wobke (University of New South Wales, Australia) From joerg.hoffmann at deri.at Thu Jan 10 13:08:40 2008 From: joerg.hoffmann at deri.at (Joerg Hoffmann) Date: Thu, 10 Jan 2008 13:08:40 +0100 Subject: ESWC 2008 Final Call for System Demonstrations In-Reply-To: <476670E7.4020306@deri.at> References: <001e01c806a2$94502c90$6402a8c0@informatik.unimannheim.de> <476670E7.4020306@deri.at> Message-ID: <47860AC8.7040601@deri.at> Apologies for cross-postings. Please forward this email to anyone interested. ----------------------------------------------------------------------------- ----------------------------------------------------------------------------- CALL FOR SYSTEM DEMOS 5th European Semantic Web Conference (ESWC'08) 01 - 05 June 2008 Tenerife (Spain) http://www.eswc2008.org/ ----------------------------------------------------------------------------- ----------------------------------------------------------------------------- BASIC FACTS: Demo descriptions will be published as part of the ESWC'08 proceedings. 5 pages LNCS in PDF format. Submission via ESWC'08 Demo EasyChair installation at http://www.easychair.org/conferences/?conf=eswc08demo Submission: January 11, 2008, at 11:59 p.m. Hawaiian Time Notification: February 29, 2008 Camera Ready: March 14, 2008 ----------------------------------------------------------------------------- ----------------------------------------------------------------------------- The ESWC is the leading European Conference on Theory, Practice and Applications of Semantic Web Technologies, constantly attracting a high number of high quality submissions and participants from academia and industry. Besides the research paper and poster tracks, ESWC asks for demonstrations of semantic web systems and applications. This includes applications, demonstrations of innovative technologies or infrastructures that support the deployment of semantic web applications in any area covered by topics of interest for ESWC'08. To submit a demo to ESWC'08, the authors are requested to submit a demo description. The description must be submitted as a PDF file; it must be formatted in LNCS style, and it must be no longer than 5 pages maximum. The demo descriptions will be published as part of the ESWC'08 proceedings. As such, quality assurance will be strict, and the demos will be subject to review by a separate Programme Committee. All demos must show relevance, novelty and significance. The descriptions should contain sections answering the following questions, as appropriate: 1. What is the research background and application context of the demonstration? 2. What is the employed key technology, and how does it relate to pre-existing work? 3. What exactly will be demonstrated? 4. What exactly will a visitor of the demonstration learn? Submission and reviewing of demo descriptions will be electronic via the ESWC'08 Demo EasyChair installation at: http://www.easychair.org/conferences/?conf=eswc08demo In order to submit, you need to have an EasyChair account. If you do not already have such an account, you can create one by clicking on "I have no EasyChair account". Important Dates Submission: January 11, 2008, at 11:59 p.m. Hawaiian Time Notification: February 29, 2008 Camera Ready: March 14, 2008 ESWC 2008 Demo Chair: Joerg Hoffmann ESWC 2008 Demo Programme Committee: Harith Alani Lora Aroyo Alessandro Artale Abraham Bernstein Leopoldo Bertossi Walter Binder Kalina Bontcheva John Breslin Francois Bry Paul Buitelaar Christoph Bussler Andrea Cali Diego Calvanese Ying Ding Giorgios Flouris Fabien Gandon Nick Gibbins John Goodwin Guido Governatori Mark Greaves Gianluigi Greco Volker Haarslev Nicola Henze Martin Hepp Pascal Hitzler Andreas Hotho Vangelis Karkaletsis Vipul Kashyap Anastasios Kementsietsidis Hak Lae Kim Matthias Klusch Joanne Luciano Wolfgang May Dunja Mladenic Enrico Motta Daniel Oberle Bijan Parsia Terry Payne Axel Polleres Michael Schumacher Elena Simperl Michael Sintek Michael Stollberg Christos Tryfonopoulos Victoria Uren Raphael Volz From riemsdijk at pst.ifi.lmu.de Thu Jan 10 14:01:36 2008 From: riemsdijk at pst.ifi.lmu.de (Birna van Riemsdijk) Date: Thu, 10 Jan 2008 14:01:36 +0100 Subject: 2nd CFP: DALT@AAMAS'08 (!!! LNAI post-proceedings !!!) Message-ID: <47861730.8050102@pst.ifi.lmu.de> [Please accept our apologies if you receive multiple postings.] ***************************************************************** 6th International Workshop on Declarative Agent Languages and Technologies (DALT 2008) 12 or 13 May 2008 Estoril, Portugal (held in conjunction with AAMAS 2008) URL: http://www.di.unito.it/~baldoni/DALT-2008/ ***************************************************************** ***************************************************************** !!!! NEWS: POST-PROCEEDINGS in LNAI !!!! ***************************************************************** ***************************************************************** ***************************************************************** CALL FOR PAPERS ***************************************************************** The workshop on Declarative Agent Languages and Technologies (DALT), in its sixth edition this year, is a well-established forum for researchers interested in sharing their experiences in combining declarative and formal approaches with engineering and technology aspects of agents and multiagent systems. Building complex agent systems calls for models and technologies that en- sure predictability, allow for the verification of properties, and guarantee flexibility. Developing technologies that can sat- isfy these requirements still poses an important and difficult challenge. Here, declarative approaches have the potential of of- fering solutions satisfying the needs for both specifying and de- veloping multiagent systems. Moreover, they are gaining more and more attention in important application areas such as the seman- tic web, service-oriented computing, security, and electronic contracting. For instance, some convergence points between the areas of formal methods for dealing with web services and formal methods for agents are emerging and gaining more and more atten- tion. DALT 2008 will be held as a satellite workshop of AAMAS 2008, the 7th International Joint Conference on Autonomous Agents and Mul- tiagent Systems, in May 2008 in Estoril, Portugal. Following the success of five previous editions, DALT will again aim at provid- ing a discussion forum to both (i) support the transfer of declarative paradigms and techniques to the broader community of agent researchers and practitioners, and (ii) to bring the issue of designing complex agent systems to the attention of re- searchers working on declarative languages and technologies. ***************************************************************** TOPICS OF INTEREST ***************************************************************** DALT topics of interest include, but are not limited to: General themes: * specification of agents and multiagent systems * declarative approaches to engineering agent systems Formal techniques: * (constraint) logic programming approaches to agent systems * distributed constraint satisfaction * modal and epistemic logics for agent modelling * verification of agents and multiagent systems * formal semantics for agent programming languages and frameworks Declarative models: * declarative models of agent beliefs, goals and capabilities * declarative models of bounded rationality * declarative paradigms for the combination of heterogeneous agents * declarative approaches to organizations and electronic institutions * agent-inspired declarative approaches to web services or service-oriented architectures Applications of declarative techniques to: * agents and the semantic web * service-oriented multiagent systems * agent communication and coordination languages * protocol specification and conformance checking * description of contracts and negotiation policies * security and trust in multiagent systems Evaluation of declarative approaches: * experimental analysis of declarative agent technologies * industrial experiences with declarative agent technologies ***************************************************************** SUBMISSION INSTRUCTIONS ***************************************************************** We welcome and encourage the submission of high-quality, original papers, which are not being submitted simultaneously for publication elsewhere. Papers should be written in English, formatted according to the Springer LNCS style, and not exceed 16 pages. Paper submission is electronic via the conference website. ***************************************************************** WORKSHOP PROCEEDINGS ***************************************************************** Printed copies of the proceedings will be available at the workshop. The post-proceedings will be published by Springer- Verlag in the Lecture Notes in Artificial Intelligence series. ***************************************************************** IMPORTANT DATES ***************************************************************** * Paper submission deadline: 25 January 2008 * Notification of authors: 25 February 2008 * Final versions due: 5 March 2008 * Workshop: 12 or 13 May 2008 ***************************************************************** PROGRAMME COMMITTEE ***************************************************************** * Thomas Agotnes (Bergen University College, NO) * Marco Alberti (University of Ferrara, Italy) * Natasha Alechina (University of Nottingham, UK) * Grigoris Antoniou (University of Crete, Greece) * Matteo Baldoni (University of Torino, Italy) -- co-chair * Cristina Baroglio (University of Torino, Italy) * Rafael Bordini (University of Durham, UK) * Federico Chesani (University of Bologna, Italy) * Amit Chopra (North Carolina State University, USA) * Keith Clark (Imperial College London, UK) * Francesco M. Donini (University of Tuscia, Italy) * Benjamin Hirsch (Technical University Berlin, Germany) * Shinichi Honinden (National Institute of Informatics, Japan) * John Lloyd (Australian National University, Australia) * Viviana Mascardi (University of Genova, Italy) * Nicolas Maudet (Univ. Paris-Dauphine, France) * John-Jules Meyer (University of Utrecht, Netherlands) * Enrico Pontelli (New Mexico State University, USA) * Birna van Riemsdijk (Ludwig-Maximilians-Universitaet Muenchen, Germany) -- co-chair * Chiaki Sakama (Wakayama University, Japan) * Tran Cao Son (New Mexico State University, USA) -- co-chair * Wamberto Vasconcelos (University of Aberdeen, UK) * Mirko Viroli (University of Bologna, Italy) * Marina De Vos (University of Bath, UK) * Michael Winikoff (RMIT University, Australia) -- co-chair ***************************************************************** ORGANISING COMMITTEE ***************************************************************** * Matteo Baldoni (University of Torino, Italy) * Tran Cao Son (New Mexico State University, USA) * M. Birna van Riemsdijk (Ludwig-Maximilians-Universitaet Muenchen, Germany) * Michael Winikoff (RMIT University, Australia) ***************************************************************** STEERING COMMITTEE ***************************************************************** * João Leite (New University of Lisbon, Portugal) * Andrea Omicini (University of Bologna-Cesena, Italy) * Leon Sterling (University of Melbourne, Australia) * Paolo Torroni (University of Bologna, Italy) * Pinar Yolum (Bogazici University, Turkey) ***************************************************************** From agostino.dovier at dimi.uniud.it Fri Jan 11 08:33:09 2008 From: agostino.dovier at dimi.uniud.it (Agostino Dovier) Date: Fri, 11 Jan 2008 08:33:09 +0100 Subject: WCB07 Call for Papers Message-ID: <20080111073310.8F16447CA83@smtp.uniud.it> ********************************************************************** **** CALL FOR PAPERS **** WCB08 - Workshop on **** Constraint Based Methods for Bioinformatics **** May 22th, 2008 **** PARIS associated to CPAIOR 2008 **** http://www.dimi.uniud.it/dovier/WCB08 ********************************************************************** Bioinformatics is a challenging and fast growing area of research, which is of utmost importance for our understanding of life. Major contributions to this discipline can have thousands of positive effects in medicine, agriculture, or industry. The main aim of this workshop is twofold. On the one hand, to share recent results in this area (new ideas and/or systems, relying on constraints, but also on linear programming, Mixed Integer Linear Programming, Local Search, and any other AI techniques, possibly combining some of them). On the other hand, to present new challenging problems recently formalized but still far from admitting an acceptable solutions. See from the workshop web page, the web pages/proceedings of the previous editions and the link to the forthcoming special issue of the Constraints Journal on the same topics. ********************************************************************** Submitted papers can be * Extended Abstracts of new results or * Abstract of ongoing works * Systems presentations (with demos at the workshop) * Summaries of already accepted or recently published results in any topic concerning bioinformatics and constraints and close techniques. Submission style is the standard llncs style. Page limit is 6 pages. Please send the pdf or ps via email to the three co-chairs (email on the web page of the workshop). Submission Deadline: March 15, 2008 Notification to Authors: April 15, 2008 Camera-ready due: April 30, 2008 (strict!) Workshop: May 22, 2008. Workshop participation of at least one author is mandatory. Participation to CPAIOR is strongly encouraged. ********************************************************************** Program Committe Rolf Backofen Freiburg Univ., Germany (co-chair) Pedro Barahona Univ. Nova de Lisboa, Portugal Alexander Bockmayr Freie Univ. Berlin, Germany Mats Carlsson SICS, Uppsala Sweden Alessandro Dal Palù Univ. of Parma, Italy Simon De Givry INRA, Toulouse, France Maria Garcia de la Banda Monash Univ., Australia David Gilbert Glasgow Univ., UK Agostino Dovier Udine Univ., Italy (co-chair) Francois Fages INRIA Rocquencourt, France (co-chair) Inês Lynce INESC-ID Lisboa, Portugal Enrico Pontelli NMSU (USA) Peter Stuckey Univ. of Melbourne Sebastian Will Freiburg Univ., Germany *********************************************************************** **************************************** Agostino Dovier Dip. di Matematica e Informatica Univ. of Udine, Italy http://www.dimi.uniud.it/dovier **************************************** From chris at ags.uni-sb.de Fri Jan 11 09:46:29 2008 From: chris at ags.uni-sb.de (Christoph Benzmueller) Date: Fri, 11 Jan 2008 09:46:29 +0100 Subject: CFP: UITP'08 - User Interfaces for Theorem Provers Message-ID: <47872CE5.3090707@ags.uni-sb.de> [please apologize for multiple copies] UITP'08 The 8th International Workshop on User Interfaces for Theorem Provers [http://www.ags.uni-sb.de/~omega/workshops/UITP08/] (TPHOLS'08 Satellite Workshop) Friday, 22nd August 2008, Montréal, Québec, Canada The User Interfaces for Theorem Provers workshop series brings together researchers interested in designing, developing and evaluating interfaces for interactive proof systems, such as theorem provers, formal method tools, and other tools manipulating and presenting mathematical formulas. While the reasoning capabilities of interactive proof systems have increased dramatically over the last years, the system interfaces have often not enjoyed the same attention as the proof engines themselves. In many cases, interfaces remain relatively basic and under-designed. The User Interfaces for Theorem Provers workshop series provides a forum for researchers interested in improving human interaction with proof systems. We welcome participation and contributions from the theorem proving, formal methods and tools, and HCI communities, both to report on experience with existing systems, and to discuss new directions. Topics covered include, but are not limited to: * Application-specific interaction mechanisms or designs for prover interfaces * Experiments and evaluation of prover interfaces * Languages and tools for authoring, exchanging and presenting proof * Implementation techniques (e.g. web services, custom middleware, DSLs) * Integration of interfaces and tools to explore and construct proof * Representation and manipulation of mathematical knowledge or objects * Visualisation of mathematical objects and proof * System descriptions UITP 2008 is a one-day workshop to be held on Friday, August 22nd 2008 in Montreal, Canada, as a TPHOLS'08 workshop [http://users.encs.concordia.ca/~tphols08/TPHOLs2008/] FORMAT OF THE WORKSHOP The proposed format of the workshop is one day of presentations of accepted regular papers and system demonstrations of accepted system descriptions. In addition the program might include an invited talk. SUBMISSION Submissions are encouraged in one of the following two categories: - Regular paper: Submissions in this category should describe previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. Papers should be formated following the ENTCS [http://www.entcs.org/prelim.html] guidelines and up to 15 pages long (please find the additional UITP'08-specific macro file at [http://www.entcs.org/files/uitp08/prentcsmacro.sty]. - System description: Submissions in this category are intended to describe existing systems. Papers should be formated following the ENTCS [http://www.entcs.org/prelim.html] guidelines and up to 5 pages long (please find here the additional UITP'08-specific ENTCS macro file [http://www.entcs.org/files/uitp08/prentcsmacro.sty]). Submission of papers is via the EasyChair conference system [http://www.easychair.org/conferences/?conf=uitp08]. All submissions will be peer reviewed and final versions of accepted submissions will be published in an ENTCS [http://www.elsevier.com/locate/entcs] volume. In addition, printed workshop proceedings will be distributed at the workshop. Final versions of accepted papers have to be prepared with LaTeX. IMPORTANT DATES * Submission deadline: May 9th, 2008 * Acceptance notification: June 27th, 2008 * Camera-ready copy: July 11th, 2008 PROGRAMME COMMITTEE * David Aspinall, University of Edinburgh, Scotland * Serge Autexier, Saarland University and DFKI Saarbrücken, Germany (Co-Chair) * Chris Benzmüller, Saarland University, Germany (Co-Chair) * Yves Bertot, INRIA Sophia-Antipolis, France * William Billingsley, University of Cambrigde, England * Paul Cairns, University College London, England * Ewen Denney, NASA Ames Research Center, USA * Herman Geuvers, Radboud University Nijmegen, The Netherlands * Christoph Lüth, University of Bremen and DFKI Bremen, Germany * Michael Norrish, NICTA, Australia * Claudio Sacerdoti-Coen, University of Bologna, Italy * Gem Stapleton, University of Brighton, England * Geoff Sutcliffe, University of Miami, USA * Makarius Wenzel, TU Munich, Germany If you have any questions about the workshop, please contact the organizers: uitp08 at ags.uni-sb.de More information about the workshop series can be found at the UITP Interest Group webpage [http://www.informatik.uni-bremen.de/uitp/]. From gardent at loria.fr Fri Jan 11 16:38:58 2008 From: gardent at loria.fr (Claire Gardent) Date: Fri, 11 Jan 2008 10:38:58 -0500 (EST) Subject: Postdoc Opening, Nancy (France) Message-ID: <20080111153858.763B7573BC@loria1.loria.fr> Postdoctoral Position at INRIA Nancy (France) Field: Computational Linguistics Topic: Surface realisation and large scale over-generation detection Deadline for application: February 15, 2008. Starting Date: 01 November 2008 Employer: INRIA (French National Institute for Research in Computer Science) Nancy Grand Est (France) Job Description: The Lorraine Laboratory of IT Research and its Applications (Nancy, France) has a position for a Postdoctoral fellow to work on the development of a surface realiser for French. Applicants must have a ** recent doctoral degree ** (PhD viva held in may 2007 or later) or defend their PhD before the end of 2008. They must have expertise in an area relevant to the project (linguistics, computational linguistics, computer science), strong hands-on experience in Natural Language Processing and a particular interest in NL generation. A good knowledge of Haskell is a necessity. Further particulars and details of how to apply are available at: http://www.loria.fr/~gardent The official closing date is February 15, 2007, but applications will be processed until the position is filled. Contact: Claire Gardent From joerg.hoffmann at deri.at Sat Jan 12 12:10:54 2008 From: joerg.hoffmann at deri.at (Joerg Hoffmann) Date: Sat, 12 Jan 2008 12:10:54 +0100 Subject: ESWC 2008 EXTENDED DEADLINE for System Demonstrations In-Reply-To: <47860AC8.7040601@deri.at> References: <001e01c806a2$94502c90$6402a8c0@informatik.unimannheim.de> <476670E7.4020306@deri.at> <47860AC8.7040601@deri.at> Message-ID: <4788A03E.5020101@deri.at> Apologies for cross-postings. Please forward this email to anyone interested. ----------------------------------------------------------------------------- ----------------------------------------------------------------------------- EXTENDED DEADLINE: January 17, 2008 CALL FOR SYSTEM DEMOS 5th European Semantic Web Conference (ESWC'08) 01 - 05 June 2008 Tenerife (Spain) http://www.eswc2008.org/ ----------------------------------------------------------------------------- ----------------------------------------------------------------------------- BASIC FACTS: Demo descriptions will be published as part of the ESWC'08 proceedings. 5 pages LNCS in PDF format. Submission via ESWC'08 Demo EasyChair installation at http://www.easychair.org/conferences/?conf=eswc08demo Submission: January 17, 2008, at 11:59 p.m. Hawaiian Time (11:59 a.m. CET) Notification: February 29, 2008 Camera Ready: March 14, 2008 ----------------------------------------------------------------------------- ----------------------------------------------------------------------------- The ESWC is the leading European Conference on Theory, Practice and Applications of Semantic Web Technologies, constantly attracting a high number of high quality submissions and participants from academia and industry. Besides the research paper and poster tracks, ESWC asks for demonstrations of semantic web systems and applications. This includes applications, demonstrations of innovative technologies or infrastructures that support the deployment of semantic web applications in any area covered by topics of interest for ESWC'08. To submit a demo to ESWC'08, the authors are requested to submit a demo description. The description must be submitted as a PDF file; it must be formatted in LNCS style, and it must be no longer than 5 pages maximum. The demo descriptions will be published as part of the ESWC'08 proceedings. As such, quality assurance will be strict, and the demos will be subject to review by a separate Programme Committee. All demos must show relevance, novelty and significance. The descriptions should contain sections answering the following questions, as appropriate: 1. What is the research background and application context of the demonstration? 2. What is the employed key technology, and how does it relate to pre-existing work? 3. What exactly will be demonstrated? 4. What exactly will a visitor of the demonstration learn? Submission and reviewing of demo descriptions will be electronic via the ESWC'08 Demo EasyChair installation at: http://www.easychair.org/conferences/?conf=eswc08demo In order to submit, you need to have an EasyChair account. If you do not already have such an account, you can create one by clicking on "I have no EasyChair account". Important Dates Submission: January 11, 2008, at 11:59 p.m. Hawaiian Time Notification: February 29, 2008 Camera Ready: March 14, 2008 ESWC 2008 Demo Chair: Joerg Hoffmann ESWC 2008 Demo Programme Committee: Harith Alani Lora Aroyo Alessandro Artale Abraham Bernstein Leopoldo Bertossi Walter Binder Kalina Bontcheva John Breslin Francois Bry Paul Buitelaar Christoph Bussler Andrea Cali Diego Calvanese Ying Ding Giorgios Flouris Fabien Gandon Nick Gibbins John Goodwin Guido Governatori Mark Greaves Gianluigi Greco Volker Haarslev Nicola Henze Martin Hepp Pascal Hitzler Andreas Hotho Vangelis Karkaletsis Vipul Kashyap Anastasios Kementsietsidis Hak Lae Kim Matthias Klusch Joanne Luciano Wolfgang May Dunja Mladenic Enrico Motta Daniel Oberle Bijan Parsia Terry Payne Axel Polleres Michael Schumacher Elena Simperl Michael Sintek Michael Stollberg Christos Tryfonopoulos Victoria Uren Raphael Volz From mehdi at cs.uu.nl Mon Jan 14 01:21:24 2008 From: mehdi at cs.uu.nl (Mehdi Dastani) Date: Mon, 14 Jan 2008 01:21:24 +0100 Subject: EASSS 2008: Call for Tutorials Message-ID: <478AAB04.8040702@cs.uu.nl> !!! CALL FOR TUTORIALS -- EASSS 2008 !!! http://centria.di.fct.unl.pt/events/easss08/ !!! Proposals deadline : 18 January 2008 !!! The tenth edition of the European Agent Systems Summer School (EASSS'08) will be co-located with AAMAS'08 and take place at Universidade Nova de Lisboa, Portugal 5-9 May 2008 Researchers and lecturers in the field of autonomous agents and multi-agent systems are invited to submit a proposal for a state-of-the-art course in the tenth edition of the European Agent Systems Summer School. Tutors are encouraged to submit a 1-page course proposal including: the topic and its importance for the field, intended audience and their required background knowledge, outline of the topics to be presented, how the course material will be prepared, the tutors and their experience, level of the course (beginners/advanced), duration (typically 4 or 6 hours), and any special equipment requirements. Proposals will be evaluated based on the importance and quality of the topic description, the quality of the presentation material, and the teaching ability of the proposed speakers. Deadline for proposals: January 18, 2008 Notification: February 4, 2008 material for reader (< 26 pp) March 23, 2008 Courses should be broad enough to provide a general introduction to the chosen topic, but it should also cover the most important contributions in depth. Courses are expected to take a wider perspective than one specific approach practised by an individual or group. Submissions should be sent to Mehdi Dastani (mehdi at cs.uu.nl). For information about local organisation please contact Joao Leite (jleite at di.fct.unl.pt). From ilona.zaremba at deri.at Mon Jan 14 16:20:56 2008 From: ilona.zaremba at deri.at (Ilona Zaremba) Date: Mon, 14 Jan 2008 16:20:56 +0100 Subject: Tenth International Conference on Electronic Commerce (ICEC 2008) - Call for Submissions Message-ID: <478B7DD8.5070404@deri.at> ======================================================================= Tenth International Conference on Electronic Commerce (ICEC 2008) Innsbruck, Austria, August 18-22, 2008 ======================================================================= www.icec08.org Call for Submission The adoption and ubiquity of modern Internet access provides rich and varied opportunities for innovation and improvement of businesses. Over recent years, developments have led to a shift in the way business is conducted, from providing new and innovative service frameworks for B2B, to increasingly sophisticated, Web 2.0 services to improve the B2C user experience. Simultaneously, advances in the use of devices, as well as AI techniques have provided better and more varied access to e-commerce systems as well as facilitating greater autonomy in the way business is conducted. The Internet offers unique opportunities for individuals, businesses and governments to seek new ways of providing novel services, both qualitatively and quantitatively at substantially lower costs. Although many challenges remain, advances in Service Oriented Architectures and Semantic Web have opened up new models and avenues for research and exploitation. The International Conference on Electronic Commerce (ICEC) provides a forum to share invaluable experience of good practices and pitfalls in strategy planning, design, development, engineering and implementation of e-services. ICEC 2008 will feature: • Invited keynote presentations • Panels on topical issues on technology, business and public policy • Refereed paper presentations on emerging and continuing research issues • Tutorials and workshops in seven thematic tracks • Demonstration and posters • An exhibition, and • A doctoral consortium The conference will be organized into several tracks, which focus on the latest developments and innovations in e-commerce in the following areas of interest: 1. Business-to-business e-commerce: adoption of IOS, technologies for interoperable processes, and e-collaboration for global reach; 2. Business-to-consumer e-commerce: trends, problem areas, and solutions with emphasis on emerging markets; 3. E-government, policy and law: state-of-the-art and future regulation of e-commerce, including public strategies in limiting illicit activities and copyright violations; 4. Business/Enterprise Architectures: state-of-the-art and strategies for unifying extended enterprise resource base; 5. Mobile and pervasive commerce: alternative interaction metaphors that facilitate context aware, geo-spatially relevant services to users in novel environments; 6. Electronic Markets and Multiagent Systems: autonomous, intelligent, decentralized systems, that utilized AI-based and game-theoretic approaches to facilitate both heuristic and theoretically sound decision making; 7. Semantic Web ontologies, rules and services: decentralized knowledge-based systems and methodologies that support the exchange of information (including workflows, policies, services and ontological knowledge) in dynamic and heterogeneous environments. Papers Authors are encouraged to submit high-quality research papers describing the latest research and developments in the above-mentioned fields. Submissions encompassing other areas are welcome, but authors are advised to contact program chairs to discuss relevance before submission. Papers should not have been submitted for review, accepted for publication, or already published elsewhere. All submitted papers will be reviewed on the basis of technical quality, relevance, significance and clarity. All accepted papers will be published in the conference proceedings. Initial submissions for review should be no longer than 10 pages. Papers must be submitted in PDF, according to the ACM Proceedings Format (http://www.acm.org/sigs/pubs/proceed/template.html). Workshops and Tutorials The Workshop Track is a multi-dimensional channel aiming to share a wide variety of industry and educational knowledge and experience. This is a useful channel to report on the latest trends in e-commerce, inform others about cutting-edge technology and the necessary skills to advance within the IS/IT profession. Workshops can be created to discuss the challenges and achievements of new technologies and e-business applications, educating students, innovating and working with the industry, transferring and creating new knowledge between academia and industry, and for other industry and academic related experiences. This channel is used to contribute to our profession's body of knowledge through the sharing of unique and timely findings. Proposals for workshops and tutorials should include: • Title of the workshop or tutorial • Description of topic(s) and content(s) of the workshop or tutorial • Aims (theoretical and/or practical) of the workshop or tutorial • Detailed contact information of the workshop organizer(s) or tutorial presenter(s) • Length (half day or one day) of the proposed workshop or tutorial • Short description of the audience to which the workshop/tutorial is addressed and estimated number of participants • Schedule and agenda of the workshop or tutorial • Resources (other than room) required to be provided by the conference organizer • Proposals should be related to at least one of the conference themes Please submit your workshop or tutorial proposal through the online system available and accessible at the website of the conference http://www.icec08.org. Doctoral Consortium The ICEC Doctoral Consortium aims at bringing together doctoral students within the fields of e-commerce and e-business to open their work up to discussion in an international forum, and to obtain valuable feedback from their fellow scientists with respect to both topic-specific research issues, and research methodology. Students will be asked to submit an extended abstract (of about 5 pages), structured in accordance to a pre-defined template, whose focus is on the key methodological components required for a sound research narrative. Generally speaking, priority will be given to 1st/2nd year PhD students, because they are still in the process of defining the scope of their research. However, all PhD students are welcome and encouraged to apply. The Doctoral Consortium is open to all PhD students carrying out research on topics related to electronic commerce or electronic business (see below). The applicants are required to send an extended abstract of their doctoral work, which should address the following aspects: • What is the research problem of the PhD thesis and why is it relevant for the e-commerce or e-business areas? • What is the state of the art in the field, where do you see room for improvement and why is it feasible to assume your work will have chance to achieve progress? • What are the main contributions expected? • What are the real-world use cases (applications, target audience) which are likely to benefit from your work? • What is the general research approach followed? • What has been achieved so far? • What the evaluation method applied or planned to be applied? • What are your plans for future work? • Topics of interest to the Doctoral Consortium include (but are not restricted to) the conference themes The submissions should not exceed 5 pages and be formatted according to the ACM Proceedings Format http://www.acm.org/sigs/pubs/proceed/template.html). Applicants should also specify (e.g., in a footnote to the paper) how long they have worked on their doctoral work. The selected participants will be given the opportunity to open their work up to discussion in front of other students and an expert audience (either in a regular presentation session or in a poster session). Demonstration and Poster ICEC hosts a demo track providing a stage for demonstrating cutting edge applications in the field of electronic commerce. Demo applications may comprise of academic prototypes as well as commercial innovations from industry. The demo track takes place on one afternoon during the conference. Submissions should describe the application in no more than 2 pages. Accepted authors are expected to prepare a poster depicting the application's functionality. Submissions should describe the application in no more than 2 pages. Accepted authors are expected to prepare a poster depicting the application's functionality. Submission Guidelines Please submit your proposals through the online system available and accessible at the website of the conference http://www.icec08.org Important Dates Electronic paper submission: February 29, 2008 Paper notification of acceptance: April 30, 2008 Camera-ready versions: May 30, 2008 Workshop/tutorial proposals: February 29, 2008 Workshop notification:April 30, 2008 Doctoral Consortium paper: May 5, 2008 Doctoral Consortium notification: June 9, 2008 Camera-ready versions: June 23, 2008 Associated events: August 18, 2008 Conference dates: August 19-22, 2008 Organizing Committee Conference Co-Chairs: Dieter Fensel, University of Innsbruck, Austria Hannes Werthner, Technical University of Vienna, Austria Local Organisational Chair, Publicity/Sponsorship Chair: Peter Mirski, MCI Innsbruck, Austria Academic Program Co-Chairs: Jups Heikkilä, University of Jyväskylä), Finland Terry Payne, University of Southampton, UK Workshop Chair: Marianna Sigala, University of Aegean, Greece Demo and Poster Chair: Marco Zapletal, Vienna University of Technology, Austria Tutorial Chair: Manfred Hauswirth, DERI Galway, Ireland Doctoral Consortium Chair: Elena Simperl, University of Innsbruck, Austria Industrial Liason: Marcus Spieß, University of Innsbruck, Austria Conference Administrator: Ilona Zaremba, University of Innsbruck, Austria -- From tiwari at csl.sri.com Mon Jan 14 21:26:28 2008 From: tiwari at csl.sri.com (Ashish Tiwari) Date: Mon, 14 Jan 2008 12:26:28 -0800 Subject: RTA'08: Call For Papers Message-ID: <200801142026.m0EKQSOZ009885@aryabhata.csl.sri.com> ******************************************************** * * * RTA 2008 * * Rewriting Techniques and Applications * * 19th International Conference * * * * July 15-17, 2008, Castle of Hagenberg, Austria * * http://www.risc.uni-linz.ac.at/conferences/rta2008/ * * * ******************************************************** The 19th International Conference on Rewriting Techniques and Applications (RTA 2008) is organised as part of the RISC Summer 2008, which comprises five conferences, five workshops and the Training School in Symbolic Computation, and is followed by the 3rd International School on Rewriting in Obergurgl. IMPORTANT DATES: Abstract: February 4, 2008 Paper Submission: February 11, 2008 Notification: April 4, 2008 Final version: April 25, 2008 RTA is the major forum for the presentation of research on all aspects of rewriting. Typical areas of interest include (but are not limited to): * Applications: case studies; analysis of cryptographic protocols; rule-based (functional and logic) programming; symbolic and algebraic computation; theorem proving; system synthesis and verification; proof checking; reasoning about programming languages and logics; program transformation; * Foundations: matching and unification; narrowing; completion techniques; strategies; rewriting calculi, constraint solving; tree automata; termination; combination; * Frameworks: string, term, and graph rewriting; lambda-calculus and higher-order rewriting; constrained rewriting/deduction; categorical and infinitary rewriting; integration of decision procedures; * Implementation: implementation techniques; parallel execution; rewrite tools; termination checking; * Semantics: equational logic; rewriting logic; rewriting models of programs. BEST PAPER AWARD: An award is given to the best paper or papers as decided by the program committee. STUDENT SUPPORT: Limited student support will be available and announced in future versions of this call. PROGRAMME COMMITTEE CHAIR: * Andrei Voronkov University of Manchester http://www.voronkov.com/ PROGRAMME COMMITTEE: * Maribel Fern�ndez King's College London * Neil Ghani University of Leicester * J�rgen Giesl RWTH Aachen * Guillem Godoy Universidad Polit�cnica de Catalu�a * Jean Goubault-Larrecq ENS Cachan * Tetsuo Ida University of Tsukuba * Claude Kirchner INRIA * Konstantin Korovin University of Manchester * Temur Kutsia Johannes Kepler University Linz * Aart Middeldorp University of Innsbruck * Paliath Narendran SUNY at Albany * Robert Nieuwenhuis Universidad Polit�cnica de Catalu�a * Micha�l Rusinowitch INRIA * Aaron Stump Washington University in St. Louis * Jean-Marc Talbot Universit� de Provence * Yoshihito Toyama Tohoku University * Ralf Treinen Universit� Paris Diderot * Andrei Voronkov University of Manchester * Hans Zantema Technische Universiteit Eindhoven GENERAL CHAIR: * Bruno Buchberger Johannes Kepler University Linz ORGANISING COMMITTEE CHAIR: * Temur Kutsia Johannes Kepler University Linz SUBMISSIONS: Submissions must be original and not submitted for publication elsewhere. Submission categories include regular research papers and system descriptions. Problem sets and submissions describing interesting applications of rewriting techniques are also welcome. The page limit for submissions is 15 pages in Springer LNCS style (10 pages for system descriptions). Papers must be submitted electronically through the EasyChair system. The submission Web page is http://www.easychair.org/conferences/?conf=RTA2008 From lejla.ibralic-halilovic at sti2.org Tue Jan 15 14:14:44 2008 From: lejla.ibralic-halilovic at sti2.org (Lejla Ibralic-Halilovic) Date: Tue, 15 Jan 2008 14:14:44 +0100 Subject: Fulltime POSTDOC in Semantic Technologies, STI International, Vienna Message-ID: *Fulltime POSTDOC in Semantic Technologies, STI International, Vienna* To strengthen our team we are seeking a candidate with a PhD degree and at least 2-3 years working experience with a strong technical background in Semantic Technology and Computer Science. Experience in management of projects, in international working environments, with writing research proposals, creating and editing publications and having participated in research or open source communities are a particular plus for respective candidates. *About STI International: STI International is organized as a collaborative association of interested scientific, industrial and governmental parties. The aim of the STI International is to support the successful and enduring development of semantic technologies as a central pillar of future ICT systems. In order to support the research, technology developing and commercialization processes in the emerging field of semantic technologies, STI International coordinates, integrates, and consolidates the activities of interested academic, industrial, and governmental organizations. *What we offer: -A stimulating environment of a leading research initiative in the area of semantic technologies -Excellent connection and cooperation with research groups worldwide through our member network -Opportunity to work with internationally established academic and industrial partners -Challenging position in a new fast growing worldwide research association -Up-to-date infrastructure and resources, including funding for attending international conferences and other events *What we expect: -An excellent PhD degree, or equivalent academic degree, in Computer Science or related disciplines. -Research interest in at least one of the areas Knowledge Representation, Logics (e.g. Description Logics, First-order Logics, Logic Programming), Ontology Languages, Semantic Web Services or related Semantic Web topics. -The willingness to combine formal scientific work with application-oriented research in projects funded by the European Commission and national Austrian agencies. -High management and communication skills -High willingness for travelling -Excellent English skills , with basic German skills as a plus We are looking for individuals who will be able to continue their existing field of research within our ongoing and new research projects. *Working location: Vienna, Austria *Working start: at the latest 1.7.2008 *Duration of the contract: unlimited *How to apply: For further information regarding this position and our institute, please see www.sti2.org. We invite you to submit your application to office at sti2.org. Please include a CV in English, a list of publications, a statement of future research plans and information about research activities. Applications should be submitted not later than 28.2.2008. -- Lejla Ibralic Halilovic Semantic Technology Institute International Amerlingstrasse 19/35 A-1060 Vienna, Austria (+43) 1 23 64 002 - 18 lejla.ibralic-halilovic(at)sti2.org -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : STI_International_postdoc.pdf Dateityp : application/pdf Dateigröße : 53761 bytes Beschreibung: nicht verfügbar URL : From qapl08 at tcs.inf.tu-dresden.de Tue Jan 15 15:56:37 2008 From: qapl08 at tcs.inf.tu-dresden.de (QAPL 2008) Date: Tue, 15 Jan 2008 15:56:37 +0100 Subject: QAPL 2008 Call for Presentations Message-ID: <478cc9a5.QHqkNYz0Gr8yKZwk%qapl08@tcs.inf.tu-dresden.de> [Apologies for multiple copies] ******************************************************************************** CALL FOR PRESENTATIONS Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008) Affiliated with ETAPS 2008 March 29-30, 2008, Budapest, Hungary http://wwwtcs.inf.tu-dresden.de/ALGI/qapl08/ ******************************************************************************** SCOPE: Quantitative aspects of computation are important and sometimes essential in characterising the behaviour 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: * Simon Gay, University of Glasgow, UK * Jean-Francois Raskin, Universite Libre de Bruxelles, Belgium 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 as PDF and use to the ENTCS style files. Submissions can be made on the following website: www.easychair.org/QAPL2008. The program co-chairs can be contacted at qapl08chairs at tcs.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. Accepted regular papers will be published in Elsevier's ENTCS. Publication of a selection of the papers in a special issue of a journal is under consideration. IMPORTANT DATES: Submission (regular paper): CLOSED Notification (regular paper): January 28, 2008. Submission (presentation): January 28, 2008. Notification (presentation): January 31, 2008. ORGANIZATION: PC Chairs: * Alessandro Aldini, University of Urbino, Italy. * Christel Baier, University of Dresden, Germany. Program Committee: * Rajeev Alur, University of Pennsylvania, US * Nathalie Bertrand, IRISA/INRIA Rennes, France * Patricia Bouyer, Oxford University, 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 * Marta Kwiatkowska, University of Oxford, UK * Mieke Massink, NR-ISTI Pisa, Italy * Paulo Mateus, Technical University of Lisbon, Portugal * Annabelle McIver, Maquarie University, Australia * Prakash Panangaden, McGill University, Canada * Paul Petersson, Malardalen University, Sweden * Jeremy Sproston, University of Torino, Italy * Franck van Breugel, York University, Toronto, Canada * Herbert Wiklicky, Imperial College London, UK From areces at loria.fr Wed Jan 16 00:09:34 2008 From: areces at loria.fr (Carlos Areces) Date: Tue, 15 Jan 2008 18:09:34 -0500 (EST) Subject: AiML-2008: Second Call for Papers Message-ID: <20080115230934.4DA1157451@loria1.loria.fr> ======================================================= Please circulate. Apologies for multiple copies []<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<> SECOND CALL FOR PAPERS AiML-2008 ADVANCES in MODAL LOGIC 9-12 September 2008, LORIA, Nancy, France http://aiml08.loria.fr DEADLINE: 31 March 2008 Advances in Modal Logic is an initiative aimed at presenting an up-to-date picture of the state of the art in modal logic and its many applications. The initiative consists of a conference series together with volumes based on the conferences. AiML-2008 is the seventh conference in the series. TOPICS We invite submission on all aspects of modal logics, including the following: - history of modal logic - philosophy of modal logic - applications of modal logic - computational aspects of modal logic + complexity and decidability of modal and temporal logics + modal and temporal logic programming + model checking + theorem proving for modal logics - theoretical aspects of modal logic + algebraic and categorical perspectives on modal logic + coalgebraic modal logic + completeness and canonicity + correspondence and duality theory + many-dimensional modal logics + modal fixed point logics + model theory of modal logic + proof theory of modal logic - specific instances and variations of modal logic + description logics + dynamic logics and other process logics + epistemic and deontic logics + modal logics for agent-based systems + modal logic and game theory + modal logic and grammar formalisms + provability and interpretability logics + spatial and temporal logics + hybrid logic + intuitionistic logic + monotonic modal logic + substructural logic Papers on related subjects will also be considered. INVITED SPEAKERS Invited speakers at AiML-2008 will include the following: - Mai Gehrke, Radboud Universiteit Nijmegen http://www.math.ru.nl/mgehrke/ - Guido Governatori, The University of Queensland http://www.itee.uq.edu.au/~guido/ - Agi Kurucz, King's College London http://www.dcs.kcl.ac.uk/staff/kuag/ - Lawrence Moss, Indiana University http://www.indiana.edu/~iulg/moss/ - Michael Zakharyaschev, Birkbeck College http://www.dcs.bbk.ac.uk/~michael/ PAPER SUBMISSIONS In a change from previous AiML's, there will be two types of paper: (1) Full papers for publication and presentation at the conference. (2) Abstracts for short presentation only. Both types of paper should be submitted electronically using the submission page at http://www.easychair.org/AiML08/ The online submission system will be opened a few weeks before the submission deadline of 31 March 2008. (1) FULL PAPERS These will be published by College Publications http://www.collegepublications.co.uk in a volume to be made available at the meeting. Authors are invited to submit for review a full paper, not submitted elsewhere. It should be at most 15 pages plus optionally a technical appendix of up to 5 pages, together with a plain-text abstract of say 100-200 words. To appear in the conference volume, papers must be prepared in LaTeX using the style files to be provided at http://aiml08.loria.fr . At least one author of each accepted paper must register for and attend the conference to present the paper. (2) ABSTRACTS These should at most 5 pages. They may describe preliminary results, work in progress etc., and will be subject to light review. They may be made available at the conference, and authors should indicate if they would like to make a short presentation of their abstract of up to 15 minutes. PROGRAMME COMMITTEE Alessandro Artale (Free University of Bolzano, Italy) Philippe Balbiani (IRIT, Toulouse, France) Alexandru Baltag (University of Oxford, UK) Guram Bezhanishvili (New Mexico State University, USA) Patrick Blackburn (LORIA, France) Stephane Demri (CNRS, Cachan, France) Melvin Fitting (City University of New York, USA) Guido Governatori (University of Queensland, Australia) Silvio Ghilardi (University of Milano, Italy) Valentin Goranko (University of the Witwatersrand, South Africa) Rajeev Gore (The Australian National University, Australia) Andreas Herzig (IRIT, Toulouse, France) Ian Hodkinson (Imperial College London, UK) Ramon Jansana (University of Barcelona, Spain) Alexander Kurz (University of Leicester, UK) Carsten Lutz (Dresden University of Technology, Germany) Edwin Mares (Victoria University of Wellington) Larry Moss (Indiana University, USA) Dirk Pattinson (Imperial College London, UK) Mark Reynolds (University of Western Australia, Australia) Ildiko Sain (Hungarian Academy of Sciences) Ulrike Sattler (University of Manchester, UK) Renate Schmidt (University of Manchester, UK) Jerry Seligman (University of Auckland, New Zealand) Valentin Shehtman (Moscow State University, Russia) Nobu-Yuki Suzuki (Shizuoka University, Japan) Yde Venema (ILLC, University of Amsterdam, The Netherlands) Heinrich Wansing (Dresden University of Technology, Germany) Frank Wolter (University of Liverpool, UK) Michael Zakharyaschev (Birkbeck College, London, UK) PROGRAMME CO-CHAIRS Carlos Areces LORIA, Nancy carlos.areces(at)loria.fr Rob Goldblatt Victoria University of Wellington rob.goldblatt(at)mcs.vuw.ac.nz LOCAL ORGANIZER Patrick Blackburn LORIA, Nancy patrick.blackburn(at)loria.fr IMPORTANT DATES Submission deadline: 31 March 2008 Acceptance notification: 31 May 2008 Final version of full papers due: 30 June 2008 Conference: 9-12 September 2008 CONFERENCE LOCATION Advances in Modal Logic 2008 will be held at LORIA (Laboratoire Lorrain de Recherche en Informatique et ses Applications) in Nancy, in the Lorraine, in the east of France. FURTHER INFORMATION Information about AiML-2008 will be available at the conference website: http://aiml08.loria.fr E-mail enquiries should be directed to the local organizer or the program co-chairs. Information about AiML itself can be obtained at http://www.aiml.net From alexander.friedmann at uqam.ca Wed Jan 16 01:57:27 2008 From: alexander.friedmann at uqam.ca (alex friedmann) Date: Tue, 15 Jan 2008 19:57:27 -0500 Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: On Jan 15, 2008 3:54 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: 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: +1 514 987-3000 ext. 3219# Departement d'Informatique Fax: +1 514 987-8477 Universite du Quebec a Montreal CP 8888 Centre Ville Montreal, H3C 3P8, Canada E-mail : alexander.friedmann.uqam.ca -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Klaus.Fischer at dfki.de Wed Jan 16 16:32:44 2008 From: Klaus.Fischer at dfki.de (Klaus Fischer) Date: Wed, 16 Jan 2008 16:32:44 +0100 Subject: ATOP@AAMAS2008: Submission Deadline 25.1.2008 Message-ID: <478E239C.6030103@dfki.de> Please apologize for multiple copies. =============================================================================== Call for Papers Agent-based Technologies and applications for enterprise interOPerability ATOP 2008 Workshop to be held at the Seventh International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2008) (http://gaips.inesc-id.pt/aamas2008/) Estoril, Portugal 12 or 13th May 2008 Submissions deadline: 25.1.2008 For details please go to: http://www-ags.dfki.uni-sb.de/~kuf/atop =============================================================================== -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : smime.p7s Dateityp : application/x-pkcs7-signature Dateigröße : 3343 bytes Beschreibung: S/MIME Cryptographic Signature URL : From jim at cs.sfu.ca Wed Jan 16 19:59:48 2008 From: jim at cs.sfu.ca (Jim Delgrande) Date: Wed, 16 Jan 2008 10:59:48 -0800 (PST) Subject: CFP: Belief change in rational agents (J Applied Logic) Message-ID: <200801161859.m0GIxmov009902@cs.sfu.ca> Call for Papers Special Issue of the Journal of Applied Logic: Formal Models of Belief Change in Rational Agents Guest Editors: Giacomo Bonanno (gfbonanno at: ucdavis.edu) James Delgrande (jim at: cs.sfu.ca) Jerome Lang (lang at: irit.fr) Hans Rott (hans.rott at: psk.uni-regensburg.de) The Journal of Applied Logic invites submissions of papers on the topic of Formal Models of Belief Change in Rational Agents. This special issue is based on the Dagstuhl seminar of the same name, held in August 2007. The intent is to publish journal-length versions of select papers from the Dagstuhl seminar. As well, in order to have the widest selection of papers possible, we also welcome submissions on the topic of the workshop from researchers who were unable to attend. As usual, all submissions will be peer reviewed; your paper should not be under review or appearing in another journal, and it should expand upon any conference publication. The theory of belief revision studies how a rational agent should change its beliefs when receiving or perceiving new information about the environment. This new information could include objective properties of the actual world, occurrences of events, and, in the case of multiple agents, public or private communications among agents (possibly concerning their beliefs and preferences) as well as actions taken by other agents. Not surprisingly, this area has been of interest to researchers in different communities, including philosophy, computer science (especially in the artificial intelligence and the database communities), and economics. We solicit papers dealing with the traditional areas of belief change, such as is given in axiomatic and semantic approaches to belief revision, iterated belief change, belief set merging, belief change in dynamic domains, etc. As well, we are interested in papers that cross disciplines, particularly those that incorporate notions from game theory and social choice theory, or those that extend the traditional account to epistemic notions having to do with communicating, negotiating, competing, and collaborating agents. Timetable: o 1 June, 2008. Submissions to be received by one of the guest editors o 1 October, 2008. Notification o 1 December, 2008. Final version due. Submissions should be sent electronically, as pdf files, to one of the guest editors. From ruy at cin.ufpe.br Fri Jan 18 15:05:30 2008 From: ruy at cin.ufpe.br (ruy at cin.ufpe.br) Date: Fri, 18 Jan 2008 12:05:30 -0200 (BRST) Subject: WoLLIC 2008 - Call for Papers Message-ID: <1491.172.17.149.28.1200665130.squirrel@webmail.cin.ufpe.br> [** sincere apologies for duplicates **] Call for Papers 15th Workshop on Logic, Language, Information and Computation (WoLLIC 2008) Edinburgh, Scotland July 1-4, 2008 (There will be a screening of George Csicsery's "Julia Robinson and Hilbert's Tenth Problem" http://zalafilms.com/films/juliarobinson.html with kind permission of the film director) WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The Fifteenth WoLLIC will be held in Edinburgh, Scotland, from July 1 to July 4, 2008. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the European Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the Sociedade Brasileira de Computacao (SBC), and the Sociedade Brasileira de Logica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at www.cin.ufpe.br/~wollic/wollic2008/instructions.html A title and single-paragraph abstract should be submitted by February 24, and the full paper by March 2 (firm date). Notifications are expected by April 13, and final papers for the proceedings will be due by April 27 (firm date). PROCEEDINGS The proceedings of WoLLIC 2008, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's Lecture Notes in Computer Science (tbc). In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2008 issue of the Journal of Logic and Computation (tbc). INVITED SPEAKERS Olivier Danvy (BRICS) Anuj Dawar (Cambridge, UK) Makoto Kanazawa (Nat Inst of Informatics, Japan) Sam Lomonaco (U Maryland Baltimore) Mark Steedman (Edinburgh U) Henry Towsner (CMU) Nikolay Vereshchagin (Moscow) STUDENT GRANTS ASL sponsorship of WoLLIC 2008 will permit ASL student members to apply for a modest travel grant (deadline: April 1, 2008). See www.aslonline.org/studenttravelawards.html for details. IMPORTANT DATES February 24, 2008: Paper title and abstract deadline March 2, 2008: Full paper deadline (firm) April 13, 2008: Author notification April 27, 2008: Final version deadline (firm) PROGRAM COMMITTEE Lev Beklemishev (Utrecht) Eli Ben-Sasson (Technion) Xavier Caicedo (U Los Andes, Colombia) Mary Dalrymple (Oxford) Martin Escardo (Birmingham) Wilfrid Hodges (Queen Mary, U London) (Chair) Achim Jung (Birmingham) Louis Kauffman (Maths, U Ill at Chicago) Ulrich Kohlenbach (Darmstadt) Leonid Libkin (Edinburgh U) Giuseppe Longo (Ecole Normal Superieure, Paris) Michael Moortgat (Utrecht) Valeria de Paiva (PARC, USA) Andre Scedrov (Maths, U Penn) Valentin Shehtman (Inst for Information Transmission Problems, Moscow) Joe Wells (Heriot-Watt U, Scotland) ORGANISING COMMITTEE Mauricio Ayala-Rincon (U Brasilia, Brazil) Fairouz Kamareddine (Heriot-Watt U, Scotland, co-chair) Anjolina de Oliveira (U Fed Pernambuco, Brazil) Ruy de Queiroz (U Fed Pernambuco, Brazil, co-chair) STEERING COMMITTEE J. van Benthem, J. Halpern, W. Hodges, D. Leivant, A. Macintyre, G. Mints, R. de Queiroz WEB PAGE www.cin.ufpe.br/~wollic/wollic2008/ --- From jv at imm.dtu.dk Fri Jan 18 21:55:53 2008 From: jv at imm.dtu.dk (=?iso-8859-1?Q?J=F8rgen_Villadsen?=) Date: Fri, 18 Jan 2008 21:55:53 +0100 Subject: 5th International Workshop on Constraints and Language Processing Message-ID: <20080118205553687.135E48B634522A95@nbjv> SECOND CALL FOR PAPERS 5th International Workshop on Constraints and Language Processing (CSLP2008) http://control.ruc.dk/CSLP2008/ August 11-15, 2008 organized as part of the European Summer School on Logic, Language and Information ESSLLI 2008 (http://www.illc.uva.nl/ESSLLI2008/), 4-15 August, 2008 in Hamburg, Germany Workshop Organizers: Philippe Blache (Provence University, France) Henning Christiansen (Roskilde University, Denmark), co-chair henning at ruc.dk Veronica Dahl (Simon Fraser University, Canada) Jørgen Villadsen (Technical University of Denmark), co-chair jv at imm.dtu.dk Workshop Purpose: The CSLP 2008 workshop addresses the question of constraints and language processing from an interdisciplinary perspective. Constraints are widely used in linguistics, computer science, and psychology. How they are used, however, varies widely according to the research domain: natural language processing, knowledge representation, cognitive modelling, problem solving mechanisms, etc. The purpose is to pursue a paradigm, unifying the different approaches into a common framework capable of explaining how constraints play a role in representing, processing and acquiring linguistic information, and this from a formal, technical, and cognitive perspective. Workshop Topics: The topics include, but are not limited to, constraint-based linguistic theories, constraints in human language comprehension and production, context modelling and discourse interpretation, acquisition of constraints, probabilistic constraint-based reasoning, constraint satisfaction technologies and constraint logic programming. Submission Details: Authors are invited to submit a full paper of up to 12 pages in PDF format. The font size must be at least 10 pt when printed on A4 paper. It is recommended that the LaTeX "article" style is used. Previously published papers cannot be accepted. The submissions will be reviewed by the program committee. The accepted papers will appear in the workshop proceedings published by ESSLLI. One author for each accepted paper must attend the workshop in order to present the paper. Proceedings are printed as a technical report (with ISSN no.) and made available online. Selected and extended papers will be included in a volume of Studies in Computational Intelligence published by Springer. Please use the CSLP 2008 submission page handled by the EasyChair conference system: http://www.easychair.org/conferences/?conf=CSLP2008 Workshop Format: The workshop is part of ESSLLI and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the second week of ESSLLI. Invited Speakers: * Helen de Hoop http://baserv.uci.kun.nl/~hdehoop/ * Additional invited speaker to be confirmed Workshop Programme Committee: Philippe Blache (Provence University, France) Henning Christiansen (Roskilde University, Denmark), co-chair Veronica Dahl (Simon Fraser University, Canada) Denys Duchier (University of Orléans, France) John Gallagher (Roskilde University, Denmark) Claire Gardent (CNRS/LORIA, Nancy, France) Barbara Hemforth (Provence University, France) M. Dolores Jiménez-López (Tarragona, Spain) Lars Konieczny (Freiburg University, Germany) Shalom Lappin (King's College, UK) Detmar Meurers (Ohio State University, USA) Véronique Moriceau (LIMSI-CNRS, Orsay, France) Gerald Penn (University of Toronto, Canada) Kiril Simov (Bulgarian Academy of Sciences, Bulgaria) Jørgen Villadsen (Technical University of Denmark), co-chair Eric Villemonte de la Clergerie (INRIA, France) Important Dates: Submission Deadline: March 8, 2008 Notification: April 21, 2008 Preliminary Program: April 24, 2008 ESSLLI Early Registration: May 1, 2008 Final Papers for Proceedings: May 17, 2008 Final Program: June 21, 2008 Workshop Dates: August 11-15, 2008 Local Arrangements: All workshop participants including the presenters will be required to register for ESSLLI. The registration fee for authors presenting a paper will correspond to the early student/workshop speaker registration fee. There will be no reimbursement for travel costs and accommodation. Further Information: About the workshop: http://control.ruc.dk/CSLP2008/ About ESSLLI: http://www.illc.uva.nl/ESSLLI2008/ From ilona.zaremba at deri.at Mon Jan 21 12:19:52 2008 From: ilona.zaremba at deri.at (Ilona Zaremba) Date: Mon, 21 Jan 2008 12:19:52 +0100 Subject: Call for Papers: Coordination Models and Applications (CoMA) Message-ID: <47947FD8.6040803@deri.at> ======================================================================== C A L L F O R P A P E R S ======================================================================== International IEEE Workshop on Coordination Models and Applications (CoMA): Knowledge in Pervasive Environments http://mowi.salzburgresearch.at/wetice At the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE) http://www.wetice.org June 23-25, 2008 Rome, Italy ======================================================================== WORKSHOP INTRODUCTION AND OBJECTIVES ==================================== Coordination is significantly responsible for the effectiveness, performance and quality of complex systems and as a concept it is not restricted to computer-based systems. The concept is cross-sectional and a great impact may be reached in different application areas if effective methods and models can be designed, implemented, validated, and deployed. Coordination, moreover, is an essential prerequisite for collaborative and telecooperative applications, which are of prime interest to the WETICE series. The CoMA workshop aims at the interdisciplinary aspects of coordination in general, and examines their application to ubiquitous and pervasive environments in particular. The overall goal is to support the users' collaborative intentions in such environments as effectively, imperceptibly, and unobtrusively as possible. The role of the use of data based on formal knowledge models - as being promoted in the Semantic Web initiative - is an emerging approach to support collaboration and the challenges associated with co-ordination of knowledge are a new focus of this workshop. The goal of this workshop is to bring together on the one hand, scientists who are either conducting research directly in pervasive computing, coordination models and languages as well as semantic coordination systems, or indirectly in related fields such as distributed knowledge systems, collaborative systems, CSCW, systems research, complexity management, or process management. On the other hand, this workshop particularly welcomes the contributions of researchers and/or practitioners who concentrate on concrete applications where a combination of coordination, pervasive systems and potentially semantic data appears to be beneficial, such as emergency management or health care systems, and can report on that. The workshop particularly focuses on discussions about coordination, pervasiveness and knowledge, the current state of research efforts, and practical experiences with the clear vision of generating mutual benefits for the participants. To support this, opportunities for showcases, demonstrations, and in-depth discussions will be provided. Eventually, interdisciplinary and joint efforts shall be fostered and future co-operations on research activities shall be triggered. TOPICS AND APPLICATIONS ======================= All topics related to the interdisciplinary aspects of coordination are welcome as much as these are in some way relevant for or applicable to ubiquitous and pervasive systems. We particularly welcome submissions addressing issues of pervasive knowledge coordination. The following incomprehensive listing gives examples of such potential topics: * Theoretical coordination models and foundations for pervasive systems * Coordination models and languages for knowledge (using semantic data models such as RDF or OWL) * Coordination middleware (such as space- or event-based approaches) * Coordination mechanisms in (semantic) service-oriented architectures * Distributed and P2P-based coordination * Coordination in multi-agent systems * Coordination dependent on context * Location-based coordination models * Strategies to cope with heterogeneity, dynamics, mobility and/or pervasiveness * Integration of and mediation between coordination systems * Case studies, evaluations and assessments about the benefits of (semantic) coordination * Interdisciplinary aspects of coordination Coordination and contained topics are multidisciplinary and, hence, can be viewed as orthogonal to a multitude of pervasive application areas which shall be explored in this workshop, too. Examples include but are not limited to: # Collaborative applications like CSCW, groupware, or games # Emergency management systems # Coordination in highly dynamic environments # Health care systems # Decision-support systems # Geo-Collaboration # Operations research # Complexity-, constraint-, conflict-, and workflow management # Special-purpose coordination languages and tools IMPORTANT DATES =============== Full paper submission: March 3, 2008 Authors Notification: April 21, 2008 Camera-ready versions: May 26, 2008 WETICE advanced registration with discount: TBA WETICE workshops and on-site registration: June 23-25, 2008 SUBMISSION AND PROCEEDINGS ========================== See workshop website: http://mowi.salzburgresearch.at/wetice CO-CHAIRS ========= Lyndon Nixon Dept. Computer Science Free University Berlin Fabeckstr.15, D-14195 Berlin, GERMANY Phone: +49 30 838 75225 Fax: +49 30 838 75220 Web: www.ag-nbi.de Manfred Bortenschlager Mobile and Web-based Information Systems Group Salzburg Research Jakob Haringerstr. 5/III, A-5020 Salzburg, AUSTRIA Phone: +43 662 2288 308 Fax: +43 662 2288 222 Web: www.salzburgresearch.at Elena Simperl Digital Enterprize Research Institute University of Innsbruck ICT Technologiepark Technikerstr. 21a, 6020 Innsbruck, Austria Phone: +43 512 507 96884 Fax: +43 512 507 9872 Web: www.uibk.ac.at Robert Tolksdorf Dept. Computer Science Free University Berlin Fabeckstr.15, D-14195 Berlin, GERMANY Phone: +49 30 838 75223 Fax: +49 30 838 75220 Web: www.ag-nbi.de PROGRAM COMMITTEE (to be completed) ================= Sven Brueckner (NewVectors, USA) Giacomo Cabri (University of Modena and Reggio Emilia, Italy) Paolo Ciancarini (University of Bologna, Italy) Kevin Crowston (Syracuse University, USA) Schahram Dustdar (Vienna University of Technology, Austria) David Gelernter (Yale University, USA) Marcel Graf (IBM Research Zurich, Switzerland) Gabriele Kotsis (Johannes Kepler University Linz, Austria) Massimiliano de Leoni (University of Rome La Sapienza, Italy) Marco Mamei (University of Modena and Reggio Emilia, Italy) Massimo Mecella (University of Rome La Sapienza, Italy) Francesco de Mola (University of Modena and Reggio Emilia, Italy) John Nealon (Oxford Brookes University, UK) Andrea Omicini (University of Bologna, Italy) George Papadopoulos (University of Cyprus, Cyprus) Gruia-Catalin Roman (Washington University, USA) Robert Tolksdorf (Freie Universitaet Berlin, Germany) Simon Vogl (Research Studios Austria, Austria) Alan Wood (University of York, UK) Eiko Yoneki (University of Cambridge, UK) Franco Zambonelli (University of Modena and Reggio Emilia, Italy) CONTACT ======= Web: http://mowi.salzburgresearch.at/wetice Email: manfred.bortenschlager at salzburgresearch.at Phone: +43 662 2288 308 Fax: +43 662 2288 222 ACKNOWLEDGEMENTS ================ The CoMa workshop is partially supported by the EU STREP TripCom. (http://www.tripcom.org) and the EU STREP WORKPAD (http://www.workpad-project.eu) From ilona.zaremba at deri.at Tue Jan 22 10:12:23 2008 From: ilona.zaremba at deri.at (Ilona Zaremba) Date: Tue, 22 Jan 2008 10:12:23 +0100 Subject: cfp: Role of Services, Ontologies, and Context in Mobile Environments (RoSOC-M '08) Message-ID: <4795B377.20907@deri.at> **** Apologies for multiple postings**** Call for Submissions International Workshop on the Role of Services, Ontologies, and Context in Mobile Environments (RoSOC-M '08) in conjunction with the 9th International Conference on Mobile Data Management (MDM'08) http://idke.ruc.edu.cn/mdm2008/ TIME AND PLACE of the Workshop: May 27, 2008, Beijing, China SUBMISSION DEADLINE FEBRUARY 5, 2008 All the papers should be submitted in electronic format (pdf version) using the link: http://www.easychair.org/MoSOC2008/ -------------------------------------------------------- GENERAL OVERVIEW of ROSOC-M Today, computers are changing from big, grey, and noisy things on our desks to small, portable, and ever-networked devices most of us are carrying around. This new form of mobility imposes a shift in how we view computers and the way we work with them. Services offer the possibility to overcome the limitations of individual mobile devices by making functionality offered by others available to them on an "as-needed" basis. Thus, using the service-oriented computing paradigm in mobile environments will considerably enlarge the variety of accessible applications and will enable new business opportunities in the mobile space by delivering integrated functionalities across wireless networks. Network hosted mobile services will allow mobile operators and third party mobile services provider to extend their businesses by making their network services available to a broader audience (e.g. developers, service providers, etc.); device hosted service will allow great potential for big innovations for applications and services that can be provided by individual mobile device owners. These mobile service-oriented systems offer functionalities and behaviors that can be described, advertised, discovered, and composed by others. Eventually, they will be able to interoperate even though they have not been designed to work together. This type of interoperability is based on the ability to understand other services and reason about their functionalities and behaviors when necessary. In this respect, mobile service-oriented systems can benefit from marrying the Semantic Web, which provides the infrastructure for the extensive usage of distributed knowledge, to be deployed for modeling services and add meaning, through ontologies, enabling lightweight discovery and composition of mobile services. The ability to appropriately combine mobility and semantic grounded data sharing has generated and is continuously triggering challenging questions in several areas of computer science, engineering and networking. A third dimension is added when taking context information into account: Now, we are no longer dealing with the information system any more, but the real world is intermingled with the computing and will immediately affect and interact with the processing of data and communication. Real-world context information can help to more efficiently exploit the limited resources in mobile environments by supporting better ways to provide data relevant to the user, to enable improved interoperability with the environment and with other mobile users, and to decide when and how to process data. So far, the contextual and semantic aspects of mobile environments have received insufficient attention from the research community as the specific intricacies and resource issues of mobile environments have not been considered and in mobile data management only limited attention has been paid to context and semantics. In this workshop we plan to address the interdisciplinary issues of the domain and bring together researchers and industry attendees from mobile data management, knowledge management/semantics, distributed systems, service-oriented computing, and software engineering to discuss the common interests, share and exchange expertise and results, appreciate each other's results and contributions. The long-term goal is to provide application developers with facilities (middleware, infrastructures, agent systems, service platforms, etc.) that enable the development and deployment of context-aware applications in mobile and pervasive environments. TOPICS This workshop continues the themes of two MoSO and MCSIME workshops held in 2006 and 2007. The following indicates the general focus of the workshop. However, related contributions are welcome as well. - Service-oriented architectures for mobile internet services - languages and methodologies for describing mobile Service-oriented systems - discovery and matchmaking of ontology based services in the context of mobile service-oriented architectures - adaptive selection of services in mobile service-oriented architectures - ontology management in mobile environments - contracting and negotiation with ontology-based mobile services (service level agreements) - approaches to composition of ontology based services in the context of mobile service-oriented systems - invocation, adaptive execution, monitoring, and management of mobile services - interaction protocols and conversation models for mobile services-oriented architectures - ontology-based security and privacy issues in mobile service-oriented systems - applications of mobile service-oriented architectures - analysis and design approaches for mobile service-oriented architectures and services - reasoning with mobile services - ontology-based policies for mobile service-oriented architectures - tools for discovery, matchmaking, selection, mediation, composition, management, and monitoring of services in a mobile world in particular tools that take context into account - mobile service development - Acquiring and disseminating context information from physical and logical sensors - Semantic sensor networks - Exploiting new types of context information such as network context, social context, and system context, and enabling infrastructures to support management of context information and semantics in mobile environments - Community-based semantics in mobile environments - Activity-based computing and its relation to context-aware mobile computing - Context-aware mobile database transactions and query processing - Semantic indexing, caching, and replication techniques for mobile environments - Context-adaptive applications and algorithms - Case studies WORKSHOP FORMAT AND ATTENDANCE The program will occupy a full day, and will include presentations of papers selected from the full papers category (see 'submissions' below). There will be also a key note presentation. Please note that at least one author of each accepted submission must attend the workshop. The MDM 2008 conference formalities are applied for fees and respective organizational aspects. Submission of a paper is not required for attendance at the workshop. However, in the event that the workshop cannot accommodate all who would like to participate, those who have submitted a paper (in any category) will be given priority for registration. SUBMISSIONS Two categories of submissions are solicited: (1) Full papers (up to 8 pages in IEEE format). (2) Position papers/Posters (up to 4 pages in IEEE format). All submissions should be formatted in the IEEE style. Formatting instructions and LaTeX macros are available on the IEEE computer society site: LaTex macros: * ftp://pubftp.computer.org/Press/Outgoing/proceedings/IEEE_CS_Latex.zip Formatting instructions: * ftp://pubftp.computer.org/Press/Outgoing/proceedings/instruct.doc * ftp://pubftp.computer.org/Press/Outgoing/proceedings/instruct.pdf * ftp://pubftp.computer.org/Press/Outgoing/proceedings/instruct.ps * Proceedings will be printed in hardcopy with IEEE Press and will be included in IEEE Explore. All accepted full papers as well as all position papers of attendees will be printed in hardcopy by the IEEE Press and will be included into the IEEE Explore digital library. All the papers should be submitted in electronic format (pdf version) using the link http://www.easychair.org/MoSOC2008/ IMPORTANT DATES Submissions: Februry 5, 2008 Acceptance: March 28 , 2008 Final copy: April 12, 2008 Workshop day: April 27, 2008 ORGANIZING COMMITTEE Manfred Hauswirth, DERI Galway, Ireland Birgitta König-Ries, University of Jena, Germany Wathiq Mansoor, American University in Dubai, United Arab Emirates Dumitru Roman, DERI Innsbruck, Austria Jari Veijalainen, University of Jyvaskyla, Finland PROGRAM COMMITTEE (To be updated) Jawad Berri, College of Etisalat, UAE Klemens Böhm, University of Karlsruhe, Germany Erik Buchmann, Universität Karlsruhe, Germany Philippe Cudré-Mauroux, MIT, USA Fabien Gandon, INRIA Sophia Antipolis, France Nikolaos Georgantas, INRIA, France Abdelkader Hameurlain, University Paul Sabatier, France Takahiro Hara, Osaka University, Japan Hagen Höpfner, International University, Germany Nafaâ Jabeur, Dhofar University, Oman Qun Jin, Waseda University, Japan Vana Kalogeraki, University of CA, Riverside, USA Takahiro Kawamura, Toshiba Corp, Japan Manolis Koubarakis, University of Athens, Greece Antonio Liotta, Univ. of Essex, UK Pedro José Marrón, University of Bonn, Germany Sonia Ben Mokhtar, University College London, UK Andreas Nauerz, IBM Research and Development, Germany Vladimir Oleshchuk, HIA, Norway Aris M. Ouksel, University of Chicago, USA Evaggelia Pitoura, University of Ioannina, Greece Davy Preuveneers, Katholieke Universiteit Leuven, Belgium Axel Polleres, Universidad Rey Juan Carlos, Madrid, Spain Gerald Reif, University of Zürich, Switzerland Thomas Risse, L3S, Germany Brahmananda Sapkota, DERI Galway, Ireland Kai-Uwe Sattler, TU Ilmenau, Germany Marc Scholl, University of Konstanz, Germany Michael Sheng, University of Adelaide, Australia Wolf Siberski, L3S, Germany Vlad Tanasescu, Open University, UK Vagan Terziyan, University of Jyvaskyla, Finland Ioan Toma, DERI Innsbruck, Austria Kristian Torp, University of Aalborg, Denmark Aphrodite Tsalgatidou, University of Athens, Greece Can Türker, ETHZ, Switzerland Do Van Thanh, Telenor, Norway Ouri E. Wolfson, University of Illinois at Chicago, USA Andreas Wombacher, University of Twente, Netherlands Ivana Podnar Zarko, University of Zagreb, Croatia Note: Check the workshop web site for updates to the PC members list. From ilona.zaremba at deri.at Tue Jan 22 15:38:44 2008 From: ilona.zaremba at deri.at (Ilona Zaremba) Date: Tue, 22 Jan 2008 15:38:44 +0100 Subject: Call for Tender for STI International Semantic Web Site Message-ID: <4795FFF4.2010306@deri.at> ======================================================================== Call for Tender for STI International Semantic Web Site ======================================================================== Work description The goal of the work is to enable the current STI International web site (http://www.sti2.org/) with Semantic technologies: - to overcome the range of limitations and problems with existing approaches to creating, integrating and maintaining web-based community information coming from heterogeneous sources, - to benefit from the Semantic interoperability with existing Semantic systems and the reuse of existing metadata. Why we need this The use of Semantic technologies will provide the following benefits: • Information accessible for human and software systems. • Highly configurable, extensible and maintainable web site in which the overhead of adding new types of information and data is strongly reduced. From an economic perspective, a Semantic portal will reduce the personnel costs. • Avoid the duplication of information existing in complementary and heterogeneous resources, allowing the integration of information of Semantic and non-Semantic data. • Increase the Semantic interoperability with other Semantic and non-Semantic based system through the use of metadata. • Flexibility and support for the use of inference engines that infer new information and metadata. • Consistency checking of the STI International Semantic information and other Semantic information distributed on the web. • Flexibility for declaratively configuring read/write permissions over the portal information, allowing different type of users simultaneously. • Customizable user interfaces for searching and navigating the information according to different type of users with different permissions. • Capability for searching semantically, in addition to keywords-based searches. Functionality and Structure The new Semantic driven website is based on the current website (www.sti2.org) and similar in terms of the content and functionality. In addition a member area that is only accessible by STI International members will be established. This member area includes interactive features as subscriptions to mailing lists, wikis for different service areas and working groups, calendar for STI International related meetings and events, download area for all related STI International documents (e.g. talks, protocols, training material) and access to the detailed individual member information (e.g. address, contact data, subscriptions to mailing lists, member fee status, participation in working groups and services). Implementation Plan Month 0: Call for tenders’ launch in which candidates should present specific implementation and deployment plans, distinguishing: • Development and deployment phase’s activities and costs • Population process and costs, including a description of information sources to be incorporated • Maintenance activities and costs • Description of similar deployments in use • Proposal of a financing plan Month 1: Deadline for submissions. Month 2: Analysis of submissions, decision and contract signature. Month 4: First version including basic functionalities and a range of information sources selected by STI International. Month 6: Second version including advanced functionalities and the rest of information sources selected by STI International. Moth 8: Final version. Business Model A business model for setting up the website and financing the maintenance costs of the website has to be included in the submitted proposal. Submission The proposal for STI International Semantic Web Site should be provided to STI International CEO, Alexander Wahler (office at sti2.org). The deadline for submitting the proposal is February 28th, 2008. -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : Call for Tender for STI International Semantic Web Site.pdf Dateityp : application/pdf Dateigröße : 41674 bytes Beschreibung: nicht verfügbar URL : From riemsdijk at pst.ifi.lmu.de Tue Jan 22 18:59:51 2008 From: riemsdijk at pst.ifi.lmu.de (Birna van Riemsdijk) Date: Tue, 22 Jan 2008 18:59:51 +0100 Subject: Final CFP: DALT@AAMAS'08 !!! deadline extension !!! Message-ID: <47962F17.1080200@pst.ifi.lmu.de> [Please accept our apologies if you receive multiple postings.] ***************************************************************** ***************************************************************** 6th International Workshop on Declarative Agent Languages and Technologies (DALT 2008) 12 or 13 May 2008 Estoril, Portugal (held in conjunction with AAMAS 2008) URL: http://www.di.unito.it/~baldoni/DALT-2008/ POST-PROCEEDINGS in LNAI ***************************************************************** !!!! DEADLINE EXTENSION !!!! Title and abstract submission: 31 January 2008 (strict!) Paper submission: 3 February 2008 (strict!) ***************************************************************** ***************************************************************** ***************************************************************** CALL FOR PAPERS ***************************************************************** The workshop on Declarative Agent Languages and Technologies (DALT), in its sixth edition this year, is a well-established forum for researchers interested in sharing their experiences in combining declarative and formal approaches with engineering and technology aspects of agents and multiagent systems. Building complex agent systems calls for models and technologies that en- sure predictability, allow for the verification of properties, and guarantee flexibility. Developing technologies that can sat- isfy these requirements still poses an important and difficult challenge. Here, declarative approaches have the potential of of- fering solutions satisfying the needs for both specifying and de- veloping multiagent systems. Moreover, they are gaining more and more attention in important application areas such as the seman- tic web, service-oriented computing, security, and electronic contracting. For instance, some convergence points between the areas of formal methods for dealing with web services and formal methods for agents are emerging and gaining more and more atten- tion. DALT 2008 will be held as a satellite workshop of AAMAS 2008, the 7th International Joint Conference on Autonomous Agents and Mul- tiagent Systems, in May 2008 in Estoril, Portugal. Following the success of five previous editions, DALT will again aim at provid- ing a discussion forum to both (i) support the transfer of declarative paradigms and techniques to the broader community of agent researchers and practitioners, and (ii) to bring the issue of designing complex agent systems to the attention of re- searchers working on declarative languages and technologies. ***************************************************************** TOPICS OF INTEREST ***************************************************************** DALT topics of interest include, but are not limited to: General themes: * specification of agents and multiagent systems * declarative approaches to engineering agent systems Formal techniques: * (constraint) logic programming approaches to agent systems * distributed constraint satisfaction * modal and epistemic logics for agent modelling * verification of agents and multiagent systems * formal semantics for agent programming languages and frameworks Declarative models: * declarative models of agent beliefs, goals and capabilities * declarative models of bounded rationality * declarative paradigms for the combination of heterogeneous agents * declarative approaches to organizations and electronic institutions * agent-inspired declarative approaches to web services or service-oriented architectures Applications of declarative techniques to: * agents and the semantic web * service-oriented multiagent systems * agent communication and coordination languages * protocol specification and conformance checking * description of contracts and negotiation policies * security and trust in multiagent systems Evaluation of declarative approaches: * experimental analysis of declarative agent technologies * industrial experiences with declarative agent technologies ***************************************************************** SUBMISSION INSTRUCTIONS ***************************************************************** We welcome and encourage the submission of high-quality, original papers, which are not being submitted simultaneously for publication elsewhere. Papers should be written in English, formatted according to the Springer LNCS style, and not exceed 16 pages. Paper submission is electronic via the conference website. ***************************************************************** WORKSHOP PROCEEDINGS ***************************************************************** Printed copies of the proceedings will be available at the workshop. The post-proceedings will be published by Springer- Verlag in the Lecture Notes in Artificial Intelligence series. ***************************************************************** IMPORTANT DATES ***************************************************************** * Title and abstract submission: 31 January 2008 (extended!) * Paper submission: 3 February 2008 (extended!) * Notification of authors: 25 February 2008 * Final versions due: 5 March 2008 * Workshop: 12 or 13 May 2008 ***************************************************************** PROGRAMME COMMITTEE ***************************************************************** * Thomas Agotnes (Bergen University College, NO) * Marco Alberti (University of Ferrara, Italy) * Natasha Alechina (University of Nottingham, UK) * Grigoris Antoniou (University of Crete, Greece) * Matteo Baldoni (University of Torino, Italy) -- co-chair * Cristina Baroglio (University of Torino, Italy) * Rafael Bordini (University of Durham, UK) * Federico Chesani (University of Bologna, Italy) * Amit Chopra (North Carolina State University, USA) * Keith Clark (Imperial College London, UK) * Francesco M. Donini (University of Tuscia, Italy) * Benjamin Hirsch (Technical University Berlin, Germany) * Shinichi Honinden (National Institute of Informatics, Japan) * John Lloyd (Australian National University, Australia) * Viviana Mascardi (University of Genova, Italy) * Nicolas Maudet (Univ. Paris-Dauphine, France) * John-Jules Meyer (University of Utrecht, Netherlands) * Enrico Pontelli (New Mexico State University, USA) * Birna van Riemsdijk (Ludwig-Maximilians-Universitaet Muenchen, Germany) -- co-chair * Chiaki Sakama (Wakayama University, Japan) * Tran Cao Son (New Mexico State University, USA) -- co-chair * Wamberto Vasconcelos (University of Aberdeen, UK) * Mirko Viroli (University of Bologna, Italy) * Marina De Vos (University of Bath, UK) * Michael Winikoff (RMIT University, Australia) -- co-chair ***************************************************************** ORGANISING COMMITTEE ***************************************************************** * Matteo Baldoni (University of Torino, Italy) * Tran Cao Son (New Mexico State University, USA) * M. Birna van Riemsdijk (Ludwig-Maximilians-Universitaet Muenchen, Germany) * Michael Winikoff (RMIT University, Australia) ***************************************************************** STEERING COMMITTEE ***************************************************************** * João Leite (New University of Lisbon, Portugal) * Andrea Omicini (University of Bologna-Cesena, Italy) * Leon Sterling (University of Melbourne, Australia) * Paolo Torroni (University of Bologna, Italy) * Pinar Yolum (Bogazici University, Turkey) ***************************************************************** From georgev at aegean.gr Tue Jan 22 20:06:10 2008 From: georgev at aegean.gr (Vouros George) Date: Tue, 22 Jan 2008 21:06:10 +0200 Subject: CfP: Deadline extension: OAMAS 2008 @ AAMAS 2008 Message-ID: ---------------Submission Deadline Extended until February 1, 2008------------------------ ---------------------- Paper submission is now open. ------------------------ -------------------CALL FOR PAPERS---------------------------------- International Workshop on "Organised Adaptation in Multi-Agent Systems" (OAMAS 08), May 12 or 13, 2008, Estoril, Portugal. To be held with AAMAS 08 http://oamas08.iit.demokritos.gr --------------------------------------------------------------------- AIMS & SCOPE: Multi-agent systems (MAS) such as formal organizations, electronic institutions and computational economies, often have to adapt in order to reflect, among others, environmental, social and economic changes in them. Adaptation may take place in several levels. The environment of a MAS may need to be reorganised by introducing or removing new resources to make the operation of the MAS more efficient. Changes in the MAS environment may cause the existing members of the MAS to be re-organized: existing members leave the MAS, new agents are introduced, or the current members are allocated to different roles. The roles themselves may be the subject of adaptation as the eligibility conditions for occupying a role, and/or the permissions, obligations, authorities, entitlements, responsibilities, institutional powers, and other normative positions that are associated with a role, may be subject to adaptation. We welcome high-quality, original contributions that address issues of organized adaptation in a MAS, as opposed to unintended, emergent modification of a MAS. Topics of interest include, but are not limited to: -Organizational models of adaptive MAS. -Methodologies for analysis, design and development of adaptive MAS. -Formal models of norm (policy, law) change. -Practical engineering issues of norm (policy, law) change. -Protocols and procedures for carrying out adaptation. -Cooperative human-agent models of adaptation. -Evaluating methods of adaptation in a MAS. -Simulations of adaptive MAS. -Real-world applications of adaptive MAS. -Scalability in adaptive MAS. -Legal implications of adaptation. -Agent architectures for adaptive MAS. ------------------------------------------------------------------------ --- IMPORTANT DATES: * Submission Deadline: February 1, 2008 * Acceptance/Rejection Notification: February 25, 2008 * Camera-Ready Copies: March 7, 2008 ------------------------------------------------------------------------ --- SUBMISSION: There is a plan to publish the accepted papers as a Springer LNAI volume. We welcome both short papers (eg, position statements), ranging between 4-8 pages, and full papers, not exceeding 16 pages. Papers should be formatted according to the Springer LNAI guidelines. ------------------------------------------------------------------------ --- ORGANISERS: - George Vouros, (University of the Aegean, Greece) - Alexander Artikis, (NCSR 'Demokritos', Greece) - Kostas Stathis, (Royal Holloway, University of London, UK) - Jeremy Pitt, (Imperial College London, UK) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: -------------- nächster Teil -------------- Ein eingebundener Text mit undefiniertem Zeichensatz wurde abgetrennt. Name: OAMAS08-cfp.txt URL: From pokahr at informatik.uni-hamburg.de Wed Jan 23 08:41:55 2008 From: pokahr at informatik.uni-hamburg.de (Alexander Pokahr) Date: Wed, 23 Jan 2008 08:41:55 +0100 Subject: CFP: ProMAS @ AAMAS'08 (extended deadline: Feb. 1st) Message-ID: <4796EFC3.5080004@informatik.uni-hamburg.de> (please accept our apologies if you receive multiple postings) CALL FOR PAPERS: ProMAS'08 *** Due to several requests, the deadline has been extended to February 1st! *** Sixth international Workshop on Programming Multi-Agent Systems (ProMAS'08) ProMAS'08 is a satellite workshop at AAMAS 2008 Estoril, Portugal, 12-16 May 2008 Even though the contributions of the multi-agent systems (MAS) community can make a significant impact in the development of open distributed systems, the techniques resulting from such contributions will only be widely adopted when suitable programming languages and development tools are available. Furthermore, such languages and tools must incorporate those techniques in a principled but practical way, so as to support the ever more complex task of professional programmers, in particular when the systems have to operate in dynamic environments. The ProMAS workshop series aims to address the theoretical and practical programming issues related to developing and deploying multi-agent systems. In particular, ProMAS aims to address how multi-agent systems designs or specifications can be effectively implemented. In its previous editions, ProMAS constituted an invaluable occasion bringing together leading researchers from both academia and industry to discuss issues on the design of programming languages and tools for multi-agent systems. In particular, the workshop promotes the discussion and exchange of ideas concerning the techniques, concepts, requirements, and principles that are important for multi-agent programming technology. These include the theory and applications of agent programming languages, the verification and analysis of agent systems, as well as the implementation of social structure in agent-based systems (e.g. roles within organizations, coordination and communication in multi-agent systems). We encourage the submission of proposals for programming languages and development tools that provide specific programming constructs to facilitate the implementation of the essential concepts used in multi-agent system analysis and specifications (e.g., mental attitudes, distribution, and social interaction). We also welcome submissions describing significant multi-agent applications, as well as agent programming tools that allow the integration of agents with legacy systems. Further, we are particularly interested in approaches or applications that show clearly the added-value of multi-agent programming, and explain why and how this technology should be adopted by designers and programmers both in academia and industry. The main areas of interest of the ProMAS workshop concern the development and programming of Multi-Agent Systems, ranging from tools, (new) agent and organizational programming concepts to semantics and formal verification. These themes are related to other workshops, including among others the AOSE and AT2AI workshops, which are also organized at AAMAS’08. These workshops aim to coordinate their activities, in particular, by organizing a joint session. Details will be published on the ProMAS web site. Specific topics for this workshop include, but are not limited to: - Programming Languages for multi-agent systems - Extensions of traditional languages for multi-agent programming - Theoretical and practical aspects of multi-agent programming - Computational complexity of MAS - Semantics for multi-agent programming languages - High-level executable multi-agent specification languages - Algorithms, techniques, or protocols for multi-agent issues (e.g., coordination, cooperation, negotiation) - Agent communication issues in multi-agent programming - Implementation of social and organisational aspects of MAS - Formal methods for specification and verification of MAS - Verification tools for implementations of MAS - Test and debugging tools and techniques - Agent development tools and platforms - Generic tools and infrastructures for multi-agent programming - Interoperability and standards for MAS - Programming mobile agents - Safety and security for mobile MAS deployment - Fault tolerance and load balancing for mobile MAS - Application areas for multi-agent programming languages - Applications using legacy systems - Programming MAS for Grid-based applications - Programming MAS for the Semantic Web - Deployed (industrial-strength) MAS - Benchmarks and testbeds for comparing MAS languages and tools Important Dates: ---------------- Paper submission deadline: 1 February, 2008 (NEW!) Notifications of acceptance/rejection: 25 February, 2008 Camera-ready copies due: 12 March, 2008 Workshop Date: 12th/13th May, 2008 (TBA) Submission Details: ------------------- Authors can submit their papers via the conference management system, available at the following address: http://www.conftool.net/ProMAS2008/ First, you will be asked to register into the system, then you will get a user id and a password that you can use to submit your paper. Papers should be formatted using Springer LNCS style (http://www.springer.de/comp/lncs/authors.html) and have a maximum of 15 pages. Accepted papers will be published as a technical report and distributed among participants during the workshop. As was the case for previous editions of the ProMAS workshop, we are planning to publish extended versions of selected papers as a volume of the Lecture Notes in Computer Science series by Springer-Verlag. Workshop Chairs: --------------------- - Koen Hindriks (Delft University of Technology, The Netherlands) http://www.mmi.tudelft.nl/ - Alexander Pokahr (University of Hamburg, Germany) http://vsis-www.informatik.uni-hamburg.de/members/info.php/84 - Sebastian Sardina (RMIT University, Australia) http://goanna.cs.rmit.edu.au/~ssardina/home.shtml Steering Committee: --------------------- - Rafael Bordini (University of Durham, UK) - Mehdi Dastani (Utrecht University, The Netherlands) - Juergen Dix (Clausthal University of Technology, Germany) - Amal El Fallah Seghrouchni (University of Paris VI, France) Programme Committee ------------------- Matteo Baldoni (Università degli Studi di Torino, Italy) Juan A. Botía Blaya (Universidad de Murcia, Spain) Lars Braubach (University of Hamburg, Germany) Jean-Pierre Briot (University of Paris 6, France) Keith Clark (Imperial College, UK) Rem Collier (University College Dublin, Ireland) Yves Demazeau (Institut IMAG - Grenoble, France) Frank Dignum (Utrecht University, Netherlands) Michael Fisher (University of Liverpool, UK) Jorge Gómez-Sanz (Universidad Complutense Madris, Spain) Vladimir Gorodetsky (Russian Academy of Sciences, Russia) Dominic Greenwood (Whitestein Technologies, Switzerland) Benjamin Hirsch (TU-Berlin, Germany) Shinichi Honiden (NII, Tokyo, Japan) Jomi Hübner (Universidade Regional de Blumenau, Brazil) Michael Huhns (University of South Carolina (USA) Yves Lespérance (York University, Canada) João Leite (Universidade University Nova de Lisboa, Portugal) John-Jules Meyer (Utrecht University, Netherlands) David Morley (SRI, USA) Jörg Müller (Clausthal University of Technology, Germany) Oliver Obst (CSIRO, Australia) Andrea Omicini (University of Bologna, Italy) Agostino Poggi (Università degli Studi di Parma, Italy) Alessandro Ricci (DEIS, Universit di Bologna, Italy) Birna van Riemsdijk (Ludwig-Maximilians-Universität, Germany) Ralph Rönnquist (Intendico, Australia) Ichiro Satoh (NII, Kyoto, Japan) Kostas Stathis (City University London, UK) Paolo Torroni (University of Bologna, Italy) Tran Cao Son (New Mexico State University, USA) Gerhard Weiß (Software Competence Center Hagenberg, Austria) Michael Winikoff (RMIT University, Melbourne, Australia) Wayne Wobke (University of New South Wales, Australia) From ilona.zaremba at deri.at Wed Jan 23 15:59:09 2008 From: ilona.zaremba at deri.at (Ilona Zaremba) Date: Wed, 23 Jan 2008 15:59:09 +0100 Subject: Call for Tutorial Proposals - 11th International Conference on Business Information Systems (BIS 2008) Message-ID: <4797563D.7050806@deri.at> ======================================================================== 11th International Conference on Business Information Systems (BIS 2008) ======================================================================== Call for Tutorials Proposals 11th International Conference on Business Information Systems (BIS 2008) will be held in Innsbruck, Austria, 5-7 May 2008. BIS, originally based in Poznan, Poland, is currently one of top European conferences in the area of theory and practice of development and implementation of contemporary business information systems. More information on current and previous editions of BIS conference is accessible at BIS Web site at http://bis.kie.ae.poznan.pl/. Topics of interest The BIS 2008 Program Committee invites tutorials to be presented during the conference. The tutorials should focus on presentation of specific topic relevant to scientific and business areas of interest of the conference. Each tutorial should preferably describe both theoretical and practical impact of presented topic. Main topics of the conference: 1) Business process management * semantic business process management * adaptive and dynamic processes * ERP/SCM implementations * business rules * integration of data and processes * inter-organizational processes * collaborative BPM 2) Ontologies * creation, learning, population, evolution and evaluation of ontologies * ontologies for enterprise content management * natural language processing and cognitive science * semantic integration of heterogeneous semi-structured information sources * interoperability of heterogeneous information systems * business models for Web information integration and aggregation 3) Contexts * location-aware and geography-centric information systems * wireless and mobile applications * multi-agent distributed systems * semantic web personalization * ambient computing * applications and challenges of RFID technology 4) Content retrieval and filtering * hidden Web search and crawling * data integration from Web information sources * modeling and describing evolving data sources * adaptive integration of evolving data sources * information gathering support for knowledge-intensive enterprises * search over semi-structural Web sources * business models for a content 5) Web services * software as a service (SaaS) * service oriented computing (SOA) * semantic web services * composition, choreography and orchestration * open, decentralized self-service * trust and quality of service (QoS) * service level agreements 6) Collaboration * social networks and social wikis * enterprise mashups, Enterprise 2.0 * infrastructures for collaboration (P2P, TSC, etc.) * semantic grid * security in distributed systems * Web-based model for discoverability, consumption, and reuse 7) E-government * e-participation, e-democracy * e-administration * digital divide * government application integration * e-government and multilingualism * interoperability of public administrations and private-public partnership Submission Guidelines Each submission of proposed tutorial (max three A4 pages in PDF format) should describe: * title of the tutorial * abstract of the tutorial * proposed workshop format * outline of its content * justification of tutorial's timeliness and relevance to BIS topics * proposed duration (half-day or full-day tutorials are possible) * name, affiliation, e-mail address and short biography of proposed presenter(s) (including teaching and tutorial presenting experience) Submissions should be sent to the following e-mail address: bis-tutorials at kie.ae.poznan.pl Important dates * Jan 31, 2008 - submission deadline for tutorial proposals * decisions on acceptance or rejection of proposed tutorials will be taken and announced presenter(s) and applying person within two weeks from submission. Tutorials will be held during BIS conference, 5-7 May 2008, in Innsbruck, Austria. From bernhard.jung at ofai.at Wed Jan 23 16:19:45 2008 From: bernhard.jung at ofai.at (bernhard.jung at ofai.at) Date: Wed, 23 Jan 2008 16:19:45 +0100 Subject: Final CfP: AT2AI-6@AAMAS2008: EXTENDED DEADLINE: Feb. 1st Message-ID: <200801231519.m0NFJjmx016730@fichte.ofai.at> [Please accept our apologies if you receive multiple postings.] EXTENDED DEADLINE: Feb. 1, 2008 ======================================================================== Call for Papers: Sixth International Workshop "From Agent Theory to Agent Implementation" AT2AI-6 at2ai6 (AT) ofai (DOT) at at the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008) May 21-13, 2008, Estoril, Portugal (EU) !!! EXTENDED DEADLINE !!! Submission deadline: February 1, 2008 !!! EXTENDED DEADLINE !!! ======================================================================== "From Agent Theory to Agent Implementation" (AT2AI) is a forum to present and discuss experiences and innovative ideas that help to strengthen the connection and dialogue between theory and practice of agent-oriented systems. AT2AI builds upon the success of previous editions that promoted the exchange of ideas and experiences, needs and opportunities between researchers, practitioners and further stakeholders working on and with the whole range of theoretical and application-oriented aspects of agent technology. Of particular relevance to the workshop are reflections that share insights and lessons learnt when applying specific agent theories or technologies to application problems, or, from the recipients' end, when contracting agent technologies to provide a service envisioned. The workshop will critique methods, methodologies, and other tools meant to help system designers to perceive the full range of options offered by the agent-oriented approach and to accomplish the mapping between available agent technology and application needs. Other stakeholders should be rewarded with a better understanding of the current potential of and challenges for agent-oriented systems. Introduction & Background ------------------------- Since its first edition in 1998, the symposium series "From Agent Theory to Agent Implementation" has been not only documenting the progress in agent-related technologies, but also managed to contribute to the rapid development of this area. AT2AI actively promotes the exchange of ideas and experiences between researchers and practitioners working on the whole range of theoretical and application-oriented issues of agent technology. It covers both the micro and macro aspects of agent-oriented design, and discusses the relations of drawing boards and partly idealised models to modelling tools and frameworks to deployment, management and maintenance of implementations. The focus of AT2AI lies in the discussion of direct experience reports from all stakeholders, so as to remain well aware of the actual target domains while using the language of current agent terminology. Previous AT2AI editions produced a first blueprint of a layered ecology of technologies for the development of agent based applications (see http://www.ofai.at/~paolo.petta/conf/at2ai3/ and the editorial: "Engineering Agent Systems: Best of ``From Agent Theory to Agent Implementation (AT2AI-3)''" of Applied Artificial Intelligence 16(9-10):671-67, 2003 --- available as OFAI TR-2002-41 from http://www.ofai.at/tr-online/). This perspective considers middleware, tools, off-the shelf platforms, integrated development environments (IDEs), and the like, with respect to their practical value to improve the application performance delivered. The qualities of these support technologies can in turn be improved and better exploited with the design of architectural frameworks and the deployment of standards. The evolution of these in turn can be assisted by the development of sound theoretical foundations and related formal methods. Methodologies are considered as working know-that and know-how, capturing and maintaining the best practises how to identify, align, and process application- and environment-derived (bottom-up) and support technology related (top-down) requirements and options. AT2AI also compiled an updated inventory against the maturing agent field: the status of logic-based approaches was addressed in particular; but evidence was also provided for how routine consideration of a multitude of perspectives is finally starting to meet the requirements posed by serious application needs (including e.g. issues of privacy and flexible access right management). These results have been published in the triple issue of Applied AI 20(2-4), 2006. AT2AI-6 is aimed at pushing the envelope further still, as more substantial experiences with more sizeable and persisting systems deployed become available. In addition to the understanding of what approaches and aspects can contribute in which ways to system resilience, sustainability, and other properties of practical importance, further reflection is now starting to identify inherent dynamical properties that are particular to agent-oriented systems and that may enable to expand the range of application support significantly. This for example includes consideration of the pros and cons of functional and physical approaches to encapsulation, and accepting and devising solutions to cope with limited control over the environment and system coherence at the macro level. This workshop has strong links to two other AAMAS workshops: Agent Oriented Software Engineering (AOSE) and Programming Multi-Agent Systems (ProMAS). These workshops will coordinate their activities, including the organisation of a joint session. Details will be published on the AT2AI-6 web site in due course. Topics of Interest ------------------ Of particular relevance to the workshop are reflections that share insights about experiences and lessons learnt when applying specific agent theories or architectures to application problems, or, from the recipients' end, when contracting agent technologies to provide a service envisioned. Such discussions and critiques may be aimed at conceptual vocabulary, methods, methodologies, good and bad management practices, and other tools and activities: anything that may be of value for system designers to improve the mapping of their agent-oriented toolbox to application needs, and for other stakeholders to better understand the available potential and current challenges of agent-oriented systems. Topics of interest therefore include, but are not limited to: * Conceptual and theoretical foundations * Agent languages and architectures * The nature and relation of the micro and macro levels * Learning and adaptability * Communication, coordination and collaboration within MAS * Monitoring and regulation of MAS behaviour * Reactivity, pro-activeness, autonomy at the macro level * Use and adaptation of Meta-Models at run-time * Solutions for (soft-)real-time characteristics * Social issues in agent societies * Safety, security, and responsibility * Granularities of system design (single-agent, multi-agent, ant, ...) * Agents vs. Middleware vs. Grids vs. Web Services * Development, engineering, and management methodologies * User interfaces and usability * MAS Information interfaces (handling of discrete and continuous information) * Testbeds and evaluations * Applications of agent technology in routine use * Bio-inspired theories/techniques for MAS implementations Important dates --------------- January 25, 2008 Submission deadline February 25, 2008 Paper acceptance notification March 5, 2008 Camera-ready copies May 12/13, 2008 Workshop at AAMAS 2008 Submission ---------- Submissions are encouraged to cast the presentation in terms of the schema described below, or to propose changes to it. As the previous editions of AT2AI have shown, this is a significant aid for the workshop audience to grasp more readily the significance of the work presented and to relate it to their own activities: the quality and variety of feedback provided to authors improves accordingly, often leading to persisting fruitful contacts. m ---------------------------------------------------+ e | | t theoretical foundations | | h | | o -----------------------------------------+ | | d | | | | o standards | | | | l | | | | o -------------------------------+ | | | | g | | | | | | i middleware | | | | | | e | | | | | | s ---------------+ | | | | | | | | | | | | | IDEs | APPLICATIONS | tools | | | | | | | | | | | | | | +----------------+ | | | | | | off-the-shelf platforms | | | | | +--------------------------------+ | | | | architectures | | | +------------------------------------------+ | | formal methods | +----------------------------------------------------+ Papers should be formatted using Springer LNCS style (http://www.springer.de/comp/lncs/authors.html) and have a maximum of 14 pages. Papers will have to be submitted through the following page: http://www.easychair.org/conferences/?conf=at2ai6 in PDF format. Reviewing process ----------------- Each paper will be triple reviewed. Criteria for the selection of papers include: originality, readability, coverage of relevant state of the art, relevance to themes, soundness, and overall quality. An affirmative action policy will hold for strongly innovative papers. Proceedings ----------- Selected contributions of previous editions were published in Applied Artificial Intelligence. For the 2008 edition, we again plan to compile a special issue out of revised and extended versions of selected papers arising out of the workshop discussions in Applied AI, Multi-agent and Grid Systems (MAGS), or another journal. Organising committee -------------------- Bernhard Jung Austrian Research Institute for AI (OFAI), AT Fabien Michel CReSTIC / LERI, Univ. Reims, FR Alessandro Ricci DEIS, Universit� di Bologna, IT Paolo Petta Austrian Research Institute for AI (OFAI), AT Programme Committee ------------------- Ardissono, Liliana Gustavsson, Rune Bauer, Bernhard Hanachi, Chihab Bergenti, Federico Holvoet, Tom Boissier, Olivier Hubner, Jomi Fred Bordini, Rafael Leite, Jo�o Coelho, Helder Omicini, Andrea Dastani, Mehdi Platon, Eric Demazeau, Yves Schumacher, Michael Ignaz Dickinson, Ian Simonin, Olivier El Fallah Seghrouchni, Amal Vizzari, Giuseppe Ferber, Jacques Weiss, Gerhard Giorgini, Paolo Weyns, Danny Gomez Sanz, Jorge J. van Riemsdijk, Birna Goua�ch, Abdelkader From ilona.zaremba at deri.at Wed Jan 23 16:50:23 2008 From: ilona.zaremba at deri.at (Ilona Zaremba) Date: Wed, 23 Jan 2008 16:50:23 +0100 Subject: Call for Workshop Papers - 11th International Conference on Business Information Systems (BIS 2008) Message-ID: <4797623F.60500@deri.at> ======================================================================== 11th International Conference on Business Information Systems (BIS 2008) ======================================================================== Call for Workshop Papers 1) 1st Workshop on Advances in Accessing Deep Web (ADW 2008) Sumbission deadline: February 3, 2008 Call for Paper is available at: http://bis.kie.ae.poznan.pl/11th_bis/wscfp.php?ws=adw2008 2) Workshop on E-Learning for Business needs Sumbission deadline: February 29, 2008 Call for Paper is available at: http://bis.kie.ae.poznan.pl/11th_bis/wscfp.php?ws=elearn2008 3) 2nd Workshop on Social Aspects of the Web (SAW 2008) Sumbission deadline: February 3, 2008 Call for Paper is available at: http://bis.kie.ae.poznan.pl/11th_bis/wscfp.php?ws=saw2008 Workshops will be held during BIS conference, 5-7 May 2008, in Innsbruck, Austria. 11th International Conference on Business Information Systems (BIS 2008) is a forum for international researchers to discuss the wide range of the development, implementation, application and improvement of business applications and systems. It is addressed to the scientific community, the developers of business computer applications, consultants helping to properly implement computer technology and applications in the industry. The theme of the conference reflects recent developments in providing services over the Web and efforts in utilizing social phenomena of blogs, wikis, and folksonomies for advantages of the enterprises and public administrations. Topics of the conference are restricted by the theme of the conference as defined above and include: Business Process Management, Ontologies, Contexts, Content retrieval and filtering, Web Services, Collaboration and E-government. The conference will be held in Innsbruck, May, 5 – 7, 2008 and will be jointly organized by Poznan University of Economics and University of Innsbruck. For more information about the conference please visit our website at: http://bis.kie.ae.poznan.pl/11th_bis/ From diwt2008 at dirf.org Wed Jan 23 21:54:52 2008 From: diwt2008 at dirf.org (diwt2008 at dirf.org) Date: Thu, 24 Jan 2008 02:24:52 +0530 Subject: CFP-Czech Republic -ICDIWT2008 Message-ID: <20080124022452.2ogi5y21c8kg0kg4@202.54.156.184> The First International Conference on the Application of Digital Information and Web Technologies (ICADIWT 2008) Ostrava, Czech Republic, August 4-6, 2008 http://www.dirf.org/diwt2008/ ================================================================================ The First International Conference on the Application of Digital Information and Web Technologies (ICADIWT 2008) is a forum for scientists, engineers, and practitioners to present their latest research results, ideas, developments and applications in all areas of Computer and Information Sciences, Artificial Intelligence, Mobile Computing, Networking, Web Content Mining, Health Informatics, Bioinformatics and IT Applications across disciplines. The ICADIWT 2008 will include presentations of contributed papers and state-of-the-art lectures by invited keynote speakers. This conference welcomes papers focusing on, but not limited to, the following research topics: * Information Retrieval * Wireless network * Signal processing, pattern recognition and applications * Digital image processing * Speech processing * Parallel and distributed computing and networks * Information retrieval and internet applications * Software engineering * E-technology * Artificial intelligence and applications * Databases and applications * Genetic algorithms * Data mining * Real time systems * Computer and network security * E-commerce and E-applications * Programming languages * Multi-Agent systems LOCATION ICADIWT 2008 will be organized by VSB- Technical University of Ostrava, located in Czech Republic in cooperation with the Digital Information Research Foundation (DIRF) located in India. All the activities of the conference will take place at the Czech Republic. IMPORTANT DATES Submission of papers deadline:ÿ April 15, 2008. Notification of acceptance: May 15, 2008. Camera-ready submission and registration:ÿ June 15, 2008. Conference date: August 4-6, 2008. COMMITTEES General Chairs: Vaclav Snasel, VSB-Technical University of Ostrava, Czech Republic Jaroslav Pokorny, Charles University in Prague, Czech Republic Program Chairs Ajith Abraham, Norwegian University of Science and Technology, Norway Khalid Saeed, Faculty of Computer Science, Bialystok University of Technology, Poland Dusan Husek, Institute of Computer Science, Academy of Science, Czech Republic Publicity Chair Pit Pichappan, India Proceedings Chair Eyas El-Qawasmeh, Applied Science University, Jordan Organising Committee Jan Martinovi? - Faculty of Electrical Engineering and Computer Science, V`B-TU Ostrava,Czech Republic SUBMISSION All submissions are online through http://www.dirf.org/diwt2008 From Klaus.Fischer at dfki.de Thu Jan 24 16:02:22 2008 From: Klaus.Fischer at dfki.de (Klaus Fischer) Date: Thu, 24 Jan 2008 16:02:22 +0100 Subject: ATOP@AAMAS2008: New Submission Deadline February 1st 2008 Message-ID: <4798A87E.8030805@dfki.de> Please apologize for multiple copies. Please note: The submission deadline was extended to February 1st 2008 =============================================================================== Call for Papers Agent-based Technologies and applications for enterprise interOPerability ATOP 2008 Workshop to be held at the Seventh International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2008) (http://gaips.inesc-id.pt/aamas2008/) Estoril, Portugal 12 or 13th May 2008 (NEW) Submissions deadline changed to: February 1st 2008 For details please go to: http://www-ags.dfki.uni-sb.de/~kuf/atop =============================================================================== From fs at doc.ic.ac.uk Fri Jan 25 20:02:47 2008 From: fs at doc.ic.ac.uk (F Sadri) Date: Fri, 25 Jan 2008 19:02:47 +0000 Subject: CPF: (ASAmI'08) 2nd Symposium on "Artificial Societies for Ambient Intelligence" Message-ID: <479A3257.4080706@doc.ic.ac.uk> Dear All, To be in line with the other AISB'08 Symposiums and avoid clashes with deadlines for other events, we have extended the deadline for paper submission to ASAMI '08 to the 31st of January. We hope that this gives you and your group enough time to consider submitting a paper. As with ASAMI '07 we have agreement of a follow-up special issue journal. Best regards, Kostas and Fariba 2nd Symposium on "*Artificial Societies for Ambient Intelligence*" (ASAmI'08) AISB Convention, 3rd April 2008, Aberdeen, UK. SEE: http://asami08.cs.rhul.ac.uk/ *Background & Motivation * The vision of Ambient Intelligence (AmI) is a society based on unobtrusive, often invisible interactions amongst people and computer-based services in a global computing environment. Services in AmI will be ubiquitous in that there will be no specific bearer or provider but, instead, they will be associated with a variety of objects and devices in the environment, which will not bear any resemblance to computers. People will interact with these services through intelligent and intuitive interfaces embedded in these objects and devices, which in turn will be sensitive to what people need. For a large class of the envisaged AmI applications, the added value of these new services is likely to be for people in ordinary social contexts. Such applications beg for technologies that are transparent, so that their functional behaviour can be understood easily. Put simply, transparency should bring AmI interactions closer to the way people think rather than the way machines operate. Another challenge posed by the AmI vision is that the electronic part of the ambience will often need to act intelligently on behalf of people. The conceptual components of ambience will need to be both reactive and proactive, behaving as if they were agents that act on behalf of people. It would be more natural, in other words, to use the agent metaphor in order to understand components of an intelligent ambience. An agent in this context can be a software (or hardware) entity that can sense and affect the environment, has knowledge of the environment and its own goals, and can proactively plan to achieve its goals or those of its user(s), so that the combined interactions of the electronic and physical environment provide a desirable outcome for one or more people. If we assume that agents are abstractions for the interaction within an ambient intelligent environment, one aspect that we need to ensure is that their behaviour is regulated and coordinated, so that the system as a whole functions effectively. For this purpose, we need rules that take into consideration the social context in which these interactions take place, and the whole system begs for an organisation similar to that envisaged by artificial agent societies. The society is there not only to regulate behaviour but also to distribute responsibility amongst the member agents. *Goals* We expect that the symposium will help develop scenarios for the use of agent societies for AmI, establish a body of knowledge and a theoretical framework in this context, use the framework to link existing work on related areas such as the semantic web, cognitive and social agents, and ambient and ubiquitous technologies. We also anticipate to present current research in the area of agent societies for AmI, where people activities are mapped onto social organisations of agents, computing devices or both, and assess the outcomes of such research. The symposium will identify issues for future investigation, establish links between researchers and encourage international collaborations. * Topics * Topics of relevance to the symposium include, but are not limited to, the following: * Social architectures * Agent interaction * Reasoning and knowledge representation * Reactivity and pro-activity * Learning * Decision making * Co-operation and co-ordination * Social emergence and evolution * Normative reasoning and regulations * Security, trust and privacy * Interaction design and interfaces * Mobility * Applications This workshop complements previous events, such as the /European Symposium on Ambient Intelligence,/ and ongoing events, such as /ESAW/ and /AITAmI/ workshop series. *Important Dates* Submission Deadline: 31 January 2008 *Submission* Submission is now open through OpenConf. *Proceedings* A printed volume of the proceedings will be available at the symposium. Selected best papers of ASAMI2008 would be considered as a special issue of the /International Journal on Autonomous and Adaptive Communications Systems/. IJCAS intends to be the leader journal in the area. *Co-Chairs * Dr. Fariba Sadri fs @ doc.ic.ac.uk Department of Computing Imperial College, U.K. Dr. Kostas Stathis kostas @ cs.rhul.ac.uk Department of Computer Science, Royal Holloway, U. of London, U.K. *Program Committee* Alexander Artikis (NCSR Demokritos, Greece) Juan Carlos Augusto (University of Ulster at Jordanstown, UK) Cristiano Castelfranchi (CNR, Italy) Oscar DeBruijn (University of Manchester, UK) Paul J. Feltovitch (IHMC, USA) Marie-Pierre Gleizes (IRIT, France) Gregory O'Hare (University College Dublin, Ireland) Andrea Omicini (University of Bologna, Italy) Paolo Petta (Medical Univ. of Vienna, Austria) Jeremy Pitt (Imperial College, UK) Eric Platon (NII, Japan) Alessandro Ricci (University of Bologna, Italy) Nicolas Sabouret (Laboratoire d'Informatique de Paris 6, France) Fariba Sadri (Imperial College, UK) Rob Saunders (University of Sydney, Australia) Daniel Shapiro (Stanford University, USA) Maarten Sierhuis (NASA, US) Kostas Stathis (Royal Holloway - U. of London, UK) Francesca Toni (Imperial College, UK) George Vouros (University of Aegean, Greece) Pinar Yolum (Bogazici University, Turkey) From alexander.friedmann at uqam.ca Sat Jan 26 02:58:07 2008 From: alexander.friedmann at uqam.ca (alex friedmann) Date: Fri, 25 Jan 2008 20:58:07 -0500 Subject: WARNING! (2900068290) In-Reply-To: References: Message-ID: On Jan 25, 2008 8:13 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: 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: +1 514 987-3000 ext. 3219# Departement d'Informatique Fax: +1 514 987-8477 Universite du Quebec a Montreal CP 8888 Centre Ville Montreal, H3C 3P8, Canada E-mail : alexander.friedmann.uqam.ca -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rached at cyberia.net.lb Sat Jan 26 09:07:54 2008 From: rached at cyberia.net.lb (Rached Zantout) Date: Sat, 26 Jan 2008 10:07:54 +0200 Subject: WARNING! (3866639609) Message-ID: <20080126080755.FVIO26026.flame@flame> > > From: "event administration" > Date: 2008/01/26 Sat AM 03:13:49 EET > To: "Rached Zantout" > Subject: WARNING! (3866639609) > > 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: 3866639609, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > > Rached Zantout, PhD Associate Professor Electrical And Computer Engineering Department Faculty of Engineering Hariri Canadian University P.O.Box 100, Damour Mechref 2010 Lebanon Tel: (05) 601386-90 x 502 Fax: (05) 601381 From td at cs.uns.edu.ar Sat Jan 26 15:54:01 2008 From: td at cs.uns.edu.ar (Telma Delladio) Date: Sat, 26 Jan 2008 11:54:01 -0300 Subject: WARNING! (0185700129) In-Reply-To: References: Message-ID: On Jan 25, 2008 10:13 PM, 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: 0185700129, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > > -- :) tdf From sadighim at gmail.com Mon Jan 28 15:39:07 2008 From: sadighim at gmail.com (Mohsen Sadighi) Date: Mon, 28 Jan 2008 06:39:07 -0800 Subject: WARNING! (3142569372) In-Reply-To: References: Message-ID: On 1/25/08, 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: 3142569372, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > > -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sadighim at gmail.com Mon Jan 28 15:40:21 2008 From: sadighim at gmail.com (Mohsen Sadighi) Date: Mon, 28 Jan 2008 06:40:21 -0800 Subject: Confirmation Request (2516455161) In-Reply-To: References: Message-ID: On 1/28/08, event administration wrote: > > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe operation > for your address > > If you want to confirm this operation, > use the Reply command in your mailer. > > Check that the Subject of the reply message contains > the confirmation ID: 2516455161, > the reply is directed to , > and the 'From' address of your reply is . > > If you do not want to confirm the requested operation, simply do nothing > > All requests about this mailing list > should be sent to > > -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From behrens at in.tu-clausthal.de Mon Jan 28 21:03:59 2008 From: behrens at in.tu-clausthal.de (Tristan Marc Behrens) Date: Mon, 28 Jan 2008 21:03:59 +0100 Subject: Multi-Agent Programming Contest (ProMAS 2008) Message-ID: <479E352F.7000201@in.tu-clausthal.de> =================== Call for Submissions ===================== Second Multi-Agent Programming Contest in association with ProMAS 2008 May 12-13 2008 Estoril, Portugal http://cig.in.tu-clausthal.de/agentcontest2008/ =============================================================== * Aims and Scope: This competition is an attempt to stimulate research in the area of multi-agent system development and programming by 1- identifying key problems and 2- collecting suitable benchmarks that can serve as milestones for testing multi-agent programming languages, platforms and tools. * Short scenario description It consists of applying (or developing from scratch) a multi-agent system to solve a cooperative task in a highly dynamic environment. The environment of the multi-agent system is a grid-like world in which animals (e.g., cows) are moving around collectively in one or more groups showing swarm like behaviour. There are two corrals each belongs to one of the agent teams. The teams of agents compete to control the behavior of animals and lead them to their own corral. The winning agent team is the one that has a higher number of cows collected in its corral. The technical description of the scenario will be available soon (15 February) on the contest webpage. * Participation requirements: The participation in this contest consists of two parts: 1- Submission of the description of analysis, design and implementation of a multi-agent system for the above application. The maximum length is 5 pages according to the LNCS format. 2- Participation in the contest tournament by means of an (executable) implementation of a multi-agent system. Further technical details on how to participate in this contest can be found on the contest webpage http://cig.in.tu-clausthal.de/agentcontest2008/ * How To Submit: Please announce your intention to attend the contest by subscribing to the mailing list **now**. Participants and all interested colleagues are invited to subscribe to the agentcontest2008-general [at] in.tu-clausthal.de mailing list. All the important details and announcements including scenario and communication protocol specifications as well as software release announcements and bug reports will be announced and discussed via this list. To subscribe, send an e-mail to agentcontest2008-general-subscribe [at] in.tu-clausthal.de with the subject subscribe. The confirmation request and welcome message will be sent to you shortly afterwards. Please follow the instructions in the automatic mailing list replies. Please submit a 5 page description of your solution to Mehdi Dastani (mehdi [at] cs.uu.nl). * Important Dates: Submission of the description: February 25, 2008 Notification: March 3, 2008 Camera-Ready of the description: March 12, 2008 Competition: TBA Winner announcement: TBA -- http://mephisto.in.tu-clausthal.de/ From birukou at disi.unitn.it Tue Jan 29 17:17:02 2008 From: birukou at disi.unitn.it (Aliaksandr Birukou) Date: Tue, 29 Jan 2008 17:17:02 +0100 Subject: Call for Student Council Proposals - ICST Message-ID: <479F517E.6000309@disi.unitn.it> CALL FOR PROPOSALS: ICST Student Councils (a pdf version available at: http://dit.unitn.it/~klezovic/ICST_Student_Council_proposals.pdf) ----------------------------------------- ICST (www.icst.org), a non-profit Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, which sponsors ICT related research, innovation, business, technologies and their advancement in all sectors of society invites proposals for organization of Student Councils - the anchors of young researchers in an important technical area. Description ----------- ICST Student Council is a branch of ICST community organized for and managed by students, recent graduates, and junior researchers. Each Student Council anchors ICST members in an important technical area providing information, coordination, and collaboration means for its members. These means may include common information portal hosting a set of tools such as community news, job search, announcements of the upcoming conferences, the platform for sharing novel ideas and technical information exchange. ICST Student Councils provide the support in conference/workshop organization to its members as well as sponsor scholarships and travel grants for its members. Each Student Council is coordinated by its officers appointed to their positions by the council Chair or Vice Chair. Officer positions are opened according to council coordination requirements and unique activities carried by the councils. The organization of each Student Council and its activities is devoted to the organization and coordination of ICST student members in a specific technical area. To this aim, Student Council maintains a homepage hosting a set of tools (in the form of gadgets) facilitating collaboration, organization, and information exchange between its members while maintaining connection to revolutionary publication platforms introduced by ICST such as online e-Journals, Inforways Portals, iC at ST magazine, e-Techbooks, and Multipedia. Applications are encouraged from a variety of disciplines, such as but not limited to, computer science, mathematics, physics, economics, statistics, medicine, law, and education. Application Requirements ------------------------- All applicants should be willing to become a Chair of the proposed Student Council. The responsibilities of a Student Council char include: * Provide leadership and a long-term planning of main strategic activities; * Responsible for recruiting and managing volunteer officers coordinating Student Council activities in a specific area (publications, events, industry relations); * Work with the volunteer officers to develop technical focus and the framework for implementation of the planned activities; * Contribute to the interaction of the proposed Student Council with the rest of the scientific community; All applications must include: * The name of the technical area for the proposed Student Council; * Short description of the chosen technical area and the main focus of the Student Council (1-2 paragraphs); * List of technical topics covered by the council (5-15 items); * Current curriculum vitae of the applicant Evaluation criteria will include relevant experience and research record of the applicant as well as importance of the proposed topic. Applicants must show willingness and ability to lead communities composed of a large number of junior researchers. Preference will be given to young researchers, students, and recent graduates. Application Submission ---------------------- Proposals for organization of Student Councils will be reviewed on the first come, first served basis with the decisions made within 5 days following the submission. Applications should be sent to kliazovich at disi.unitn.it. -- Aliaksandr Birukou Ph.D. Student International Graduate School in Information and Communication Technologies, Information Engineering and Computer Science Department, University of Trento, Italy via Sommarive 14, 38050 Povo (Trento), TN, Italy Office +39 0461 883914 Fax +39 0461 883964 Mail aliaksandr.birukou#you_know#disi.unitn.it Homepage: http://disi.unitn.it/~birukou/ From bryl at dit.unitn.it Wed Jan 30 11:19:41 2008 From: bryl at dit.unitn.it (Volha Bryl) Date: Wed, 30 Jan 2008 11:19:41 +0100 Subject: subscribe In-Reply-To: <479F9BD2.70907@disi.unitn.it> References: <479F9BD2.70907@disi.unitn.it> Message-ID: <1154573731.20080130111941@dit.unitn.it> subscribe From bryl at dit.unitn.it Wed Jan 30 11:56:20 2008 From: bryl at dit.unitn.it (Volha Bryl) Date: Wed, 30 Jan 2008 11:56:20 +0100 Subject: Confirmation Request (3393961708) In-Reply-To: References: Message-ID: <13526551.20080130115620@dit.unitn.it> ea> This is an automated message from the ea> mailing list manager ea> Somebody (probably you) have requested the subscribe operation ea> for your address ea> If you want to confirm this operation, ea> use the Reply command in your mailer. ea> Check that the Subject of the reply message contains ea> the confirmation ID: 3393961708, ea> the reply is directed to , ea> and the 'From' address of your reply is . ea> If you do not want to confirm the requested operation, simply do nothing ea> All requests about this mailing list ea> should be sent to From geoff at cs.miami.edu Thu Jan 31 15:18:40 2008 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Thu, 31 Jan 2008 09:18:40 -0500 (EST) Subject: IJCAR, last Call for Papers Message-ID: <20080131141840.546E211F8F2@mcclellan.cs.miami.edu> IJCAR 2008 - The 4th International Joint Conference on Automated Reasoning Sydney, Australia, 10th - 15th August, 2008 http://2008.IJCAR.org Last Call for Papers -------------------- ================================================ | Paper Registration Deadline is 22nd February | ================================================ IJCAR 2008 is the 4th International Joint Conference on Automated Reasoning, and is a merger of leading events: CADE (Conference on Automated Deduction), FroCoS (Workshop on Frontiers of Combining Systems), FTP (Workshop on First-order Theorem Proving) and TABLEAUX (Conference on Analytic Tableaux and Related Methods) IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions and invited talks. There will be two days of workshops and tutorials, 10th and 11th August, and the conference 12th to 15th August. Conference chair: Peter Baumgartner (NICTA) ------------------------------------------------------------------------------ Call for Papers --------------- IJCAR 2008 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited. See the IJCAR website for a detailed list of logics, methods, and applications of interest. The proceedings of IJCAR 2008 will be published by Springer-Verlag in the LNAI/LNCS series. Submission details: Submission is electronic, through http://www.easychair.org/conferences/?conf=IJCAR2008 Authors are strongly encouraged to use LaTeX and the Springer "llncs" format, which can be obtained from http://www.springer.de/comp/lncs/authors.html. The page limit is 15 pages for full papers. The page limit is 7 pages for short system descriptions that provide brief overviews or target recent developments. Full system descriptions that provide in-depth presentation of original ideas in an implemented system can be submitted as full papers. All full papers will be evaluated according to highest standards in terms of originality, significance, technical quality, and readability. Program co-chairs: Alessandro Armando (Universit`a di Genova) Peter Baumgartner (NICTA) Gilles Dowek (l'Ecole Polytechnique) Important dates: Paper registration deadline: 22nd February 2008 Paper submission deadline: 3rd March 2008 Notification of paper decisions: 18th April 2008 Final version of papers due: 23rd May 2008 Conference dates: 12th-15th August 2008 ------------------------------------------------------------------------------