From renata at ime.usp.br Mon Oct 1 17:31:16 2007 From: renata at ime.usp.br (Renata Wassermann) Date: Mon, 01 Oct 2007 12:31:16 -0300 Subject: subscribe Message-ID: <470112C4.3090102@ime.usp.br> From renata at ime.usp.br Mon Oct 1 17:54:27 2007 From: renata at ime.usp.br (Renata Wassermann) Date: Mon, 01 Oct 2007 12:54:27 -0300 Subject: Confirmation Request (1546356644) In-Reply-To: References: Message-ID: <47011833.7010700@ime.usp.br> 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: 1546356644, > 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 > From tazi at laas.fr Mon Oct 1 17:59:50 2007 From: tazi at laas.fr (Said Tazi) Date: Mon, 01 Oct 2007 17:59:50 +0200 Subject: CFP IEEE-ICHSL6, Toulouse Message-ID: <7.0.1.0.2.20071001160439.037d8608@laas.fr> [Accept apologies for cross postings] Call For Papers IEEE-ICHSL.6: 6th International Conference on Human System Learning Common Innovation in e-learning, Machine Learning and Humanoid http://www.ichsl6.org 14-16 May 2008 – Manufacture des Tabacs, University of Toulouse 1 Toulouse, France Organised by: LAAS-CNRS and the University of Toulouse1 Presentation Human System Learning International Conferences are organized as a cross-platform for the study and analysis of the latest research and developments issues related to Human System Learning. What makes this conference unique is the interaction of different disciplines with regard to their approach, methods and techniques for the application of advanced technologies. Specifics of disciplines are not only the subject of the conference but serve as cases. Cross-platform discussions and interactions help to enhance the scope of these technologies beyond their existing application limits. Furthermore, we seek a discussion of terms and conditions for introducing new concepts and tools (offered by the latest research and developments results) and new strategies (required by the inevitable changes of the professional and educational working environments). Main scope: WHAT IS LEARNING? The Information Society is burgeoning and new technology is shifting educational, learning and training paradigms. Virtual Universities, Cyber-Classrooms, e-Learning, Wireless Based Learning, Humanoid Robots, Data Mining, Text Mining, Web Semantic, etc. may be cryptic catch phrases now but will be within the main learning and teaching norm in a very near future. The sixth ICHSL observes that, Machine Learning, Humanoid (mainly Human Robot Interaction) and e-Learning system have in common a real complex challenge: What learning has become? Whether learning has to occur within Humans, Machines or Interactions between Humans and Machine, the process of learning is still perceived as complex. Learning context has shifted. Learning paradigms have shifted as well as learning Strategies. Learning environment has totally be changed as well as learning assessment, learning control, learning evolving, learning scheduling, etc Topics * Learning environment * Learning Logic * Learning paradigm * Human and Machine Learning Fuzziness * Human Robot Interaction (focused on learning approaches only) * Interactive Learning * Interactive e-learning * Interactive Mining Tools * Learning from electronic dynamic documents * New Learning Support Systems * And ICHSL relevant topics: Cognition, Data Mining, Distributed Artificial Intelligence, Ergonomic, Human-System Interactions, Humanoid, Knowledge Data Discovery, New Educational Technology, System Design, Text Mining, Wireless & Web Based Learning, Web Mining. Instructions to Authors Papers should be maximum 12 pages in length (a full page of text is about 500 words), i.e. your contribution might be around 5000 words long (including references) plus figures. Submissions should be uploaded using the conference website, in PDF, or MS-Word Format. Final papers must be submitted directly to the conference editor in MS-Word format ichsl6 at europia.org. Reviewing All papers will be reviewed using a blind refereeing process by at least two members of the International Advisory Board. The Reviewing process is completely transparent and electronic. Dates Paper submission November 30th, 2007 Notification January 15th, 2008 Final paper submission March 1st, 2008 Conference May 14-16, 2008 International Steering Committee * Reza Beheshti (TUDelft, The Netherlands) * Michel Diaz (LAAS, France) * Yves Duthen (UT1-IRIT) * Joa Mauricio Rosario (UNICAMP, Brazil) * John Rosbottom (University of Portsmouth, UK) * Imad Saleh (Paragraphe, University Paris 8, France) * Chantal Soulé-Dupuy (UT1-IRIT, France) * Saïd Tazi (LAAS-CNRS, UT1, France) * Khaldoun Zreik (Paragraphe, University Paris 8, France) Local organising committee * Anastase ADONIS(Objective-Networks) * Véronique BAUDIN(LAAS-CNRS) * Hassan KANSO (UT1-IRIT) * Jean Michel PONS (LAAS-CNRS) * Fabrice EVRARD (Irit -ENSEEIHT) * Anthony STENTON (UT1) International Advisory Board * Ronald C. Arkin (Georgia Institute of Technology, USA) / Georgia Tech Lorraine, France) * Nicolas Balacheff (LEIBNIZ - Institut IMAG, France) * Mostafa Bellafkih (INPT, Morocco) * Monique Baron (LIP6, France) * Véronique Baudin (LAAS-CNRS, France) * Reza Beheshti (TUDelft, The Netherlands) * Bernadette Bouchon-Meunier (UPMC, LIP6, France) * Eric Brangier (University of Metz, France) * Stephen Brown (De Montfort University, UK) * Guido Bugmann (School of Computing, University of Plymouth, UK) * Abdelkader El Kamel (LAGIS , Ecole Centrale of Lille, France) * Tristan Cazenave (LIA, Université Paris 8, France) * Bruno Crémilleux (Greyc, University of Caen, France) * Michel Diaz (LAAS-CNRS, France) * Yves Duthen (UT1-IRIT, France) * Dominique Fournier (University of Havre, France) * Mohand-Said Hacid (University of Claude Bernard Lyon 1 , France) * Gilles Kassel (University of Picardie Jules Verne, France) * Christophe Kolski (LAMIH - UMR CNRS 8530, France) * Christophe Lecerf (Ecole des Mines d'Alès, France) * Engelbert MEPHU NGUIFO (University of Artois, France) * Amadeo Napoli (INRIA-Lorraine, Nancy, France) * Violaine Prince (LIRMM, University of Montpellier 2, France) * Mohamed Quafafou (University of Marseille, France) * Mohammed Ramdani (Université Hassan II Mohammedia, Morocco) * Joa Mauricio Rosario (UNICAMP, Brazil) * John Rosbottom (University of Portsmouth, UK) * Jose Rouillard (LIFL-USTL, Lille, France) * Francis Rousseaux (IRCAM, France) * Imad Saleh (Paragraphe, University Paris 8, France) * Chantal Soulé-Dupuy (UT1-IRIT, France) * Vladimir Srdanovic 5University of Belgrade, Serbia) * Saïd Tazi (LAAS-CNRS, UT1, France) * Pierre Tchounikine (LIUM - University of Mans, France) * Charles Tijus (University Paris 8, France) * Rainer Unland (University of Duisburg-Essen, Germany) * Gilles Venturini (University of Tours, France) * Khaldoun Zreik (Paragraphe, University Paris 8, France) Conference Co-Chairs ·Saïd Tazi, LAAS-CNRS, France (tazi at laas.fr) ·Khaldoun Zreik, Pargraphe, University Paris8, France (zreik at univ-paris8.fr) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : ICHSL6-CFP.pdf Dateityp : application/pdf Dateigröße : 68430 bytes Beschreibung: nicht verfügbar URL : From mehdi at cs.uu.nl Mon Oct 1 18:40:14 2007 From: mehdi at cs.uu.nl (Mehdi Dastani) Date: Mon, 01 Oct 2007 18:40:14 +0200 Subject: EUMAS 2007: Call for Papers (extended submission deadline) In-Reply-To: <4701134C.4000908@cs.uu.nl> References: <47010B38.3010207@cs.uu.nl> <414D6DA3-F78D-4D5E-9B6C-BDC503A05A73@durham.ac.uk> <47010DC6.5040902@cs.uu.nl> <47010F2C.9090601@cs.uu.nl> <47011161.10808@cs.uu.nl> <7EC8ACB1-4B0F-4196-B19F-8FB5F7221101@durham.ac.uk> <4701134C.4000908@cs.uu.nl> Message-ID: <470122EE.5070102@cs.uu.nl> ===================================================================== The Fifth European Workshop On Multi-Agent Systems (Submission deadline extended) *** 8 October 2007 *** Hammamet, Tunisia 13-14 December, 2007 http://www.atia.rnu.tn/eumas/ ===================================================================== SUBMISSIONS Submission of papers describing relevant preliminary or completed work are invited. EUMAS’07 welcomes also papers that are under submission or already presented at a workshop, or are an improvement of a published proceedings or journal paper. Submissions should be formatted using Springer LNCS style (http://www.springer.de/comp/lncs/authors.html) and have a maximum of 15 pages. The authors can submit papers through the following webpage: http://www.dur.ac.uk/pcchair.eumas2007/myreview/ The workshop has no formal proceedings; it is intended primarily as a forum for interaction and discussion. The workshop will provide electronic proceedings on CD. Delegates who want a hard copy can indicate this on the registration form and pay separately for it. We intend to invite a selection of the unpublished submissions to be included in relevant journal special issues. See the conference web page for details. IMPORTANT DATES Submission Deadline: 8th October Notification to Authors: 5th November Camera Ready due: 16th November Early Registration: 20th November Late Registration: 10th December Workshop: 13th and 14th December TOPICS OF INTEREST Action and Planning, Adaptation and Learning, Agent Architectures, Agent Programming Languages, Agents and Complex Systems, Agent Based Simulation, Ambient Intelligence, Applications, Argumentation, Autonomy, Cognitive Models, Collective Intentionality, Communication, Competition, Complexity, Cooperation, Coordination, E-Commerce, Economic Models, Emergence, Emotion, Game Theoretic Models, Grid Computing, Institutions, Logical Models, Methodologies, Negotiation, Organisations and Institutions, P2P Computing, Proactivity, Protocols, Reactivity, Robotics, Self-organisation, Semantic Web, Service Oriented Computing, Social Ability, Software Engineering, Standards, Teamwork, Theories of Agency, Tools, Trust and Reputation, Ubiquitous Computing. CONFERENCE CHAIRS General Chair: Mehdi Dastani Programme Chair: Rafael Bordini Local Chairs: Khaled Ghedira, Walid Chainbi From carlos.areces at loria.fr Tue Oct 2 11:08:25 2007 From: carlos.areces at loria.fr (Carlos Areces) Date: Tue, 02 Oct 2007 11:08:25 +0200 Subject: CFP: JOURNAL OF LOGIC, LANGUAGE AND INFORMATION Message-ID: <47020A89.6030206@loria.fr> ***CALL FOR PAPERS*** JOURNAL OF LOGIC, LANGUAGE AND INFORMATION (http://www.springer.com/west/home/philosophy/logic?SGWID=4-40392-70-35503189-0) Special Issue on HYBRID LOGIC IMPORTANT DATES Paper submission: March 1, 2008 Notification of acceptance: June 1, 2008 Publication: by the end of 2008 GENERAL INFORMATION Hybrid logic is a branch of modal logic in which it is possible to directly refer to worlds/times/states or whatever the elements of the (Kripke) model are meant to represent. Although they date back to the late 1960s, and have been sporadically investigated ever since, it is only in the 1990s that work on them really got into its stride. It is easy to justify interest in hybrid logic on applied grounds, because of the usefulness of the additional expressive power. For example, when reasoning about time one often wants to build up a series of assertions about what happens at a particular instant, and standard modal formalisms do not allow this. What is less obvious is that the route hybrid logic takes to overcome this problem often actually improves the behaviour of the underlying modal formalism. For example, it becomes far simpler to formulate modal tableau, resolution, and natural deduction in hybrid logic, and completeness and interpolation results can be proved of a generality that is not available in orthodox modal logic. This special issue has its origin in the International Workshop on Hybrid Logic (HyLo 2007), which was held 6-10 August in Dublin, Ireland as part of the European Summer School in Logic, Language, and Information (ESSLLI 2007). The HyLo 2007 workshop continued a series of previous workshops on hybrid logic. TOPICS Topics of interest include not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but generally extensions of modal logic that increase its expressive power. SUBMISSIONS This special issue welcomes original high-quality contributions that have been neither published in nor submitted to any journals or refereed conferences. All submissions will be refereed to usual journal standards. Submissions should not exceed 30 pages and preferably be formatted according to the guidelines for Journal of Logic, Language and Information (see "Instructions for Authors" at the web-page of the journal). Submissions should be sent to Torben Braüner (as PDF file): torben at ruc.dk. Please put "JoLLI submission" in the subject field and include the following information in the body of the email: paper title, author names, email address of the contact author, and a short abstract. GUEST EDITORS OF SPECIAL ISSUE Torben Braüner, Roskilde University, Denmark (editor-in-chief) Thomas Bolander, Technical University of Denmark -- ================================================================== Carlos Areces phone : +33 (0)3 54 95 84 90 INRIA Researcher fax : +33 (0)3 83 41 30 79 e-mail: carlos.areces at loria.fr INRIA Lorraine. www : http://www.loria.fr/~areces Equipe TALARIS - Batiment B 615, rue du Jardin Botanique 54600 Villers les Nancy Cedex, France From ga at csd.uoc.gr Tue Oct 2 11:04:59 2007 From: ga at csd.uoc.gr (ga at csd.uoc.gr) Date: Tue, 2 Oct 2007 12:04:59 +0300 Subject: ESWC2008 Call for Tutorials Message-ID: <1191315899.470209bb978f7@webmail.edu.uoc.gr> Call for Tutorials 5th European Semantic Web Conference 01 - 05 June 2008 Tenerife (Spain) http://www.eswc2008.org/ The vision of the Semantic Web is to enhance today’s Web via the exploitation of machine- processable metadata. This metadata, enriched with domain theories (Ontologies) and knowledge-based tools to process metadata and semantics, will enable a Web that provides a qualitatively new level of service. It will weave together a large network of human knowledge and make this knowledge machine-accessible. Various automated services will help the users to achieve their goals by accessing and processing information in machine- processable form. This network of knowledge systems will ultimately lead to truly intelligent systems, which will be employed for various specialized reasoning to accomplish complex tasks. Many technologies and methodologies are being developed within Artificial Intelligence, Database Systems, Multimedia Systems, Distributed Systems, Software Engineering and Information Systems that can contribute towards the realization of this vision. The 5th annual European Semantic Web Conference (ESWC 2008) will present the latest results in research and application of Semantic Web technologies. More details can be found on the ESWC 2008 homepage (http://www.eswc2008.org/). In addition to the regular research and workshop programme, ESWC 2008 invites tutorials on relevant topics of interest (see below). A tutorial should present the state of the art of a Semantic Web area, enabling attendees to fully appreciate the current issues, main schools of thought and possible application areas. Tutorial Proposals ------------------ ESWC 2008 tutorials may be either for a full day or for a half day. Unless there is a clear rationale we will give preference to half day tutorials over full day tutorials. Tutorials proposed for the ESWC 2008 should cover one topic in appropriate depth and present it in a appropriate manner which enables attendees to fully comprehend and apply emerging Semantic Web technologies. Although tutorials may focus entirely on theoretical aspects, we strongly encourage hands-on sessions where appropriate. Tutorial proposals should not exceed 5 pages in DIN A4 format and should contain the following information: - abstract (200 words maximum, for inclusion in the ESWC 2008 website) - tutorial description (aims, target audience, presentation method, technical requirements) - justification for the tutorial, including timeliness and relevance to ESWC 2008 - outline of the tutorial content and schedule - information on presenters (name, affiliation, expertise, experiences in teaching and in tutorial presentation) Tutorial proposals are to be submitted as single pdf files to Grigoris Antoniou, email: antoniou at ics.forth.gr. Submitted proposals that follow the above guidelines will be reviewed by the ESWC 2008 organizing committee with respect to relevance of the topic, content and presentation method, and presenters’ expertise. Important Dates --------------- Tutorial Submissions Due: January 7, 2008 Tutorial Acceptance: January 21, 2008 Tutorial Hands Out Due: March 31, 2008 Tutorial Presentation Data: June 1, 2008 For accepted tutorials, the presenters will need to submit the material for hand-outs (the slide sets and / or additional information; software installation and usage guides for practical hands-on sessions) to the organization committee for preprinting and placement on the ESWC 2008 website. For each accepted tutorial, we offer one 50% discount of the Early-Bird registration fee. Conference Topics of Interest and Area Keywords ----------------------------------------------- Topics of interest for ESWC 2008 tutorials include, but are not limited to the following: Management of Semantic Web Data and Knowledge - Languages, tools and methodologies for representing and managing Semantic Web data - Database technologies for the Semantic Web - Search, query, and visualization of the Semantic Web - Robust and scalable reasoning on the Web - Logics for the Semantic Web - Machine learning and human language technologies for the Semantic Web - Semantic Web content creation, annotation, and extraction Ontologies - Ontology creation, extraction, and evolution - Ontology mapping, merging, and alignment - Evaluation and tanking of ontologies - Conceptual modelling Semantic Web Architecture - Semantic Web middleware - Semantic Web services - Agents on the Semantic Web - Semantics in P2P systems and grids Social Semantic Web - Social networks and processes on the Semantic Web - Semantic web technology for collaboration and cooperation - Representing and reasoning about trust, privacy, and security Applications of the Semantic Web - Evaluation of Semantic Web technologies - Semantic Web for e-business, e-science, e-government, e-learning, and other application domains - Semantic Web for ubiquitous computing and ambient intelligence - Semantic Web technologies for multimedia content - Personal information management From Christine.Paulin at lri.fr Wed Oct 3 10:34:30 2007 From: Christine.Paulin at lri.fr (Christine Paulin) Date: Wed, 03 Oct 2007 10:34:30 +0200 Subject: MPC 2008: FIRST CALL FOR PAPERS Message-ID: FIRST CALL FOR PAPERS 9th International Conference on Mathematics of Program Construction (MPC'08) Marseille (Luminy), France, July 15-18th 2008 http://mpc08.lri.fr BACKGROUND The biennial MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs. Topics of interest range from algorithmics to support for program construction in programming languages and systems. The previous conferences were held in Twente, The Netherlands (1989), Oxford, UK (1992), Kloster Irsee, Germany (1995), Marstrand, Sweden (1998), Ponte de Lima, Portugal (2000), Dagstuhl, Germany (2002), Stirling, UK (2004, colocated with AMAST '04) and Kuressaare, Estonia (2006, colocated with AMAST '06). The 2008 conference will be held in Marseille, France at the International Center for Mathematical Meetings (http://http://www.cirm.univ-mrs.fr/web.ang). INVITED SPEAKERS To be announced. IMPORTANT DATES * Submission of abstracts: 14 January 2008 * Submission of full papers: 21 January 2008 * Notification of authors: 10 March 2008 * Camera-ready version: 10 April 2008 TOPICS Papers are solicited on mathematical methods and tools put to use in program construction. Topics of interest range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, program logics. Theoretical contributions are welcome provided their relevance for program construction is clear. Reports on applications are welcome provided their mathematical basis is evident. SUBMISSION Submission is in two stages. Abstracts (plain text) must be submitted by 14 January 2008. Full papers (pdf) adhering to the llncs style must be submitted by 21 January 2008. There is no official page limit, but authors should strive for brevity. The web-based submission system will open in early December 2007. Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers must be presented at the conference by one of the authors. The proceedings of MPC'08 will be published in the Lecture Notes in Computer Science series of Springer-Verlag. After the conference, the authors of the best papers will be invited to submit revised versions to a special issue of the Science of Computer Programming journal of Elsevier. PROGRAMME COMMITTEE Christine Paulin-Mohring INRIA-Universit� Paris-Sud, France (chair) Philippe Audebaud Ecole Normale Sup�rieure Lyon, France (co-chair) Ralph-Johan Back Abo Akademi University, Finland Eerke Boiten University of Kent, UK Venanzio Capretta University of Nijmegen, Netherlands Sharon Curtis Oxford Brookes University, UK Jules Desharnais Universit� Laval, Qu�bec, Canada Peter Dybjer Chalmers University of Technology, Sweden Jeremy Gibbons University of Oxford, UK Lindsay Groves Victoria University of Wellington, New Zealand Ian Hayes University of Queensland, Australia Eric Hehner University of Toronto, Canada Johan Jeuring Utrecht University, Netherlands Dexter Kozen Cornell University, USA Christian Lengauer Universit�t Passau, Germany Lambert Meertens University of Utrecht, Netherlands Bernhard M�ller Universit�t Augsburg, Germany Carroll Morgan University of New South Wales, Australia Shin-Cheng Mu Academia Sinica, Taiwan Jose Nuno Oliveira Universidade do Minho, Portugal Tim Sheard Portland State University, USA Tarmo Uustalu Institute of Cybernetics Tallin, Estonia VENUE The conference will be held in Marseille, the second largest city in France next to Paris. Its port is the most important in France, and opens the city to the world through the Mediterranean Sea. MPC'08 will be hosted by the International Center for Mathematical Meetings. The center is located inside the Campus of Luminy Faculty. It is close to the "Calanques", an astounding wild coastline composed of creeks stretching from Marseille to Cassis. LOCAL ORGANIZERS MPC 2008 is organized with the support of INRIA. The local organizers are Philippe Audebaud and Christine Paulin-Mohring. Enquiries regarding the programme (submission etc.) should be addressed to mpc08(at)lri.fr From a.artikis at gmail.com Thu Oct 4 10:17:49 2007 From: a.artikis at gmail.com (Alexander Artikis) Date: Thu, 4 Oct 2007 11:17:49 +0300 Subject: ESAW 07: Call for Participation Message-ID: <130ef5930710040117x5fa98280rc28ee270796ac422@mail.gmail.com> CALL FOR PARTICIPATION Eighth International Workshop "Engineering Societies in the Agents World" (ESAW 07), October 22-24 2007, National Centre for Scientific Research (NCSR) "Demokritos", Athens, Greece http://esaw07.iit.demokritos.gr We cordially invite you to attend ESAW 07 which will take place in NCSR "Demokritos", in Athens, Greece. INVITED SPEAKERS: * Marek Sergot, Imperial College London, UK * Robert Axtell, George Mason University, USA * Tim Norman, University of Aberdeen, UK WORKSHOP PROGRAMME: http://esaw07.iit.demokritos.gr/programme.pdf From heiner at informatik.uni-mannheim.de Thu Oct 4 18:19:58 2007 From: heiner at informatik.uni-mannheim.de (Heiner Stuckenschmidt) Date: Thu, 4 Oct 2007 18:19:58 +0200 Subject: ESWC 2007 Call for Workshop Proposals Message-ID: <001e01c806a2$94502c90$6402a8c0@informatik.unimannheim.de> Call for Workshop Proposals 5th European Semantic Web Conference 01 - 05 June 2008 Tenerife, Spain http://www.eswc2008.org/ 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 participants from academia and industry. Besides the main technical programme, ESWC will host a number of workshops on topics related to the general theme of the conference. The role of the workshops is to provide a platform for a more intensive scientific exchange amongst researchers interested in a particular topic and as a meeting point for the community. The workshops should provide the opportunity to present and discuss ongoing work and new ideas in subfield of Semantic Web research. In order to meet these goals, workshop should address topics that satisfy the following criteria: - the topic falls in the general scope of the ESWC conference (compare http://www.eswc2008.org/) - there is a clear focus on a specific technology, problem or application - there is a sufficiently large community interested in the topic In particular, we encourage the submission of workshop proposals on - fundamental problems of the semantic web such as heterogeneity, scalability and distribution - applications of semantic web technologies in specific domains - important enabling technologies and their adaptation to the needs of the semantic web - aspects of semantic web research that have been neglected so far Workshop proposals should be sent to the workshop chair (heiner at informatik.uni-mannheim.de) before December 2007 as a single PDF file of no more than 5 pages and should contain the following information - name, address and experience of the workshop organizers - the proposed topic and its role in the semantic web - a clear explanation of the scope of the workshop - a description of the community addressed, information about it size and related activities - if possible a tentative list of PC members Proposers of accepted workshops have to prepare a workshop webpage containing a call for papers and detailed information about the workshop organization and timelines by mid January. Other relevant dates are the following. Important Dates: Workshop Proposals Due: December 1, 2007 Notification of Acceptance: December 15, 2007 Workshop URL due: January 11, 2008 Proposed timeline for workshops: Deadlines: march 7, 2008 Notifications: April 4, 2008 Camera ready: April 18, 2008 Workshop Notes due: May 1, 2008 Heiner Stuckenschmidt (ESWC 2008 Workshop Chair) -- ============================================= Prof. Dr. Heiner Stuckenschmidt Institut für Informatik Universität Mannheim A5, 6 68159 Mannheim Room C216 tel.: +49 621 181 2530 fax: +49 621 181 2679 email: heiner at informatik.uni-mannheim.de www: http://ki.informatik.uni-mannheim.de --------------------------------------------- Life is a lemon and I want my money back! From mehdi at cs.uu.nl Fri Oct 5 10:58:43 2007 From: mehdi at cs.uu.nl (Mehdi Dastani) Date: Fri, 05 Oct 2007 10:58:43 +0200 Subject: EUMAS 2007: Final Call for Papers In-Reply-To: <4701134C.4000908@cs.uu.nl> References: <47010B38.3010207@cs.uu.nl> <414D6DA3-F78D-4D5E-9B6C-BDC503A05A73@durham.ac.uk> <47010DC6.5040902@cs.uu.nl> <47010F2C.9090601@cs.uu.nl> <47011161.10808@cs.uu.nl> <7EC8ACB1-4B0F-4196-B19F-8FB5F7221101@durham.ac.uk> <4701134C.4000908@cs.uu.nl> Message-ID: <4705FCC3.4010607@cs.uu.nl> ===================================================================== The Fifth European Workshop On Multi-Agent Systems FINAL ANNOUNCEMENT ***** Submission deadline ***** ***** 8 October 2007 ***** Hammamet, Tunisia 13-14 December, 2007 http://www.atia.rnu.tn/eumas/ ===================================================================== SUBMISSIONS Submission of papers describing relevant preliminary or completed work are invited. EUMAS’07 welcomes also papers that are under submission or already presented at a workshop, or are an improvement of a published proceedings or journal paper. Submissions should be formatted using Springer LNCS style (http://www.springer.de/comp/lncs/authors.html) and have a maximum of 15 pages. The authors can submit papers through the following webpage: http://www.dur.ac.uk/pcchair.eumas2007/myreview/ The workshop has no formal proceedings; it is intended primarily as a forum for interaction and discussion. The workshop will provide electronic proceedings on CD. Delegates who want a hard copy can indicate this on the registration form and pay separately for it. We intend to invite a selection of the unpublished submissions to be included in relevant journal special issues. See the conference web page for details. IMPORTANT DATES Submission Deadline: 8th October Notification to Authors: 5th November Camera Ready due: 16th November Early Registration: 20th November Late Registration: 10th December Workshop: 13th and 14th December TOPICS OF INTEREST Action and Planning, Adaptation and Learning, Agent Architectures, Agent Programming Languages, Agents and Complex Systems, Agent Based Simulation, Ambient Intelligence, Applications, Argumentation, Autonomy, Cognitive Models, Collective Intentionality, Communication, Competition, Complexity, Cooperation, Coordination, E-Commerce, Economic Models, Emergence, Emotion, Game Theoretic Models, Grid Computing, Institutions, Logical Models, Methodologies, Negotiation, Organisations and Institutions, P2P Computing, Proactivity, Protocols, Reactivity, Robotics, Self-organisation, Semantic Web, Service Oriented Computing, Social Ability, Software Engineering, Standards, Teamwork, Theories of Agency, Tools, Trust and Reputation, Ubiquitous Computing. CONFERENCE CHAIRS General Chair: Mehdi Dastani Programme Chair: Rafael Bordini Local Chairs: Khaled Ghedira, Walid Chainbi From Oege.de.Moor at comlab.ox.ac.uk Fri Oct 5 15:18:54 2007 From: Oege.de.Moor at comlab.ox.ac.uk (Oege.de.Moor at comlab.ox.ac.uk) Date: Fri, 5 Oct 2007 13:18:54 GMT Subject: PEPM 2008: abstracts due Oct 12 Message-ID: <200710051318.l95DIsHo003222@mercury.comlab.ox.ac.uk> >>> LAST CALL <<< >>> abstracts - Oct 12, full papers - Oct 17 <<< PEPM 2008 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation January 7-8, 2008, San Francisco Keynotes by Ras Bodik (Berkeley) and Monica Lam (Stanford) Co-located with POPL http://www.program-transformation.org/PEPM08/WebHome PEPM is a leading venue for the presentation of cutting-edge research in program analysis, program generation and program transformation. Its proceedings are published by ACM Press; full details of the scope, submission process, and program committee can be found at the above URL. The program committee would particularly welcome submissions from researchers in computational intelligence on any topic relating to intelligent techniques for guiding automatic optimisation Abstracts are due on October 12, and the deadline for full paper submission is October 17. Prospective authors are welcome to contact the program chairs, Robert Glueck (glueck at acm.org) and Oege de Moor (oege at comlab.ox.ac.uk) with any queries they might have. From demis at dimi.uniud.it Fri Oct 5 17:39:07 2007 From: demis at dimi.uniud.it (demis at dimi.uniud.it) Date: 05 Oct 07 17:39:07 +0200 Subject: 2nd CFP: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07) Message-ID: <20071005153911.895C147C493@smtp.uniud.it> [ We apologize for multiple copies ] *********************************************************************** 2nd Call for Papers 3rd International Workshop on Automated Specification and Verification of Web Systems (WWV'07) San Servolo island, Venice (Italy) December 14, 2007 http://wwv07.dimi.uniud.it/ IMPORTANT DATES Abstract Submission October 14, 2007 Full Paper Submission October 21, 2007 Acceptance Notification November 12, 2007 Camera Ready November 23, 2007 Workshop December 14, 2007 SCOPE The increased complexity of Web sites and the explosive growth of Web-based applications has turned their design and construction into a challenging problem. Nowadays, many companies have diverted their Web sites into interactive, completely-automated, Web-based applications (such as Amazon, on-line banking, or travel agencies) with a high complexity that requires appropriate specification and verification techniques and tools. Systematic, formal approaches to the analysis and verification can address the problems of this particular domain with automated and reliable tools that also incorporate semantic aspects. We solicit original papers on formal methods and techniques applied to Web sites, Web services or Web-based applications, such as: * rule-based approaches to Web site analysis, certification, specification, verification, and optimization * formal models for describing and reasoning about Web sites * model-checking, synthesis and debugging of Web sites * abstract interpretation and program transformation applied to the semantic Web * intelligent tutoring and advisory systems for Web specifications authoring * Web quality and Web metrics * Web usability and accessibility * Testing and evaluation of Web systems and applications The WWV series provides a forum for researchers from the communities of Rule-based programming, Automated Software Engineering, and Web-oriented research to facilitate the cross-fertilization and the advancement of hybrid methods that combine the three areas. LOCATION WWV'07 will be held in December in the convention centre of the island of San Servolo, Venice, Italy. SUBMISSION PROCEDURE Submissions must be received by October 21, 2007. In addition, an ASCII version of the title and abstract must have been submitted by October 14, 2007. Submitted papers should be at most 15 pages in the Electronic Notes in Theoretical Computer Science (ENTCS) style, and should include an abstract and the author's information. See the author's instructions of ENTCS style at http://www.entcs.org. PUBLICATION Accepted papers will be published in a preliminary proceedings volume, which will be available during the workshop. After the workshop, the final proceedings are going to be published in the Elsevier series Electronic Notes in Theoretical Computer Science (ENTCS, ISSN: 1571-0661). INVITED SPEAKERS Paolo Traverso ITC-IRST, Italy Joost Visser Software Improvement Group, The Netherlands PROGRAM CO-CHAIRS Santiago Escobar Technical University of Valencia, Spain Massimo Marchiori University of Padova, Italy WORKSHOP CHAIR Demis Ballis University of Udine, Italy PROGRAM COMMITTEE Jesus Almendros University of Almeria, Spain Maria Alpuente Technical University of Valencia, Spain Uwe Assmann Linköpings Universitet, Sweden Demis Ballis University of Udine, Italy Gilles Barthe INRIA Sophia-Antipolis, France Tevfik Bultan University of California, Santa Barbara, USA Santiago Escobar Technical University of Valencia, Spain Moreno Falaschi University of Siena, Italy Nora Koch Ludwig Maximilians Universität München, Germany Temur Kutsia RISC Linz, Austria Massimo Marchiori University of Padova, Italy Tiziana Margaria University of Potsdam, Germany Catherine Meadows Naval Research Laboratory, USA Sebastian Schaffert Salzburg Research, Austria From ajp at inf.ed.ac.uk Mon Oct 8 10:39:02 2007 From: ajp at inf.ed.ac.uk (ajp at inf.ed.ac.uk) Date: Mon, 08 Oct 2007 09:39:02 +0100 Subject: Kein Betreff Message-ID: <20071008093902.q759l5h4e88c8gks@mail.inf.ed.ac.uk> From ajp at inf.ed.ac.uk Mon Oct 8 12:24:11 2007 From: ajp at inf.ed.ac.uk (ajp at inf.ed.ac.uk) Date: Mon, 08 Oct 2007 11:24:11 +0100 Subject: Confirmation Request (2952922846) In-Reply-To: References: Message-ID: <20071008112411.rb2txrizkk8kkok4@mail.inf.ed.ac.uk> Quoting event administration : > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the unsubscribe 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: 2952922846, > 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 > > From ajp at inf.ed.ac.uk Mon Oct 8 10:42:44 2007 From: ajp at inf.ed.ac.uk (ajp at inf.ed.ac.uk) Date: Mon, 08 Oct 2007 09:42:44 +0100 Subject: Change of address Message-ID: <20071008094244.26sibokx44so4gcs@mail.inf.ed.ac.uk> Dear Sir/Madam, I am moving job, and hence also moving email address. I have just managed to unsubscribe to your list from my old address, ajp at inf.ed.ac.uk. But I now want to subscribe with my new address, A.J.Power at bath.ac.uk. So I would appreciate it if you could add me under the latter address please. Yours Sincerely, John Power. From ci-listen at in.tu-clausthal.de Mon Oct 8 17:32:50 2007 From: ci-listen at in.tu-clausthal.de (Administrator of mailing lists of CIG) Date: Mon, 08 Oct 2007 17:32:50 +0200 Subject: Change of address In-Reply-To: <20071008094244.26sibokx44so4gcs@mail.inf.ed.ac.uk> References: <20071008094244.26sibokx44so4gcs@mail.inf.ed.ac.uk> Message-ID: Dear Mr. Power, thank you very much for using Event at CIG distribution list. On Mon, 08 Oct 2007 09:42:44 +0100 ajp at inf.ed.ac.uk wrote: > > Dear Sir/Madam, > > I am moving job, and hence also moving email address. I >have just managed to unsubscribe to your list from my old >address, ajp at inf.ed.ac.uk. But I now want to subscribe >with my new address, A.J.Power at bath.ac.uk. So I would >appreciate it if you could add me under the latter >address please. I manually added a subscription request for your address A.J.Power at bath.ac.uk to our list. You should already receive a confirmation request. In the case you did not (or won't in the course of next few hours), please do not hesitate and contact us again. Best regards, Peter Novak, Event at CIG administrator. From A.J.Power at bath.ac.uk Tue Oct 9 10:21:14 2007 From: A.J.Power at bath.ac.uk (John Power) Date: Tue, 09 Oct 2007 09:21:14 +0100 Subject: Confirmation Request (2151465048) In-Reply-To: References: Message-ID: <20071009092114.652zbztrfo0sgw0o@webmail.bath.ac.uk> Quoting event administration : > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the subscribe(feed) 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: 2151465048, > 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 > > From tc at cs.bath.ac.uk Tue Oct 9 12:31:46 2007 From: tc at cs.bath.ac.uk (Tom Crick) Date: Tue, 09 Oct 2007 11:31:46 +0100 Subject: unsubscribe Message-ID: <470B5892.8050800@cs.bath.ac.uk> From tc at cs.bath.ac.uk Tue Oct 9 12:59:05 2007 From: tc at cs.bath.ac.uk (Tom Crick) Date: Tue, 09 Oct 2007 11:59:05 +0100 Subject: Confirmation Request (2335895862) In-Reply-To: References: Message-ID: <470B5EF9.2010501@cs.bath.ac.uk> event administration wrote: > This is an automated message from the > mailing list manager > > Somebody (probably you) have requested the unsubscribe 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: 2335895862, > 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 > From patane at ge.imati.cnr.it Tue Oct 9 17:28:57 2007 From: patane at ge.imati.cnr.it (=?ISO-8859-15?Q?Giuseppe_Patan=E8?=) Date: Tue, 09 Oct 2007 17:28:57 +0200 Subject: SAMT2007 programme and open calls Message-ID: <470B9E39.8020107@ge.imati.cnr.it> ------------------------------------------------------------------------ [Apologies for cross-postings. Please forward this mail to anyone interested.] ------------------------------------------------------------------------------------ SAMT 2007 - PROGRAMME AVAILABLE We are happy to announce that the programme of the 2nd international conference on Semantics And digital Media Technology (SAMT 2007) is available online at http://samt2007.ge.imati.cnr.it/. Advanced registration is also open. SAMT 2007 targets to narrow the large disparity between the low-level descriptors that can be computed automatically from multimedia content and the richness and subjectivity of semantics in user queries and human interpretations of audiovisual media - The Semantic Gap. SAMT brings together those forums, projects, institutions and individuals investigating the integration of knowledge, semantics and low-level multimedia processing, and links them with industrial research and development engineers who exploit the underlying emerging technology. In cooperation with the European Commission DG Information Society, the third day of the conference will feature keynote talks from EC representatives. The conference will be held at the Jolly Hotel Marina, December 5-7, 2007, Genova, Italy, ------------------------------------------------------------------------------------ SAMT 2007 OPEN CALLS SAMT 2007 solicits project poster and demo contributions that will be presented in special sessions during the conference, giving the opportunity to present ongoing research. Objectives or results of active projects, initiatives or standardization activities, reports on systems under development, or descriptions of completed work are all welcome. The Demo session is intended to provide a showcase for innovative implementations, systems, and technologies related to semantic multimedia. In principle, posters may be backed up with demos, and vice versa. Contributions will be evaluated based on significance of results, relevance to SAMT and expected impact. Posters and Demos are intended to convey a scientific result or work in progress and not to advertise software packages! Submission Authors must submit by email to samt07-poster-demo at ge.imati.cnr.it up to two-page short abstract for evaluation. Only submissions in PDF format are acceptable. Papers should be formatted according to IEEE Proceedings style. Authors should specify if the submission will be presented as a demo, a poster, or both, and clearly indicate whether the submission concerns a project (if so, they should specify the project). Decisions about acceptance will be based on relevance to the SAMT topics, originality, potential significance and clarity. Authors submitting a paper to the scientific track in SAMT 2007 may also submit the same work for consideration in the poster and demo track, either before or after acceptance notification for the full paper. Poster and Demo papers will be published in separate proceedings and will be handed out to all participants of SAMT. Important Dates * Poster/Demo Submission: October 15, 2007 * Notification of Acceptance: October 30, 2007 * Camera-Ready Due: November 15, 2007 ------------------------------------------------------------------------------------ TO BE REMOVED FROM THIS LIST You are receiving this email because you have participated in a previous EWIMT or SAMT related event. If you would like to be removed from the SAMT publicity email list, please reply to this message with the word 'REMOVE' in the SUBJECT LINE. This email should be addressed to: samt07 at ge.imati.cnr.it. You will be removed from this list when we receive your reply. -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : patane.vcf Dateityp : text/x-vcard Dateigröße : 297 bytes Beschreibung: nicht verfügbar URL : From samt2007 at ge.imati.cnr.it Thu Oct 11 12:49:19 2007 From: samt2007 at ge.imati.cnr.it (SAMT2007 Conference) Date: Thu, 11 Oct 2007 12:49:19 +0200 Subject: SAMT 2008 CALL Message-ID: <470DFFAF.10002@ge.imati.cnr.it> [Apologies for cross-postings. Please forward this mail to anyone interested.] ------------------------------------------------------------------------------------ SAMT 2008 The SAMT steering committee would like any interested parties to send them a formal application to host SAMT 2008. Sponsored by the K-Space Network of Excellence , SAMT is traditionally held in the late November / early December and runs from Wednesday to Friday with a key panel session, one or two invited speakers and full conference multiple track podium and poster sessions. Special sessions, tutorials and workshops are also offered. A social event is expected on Thursday evening. The full application should be a single pdf document containing the following details: - Main contact for the conference, with full postal address, telephone and email - The venue - Chair(s) and co-chairs for publicity, special sessions, tutorials and workshops if offered - Prospective members of the conference organising committee - Key people and their experiences of organising events like this - Provisional dates for the conference, with provisional booking details of accommodation, rooms bookings for conference venue and meals; rationale for the proposed dates (no clashes with other related events) - Provisional technical program - Likely financial plan - Plans for organisation and publicity Organisational support and potential sponsors (apart from the main technical sponsor K-Space and EC cluster of related projects) The main conference auditorium must be large enough to accommodate 150+ delegates and must be a tiered auditorium with adequate A/V facilities. Please send expressions of interest to Michela Spagnuolo (michela.spagnuolo at gmail.com) by the October 31, 2007. Pending discussion by the steering board, the successful candidate will be announced at the SAMT 2007 conference. ------------------------------------------------------------------------------------ TO BE REMOVED FROM THIS LIST You are receiving this email because you have participated in a previous EWIMT or SAMT related event. If you would like to be removed from the SAMT publicity email list, please reply to this message with the word 'REMOVE' in the SUBJECT LINE. This email should be addressed to: samt07 at ge.imati.cnr.it. You will be removed from this list when we receive your reply. From geoff at cs.miami.edu Thu Oct 11 18:03:49 2007 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Thu, 11 Oct 2007 12:03:49 -0400 (EDT) Subject: IJCAR Call for Papers, and Workshop and Tutorial Proposals Message-ID: <20071011160349.E8B6DB7E0@sherman.cs.miami.edu> IJCAR 2008 - The 4th International Joint Conference on Automated Reasoning Sydney, Australia, 10th - 15th August, 2008 http://2008.IJCAR.org Call for Papers, and Workshop and Tutorial Proposals ---------------------------------------------------- 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/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, and 5 pages for system descriptions. 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 ------------------------------------------------------------------------------ Call for Workshop and Tutorial Proposals ---------------------------------------- Workshop and tutorial proposals on IJCAR-related topics are solicited. Proposals that promise to bring new topics into IJCAR, of either practical or theoretical importance, or provide a forum for more detailed discussion on central topics of continuing importance are highly welcome. Proposals that close the gap between automated reasoning and related areas, e.g., formal methods or software engineering, are especially encouraged. Proposals must contain information sufficient for the programme committee to judge the importance, quality and community interest in the proposed topic. Each workshop or tutorial must have one or more designated organizers, and may have a programme committee as well. Proposals must be limited to three pages and provide at least the following information: + Title. + Description of the workshop topic and goals. (Why do you believe this is an interesting and significant topic?) + Intended audience. (From which areas do you expect potential participants to come? How many participants do you expect?); + Organization of the workshop. (Describe the intended format of the workshop, its expected duration (from half a day to two days) and preferred dates (August 10th, 11th, or both).) + Organizers' details. (Provide affiliations, backgrounds and contact details (email, etc.) of organizers and committee members) Proposals should be sent as plain text and as PDF to the workshop chair (michael.norrish at nicta.com.au). Workshop and tutorial chair: Michael Norrish (NICTA) Important dates: Deadline for proposal submissions: 17th December 2007 Acceptance/rejection notification: 14th January 2008 Deadline for camera-ready copy of workshop notes: 14th July 2008 Workshop Dates: 10th-11th August 2008 ------------------------------------------------------------------------------ From highlighter0716 at gmail.com Sun Oct 14 09:07:57 2007 From: highlighter0716 at gmail.com (An li) Date: Sun, 14 Oct 2007 15:07:57 +0800 Subject: CISP 2008, Sanya, China: Deadline 10 November Message-ID: <3eb0bbfe0710140007l622ff05m671421ecb9332665@mail.gmail.com> ** Our apologies if you receive multiple copies of this announcement * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2008 International Congress on Image and Signal Processing (CISP 2008) ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 28 - 30 May 2008, Sanya, Hainan, China Submission Deadline: 10 November 2007 http://www.hainu.edu.cn/CISP2008 Call for Papers, Invited Sessions & Sponsorship The aim of CISP 2008 is to bring together researchers working in many different areas of image and signal processing to foster exchange of new ideas. The CISP 2008 proceedings will be published by the IEEE and will be indexed in both EI and ISTP. Selected good papers will be recommended for publication in SCI/SCI-E indexed international journals. CISP 2008 will be co-located with the 2008 International Conference on BioMedical Engineering and Informatics (BMEI 2008: http://www. hainu.edu.cn/BMEI2008), in order to promote cross-fertilization between the broad areas of biomedical engineering and signal processing. ABOUT SANYA Sanya is one of China's premier tourist destinations, with white-sand beaches, charming scenery, hot-springs, and popular activities such as scuba-diving and rafting. More than 20 ethnic groups, including Han, Li, Miao, and Hui, inhabit Sanya and make Sanya a wonderful place to appreciate the various cultures of China. For more information, visit the conference web page or email the secretariat at cisp2008 at hainu.edu.cn Join us at this major event in scenic Hainan !!! -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From oliver.obst at newcastle.edu.au Wed Oct 17 04:12:34 2007 From: oliver.obst at newcastle.edu.au (Oliver Obst) Date: Wed, 17 Oct 2007 12:12:34 +1000 Subject: Kein Betreff Message-ID: From oliver.obst at csiro.au Wed Oct 17 04:21:30 2007 From: oliver.obst at csiro.au (Oliver Obst) Date: Wed, 17 Oct 2007 12:21:30 +1000 Subject: Kein Betreff Message-ID: <36E44711-E254-4008-942F-F40F3FF4D605@csiro.au> -- Oliver Obst form follows function (Louis Sullivan). Fon: +61 2 9325 3278 http://oliver.obst.eu/ Autonomous Systems Lab CSIRO ICT Centre http://www.ict.csiro.au/asl/ From oliver.obst at csiro.au Wed Oct 17 04:25:41 2007 From: oliver.obst at csiro.au (Oliver Obst) Date: Wed, 17 Oct 2007 12:25:41 +1000 Subject: Confirmation Request (2881969997) In-Reply-To: References: Message-ID: <0D4C1D9C-98B4-459C-A236-76C9412CC851@csiro.au> On 17/10/2007, at 12:25 PM, 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: 2881969997, > 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 -- Oliver Obst form follows function (Louis Sullivan). Fon: +61 2 9325 3278 http://oliver.obst.eu/ Autonomous Systems Lab CSIRO ICT Centre http://www.ict.csiro.au/asl/ From francesco at ge.imati.cnr.it Wed Oct 17 15:50:10 2007 From: francesco at ge.imati.cnr.it (Francesco Robbiano) Date: Wed, 17 Oct 2007 15:50:10 +0200 Subject: Final CALL FOR PAPERS KAMC 2007 Message-ID: <47161312.5090508@ge.imati.cnr.it> [Apologies for cross-postings. Please forward this mail to anyone interested.] ----------------- Final CALL FOR PAPERS KAMC 2007 ----------------- Knowledge Acquisition from Multimedia Content December 5, 2007, Genova, Italy Co-Located with the International Conference on Semantics and Digital Media Technologies (SAMT 2007) Website: http://www.ist-live.org/kamc2007/ ------------------ Submission Deadline: October 30, 2007 (extended) Description In recent years significant advances have been made in the area of automatic extraction of low-level features from audiovisual content. However, little progress has been achieved in the identification of high-level semantic features or the effective combination of semantic features derived from different modalities. Knowledge acquisition is becoming a key-enabling factor of the above tasks towards more scalable and reliable solutions, and thus its automation is becoming critical. As the deployment of knowledge enhances the robustness of extraction while on the other hand the continuous extraction of semantic information can enrich this knowledge, synergistic approaches that combine multimedia extraction and knowledge evolution in a bootstrapping common framework to introduce new opportunities in semantic multimedia applications. Integration with additional sources of information, e.g. by using human annotation tools or real-time event services, may further simplify and disambiguate semantic multimedia information systems. Moreover, adaptation to a particular domain, for example to sports events, such as the Olympic games, is essential in order to reduce the complexity of multimedia analysis. In this context, unified modeling and representation of multimedia and domain-specific knowledge, ontology evolution, and standard and non-standard inference services for multimodal semantic knowledge fusion, form cutting edge technologies. Key note speakers at the workshop: Fabio Ciravegna, University of Sheffield Alan Smeaton, Dublin City University Topics of Interest This workshop invites contributions on all topics related to semantic multimedia information systems. Special emphasis is given in challenging applications, such as the analysis of sports broadcasts. We anticipate some significant discussion owing to differences in opinions about approaches to take in solving the relevant joint problems, and we invite you to join the workshop to give your views on the following, as well as related topics * Knowledge-driven multimedia analysis * Video, image, audio and text semantics extraction * Knowledge representation and reasoning for multimedia understanding * Multimedia ontologies * Deductive, abductive, rule-based reasoning * Knowledge-based production support systems * Knowledge-based systems in real-time environments * Ontology evolution * Ontology enrichment, learning, population and coordination * Fusion of knowledge extracted from multiple data sources (channels, modalities, streams) * Real-time algorithms with or without hardware accelerations * Semi-automatic offline or online human annotation * Personalised content broadcasting * Recommendation systems and collaborative filtering Aims of the Workshop This workshop aims to bring together researchers and members from the industry interested in semantic multimedia information systems. In particular, it targets researchers dealing with multimedia analysis, annotation, evolution, reasoning, real time analysis of audiovisual data and multi stream analysis. It also targets professionals working with semantic multimedia information systems in image and video databases, audiovisual archives, sport industry, media production and broadcast industry, etc. Workshop Structure The workshop will be divided into two sessions, each of which started with a keynote speech. Confirmed speakers are Alan Smeaton (Dublin City University) and Fabio Ciravegna (University of Sheffield). Each session will include presentations of accepted scientific and technical papers from the community. Accepted posters will be presented during the session breaks. The workshop will be concluded with a panel discussion involving the invited speakers, representatives of the projects LIVE and BOEMIE and the audience. Important Dates Paper submission: October 30, 2007 (extended) Notification of acceptance: November 14, 2007 Camera ready submission: November 27, 2007 Workshop: December 05, 2007 Submission We welcome submissions of full and short papers. Full papers should not exceed 15 pages and short papers should not exceed 8 pages. Accepted short papers will be presented as posters during the session breaks. Declined full papers might be accepted as short papers for presentation at the workshop. Submissions should be formatted according to the Springer LNCS format (http://www.springer.de/comp/lncs/authors.html) and be submitted in PDF format through the submission site of the workshop: http://www.easychair.org/KAMC2007/ Workshop proceedings will be provided as hand-outs during the workshop and will be published online as CEUR-WS proceedings. Please note that at least one author of an accepted papers must register for the SAMT 2007 conference to be included in the workshop proceedings. Organising Committee Tobias Buerger, Salzburg Research Forschungsgesellschaft m.b.H., Austria Stamatia Dasiopoulou, Informatics and Telematics Institute, Greece Christian Eckes, Fraunhofer IAIS, Germany Georg Guentner, Salzburg Research Forschungsgesellschaft m.b.H., Austria Stavros J. Perantonis, NCSR Demokritos, Greece Vassilis Tzouvaras, National Technical University of Athens, Greece Janez Zaletelj, University of Ljubljana, Slovenia Programme Commitee (preliminary) Yannis Avrithis, NTUA, Greece Alexia Briassouli, Informatics and Telemantics Institute, Greece Sylvana Castano, University of Milan, Italy Ralph Ewerth, Philipps-Universitdt Marburg, Germany Alfio Ferrara, Uni of Milano, Italy Bernd Freisleben, Philipps-Universitdt Marburg, Germany Michael Hausenblas, Joanneum Research, Austria Diana Maynard, University of Sheffield, UK Georgios Paliouras, NCSR Demokritos, Greece Frederic Precioso, Laboratoire ETIS, ENSEA, France Carsten Saathoff, Koblenz University, Germany Alan Smeaton, Dublin City University, Ireland Giorgos Stoilos, NTUA, Greece Chrisa Tsinaraki, Technical University of Crete, Greece Paulo Villegas, Telefonica I+D, Spain Rupert Westenthaler, Salzburg Research Forschungsgesellschaft mbH, Austria Sponsors EU funded Integrated Project LIVE (http://www.ist-live.org) and Specific Targeted Research Project BOEMIE (http://www.boemie.org) ------------------------------------------------------------------------------------ TO BE REMOVED FROM THIS LIST You are receiving this email because you have participated in a previous EWIMT or SAMT related event. If you would like to be removed from the SAMT publicity email list, please reply to this message with the word 'REMOVE' in the SUBJECT LINE. This email should be addressed to: samt07 at ge.imati.cnr.it. You will be removed from this list when we receive your reply. --------------------------------------------------------------- Francesco Robbiano Istituto per la Matematica Applicata e Tecnologie Informatiche Consiglio Nazionale delle Ricerche via de Marini 6 - 16149 GENOVA Email: francesco at ge.imati.cnr.it related site: http://www.ima.ge.cnr.it/ima/smg/people.html#robbiano tentative blog: http://frobbiano.blogspot.com/ LinkedIn: http://www.linkedin.com/in/frobbiano Skype: callto://frobbiano tel. +39-010-6475663 - fax +39-010-6475660 ---------------------------------------------------------------- From lobrst at mitre.org Fri Oct 19 23:38:34 2007 From: lobrst at mitre.org (Obrst, Leo J.) Date: Fri, 19 Oct 2007 17:38:34 -0400 Subject: CFP: Ontology for the Intelligence Community, 2007: Nov. 28-29, Columbia, MD Message-ID: <9F771CF826DE9A42B548A08D90EDEA800271B8D4@IMCSRV1.MITRE.ORG> CALL FOR PARTICIPATION ONTOLOGY FOR THE INTELLIGENCE COMMUNITY: November 28-29, 2007 - Hilton Hotel, COLUMBIA, MD November 30, 2007: special session (see below) EARLY REGISTRATION IS ENCOURAGED AS SPACE IS LIMITED. EARLY-BIRD RATES END ON NOVEMBER 1. Registration will include a copy of the proceedings of the conference. The meeting will commence with registration at 8.30pm on Wednesday, November 28, and conclude at 4pm on Thursday, November 29. Further details, including the complete program, are available at http://ncor.us/oic2007 PRESENTATIONS WILL INCLUDE: INVITED TALKS Todd Hughes (DARPA): Toward a Data Integration and Exploitation System that Learns Werner Ceusters (NCOR, Buffalo): How to Keep Track of Absolutely Everything Steven Robertshaw (Defence Science and Technology Laboratory, UK): Ontology vs. Ontologies - The Intelligence Community Needs to Embrace Both David C. Roberts (Chief Technology Officer and Chief Data Architect, CIA): Intelligence and the Semantic Imperative SUBMITTED TALKS Brian Ulicny, et al. Uses of Ontologies in Open-Source Blog Mining Elisa F. Kendall, et al. Policies for Public Domain Ontologies for the Intelligence Community Richard Lee, The Use of Ontologies to Support Intelligence Analysis Chumki Basu, et al. Creating a Geospatial and Visual Information Ontology for Analysts Terry Janssen, et al. A Multi-INT Geospatial and Temporal Semantic Reasoning Framework for Intelligence Analysis Support David Silberberg, et al. Achieving Ontology-Assisted Query of Graph Databases Eric Little and Kathryn B. Laskey, Ontologies and Probabilities: Working Together for Effective Multi-INT Fusion S. Stoutenburg, et al. Ontologies for Rapid Integration of Heterogeneous Data for Command, Control, and Intelligence Troy Self, et al. Ontology-Driven Imagery Analysis Michael N. Huhns and Marco G. Valtorta, Ontological Support for Bayesian Evidence Management James Ressler and Mike Dean, Geospatial Ontology Trade Study Rick Hayes-Roth and Curtis Blais, A Pragmatic Foundation for Defining a Rich Semantic Model of Track Andrew Shilliday, et al. Toward Automated Provability-Based Semantic Interoperability between Ontologies for the Intelligence Community CONCLUDING PANEL DISCUSSION: OWL: Why, and Why Not? Panelists: Bill Andersen (Ontology Works) Mike Dean (BBN Technologies) Leo Obrst (The MITRE Corporation) Barry Smith (NCOR, Buffalo) Chris Welty (IBM Watson Research Center) The complete program and registration details are now available on the OIC website at: http://ncor.us/oic2007 ==================== OIC-2007 Special Classified Session (Day Three) An associated classified event, open to those holding TS/SCI Clearances, will take place on November 30, 2007 at the Lockheed Martin SCIF in Hanover, MD. For details, including registration procedure, please see: http://www.mitre.org/register/oic/ OIC-2007/Classified Chairs: Leo Obrst (The MITRE Corporation), Terry Janssen (Lockheed Martin), Kevin Lynch (CIA) Hosted by Lockheed Martin, The MITRE Corporation _____________________________________________ Dr. Leo Obrst The MITRE Corporation, Information Semantics lobrst at mitre.org Information Discovery & Understanding, Command and Control Center Voice: 703-983-6770 7515 Colshire Drive, M/S H305 Fax: 703-983-1379 McLean, VA 22102-7508, USA From broersen at cs.uu.nl Tue Oct 23 13:44:54 2007 From: broersen at cs.uu.nl (Jan Broersen) Date: Tue, 23 Oct 2007 13:44:54 +0200 Subject: Norm Change Workshop - Call for Participation Message-ID: <471DDEB6.3090805@cs.uu.nl> Workshop on Formal Models of Norm Change University of Luxembourg November 29-30, 2007 URL: http://icr.uni.lu/normchange07/ Formal models of norm change have been drawing attention since the seminal works of Alchourrón and Bulygin on normative systems, and that of Alchourrón, Gärdenfors and Makinson on the logic of theory change. In order to represent the dynamics of obligations and permissions, several deontic logics have been proposed. However, these systems did not explicitly refer to possible changes in the underlying norms - if norms were mentioned, they were assumed to be invariable. For the latest developments in areas such as the study of virtual organizations and communities, distributed environments like electronic institutions, multiagent systems, and p2p networks, the static view of norms no longer suffices. In these new applications, norms are introduced to regulate multi-agent interactions. Depending on which interactions are deemed desirable for a society, new norms may be created and old norms may need to be retracted. In this dynamic setting, it is essential to distinguish norms from obligations and permissions as studied by deontic logic, to understand the formal properties specific for the dynamics of norms, and to describe how such objects can be manipulated (i.e. revised, merged, institutionalized). Some first steps in this direction have been already made. Examples are the study of granting permissions or the logic of constitutive norms in the latest Dagstuhl Seminar on Normative Multiagent Systems (NorMAS07). Nevertheless, a formal model that captures the relevant features of norm change is still lacking. A formal model of norm change is expected to raise new questions about the interaction between the personal desires and goals of an agent and the norms resulting from the society of agents it is part of. Game theoretic semantics for the logical relation between norms and motivations in multiagent systems have been given, but only for the static case. This led several researchers to reconsider the issue of norm change. These researchers come from different areas, such as philosophy, computer science, formal logic, cognitive science, and economics. The aim of this workshop is to bring representatives of these communities together and to promote cross-fertilization of ideas. PROGRAM: Thursday, November 29th: * Opening (John-Jules Meyer) * Merging Policies (Laurence Cholvy) * Revision of Norms in Defeasible Logic (Antonino Rotolo) * Autonomous Multi-Agent Systems that Change: a Framework and Some Challenges (Luca Tummolini, Emiliano Lorini and Cristiano Castelfranchi) * TBA (Marek Sergot) * Revision of Rules in Non-Monotonic Reasoning and Logic Programming (Alexander Bochman) * An Input/Output Perspective on Norm Change (Leon van der Torre and Gabriella Pigozzi) Friday, November 30th: * Revision of Rules (Célia da Costa Pereira) * Revising and Merging of Rules (Souhila Kaci) * Normative Systems Games, Social Laws or Intention Revision (Thomas Ågotnes, Wiebe van der Hoek and Mike Wooldridge) * Preference Update (Fenrong Liu) * The Logic of Prescriptions: Free Choice Permission and Normative Gaps (Rosja Mastop) * A Logic for Social Norms Resulting from Conflicting Group Preferences (Jan Broersen and Paolo Turrini) There is no workshop registration fee. However, due to limited space, participants should register by sending an email to Gabriella Pigozzi (gabriella.pigozzi at uni.lu). -- ------- Jan Broersen ------------- Intelligent Systems Group -- -- www.cs.uu.nl/~broersen/ ---------- Universiteit Utrecht ---- ---- tel: +31 302533193 ------------ Padualaan 14, De Uithof -- ---- fax: +31 302513791 --------------- 3584 CH UTRECHT ------ -- From carlos.areces at loria.fr Wed Oct 24 14:30:17 2007 From: carlos.areces at loria.fr (Carlos Areces) Date: Wed, 24 Oct 2007 14:30:17 +0200 Subject: CFP: 5th Worskhop on "Methods for Modalities" (M4M-5) Message-ID: <471F3AD9.9020603@loria.fr> ==================================================================== CALL FOR PARTICIPATION 5th Worskhop on "Methods for Modalities" (M4M-5) http://www.lsv.ens-cachan.fr/M4M5 Ecole Normale Superieure de Cachan, France November 29-30, 2007 ==================================================================== Scope ----- The workshop "Methods for Modalities" (M4M) aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. Here the term "modal logics" is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal and hybrid logic, etc. To stimulate interaction and transfer of expertise, M4M will feature a number of invited talks by leading scientists, research presentations aimed at highlighting new developments, and submissions of system demonstrations. More information about the previous editions and the M4M5 program can be found on http://m4m.loria.fr/ The workshop will take place in Ecole Normale Supérieure de Cachan (ENS de Cachan). ENS de Cachan is a prestigious public institution of research and higher education, founded in 1912. It is one of the French "Grandes Ecoles" which are considered to be the pinnacle of French higher education. Access to/from central Paris is easy and takes 30 minutes by RER train (line B). Dates of the Workshop: November 29-30, 2007 Registration can be made via the following address: http://www.lsv.ens-cachan.fr/M4M5/ Invited speakers ----------------- Ahmed Bouajjani (University of Paris 7) Rewrite systems with data : A framework for reasoning about systems with unbounded structures and data domains Patricia Bouyer (OUCL, Oxford - LSV, ENS Cachan) Model-Checking Timed Temporal Logics Balder ten Cate (University of Amsterdam) XML from the viewpoint of modal logic Koen Claessen (Chalmers University of Technology) Finite Model Finding: Implementation Techniques and Non-standard Applications Wiebe van der Hoek (University of Liverpool) Extended Modal Logic for Social Software Program Committee ----------------- Natasha Alechina, University of Nottingham Carlos Areces, INRIA Lorraine (co-chair) Philippe Balbiani, IRIT, Nicole Bidoit, Universite Paris-Sud Patrick Blackburn, INRIA Lorraine Torben Brauner, Roskilde University Stephane Demri, ENS de Cachan (co-chair) Maarten de Rijke, University of Amsterdam Valentin Goranko, University of the Witwatersrand Rajeev Gore, The Australian National University, Canberra Carsten Lutz, Dresden University of Technology Nicolas Markey, ENS de Cachan Angelo Montanari, University of Udine Ulrike Sattler, University of Manchester Holger Schlingloff, Humboldt University / FIRST Renate Schmidt, University of Manchester Johan van Benthem, University of Amsterdam/ Stanford University Organizing Committee -------------------- Rémi Brochenin, Stéphane Demri, Diego Figueira, Etienne Lozes, Geneviève Quéau, Arnaud Sangnier. ================================================================== Carlos Areces phone : +33 (0)3 54 95 84 90 INRIA Researcher fax : +33 (0)3 83 41 30 79 e-mail: carlos.areces at loria.fr INRIA Lorraine. www : http://www.loria.fr/~areces Equipe TALARIS - Batiment B 615, rue du Jardin Botanique 54600 Villers les Nancy Cedex, France From fs at doc.ic.ac.uk Thu Oct 25 12:45:51 2007 From: fs at doc.ic.ac.uk (F Sadri) Date: Thu, 25 Oct 2007 11:45:51 +0100 Subject: Call for Paper- the Computer Journal, Special Issue on "Artificial Societies for Ambient Intelligence" Message-ID: <472073DF.3010509@doc.ic.ac.uk> Call for Papers the Computer Journal ISSN : 0010-4620 Special Issue on "Artificial Societies for Ambient Intelligence" http://asami07.cs.rhul.ac.uk/cj-cfp.html Aim & Scope Ambient Intelligence (AmI) seeks to create 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. In this special issue we aim at presenting the application and development of Artificial Societies for AmI, establish a body of knowledge and a theoretical umbrella for this, and use the resulting research to relate existing work on areas such as the semantic web, cognitive and social agents, and ambient and ubiquitous technologies. We also hope to present current research in the area of agent societies for AmI, where human activities are supported by social organisations of agents, computing devices or both, and assess the outcomes of such research. Our intention is to complement existing Ubiquitous Computing efforts that focus more on distributed systems and less on complex systems construed as artificial agent societies. This special issue therefore aspires to amalgamate ongoing research in distributed systems and complex multi-agent systems with the aim of strengthening the synergy between the two fields. We encourage the submission of innovative and mature results in specifying, developing and deploying artificial societies for ambient intelligence. Areas of interest include, but are not limited to, the following topics: * Social architectures * Agent Interaction * Reasoning and knowledge representation * Reactivity and pro-activity * Learning and adaptivity * 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 Important Dates Submission Deadline: January 21, 2008 Acceptance Notice: April 7, 2008 Final Manuscript: May 2, 2008 Publication Date: 2nd Quarter, 2008 (Tentative) Submission Guidelines The work submitted must be in the form of high quality, original papers, which are not simultaneously submitted for publication elsewhere. Papers should be formatted according to the journal style, and not exceed 25 pages including figures, references, etc. The papers must be submitted via the journal web submission route and simultaneously submit a PDF version of complete manuscript to asami-guest-eds08 at cs.rhul.ac.uk. Submitted papers will be peer reviewed according to their originality, quality and relevance to this special issue and the journal. Guest Editors Dr. Fariba Sadri Department of Computing, Imperial College London, UK URL: http://doc.ic.ac.uk/~fs Dr. Kostas Stathis Computer Science Department, Royal Holloway, University of London, UK URL: http://www.cs.rhul.ac.uk/~kostas From wanyama at cit.mak.ac.ug Fri Oct 26 16:53:49 2007 From: wanyama at cit.mak.ac.ug (dr tom wanyana) Date: Fri, 26 Oct 2007 17:53:49 +0300 Subject: WARNING! (1702815822) In-Reply-To: References: Message-ID: <20071026145349.41665569549@mail.mak.ac.ug> event administration writes: > 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: 1702815822, > and the reply is directed to , > and the 'From' address of your reply is . > > All requests about this mailing list > should be sent to > Eng. Dr. Tom Wanyama Senior Lecturer Dept. of Networks Ag. Deputy Dean (Academic Affairs) Faculty of Computing and IT Makerere University P. O. Box 7062 Kampala Uganda Phone: 256-75-192 9431 Alt: Email: wtomug at yahoo.com From sadighim at gmail.com Sat Oct 27 18:20:37 2007 From: sadighim at gmail.com (Mohsen Sadighi) Date: Sat, 27 Oct 2007 09:20:37 -0700 Subject: WARNING! (3142569372) In-Reply-To: References: Message-ID: Hi and thanks for your helps. Please use my new e-mail addr sadighim at gmail.com instead of sadighim at cc.iut.ac.ir Best Mohsen Sadighi On 10/26/07, 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 Sat Oct 27 18:21:36 2007 From: sadighim at gmail.com (Mohsen Sadighi) Date: Sat, 27 Oct 2007 09:21:36 -0700 Subject: Confirmation Request (2516455161) In-Reply-To: References: Message-ID: On 10/27/07, 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 heiner at informatik.uni-mannheim.de Mon Oct 29 13:47:37 2007 From: heiner at informatik.uni-mannheim.de (Heiner Stuckenschmidt) Date: Mon, 29 Oct 2007 13:47:37 +0100 Subject: ESWC 2008: 2nd Call for Workshop Proposals Message-ID: <000d01c81a2a$44cd4130$22579b86@informatik.unimannheim.de> 2nd Call for Workshop Proposals 5th European Semantic Web Conference 01 - 05 June 2008 Tenerife, Spain http://www.eswc2008.org/ 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 participants from academia and industry. Besides the main technical programme, ESWC will host a number of workshops on topics related to the general theme of the conference. The role of the workshops is to provide a platform for a more intensive scientific exchange amongst researchers interested in a particular topic and as a meeting point for the community. The workshops should provide the opportunity to present and discuss ongoing work and new ideas in subfield of Semantic Web research. In order to meet these goals, workshop should address topics that satisfy the following criteria: - the topic falls in the general scope of the ESWC conference (compare http://www.eswc2008.org/) - there is a clear focus on a specific technology, problem or application - there is a sufficiently large community interested in the topic In particular, we encourage the submission of workshop proposals on - fundamental problems of the semantic web such as heterogeneity, scalability and distribution - applications of semantic web technologies in specific domains - important enabling technologies and their adaptation to the needs of the semantic web - aspects of semantic web research that have been neglected so far Workshop proposals should be sent to the workshop chair (heiner at informatik.uni-mannheim.de) before December 2007 as a single PDF file of no more than 5 pages and should contain the following information - name, address and experience of the workshop organizers - the proposed topic and its role in the semantic web - a clear explanation of the scope of the workshop - a description of the community addressed, information about it size and related activities - if possible a tentative list of PC members Proposers of accepted workshops have to prepare a workshop webpage containing a call for papers and detailed information about the workshop organization and timelines by mid January. Other relevant dates are the following. Important Dates: Workshop Proposals Due: December 1, 2007 Notification of Acceptance: December 15, 2007 Workshop URL due: January 11, 2008 Proposed timeline for workshops: Deadlines: march 7, 2008 Notifications: April 4, 2008 Camera ready: April 18, 2008 Workshop Notes due: May 1, 2008 Heiner Stuckenschmidt (ESWC 2008 Workshop Chair) -- ============================================= Prof. Dr. Heiner Stuckenschmidt Institut für Informatik Universität Mannheim A5, 6 68159 Mannheim Room C216 tel.: +49 621 181 2530 fax: +49 621 181 2679 email: heiner at informatik.uni-mannheim.de www: http://ki.informatik.uni-mannheim.de --------------------------------------------- Life is a lemon and I want my money back! From carlos.areces at loria.fr Wed Oct 31 06:56:21 2007 From: carlos.areces at loria.fr (Carlos Areces) Date: Wed, 31 Oct 2007 06:56:21 +0100 Subject: First CFP: Advances in Modal Logic, 9-12 September 2008, LORIA, Nancy, France Message-ID: <47281905.3000109@loria.fr> Please circulate. Apologies for multiple copies []<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<> FIRST 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: - applications of modal logic - computational aspects of modal - complexity and decidability of modal and temporal logics - modal and temporal logic programming - model checking - theorem proving for modal logics - history of modal logic - philosophy of modal logic - specific instances of modal logic - description logicsAdvances in Modal Logic - 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 - 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 - variations of modal logic - hybrid logic - intuitionistic logic - monotonic modal logic - substructural logic Papers on related subjects will also be considered. INVITED SPEAKERS - to be confirmed 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 up to about 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) Alexandru Baltag (University of Oxford, UK) Guram Bezhanishvili (New Mexico State University, USA) Philippe Balbiani (IRIT, Toulouse, France) 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 (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) Ulrike Sattler (University of Manchester, UK) Ildiko Sain (Hungarian Academy of Sciences) 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