From riccardo.antonini at uniroma2.it Mon Apr 2 09:59:14 2007 From: riccardo.antonini at uniroma2.it (Riccardo Antonini) Date: Mon, 2 Apr 2007 09:59:14 +0200 Subject: First call for the 6th International Summer School on People-centred interaction design in the Convivio tradition Message-ID: First call for the 6th International Summer School on People-centred interaction design in the Convivio tradition sponsored by IHT-Unicum, EnFo and other bodies in the Swedish county of Gävleborg Tentative title: Nurturing ideas in local communities Organisers: IHT – Unicum in cooperation with KTH, the technical university of Stockholm Venue: Bollnäs, Sweden (2 ½ hours by train north of Stockholm) Dates: June 22 (midsummer celebration) – July 6, 2007. Lessons start Monday, June 25. Students are required to participate in the school activities at least the full days June 25-29 and July 2-6. Approximate (heavily sponsored) fee: SEK , which is about €, including lectures, ateliers, atelier material, accommodation (in double-rooms), all meals (breakfast, coffee, lunch, dinner) for the whole period, three social events, local transportation. Travel expenses to and from Bollnäs are not included. General programme: Lectures and key-notes in the morning, atelier work in 5 projects with about 10 participants each in the afternoons. The projects are intended to be conducted in close cooperation with users from the surrounding society. The final day will be a public presentation of results and participants will get diplomas. Expected participants: Last year Master students and PhD students and professionals from The whole of Europe and other parts of the world with background in, but not limited to: design, social and behavioural sciences, political and economic sciences, computer science, communication sciences, arts Topics will include, but not be limited to the following areas: Rural development, Networked communities, Enabling for people’s differences, Sharing precompetitive competence, Reorganising communities Participants will be given the opportunity to choose between atelier themes that will be published in due course of time. What is in it for companies: We welcome ideas for ateliers not later than March 31. The state-of-the art presentations will be open, which means that companies have the possibility to follow them as well as the presentations of the project results. An intention is to stimulate close contacts between students and companies. It is a great opportunity to strengthen activities in the area of interaction design. Updated information on http://www.ihtunicum.se/summerschool Please send expression of interest to summerschool at ihtunicum.se Looking forward hearing from you, Yngve Sundblad, KTH, Stockholm, Riccardo Antonini, CRR, Rome, directors of the school Hans Persson, IHT-Unicum, Bollnäs, local organiser ==== Prof. Riccardo Antonini www.romaricerche.it Consorzio Roma Ricerche c/o Polo Tecnologico Industriale Romano via Ardito Desio 60 00131 Roma GOOGLE "Riccardo Antonini" to Know More tel. +39-06-35402416 mobile +39-348-5854065 fax +39-06-233214790 Skype riccardo.antonini1 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mirko.viroli at unibo.it Mon Apr 2 17:30:43 2007 From: mirko.viroli at unibo.it (Mirko Viroli) Date: Mon, 02 Apr 2007 17:30:43 +0200 Subject: Call for Track Proposals: ACM SAC 2008 (Symposium on Applied Computing) Message-ID: <461121A3.1060000@unibo.it> CALL FOR TRACK PROPOSALS – SAC 2008 The 23rd ACM Symposium on Applied Computing March 16 – 20, 2008, Fortaleza, Ceará, Brazil http://www.acm.org/conferences/sac/sac2008 For the past twenty-two years the ACM Symposium on Applied Computing (SAC) has been a primary and international forum for applied computer scientists, computer engineers and application developers to gather, interact and present their work. The ACM Special Interest Group on Applied Computing (SIGAPP) is the sole sponsor of SAC. The conference proceedings are published by ACM and are also available online through ACM's Digital Library. SAC is based on a flexible structure of mostly self-contained and self-managed tracks. Over the past years SAC hosted tracks on a variety of timely topics such as Artificial Intelligence, Bioinformatics, Computer Security, Database Technology, Data Mining, Embedded Systems, Evolutionary Computing, Distributed Systems and Grid Computing, Mobile Computing, Programming Languages, Software Engineering, and Web Technologies. SAC 2007, which was held in Seul, Korea, consisted of 38 tracks that hosted 256 accepted papers out of about 786 submissions. More information on past SAC events can be found at http://www.acm.org/conferences/sac. The 23nd Annual SAC meeting will be held 16-20 March 2008 in Fortaleza, Ceará, Brazil, and is hosted by the University of Fortaleza (UNIFOR) and the Federal University of Ceará (UFC). The conference Organizing Committee solicits proposals for organizing and hosting tracks. Prospective track chairs should submit an up to two-page description for organizing a track, which should include at least the following items: 1) The proposed title for the track with a description of its aims, topics it will cover, and rationale for having such a track in SAC. This rationale should refer to any related conference events that are held regularly and why the proposed track differs from them or complements them. The proposed track should not be overly general but also not overly specialized, thus being able to attract a wide audience of people sharing similar interests. Proposals from industry are also welcomed. Despite its name, SAC also welcomes topics of mostly theoretical nature, provided there is clear practical potential in applying the results of such work. 2) A short description of the activities the track chair(s) will undertake upon acceptance of the proposal, to disseminate the call-for-papers for the track, and to manage the review process. (Specific guidelines to track chairs regarding these issues will also be provided.) 3) A short CV of the prospective track chair(s) with reference to research interests and publication record directly related to the themes of the proposed track, and any previous experience of involvement in the organization of similar events (in the interest of brevity, reference to a personal web page where such information can be found will be sufficient). All proposals will be reviewed by the Program Committee using the criteria described above. The Committee reserves the right to: (1) accept a proposal as is, (2) require modifications before acceptance, (3) recommend merging of similar proposals with a considerable overlap in the topics addressed (in this case the track chairs of the different proposals will be asked to form a single chair), (4) reject a proposal. Upon acceptance of a proposal, the track chairs will be notified of their responsibilities in managing the affairs of their track; as such responsibilities are defined by both the ACM and SAC conference rules. The Committee reserves the rights to cancel a track at any time if these responsibilities are not addressed adequately by the track chair(s). IMPORTANT DATES April 13, 2007: Submission of track proposals April 30, 2007: Notification of acceptance/rejection of tracks Sept 8, 2007: Submission of papers by authors Oct 16, 2007: Notification of paper acceptance/rejection Please submit your proposal electronically in any acceptable readable format to: Mirko Viroli SAC 2008 Program Co-Chair Alma Mater Studiorum - Università di Bologna, Italy mirko.viroli [@] unibo.it From walid.chainbi at lycos.com Tue Apr 3 12:19:53 2007 From: walid.chainbi at lycos.com (Walid Chainbi) Date: Tue, 03 Apr 2007 06:19:53 -0400 (EDT) Subject: Deadline is approaching for ATAC'2007 Message-ID: <20070403061953.HM.0000000000000dl@walid.chainbi.bos-mail-wwl17.lycos.com> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From azzurra.ragone at gmail.com Tue Apr 3 16:03:04 2007 From: azzurra.ragone at gmail.com (Azzurra Ragone) Date: Tue, 3 Apr 2007 16:03:04 +0200 Subject: Kein Betreff Message-ID: <46125e98.13c64979.40e5.ffffa179@mx.google.com> -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From azzurra.ragone at gmail.com Tue Apr 3 16:57:47 2007 From: azzurra.ragone at gmail.com (Azzurra Ragone) Date: Tue, 3 Apr 2007 16:57:47 +0200 Subject: Confirmation Request (3085956903) In-Reply-To: Message-ID: <46126b6c.059a7700.266b.ffffce72@mx.google.com> -----Original Message----- From: event administration [mailto:event-digest at in.tu-clausthal.de] Sent: Tuesday, April 03, 2007 4:54 PM To: Azzurra Ragone Subject: Confirmation Request (3085956903) This is an automated message from the mailing list manager Somebody (probably you) have requested the subscribe(digest) 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: 3085956903, 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 andres.sicard at gmail.com Tue Apr 3 16:26:54 2007 From: andres.sicard at gmail.com (Andres Sicard) Date: Tue, 3 Apr 2007 09:26:54 -0500 Subject: unsubscribe Message-ID: <23f17cbc0704030726n3ec2b554s5122d2ed8fe9c4b6@mail.gmail.com> -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From andres.sicard at gmail.com Tue Apr 3 19:14:55 2007 From: andres.sicard at gmail.com (Andres Sicard) Date: Tue, 3 Apr 2007 12:14:55 -0500 Subject: Confirmation Request (2897886232) In-Reply-To: References: Message-ID: <23f17cbc0704031014r108b7065mcf5fe5d87792b0e1@mail.gmail.com> On 4/3/07, 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: 2897886232, > 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 > > -- Andrés -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jim at cs.sfu.ca Tue Apr 3 18:56:22 2007 From: jim at cs.sfu.ca (Jim Delgrande) Date: Tue, 3 Apr 2007 09:56:22 -0700 (PDT) Subject: CFP Message-ID: <200704031656.l33GuMtw013608@cs.sfu.ca> Hello, could you please send out the following CFP for a multidisciplinary workshop on preferences. Thanks very much, Jim Delgrande ---------------------------------------------------------------------- James Delgrande Professor jim at: cs.sfu.ca School of Computing Science http://www.cs.sfu.ca/~jim Simon Fraser University +1 604 291-4335 (office) Burnaby, B.C. V5A 1S6 Canada +1 604 291-3045 (fax) ================================================== CALL FOR PAPERS 3rd Multidisciplinary Workshop on ADVANCES IN PREFERENCE HANDLING (M-PREF 2007) Held in conjunction with VLDB 2007 September 23 or 24, Vienna, Austria ================================================== Workshop URL: http://www.mycosima.com/vldb2007-preferences/ Conference URL: http://www.vldb2007.org/ --++ Workshop goals Although preferences have traditionally been studied in fields such as economic decision making, social choice theory, and Operations Research, they have nowadays found significant interest in computational fields such as Artificial Intelligence, Databases, and Human-computer interaction. This broadened scope of preferences leads to new types of preference models, new problems for applying preference structures, and new kinds of benefits. Explicit preference modeling provides a declarative way to choose among alternatives, whether these are solutions of problems to solve, answers of database queries, decisions of a computational agent, plans of a robot, and so on. Preference-based systems allow finer-grained control over computation and new ways of interactivity, and therefore provide more satisfactory results and outcomes. Preference models may also provide a clean understanding, analysis, and validation of heuristic knowledge used in existing systems such as heuristic orderings, dominance rules, and heuristic rules. Preferences are studied in many areas of Artificial Intelligence such as knowledge representation, multi-agent systems, constraint satisfaction, decision making, decision-theoretic planning, and beyond. Preferences are inherently a multi-disciplinary topic, of interest to AI, Databases, Logic Programming, Operation Research, and more. The workshop promotes this broadened scope of preference handling and continues a series of multidisciplinary workshops on preference handling (an ECAI-06 workshop, an IJCAI-05 workshop and a Dagstuhl-Seminar in 2004) which have been very successful. The workshop provides a forum for presenting advances in preference handling and for exchanging experiences between researchers facing similar questions, but coming from different fields.The workshop builds on the large number of AI researchers working on preference-related issues and on an increasing number of database researchers, but also seeks to attract researchers from multi-criteria decision making, economics, etc. These different research areas are represented in the program committee. --++ Topics of interest The scope of the workshop is intentionally broad and addresses all aspects of understanding, modeling, computational handling, and application of preferences. In particular, we welcome original contributions to these areas and contributions that provide cross-fertilization between these fields, like e.g. the application of AI techniques to database queries. Furthermore, we highly appreciate applications of preferences, in particular for personalized database applications. * Preference handling in database systems: - Preference query languages for SQL and XML - Algebraic and cost-based optimization of preference queries - Top-k algorithms and cost models - Ranking relational data and rank-aware query processing - Skyline query optimization - Preference management and repositories - Personalized search engines - Preference recommender systems * Preference handling in Artificial Intelligence - Qualitative decision theory - Non-monotonic reasoning - Preferences in logic programming - Preferences for soft constraints in constraint satisfaction - Preferences for search and optimization - Preferences for AI planning - Preferences reasoning about action and causality - Preference logic * Applications of preferences: - Web search - Decision making - Combinatorial optimization and other problem solving tasks - Personalized human-computer interaction - Personalized recommendation systems - e-commerce and m-commerce * Preference elicitation: - Preference elicitation in multi-agent systems - Preference elicitation with incentive-compatibility - Learning of preferences - User preference mining - Revision of preferences * Preference representation and modeling: - Linear and non-linear utility representations - Multiple criteria/attributes - Qualitative decision theory - Graphical models - Logical representations - Soft constraints - Relations between qualitative and quantitative approaches * Properties and semantics of preferences: - Preference and choice - Preference composition, merging, and aggregation - Incomplete or inconsistent preferences - Intransitive indifference - Reasoning about preferences * Comparison of approaches, cross-fertilization, interdisciplinary work --++ Program co-chairs James Delgrande School of Computing Science Simon Fraser University Burnaby, BC, V5A1S6, Canada Werner Kiessling Institute of Computer Science University of Augsburg Universitaetsstr. 14, D-86135 Augsburg, Germany --++ Program committee: * Wolf Tilo Balke, University of Hannover, Germany * Ronen Brafman, Stanford University, USA * Gerhard Brewka, University of Leipzig, Germany * Kevin C. Chang, University of Illinois at Urbana-Champaign, USA * Jan Chomicki, University of Buffalo, USA * Gautam Das, University of Texas at Arlington, USA * Jon Doyle, North Carolina State University, USA * James Delgrande, Simon Fraser University Vancouver, Canada * Matthias Ehrgott, University of Auckland, New Zealand * Burkhard Freitag, University of Passau, Germany * Parke Godfrey, York University, Canada * Judy Goldsmith, University of Kentucky, USA * Eric Horvitz, Microsoft Research, USA * John Horty, University of Maryland, USA * Vagelis Hristidis, Florida International University, USA * Ihab Ilyas, University of Waterloo, Canada * Ulrich Junker, ILOG, France * Werner Kiessling, University of Augsburg, Germany * Georgia Koutrika, Stanford University, USA * Jerome Lang, IRIT - Univ. Paul Sabatier, France * Thomas Meyer, NICTA Sydney, Australia * Barry O'Sullivan, University College Cork, Ireland * Francesca Rossi, University of Padova, Italy * Torsten Schaub, University of Potsdam, Germany * Alexis Tsoukias, LAMSADE, France * Toby Walsh, NICTA Sydney, Australia --++ Invited talk William Macready, VP Product Development, D-Wave Systems Inc, Vancouver: Quantum Computing, Databases and Preferences --++ Important dates: * Paper submission deadline: June 17, 2007 * Notification of acceptance or rejection: July 13, 2007 * Camera ready version of accepted papers: July 23, 2007 * Workshop: September 23 or 24, 2007 --++ Submission details Submissions consist of a maximum of 8 pages in two-column format including title, author names, abstract, and body. They should follow the style described in the VLDB guidelines (http://www.vldb2007.org/vldb_format.html) and use PDF as file format. Details can be found at the M-PREF 2007 home page. _______________________________________________ From pgomes at dei.uc.pt Wed Apr 4 10:17:31 2007 From: pgomes at dei.uc.pt (Paulo Gomes) Date: Wed, 4 Apr 2007 09:17:31 +0100 Subject: Second Call for Papers: Fourth Workshop on Textual Case-Based Reasoning (TCBR) Message-ID: <200704040817.l348Hi7t007977@smtp2.dei.uc.pt> [ Please circulate / Apologies for multiple postings ] ------------------------------------------------------------------ SECOND CALL FOR PAPERS Fourth Workshop on Textual Case-Based Reasoning "Textual Case-Based Reasoning: Beyond Retrieval" http://tcbr.dei.uc.pt Workshop at the Seventh International Conference on Case-Based Reasoning 15 August 2007 Belfast - Northern Ireland http://www.iccbr.org/iccbr07/ Paper Submission Deadline: 30 April 2007 ------------------------------------------------------------------ The aim of this workshop is to provide a forum for the discussion of trends, research issues and practical experiences in Textual Case-Based Reasoning (TCBR). TCBR applies the Case-Based Reasoning (CBR) problem-solving methodology to situations where experiences are predominantly captured in text form. The theme of the workshop is 'Textual Case-Based Reasoning: Beyond Retrieval'. We invite submissions of two types: - Research and application papers; and - Papers that address the workshop challenge. Submission topics for research and application papers ----------------------------------------------------- We particularly welcome contributions that explore approaches that address the workshop theme. Topics include, but are not limited to, the following: - Textual case authoring (e.g. from the Web, from semi-structured documents). - Adaptation of textual cases. - Explanation in TCBR. - Maintenance of textual case bases. - The relationship between textual CBR and related technologies, such as text mining, question-answering, dialogue systems, and human-language technology. - Approaches to multilingual TCBR, mixed content types (e.g. text and images) and collective TCBR. - Automated extraction of textual knowledge sources (e.g. cases, similarity measures, thesauruses, lexicons, taxonomies, ontologies & folksonomies). - Testing, evaluation, analysis and visualisation methods for TCBR. - Conversational TCBR. - TCBR case studies. Papers that address the workshop challenge ------------------------------------------ We encourage all potential workshop participants, individually or as a research group, to submit a short paper that addresses the workshop challenge (described below). Submission of a research or application paper (above) does not preclude submission of a workshop challenge paper. Accepted challenge papers will appear in the workshop proceedings, along with research and application papers. Short presentations of the accepted challenge papers at the workshop will form the basis for workshop discussions. The challenge that we propose consists in analysing the corpus of Air Investigation Reports available from the Transportation Safety Board of Canada. The reports are ordered by year and are available in English and French at: http://www.tsb.gc.ca/en/reports/ http://www.tsb.gc.ca/fr/reports/ Investigation reports are created by human experts to describe system malfunctions or procedural errors, in this case in Canadian air traffic. They are written in natural language, but may also contain images referenced from the text. They mostly share a common structure; most frequently, they are divided into sections such as Summary, Analysis, Safety Actions, and so on. Imagine that you are to use this corpus to build a TCBR system that supports human investigators. A TCBR system might support the investigators in tasks such as the following: - authoring a new investigation report; - proposing safety actions in response to a new incident; - discovering recurring unsolved problems. A non-exhaustive list of the difficulties to be overcome in building such a TCBR system includes: - the free-form vocabulary, the length of the documents, and the likelihood that section headers may not accurately describe section content; - multilingual support (English and French), and multimedia support (text and images); - possible obsolescence of cases due to, e.g., changes in aircraft manufacture, in airport infrastructure, or in policies and legal requirements. You might like to submit, for example, a 2 or 3 page paper that describes some of the problems in more detail; or a 3 or 4 page paper that proposes ways of overcoming some of these problems; or a 4 or 5 page paper that reports actual experience in addressing the problems (perhaps using the jColibri framework). We particularly welcome contributions that address the workshop theme ('Beyond Retrieval'). Format and submission --------------------- Papers of both types should be submitted in Springer LNCS format, which is the format required for the final camera ready copy, subject to the following page limits: - a maximum of 10 pages for research and application papers; and - a maximum of 5 pages for papers that address the workshop challenge. Authors' instructions along with LaTeX and Word macro files are available on the web at http://www.springer.de/comp/lncs/authors.html Accepted papers will appear in the Workshop Proceedings. We also plan to edit a special issue of a journal with extended versions of a selection of the accepted contributions. Instructions for submission can be found on the workshop web site. Important dates --------------- April 30, 2007: Deadline for workshop paper submissions May 28, 2007: Notification of acceptance for workshop papers June 25, 2007: Deadline for workshop final camera-ready copies August 15, 2007: TCBR Workshop, Belfast, Northern Ireland Organising committee -------------------- Derek Bridge, University College Cork, Ireland Paulo Gomes, University of Coimbra, Portugal Nuno Seco, University of Coimbra, Portugal From nza at Cs.Nott.AC.UK Wed Apr 4 16:14:48 2007 From: nza at Cs.Nott.AC.UK (nza at Cs.Nott.AC.UK) Date: 04 Apr 2007 15:14:48 +0100 Subject: British Logic Colloquium Message-ID: <200704041514.aa12111@pat.Cs.Nott.AC.UK> The British Logic Colloquium (BLC 2007) will be held in De Morgan House, Central London, 6th September to 8th September 2007; see http://www.dcs.bbk.ac.uk/~roman/blc/ for more details. Invited Speakers include: Samson Abramsky (Oxford University), Barry Cooper (Leeds University), Anuj Dawar (Cambridge University), Jean-Yves Girard (Marseille University), Rob Goldblatt (Victoria University, Wellington), Volker Halbach (Oxford University), Wilfrid Hodges (Queen Mary, London), Moshe Vardi (Rice University, Houston), Frank Wolter (Liverpool University), Boris Zilber (Oxford University). We invite contributed talks on any aspect of logic (please contact the organisers). There is a limited number of bursaries available for students who wish to attend. A bursary covers the conference fee and accommodation in London. Applications for bursaries should be accompanied by a CV, a letter of recommendation (normally from the student's supervisor) and will be allocated on the basis of proven ability in logic. For any enquiries, please contact the organisers: Robin Hirsch (r.hirsch at cs.ucl.ac.uk) and Michael Zakharyashev (michael at dcs.bbk.ac.uk). We thank the London Mathematical Society and the British Logic Colloquium for supporting this event. This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From jim at cs.sfu.ca Wed Apr 4 18:54:45 2007 From: jim at cs.sfu.ca (Jim Delgrande) Date: Wed, 4 Apr 2007 09:54:45 -0700 (PDT) Subject: CFP: ADVANCES IN PREFERENCE HANDLING Message-ID: <200704041654.l34GsjIH022274@cs.sfu.ca> ================================================== CALL FOR PAPERS 3rd Multidisciplinary Workshop on ADVANCES IN PREFERENCE HANDLING (M-PREF 2007) Held in conjunction with VLDB 2007 September 23 or 24, Vienna, Austria ================================================== Workshop URL: http://www.mycosima.com/vldb2007-preferences/ Conference URL: http://www.vldb2007.org/ --++ Workshop goals Although preferences have traditionally been studied in fields such as economic decision making, social choice theory, and Operations Research, they have nowadays found significant interest in computational fields such as Artificial Intelligence, Databases, and Human-computer interaction. This broadened scope of preferences leads to new types of preference models, new problems for applying preference structures, and new kinds of benefits. Explicit preference modeling provides a declarative way to choose among alternatives, whether these are solutions of problems to solve, answers of database queries, decisions of a computational agent, plans of a robot, and so on. Preference-based systems allow finer-grained control over computation and new ways of interactivity, and therefore provide more satisfactory results and outcomes. Preference models may also provide a clean understanding, analysis, and validation of heuristic knowledge used in existing systems such as heuristic orderings, dominance rules, and heuristic rules. Preferences are studied in many areas of Artificial Intelligence such as knowledge representation, multi-agent systems, constraint satisfaction, decision making, decision-theoretic planning, and beyond. Preferences are inherently a multi-disciplinary topic, of interest to AI, Databases, Logic Programming, Operation Research, and more. The workshop promotes this broadened scope of preference handling and continues a series of multidisciplinary workshops on preference handling (an ECAI-06 workshop, an IJCAI-05 workshop and a Dagstuhl-Seminar in 2004) which have been very successful. The workshop provides a forum for presenting advances in preference handling and for exchanging experiences between researchers facing similar questions, but coming from different fields.The workshop builds on the large number of AI researchers working on preference-related issues and on an increasing number of database researchers, but also seeks to attract researchers from multi-criteria decision making, economics, etc. These different research areas are represented in the program committee. --++ Topics of interest The scope of the workshop is intentionally broad and addresses all aspects of understanding, modeling, computational handling, and application of preferences. In particular, we welcome original contributions to these areas and contributions that provide cross-fertilization between these fields, like e.g. the application of AI techniques to database queries. Furthermore, we highly appreciate applications of preferences, in particular for personalized database applications. * Preference handling in database systems: - Preference query languages for SQL and XML - Algebraic and cost-based optimization of preference queries - Top-k algorithms and cost models - Ranking relational data and rank-aware query processing - Skyline query optimization - Preference management and repositories - Personalized search engines - Preference recommender systems * Preference handling in Artificial Intelligence - Qualitative decision theory - Non-monotonic reasoning - Preferences in logic programming - Preferences for soft constraints in constraint satisfaction - Preferences for search and optimization - Preferences for AI planning - Preferences reasoning about action and causality - Preference logic * Applications of preferences: - Web search - Decision making - Combinatorial optimization and other problem solving tasks - Personalized human-computer interaction - Personalized recommendation systems - e-commerce and m-commerce * Preference elicitation: - Preference elicitation in multi-agent systems - Preference elicitation with incentive-compatibility - Learning of preferences - User preference mining - Revision of preferences * Preference representation and modeling: - Linear and non-linear utility representations - Multiple criteria/attributes - Qualitative decision theory - Graphical models - Logical representations - Soft constraints - Relations between qualitative and quantitative approaches * Properties and semantics of preferences: - Preference and choice - Preference composition, merging, and aggregation - Incomplete or inconsistent preferences - Intransitive indifference - Reasoning about preferences * Comparison of approaches, cross-fertilization, interdisciplinary work --++ Program co-chairs James Delgrande School of Computing Science Simon Fraser University Burnaby, BC, V5A1S6, Canada Werner Kiessling Institute of Computer Science University of Augsburg Universitaetsstr. 14, D-86135 Augsburg, Germany --++ Program committee: * Wolf Tilo Balke, University of Hannover, Germany * Ronen Brafman, Stanford University, USA * Gerhard Brewka, University of Leipzig, Germany * Kevin C. Chang, University of Illinois at Urbana-Champaign, USA * Jan Chomicki, University of Buffalo, USA * Gautam Das, University of Texas at Arlington, USA * Jon Doyle, North Carolina State University, USA * James Delgrande, Simon Fraser University Vancouver, Canada * Matthias Ehrgott, University of Auckland, New Zealand * Burkhard Freitag, University of Passau, Germany * Parke Godfrey, York University, Canada * Judy Goldsmith, University of Kentucky, USA * Eric Horvitz, Microsoft Research, USA * John Horty, University of Maryland, USA * Vagelis Hristidis, Florida International University, USA * Ihab Ilyas, University of Waterloo, Canada * Ulrich Junker, ILOG, France * Werner Kiessling, University of Augsburg, Germany * Georgia Koutrika, Stanford University, USA * Jerome Lang, IRIT - Univ. Paul Sabatier, France * Thomas Meyer, NICTA Sydney, Australia * Barry O'Sullivan, University College Cork, Ireland * Francesca Rossi, University of Padova, Italy * Torsten Schaub, University of Potsdam, Germany * Alexis Tsoukias, LAMSADE, France * Toby Walsh, NICTA Sydney, Australia --++ Invited talk William Macready, VP Product Development, D-Wave Systems Inc, Vancouver: Quantum Computing, Databases and Preferences --++ Important dates: * Paper submission deadline: June 17, 2007 * Notification of acceptance or rejection: July 13, 2007 * Camera ready version of accepted papers: July 23, 2007 * Workshop: September 23 or 24, 2007 --++ Submission details Submissions consist of a maximum of 8 pages in two-column format including title, author names, abstract, and body. They should follow the style described in the VLDB guidelines (http://www.vldb2007.org/vldb_format.html) and use PDF as file format. Details can be found at the M-PREF 2007 home page. _______________________________________________ From jim at cs.sfu.ca Wed Apr 4 17:55:35 2007 From: jim at cs.sfu.ca (Jim Delgrande) Date: Wed, 4 Apr 2007 08:55:35 -0700 (PDT) Subject: CFP Message-ID: <200704041555.l34FtZj23974@css.css.sfu.ca> Dear Peter, Thank your for your email. I'll send the CFP (to the appropriate address!) shortly. A small point is that, in the trailing material in emails, there is: This e-mail was delivered to you by event [at] tu-clausthal.de, what is a moderated list run by Computational Intelligence Group of Clausthal University of Technology, Germany. In the case of any requests, questions, or comments, do not hesitate and contact the list administrator event-request [at] tu-clausthal.de ASAP. I believe that an "in." should precede "tu-clausthal.de". (The "in" is implied by later urls.) Best regards, Jim From jim at cs.sfu.ca Wed Apr 4 22:02:42 2007 From: jim at cs.sfu.ca (Jim Delgrande) Date: Wed, 4 Apr 2007 13:02:42 -0700 (PDT) Subject: CFP Message-ID: <200704042002.l34K2gAR022705@cs.sfu.ca> >I just redistributed your posting to the list. Thanks >for using our service ;-). And thanks for providing the service!! I find it an excellent source for calls for papers etc. Best regards, Jim From Jeremy.Dawson at rsise.anu.edu.au Thu Apr 5 00:48:59 2007 From: Jeremy.Dawson at rsise.anu.edu.au (Jeremy Dawson) Date: Thu, 05 Apr 2007 08:48:59 +1000 Subject: Computing: The Australasian Theory Symposium January 2008 In-Reply-To: References: Message-ID: <46142B5B.4060801@rsise.anu.edu.au> Preliminary Announcement CATS 2008 Computing: The Australasian Theory Symposium January 22-25, 2008 University of Wollongong, New South Wales, Australia http://uob-community.ballarat.edu.au/~pmanyem/cats-08/ The 14th Computing: The Australasian Theory Symposium (CATS) will be held at the University of Wollongong, New South Wales, Australia, during January 22-25, 2008. Wollongong is about an hour south of Sydney by train. CATS is one of the two premier annual conferences in theoretical computer science in the Asia-Pacific. See submission details at: http://uob-community.ballarat.edu.au/~pmanyem/cats-08/submission.html Authors are invited to submit papers that present original and unpublished research on topics including (but not limited to) the following areas: Algorithms and Data Structures, Complexity Theory, Graph Theory, Graph Algorithms and Combinatorics, Semantics of Programming Languages, Algorithms on Strings, Optimisation, Formal Program Specification and Transformation, Computational Algebra and Geometry, Computational Biology, Logic and Type systems, and New Paradigms of Computation. ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Any early indication of interest to attend would help us in planning the workshop and would be very much appreciated by the Organising Committee. ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ SUBMISSION The deadline for submission of papers will be sometime in August 2007. Submissions should be made electronically via http://www.easychair.org/CATS2008/ (abstracts first, then the full paper). PUBLICATION Submitted papers will be thoroughly refereed and accepted papers will appear in the electronic proceedings at http://crpit.com. Papers that are presented at CATS will appear in the ACM Digital Library. Full details about the publication policy is available at the CRPIT website (http://crpit.com/Authors.html). Proceedings from the last three CATS symposia are available online at: http://crpit.com/Vol65.html (2007), http://crpit.com/Vol51.html (2006), and http://crpit.com/Vol41.html (2005). For further information, see http://uob-community.ballarat.edu.au/~pmanyem/cats-08/ Program Committee Co-Chairs: James Harland, RMIT University, Australia (firstName.familyName at rmit.edu.au), Prabhu Manyem, University of Ballarat, Australia (p.familyName at ballarat.edu.au) From AdministratorofmailinglistsofCIG at TUC Wed Apr 4 09:37:55 2007 From: AdministratorofmailinglistsofCIG at TUC (AdministratorofmailinglistsofCIG at TUC) Date: Wed, 04 Apr 2007 09:37:55 +0200 Subject: CFP In-Reply-To: <200704031656.l33GuMtw013608@cs.sfu.ca> References: <200704031656.l33GuMtw013608@cs.sfu.ca> Message-ID: Dear Jim, thank you very much for your interest in our Event at CIG distribution list. You can send the CfP yourself through the list. Simply send it in a plain format (without that intro to administrators) to event at in.tu-clausthal.de. I will then approve it as it falls into the scope of our list. For more details on how to post announcements to our list, please check the Event at CIG list website: http://cig.in.tu-clausthal.de/event/ Best regards, Peter Novak, Event at CIG administrator. On Tue, 3 Apr 2007 09:56:22 -0700 (PDT) Jim Delgrande wrote: > > Hello, could you please send out the following CFP for a >multidisciplinary > workshop on preferences. > > Thanks very much, > Jim Delgrande > ---------------------------------------------------------------------- > James Delgrande > Professor jim at: >cs.sfu.ca > School of Computing Science > http://www.cs.sfu.ca/~jim > Simon Fraser University +1 604 >291-4335 (office) > Burnaby, B.C. V5A 1S6 Canada +1 604 >291-3045 (fax) > > > ================================================== > CALL FOR PAPERS > > 3rd Multidisciplinary Workshop on > > ADVANCES IN PREFERENCE HANDLING > > (M-PREF 2007) > > Held in conjunction with VLDB 2007 > September 23 or 24, Vienna, Austria > ================================================== > > > Workshop URL: >http://www.mycosima.com/vldb2007-preferences/ > Conference URL: http://www.vldb2007.org/ > > --++ Workshop goals > > Although preferences have traditionally been studied in >fields such > as economic decision making, social choice theory, and >Operations > Research, they have nowadays found significant interest >in > computational fields such as Artificial Intelligence, >Databases, and > Human-computer interaction. This broadened scope of >preferences > leads to new types of preference models, new problems >for applying > preference structures, and new kinds of benefits. >Explicit > preference modeling provides a declarative way to choose >among > alternatives, whether these are solutions of problems to >solve, > answers of database queries, decisions of a >computational agent, > plans of a robot, and so on. Preference-based systems >allow > finer-grained control over computation and new ways of >interactivity, > and therefore provide more satisfactory results and >outcomes. > Preference models may also provide a clean >understanding, analysis, > and validation of heuristic knowledge used in existing >systems such > as heuristic orderings, dominance rules, and heuristic >rules. > Preferences are studied in many areas of Artificial >Intelligence > such as knowledge representation, multi-agent systems, >constraint > satisfaction, decision making, decision-theoretic >planning, and beyond. > Preferences are inherently a multi-disciplinary topic, >of interest to > AI, Databases, Logic Programming, Operation Research, >and more. > > The workshop promotes this broadened scope of preference >handling and > continues a series of multidisciplinary workshops on >preference handling > (an ECAI-06 workshop, an IJCAI-05 workshop and a >Dagstuhl-Seminar in 2004) > which have been very successful. The workshop provides a >forum for > presenting advances in preference handling and for >exchanging experiences > between researchers facing similar questions, but coming >from different > fields.The workshop builds on the large number of AI >researchers working > on preference-related issues and on an increasing number >of database > researchers, but also seeks to attract researchers from >multi-criteria > decision making, economics, etc. These different >research areas are > represented in the program committee. > > --++ Topics of interest > > The scope of the workshop is intentionally broad and >addresses all > aspects of understanding, modeling, computational >handling, and > application of preferences. In particular, we welcome >original > contributions to these areas and contributions that >provide > cross-fertilization between these fields, like e.g. the >application of > AI techniques to database queries. Furthermore, we >highly appreciate > applications of preferences, in particular for >personalized database > applications. > > * Preference handling in database systems: > - Preference query languages for SQL and XML > - Algebraic and cost-based optimization of preference >queries > - Top-k algorithms and cost models > - Ranking relational data and rank-aware query >processing > - Skyline query optimization > - Preference management and repositories > - Personalized search engines > - Preference recommender systems > * Preference handling in Artificial Intelligence > - Qualitative decision theory > - Non-monotonic reasoning > - Preferences in logic programming > - Preferences for soft constraints in constraint >satisfaction > - Preferences for search and optimization > - Preferences for AI planning > - Preferences reasoning about action and causality > - Preference logic > * Applications of preferences: > - Web search > - Decision making > - Combinatorial optimization and other problem solving >tasks > - Personalized human-computer interaction > - Personalized recommendation systems > - e-commerce and m-commerce > * Preference elicitation: > - Preference elicitation in multi-agent systems > - Preference elicitation with incentive-compatibility > - Learning of preferences > - User preference mining > - Revision of preferences > * Preference representation and modeling: > - Linear and non-linear utility representations > - Multiple criteria/attributes > - Qualitative decision theory > - Graphical models > - Logical representations > - Soft constraints > - Relations between qualitative and quantitative >approaches > * Properties and semantics of preferences: > - Preference and choice > - Preference composition, merging, and aggregation > - Incomplete or inconsistent preferences > - Intransitive indifference > - Reasoning about preferences > * Comparison of approaches, cross-fertilization, >interdisciplinary work > > --++ Program co-chairs > > James Delgrande > School of Computing Science > Simon Fraser University > Burnaby, BC, V5A1S6, Canada > > Werner Kiessling > Institute of Computer Science > University of Augsburg > Universitaetsstr. 14, D-86135 Augsburg, Germany > > --++ Program committee: > > * Wolf Tilo Balke, University of Hannover, Germany > * Ronen Brafman, Stanford University, USA > * Gerhard Brewka, University of Leipzig, Germany > * Kevin C. Chang, University of Illinois at >Urbana-Champaign, USA > * Jan Chomicki, University of Buffalo, USA > * Gautam Das, University of Texas at Arlington, USA > * Jon Doyle, North Carolina State University, USA > * James Delgrande, Simon Fraser University Vancouver, >Canada > * Matthias Ehrgott, University of Auckland, New Zealand > * Burkhard Freitag, University of Passau, Germany > * Parke Godfrey, York University, Canada > * Judy Goldsmith, University of Kentucky, USA > * Eric Horvitz, Microsoft Research, USA > * John Horty, University of Maryland, USA > * Vagelis Hristidis, Florida International University, >USA > * Ihab Ilyas, University of Waterloo, Canada > * Ulrich Junker, ILOG, France > * Werner Kiessling, University of Augsburg, Germany > * Georgia Koutrika, Stanford University, USA > * Jerome Lang, IRIT - Univ. Paul Sabatier, France > * Thomas Meyer, NICTA Sydney, Australia > * Barry O'Sullivan, University College Cork, Ireland > * Francesca Rossi, University of Padova, Italy > * Torsten Schaub, University of Potsdam, Germany > * Alexis Tsoukias, LAMSADE, France > * Toby Walsh, NICTA Sydney, Australia > > --++ Invited talk > > William Macready, VP Product Development, D-Wave Systems >Inc, Vancouver: > Quantum Computing, Databases and Preferences > > --++ Important dates: > > * Paper submission deadline: June 17, 2007 > * Notification of acceptance or rejection: July 13, 2007 > * Camera ready version of accepted papers: July 23, 2007 > * Workshop: September 23 or 24, 2007 > > --++ Submission details > > Submissions consist of a maximum of 8 pages in >two-column format including > title, author names, abstract, and body. > They should follow the style described in the VLDB >guidelines > (http://www.vldb2007.org/vldb_format.html) and use PDF >as file format. > Details can be found at the M-PREF 2007 home page. > _______________________________________________ From AdministratorofmailinglistsofCIG at TUC Wed Apr 4 21:59:50 2007 From: AdministratorofmailinglistsofCIG at TUC (AdministratorofmailinglistsofCIG at TUC) Date: Wed, 04 Apr 2007 21:59:50 +0200 Subject: CFP In-Reply-To: <200704041555.l34FtZj23974@css.css.sfu.ca> References: <200704041555.l34FtZj23974@css.css.sfu.ca> Message-ID: Dear Jim, I just redistributed your posting to the list. Thanks for using our service ;-). [...snip...] > I believe that an "in." should precede >"tu-clausthal.de". (The "in" is > implied by later urls.) I will change it. However, it is not a real problem. event*@tu-clausthal.de is a set of an aliases to event*@in.tu-clausthal.de so for our users these addresses are transparent. Anyway, thanks for the point. It's better not to spread confusion around :-). Best regards, Peter. From AdministratorofmailinglistsofCIG at TUC Thu Apr 5 08:43:35 2007 From: AdministratorofmailinglistsofCIG at TUC (AdministratorofmailinglistsofCIG at TUC) Date: Thu, 05 Apr 2007 08:43:35 +0200 Subject: Fwd: CFP Message-ID: Regarding the Event at CIG list. Peter. FYI: --- the forwarded message follows --- -------------- nächster Teil -------------- Eine eingebundene Nachricht wurde abgetrennt... Von: Jim Delgrande Betreff: Re: CFP Datum: Wed, 4 Apr 2007 13:02:42 -0700 (PDT) Größe: 1715 URL: From tc at cs.bath.ac.uk Sat Apr 7 13:16:18 2007 From: tc at cs.bath.ac.uk (Tom Crick) Date: Sat, 07 Apr 2007 12:16:18 +0100 Subject: Kein Betreff Message-ID: <20070407121618.y2q7xt4asks44gwg@webmail.bath.ac.uk> From tc at cs.bath.ac.uk Sat Apr 7 13:39:16 2007 From: tc at cs.bath.ac.uk (Tom Crick) Date: Sat, 07 Apr 2007 12:39:16 +0100 Subject: Confirmation Request (2462130350) In-Reply-To: References: Message-ID: <20070407123916.h9uo41gpb4gkok8g@webmail.bath.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: 2462130350, > 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 basili at info.uniroma2.it Tue Apr 10 18:09:59 2007 From: basili at info.uniroma2.it (Roberto Basili) Date: Tue, 10 Apr 2007 18:09:59 +0200 Subject: [Extended Deadline: 23 April 07] AI*IA 2007: Final CFP Message-ID: <5.2.1.1.0.20070410180453.034fda00@mail.disp.uniroma2.it> *** Apologize for multiple posting *** * * * EXTENDED Submission deadline: April 23, 2007 * * * Call For Papers "AI*IA '07" "Artificial Intelligence and Human-oriented Computing" 10th Congress of the Italian Association for Artificial Intelligence September 10-13, 2007 - University of Rome, Tor Vergata (Italy) Web: http://aiia.info.uniroma2.it/ Current Information Technologies are faced with problems of increasing complexity. Artificial Intelligence paradigms and ideas are central in most of the critical research areas of computer science, where the software interoperability in the Semantic Web or the automatic control required by multiagent systems or autonomous robots are only some examples. The influence of AI is notable in all applications centred on humans as users, producers and consumers of complex, conceptual, distributed and critical information. This is true for applications ranging from intelligent search on the Web to complex decision making, from automatic control in autonomous systems to computing in Ambient Intelligence or collaborative environments. The convergence of traditional ideas from AI with human-centered applications will thus motivate most of the technical sessions of the conference, with a particular emphasis on specific topics covered by some Special Tracks. We invite the submission of papers to the AI*IA07 Congress. AI*IA07 is the 10th in a series of international Congresses on Advances in Artificial Intelligence held bi-annually in Italy by the Italian Association for Artificial Intelligence (AI*IA). This year the focus is on human-oriented computing as a unifying paradigm for most of the traditional research and application areas of AI. The technical program for the conference will include invited lectures, workshops and presentations of refereed papers and posters in the main areas of AI. Three special tracks are dedicated to relevant trends in the AI research. Papers are invited on substantial, original, and unpublished research on all aspects of artificial intelligence, including, but not limited to: Search Constraint Satisfaction Reasoning Inference Machine learning Learning in adaptive systems Knowledge Representation Knowledge Engineering Knowledge Acquisition Information Agents Multiagent Systems Distributed AI Ontologies Semantic Web Natural Language Processing Web and Data Mining Information Retrieval and Extraction Human Computer Interaction Soft and Evolutionary Computing Computing Uncertainty Planning and Scheduling Temporal Reasoning Cognitive Robotics Vision Cognitive modeling AI architectures Mathematical Foundations Philosophical Foundations AI Applications AI in Art and Music Conference Chairs Roberto Basili (University of Roma, Tor Vergata, Italy) Maria Teresa Pazienza (University of Roma, Tor Vergata, Italy) Program Committee Khurshid Ahmad (Trinity College Dublin, Rep. of Ireland) Luigia Carlucci Aiello (University of Roma La Sapienza, Italy) Stefania Bandini (University of Milano Bicocca, Italy) Ernesto Burattini (CIB-CNR, Italy) Marc Cavazza (University of Teesside, UK) Roberto Cordeschi (University of Roma La Sapienza, Italy) Walter Daelemans (CNTS, University of Antwerp, Belgium) Floriana Esposito (University of Bari, Italy) Salvatore Gaglio (University of Palermo, Italy) Attilio Giordana (University of Torino, Italy) Marco Gori (University of Siena, Italy) Gregory Grefenstette (Commissariat pur l'Energie Atomique, France) Nicola Guarino (LOA-CNR Trento, Italy) Eduard Hovy (Information Sciences Institute - USC, USA) Leonardo Lesmo (University of Torino, Italy) Robert Meersman (Free University Of Brussels, Belgium) Enrico Motta (KMI, Open University, UK) Sergei Nirenburg (University of Maryland Baltimore County, USA) Andrea Omicini (University of Bologna, Italy) Patrizia Paggio (Centre for Language Technology, Denmark) Lorenza Saitta (University of Torino, Italy) Kiril Simov (LMD, Bulgarian Academy of Sciences, Bulgaria) Giovanni Soda (University of Firenze, Italy) Konstantinos Spyropoulos (NCSR 'Demokritos', Greece) Steffen Staab (University Koblenz-Landau, Germany) Oliviero Stock (ITC-IRST, Italy) Tokunaga Takenobu (Tokyo Institute of Technology, Japan) Roman Yangarber (University of Helsinki, Finland) Three Special Tracks are considered (with individual submission dates, please check at http://aiia.info.uniroma2.it/specialprogram.html) about the following specific topics: - AI and Robotics: Cognitive Robotics, Robotic Perception, Robotic Learning, Human Robot Interaction Emotional Robotics, Humanoid Robots, Bioinspired Robotics, Service Robotics - AI for Intelligent Access to Multimedia Data: Multimedia processing and AI technologies, Semantic-driven multimedia indexing and retrieval, Integration of content analysis with language and speech processing, Semantic media annotation, Ontologies and Multimedia, Cross-media machine learning and data mining, - AI for Expressive Media: Affective Computing, AI and Media Studies, AI and Creativity, AI in Entertaiment, Computational Humor, AI in Game Design and Programming, Autonomous Animated Characters, Emotional Interfaces, Interactive Storytelling, Intelligent Virtual Environments Best Paper Award Submitted technical papers will be considered for the Best Paper Award sponsored by the AI*IA. The award will be assigned under further evaluation by the members of the AI*IA07 Program Committee Submissions Submission of technical papers will be electronic, using the paper submission software that will be accessible through the conference web page. The only accepted format for submitted papers is Adobe PDF. Notice the change od deadline: the papers must be submitted no later than April 23, 2007. The submission page for the main Conference is: http://www.softconf.com/start/aiia07-main/submit.html Submitted papers should not have been previously published in any journals or refereed conferences or workshops. Full length papers must be in English and not exceed 12 pages, including references and figures. The PDF files must be formatted according to the Springer Verlag Proceedings style. Please access the Conference Web site for links to the LNCS Series "Author Instruction". Accepted papers must be presented at the AI*IA07 conference. All accepted papers and posters will be published in the AI*IA 2007 Congress proceedings on the Springer-Verlag LNAI series. Important Dates NEW!!!! Submissions for the Main Conference Due: April 23, 2007 Submissions for all the three Special Tracks Due: April 25, 2007 Notification: May 25, 2007 Final Copies Due: June 10, 2007 Conference Venue The conference will take place at Villa Mondragone (Monte Porzio Catone, Roma), one of the historical and most beautiful buildings of the "Ville Tuscolane", dating back to the XVI century. Property of the University of Tor Vergata, the Villa is located between Frascati and Monte Porzio Catone, in the hart of the world famous area of Castelli Romani. Roma is only 20 km north-west from the conference venue. ------------------------------------------------------------------------------------ Roberto BASILI Department of Computer Science, Systems and Production AI Research Group University of Roma, Tor Vergata Via del Politecnico 1 00133 Roma, Italy Tel. +39-06-72597391. Lab. +39-06-72597332, Fax. +39-06-72587460 URL: ai-nlp.info.uniroma2.it/basili ------------------------------------------------------------------------------------ From uta.schwertel at ifi.lmu.de Thu Apr 12 11:18:05 2007 From: uta.schwertel at ifi.lmu.de (Uta Schwertel) Date: Thu, 12 Apr 2007 11:18:05 +0200 Subject: Summer School "Reasoning Web 2007": Application Deadline Approaching Message-ID: <461DF94D.60405@ifi.lmu.de> [Apologies for multiple postings.] ------------------------------------------------ Summer School "Reasoning Web 2007" Application deadline: *30 April 2007* ------------------------------------------------ Technical University of Dresden 3 to 7 September 2007 http://reasoningweb.org The summer school "Reasoning Web 2007" provides an introduction into Semantic Web methods and issues with a particular focus on reasoning. It is primarily intended for young researchers from industry, PhD students, or postdoc researchers investigating the Semantic Web and related issues. The number of participants is limited. Participation depends on prior application and a reviewing process. Application Deadline: 30 April 2007 For details see http://reasoningweb.org "Reasoning Web 2007" is supported by the European Network of Excellence REWERSE (http://rewerse.net). From fs at doc.ic.ac.uk Thu Apr 12 18:32:19 2007 From: fs at doc.ic.ac.uk (fs) Date: Thu, 12 Apr 2007 17:32:19 +0100 Subject: CFP for CLIMA VIII In-Reply-To: <014e01c75609$ee419bc0$222ebb88@niiNH26C> References: <014e01c75609$ee419bc0$222ebb88@niiNH26C> Message-ID: <461E5F13.9040409@doc.ic.ac.uk> Dear Peter, Please can we post the following to the mailing list. Many thanks. Fariba Sadri and Ken Satoh ------------------------------------------------- Second Call for Papers 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII) http://research.nii.ac.jp/climaVIII 10 and 11 September 2007, Porto, Portugal Co-located with the International Conference on Logic Programming (ICLP 07) http://www.dcc.fc.up.pt/iclp07/ Important Dates Submission Deadline: 30 April 2007 Notification: 11 June 2007 Camera Ready Copy Due: 2 July 2007 CLIMA VIII: 10-11 September 2007 Aims of the Workshop Multi-Agent Systems are communities of problem-solving entities that can perceive and act upon their environment to achieve their individual goals as well as joint goals. The work on such systems integrates many technologies and concepts in artificial intelligence and other areas of computing as well as other disciplines. Over recent years, the agent paradigm gained popularity, due to its applicability to a full spectrum of domains, from search engines to educational aids to electronic commerce and trade, e-procurement, recommendation systems, simulation and routing, to cite only some. Computational logic provides a well-defined, general, and rigorous framework for studying syntax, semantics and procedures for the various tasks of individual agents, as well as for the interaction and integration amongst agents in multi-agent systems. It also provides tools, techniques and standards for implementations and environments, for linking specification to implementation, and for verification of properties of individual agents, multi-agent systems and their implementations. In this workshop we aim to bring together researchers from all these areas to discuss and present their work. Relevant topics include, but are not limited to, the following: Topics: All with focus on agents or multi-agent systems logical foundations extensions of logic programming modal logic approaches logic-based programming languages non-monotonic reasoning decision theory hypothetical reasoning and learning knowledge and belief representation and updates operational semantics and execution agent models model checking algorithms, tools, and applications for (multi-)agent logics semantics of interaction and agent communication languages distributed constraint satisfaction temporal reasoning distributed theorem proving logic-based implementations specification and verification of formal properties Submissions We invite submissions of 2 kinds: 1. Submissions of high quality, original papers, which are not simultaneously submitted for publication elsewhere. Papers should be written in English, formatted according to the Springer Verlag LNCS style, which can be obtained from http://www.springeronline.com, and not exceed 16 pages including figures, references, etc. Each paper should include some examples illustrating the proposed techniques. 2. Submissions of system descriptions, to be presented at the workshop as demos. In this category papers should be written in English, formatted according to the Springer Verlag LNCS style, which can be obtained from http://www.springeronline.com, and not exceed 5 pages including figures, references, etc. Each paper should describe a working system illustrating its objectives and the implementation techniques. We will set up a web page for paper submission in March, so please watch the home page of CLIMA-VIII: http://research.nii.ac.jp/climaVIII Proceedings A printed volume of the proceedings will be available at the workshop. We plan to publish a selection of extended workshop papers in Post-Proceedings in the Springer Verlag LNAI series as the previous publications, LNAI 3487 for CLIMA V, LNAI 3900 for CLIMA VI, and LNAI4371 for CLIMA VII (subject to approval). Workshop Chairs Fariba Sadri, Imperial College London, UK Ken Satoh, National Institute of Informatics, Japan About CLIMA Workshop Series You can find information about the CLIMA worshop series at: http://centria.di.fct.unl.pt/~clima/ Programme Committee Jose Julio Alferes, New University of Lisbon, Portugal Rafael H. Bordini, University of Durham, UK Gerhard Brewka, University of Leipzig, Germany Stefania Costantini, University of L'Aquila, Italy Juergen Dix, Technical University of Clausthal, Germany Klaus Fisher, DFKI, Germany Michael Fisher, The University of Liverpool, UK James Harland, RMIT, Australia Hisashi Hayashi, Toshiba, Japan Wiebe van der Hoek, The University of Liverpool, UK Katsumi Inoue, National Insitute of Informatics, Japan Joao Leite, New University of Lisbon, Portugal Fangzhen Lin, Hong Kong University of Science and Technology , Hong Kong Paola Mello, University of Bologna, Italy John Jules Ch. Meyer, Utrecht University, The Netherlands Leora Morgenstern, IBM T.J. Watson Research Center, USA Naoyuki Nide, Nara Women's University , Japan Maurice Pagnucco, University of New South Wales, Australia Jeremy Pitt, Imperial College London, UK Enrico Pontelli, New Mexico State University, USA Chiaki Sakama, Wakayama University, Japan Abdul Sattar, Griffith University, Australia Renate Schmidt, University of Manchester, UK Tran Cao Son, New Mexico State University, USA Kostas Stathis, Royal Holloway, University of Lodon, UK Michael Thielscher, Dresden University of Technology, Germany Satoshi Tojo, Japan Advanced Institute of Science and Technology, Japan Francesca Toni, Imperial College London, UK Paolo Torroni, University of Bologna, Italy Marina De Vos, University of Bath, UK Cees Witteveen, Delft University of Technology, The Netherlands For any inquiry, please send it to "clima-viii at nii.ac.jp". From tiwari at csl.sri.com Thu Apr 12 19:46:57 2007 From: tiwari at csl.sri.com (Ashish Tiwari) Date: Thu, 12 Apr 2007 10:46:57 -0700 Subject: ADDCT'07: CFP: Abstract Submission Deadline May 4 Message-ID: <200704121746.l3CHkvOI007615@aryabhata.csl.sri.com> CALL FOR PAPERS Automated Deduction: Decidability, Complexity, Tractability (ADDCT'07) Workshop affiliated with CADE-21 Bremen, Germany, 15 July, 2007 http://www.mpi-inf.mpg.de/~sofronie/addct07.html Decidability, and especially complexity and tractability of logical theories is extremely important for a large number of applications. Although general logical formalisms (such as predicate logic or number theory) are undecidable, decidable theories or decidable fragments thereof (sometimes even with low complexity) often occur in mathematics, in program verification, in the verification of reactive, real time or hybrid systems, as well as in databases and ontologies. It is therefore important to identify such decidable fragments and design efficient decision procedures for them. It is equally important to have uniform methods (such as resolution, rewriting, tableaux, sequent calculi, ...) which can be tuned to provide algorithms with optimal complexity. The goal of ADDCT is to bring together researchers interested in - identifying (fragments of) logical theories which are decidable, identifying fragments thereof which have low complexity, and analyzing possibilities of obtaining optimal complexity results with uniform tools; - analyzing decidability in combinations of theories and possibilities of combining decision procedures; - efficient implementations for decidable fragments; - application domains where decidability resp. tractability are crucial. Topics of interest for ADDCT include (but are not restricted to): - Decidability: - decision procedures based on logical calculi such as: resolution, rewriting, tableaux, sequent calculi, or natural deduction - decidability in combinations of logical theories - Complexity: - complexity analysis for fragments of first- (or higher) order logic - complexity analysis for combinations of logical theories (including parameterized complexity results) - Tractability (in logic, automated reasoning, algebra, ...) - Application domains for which complexity issues are essential (verification, security, databases, ontologies, ...) The goal of ADDCT is to bring together researchers interested in exploring the topics above, both at a theoretical level and motivated by applications. Submission and selection procedure ---------------------------------- Submissions are encouraged in one of the following categories: - Original papers (up to 15 pages, LNCS style, including bibliography); should describe original research and contain sufficient detail to assess the merits and relevance of the contribution. Simultaneous submission of material is prohibited. - Work in progress (up to 6 pages, LNCS style, without bibliography). - Presentation-only papers: may describe work previously published, and will not be inserted in the proceedings. We are allowing the submission of previously published work in order to allow researchers to communicate good ideas that the attendees may not be aware of. Given the informal style of the workshop, the submission of papers presenting student's work and work in progress is encouraged. Submission of papers is via EasyChair at http://www.easychair.org/ADDCT07 The final versions of the selected contributions will be collected in a volume to be distributed at the workshop and made accessible on the web. A special issue in the Journal of Symbolic Computation on the topic of the ADDCT workshop is planned. Participants of ADDCT are encouraged to submit a paper to this special issue, but we would like to keep the submission open to everybody. For this special issue, the introduction of the paper MUST explicitly address the following questions in succinct and informal manner: - What is the problem? - Why is the problem important? - What has so far been done on the problem? - What is the contribution of the paper on the problem? - Is the contribution original? Explain why. - Is the contribution non-trivial? Explain why. This is a requirement from the Journal of Symbolic Computation: we would like to encourage the authors of papers submitted to ADDCT to already address such questions in the ADDCT submission. Organizers and Chairs Silvio Ghilardi (U. Milano) Ulrike Sattler (U. Manchester) Viorica Sofronie-Stokkermans (MPI,Saarbr�cken) Ashish Tiwari (Menlo Park) Program Committee Matthias Baaz (T.U.Wien) Maria Paola Bonacina (U. Verona) Christian Ferm�ller (T.U.Wien) Silvio Ghilardi (U. Milano) Reiner Haehnle (Chalmers U.) Felix Klaedtke (ETH Zurich) Sava Krstic (Intel Corporation) Viktor Kuncak (EPFL Lausanne) Carsten Lutz (TU Dresden) Christopher Lynch,(Clarkson U.) Silvio Ranise (LORIA/INRIA-Lorraine) Ulrike Sattler (U. Manchester) Renate Schmidt (U. Manchester) Viorica Sofronie-Stokkermans (MPI,Saarbr�cken) Ashish Tiwari (SRI) Luca Vigano (U. Verona) Important Dates 4 May 2007: Abstract submission 9 May 2007: Paper submission 5 June 2007: Notification 10 June 2007: Early registration deadline (tentative) 15 June 2007: Final version 15 July 2007: Workshop Contact For further informations please send an e-mail to Viorica Sofronie-Stokkermans sofronie at mpi-inf.mpg.de From AdministratorofmailinglistsofCIG at TUC Thu Apr 12 23:00:27 2007 From: AdministratorofmailinglistsofCIG at TUC (AdministratorofmailinglistsofCIG at TUC) Date: Thu, 12 Apr 2007 23:00:27 +0200 Subject: CFP for CLIMA VIII In-Reply-To: <461E5F13.9040409@doc.ic.ac.uk> References: <014e01c75609$ee419bc0$222ebb88@niiNH26C> <461E5F13.9040409@doc.ic.ac.uk> Message-ID: Dear Fariba and Ken, thanks a lot for your interest in our list. On Thu, 12 Apr 2007 17:32:19 +0100 fs wrote: > Dear Peter, > > Please can we post the following to the mailing list. Sure! Don't worry and send anything whenever you need directly to event at in.tu-clausthal.de (I mean without an introduction to me). I will check it, possibly reject (well, as you tend to post only stuff which is in our interest I doubt I will ever do that ;-) ) and then pass it to the list. For more information, please check our website: http://cig.in.tu-clausthal.de/event/. For now, please resend your post to the list again without the introductory lines for me. I will then resend it to the list. Best, Peter. > ------------------------------------------------- > Second Call for Papers > > 8th Workshop on Computational Logic in Multi-Agent >Systems > (CLIMA-VIII) > http://research.nii.ac.jp/climaVIII > > 10 and 11 September 2007, Porto, Portugal > > Co-located with > the International Conference on Logic Programming (ICLP >07) > http://www.dcc.fc.up.pt/iclp07/ > > Important Dates > Submission Deadline: 30 April 2007 > Notification: 11 June 2007 > Camera Ready Copy Due: 2 July 2007 > CLIMA VIII: 10-11 September 2007 > > Aims of the Workshop > Multi-Agent Systems are communities of problem-solving > entities that can perceive and act upon their >environment to > achieve their individual goals as well as joint goals. >The > work on such systems integrates many technologies and > concepts in artificial intelligence and other areas of > computing as well as other disciplines. Over recent >years, > the agent paradigm gained popularity, due to its > applicability to a full spectrum of domains, from search > engines to educational aids to electronic commerce and > trade, e-procurement, recommendation systems, simulation >and > routing, to cite only some. > > Computational logic provides a well-defined, general, >and > rigorous framework for studying syntax, semantics and > procedures for the various tasks of individual agents, >as > well as for the interaction and integration amongst >agents > in multi-agent systems. It also provides tools, >techniques > and standards for implementations and environments, for > linking specification to implementation, and for > verification of properties of individual agents, >multi-agent > systems and their implementations. In this workshop we >aim > to bring together researchers from all these areas to > discuss and present their work. Relevant topics include, >but > are not limited to, the following: > > Topics: All with focus on agents or multi-agent systems > > logical foundations > extensions of logic programming > modal logic approaches > logic-based programming languages > non-monotonic reasoning > decision theory > hypothetical reasoning and learning > knowledge and belief representation and updates > operational semantics and execution agent models > model checking algorithms, tools, and applications > for (multi-)agent logics > semantics of interaction and agent communication >languages > distributed constraint satisfaction > temporal reasoning > distributed theorem proving > logic-based implementations > specification and verification of formal properties > > Submissions > We invite submissions of 2 kinds: > 1. Submissions of high quality, original papers, which >are > not simultaneously submitted for publication > elsewhere. Papers should be written in English, >formatted > according to the Springer Verlag LNCS style, which can >be > obtained from http://www.springeronline.com, and not > exceed 16 pages including figures, references, etc. Each > paper should include some examples illustrating the > proposed techniques. > > 2. Submissions of system descriptions, to be presented >at > the workshop as demos. In this category papers should be > written in English, formatted according to the Springer > Verlag LNCS style, which can be obtained from > http://www.springeronline.com, and not exceed 5 pages > including figures, references, etc. Each paper should > describe a working system illustrating its objectives >and > the implementation techniques. > > We will set up a web page for paper submission in March, >so > please watch the home page of CLIMA-VIII: > http://research.nii.ac.jp/climaVIII > > Proceedings > A printed volume of the proceedings will be available at >the > workshop. We plan to publish a selection of extended > workshop papers in Post-Proceedings in the Springer >Verlag > LNAI series as the previous publications, LNAI 3487 for > CLIMA V, LNAI 3900 for CLIMA VI, and LNAI4371 for CLIMA >VII > (subject to approval). > > Workshop Chairs >Fariba Sadri, Imperial College London, UK > Ken Satoh, National Institute of Informatics, Japan > > > About CLIMA Workshop Series > You can find information about the CLIMA worshop series >at: > http://centria.di.fct.unl.pt/~clima/ > > Programme Committee > Jose Julio Alferes, New University of Lisbon, Portugal > Rafael H. Bordini, University of Durham, UK > Gerhard Brewka, University of Leipzig, Germany > Stefania Costantini, University of L'Aquila, Italy > Juergen Dix, Technical University of Clausthal, Germany > Klaus Fisher, DFKI, Germany > Michael Fisher, The University of Liverpool, UK > James Harland, RMIT, Australia > Hisashi Hayashi, Toshiba, Japan > Wiebe van der Hoek, The University of Liverpool, UK > Katsumi Inoue, National Insitute of Informatics, Japan > Joao Leite, New University of Lisbon, Portugal >Fangzhen Lin, Hong Kong University of Science and >Technology , Hong Kong > Paola Mello, University of Bologna, Italy > John Jules Ch. Meyer, Utrecht University, The >Netherlands > Leora Morgenstern, IBM T.J. Watson Research Center, USA > Naoyuki Nide, Nara Women's University , Japan > Maurice Pagnucco, University of New South Wales, >Australia > Jeremy Pitt, Imperial College London, UK > Enrico Pontelli, New Mexico State University, USA > Chiaki Sakama, Wakayama University, Japan > Abdul Sattar, Griffith University, Australia > Renate Schmidt, University of Manchester, UK > Tran Cao Son, New Mexico State University, USA > Kostas Stathis, Royal Holloway, University of Lodon, UK > Michael Thielscher, Dresden University of Technology, >Germany > Satoshi Tojo, Japan Advanced Institute of Science and >Technology, Japan >Francesca Toni, Imperial College London, UK > Paolo Torroni, University of Bologna, Italy > Marina De Vos, University of Bath, UK > Cees Witteveen, Delft University of Technology, The >Netherlands > >For any inquiry, please send it to "clima-viii at >nii.ac.jp". > From fs at doc.ic.ac.uk Fri Apr 13 12:24:12 2007 From: fs at doc.ic.ac.uk (F Sadri) Date: Fri, 13 Apr 2007 11:24:12 +0100 Subject: CLIMA - Second Call for Papers Message-ID: <461F5A4C.5080704@doc.ic.ac.uk> Second Call for Papers 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII) http://research.nii.ac.jp/climaVIII 10 and 11 September 2007, Porto, Portugal Co-located with the International Conference on Logic Programming (ICLP 07) http://www.dcc.fc.up.pt/iclp07/ Important Dates Submission Deadline: 30 April 2007 Notification: 11 June 2007 Camera Ready Copy Due: 2 July 2007 CLIMA VIII: 10-11 September 2007 Aims of the Workshop Multi-Agent Systems are communities of problem-solving entities that can perceive and act upon their environment to achieve their individual goals as well as joint goals. The work on such systems integrates many technologies and concepts in artificial intelligence and other areas of computing as well as other disciplines. Over recent years, the agent paradigm gained popularity, due to its applicability to a full spectrum of domains, from search engines to educational aids to electronic commerce and trade, e-procurement, recommendation systems, simulation and routing, to cite only some. Computational logic provides a well-defined, general, and rigorous framework for studying syntax, semantics and procedures for the various tasks of individual agents, as well as for the interaction and integration amongst agents in multi-agent systems. It also provides tools, techniques and standards for implementations and environments, for linking specification to implementation, and for verification of properties of individual agents, multi-agent systems and their implementations. In this workshop we aim to bring together researchers from all these areas to discuss and present their work. Relevant topics include, but are not limited to, the following: Topics: All with focus on agents or multi-agent systems logical foundations extensions of logic programming modal logic approaches logic-based programming languages non-monotonic reasoning decision theory hypothetical reasoning and learning knowledge and belief representation and updates operational semantics and execution agent models model checking algorithms, tools, and applications for (multi-)agent logics semantics of interaction and agent communication languages distributed constraint satisfaction temporal reasoning distributed theorem proving logic-based implementations specification and verification of formal properties Submissions We invite submissions of 2 kinds: 1. Submissions of high quality, original papers, which are not simultaneously submitted for publication elsewhere. Papers should be written in English, formatted according to the Springer Verlag LNCS style, which can be obtained from http://www.springeronline.com, and not exceed 16 pages including figures, references, etc. Each paper should include some examples illustrating the proposed techniques. 2. Submissions of system descriptions, to be presented at the workshop as demos. In this category papers should be written in English, formatted according to the Springer Verlag LNCS style, which can be obtained from http://www.springeronline.com, and not exceed 5 pages including figures, references, etc. Each paper should describe a working system illustrating its objectives and the implementation techniques. For submission details see: http://research.nii.ac.jp/climaVIII Proceedings A printed volume of the proceedings will be available at the workshop. We will publish a selection of extended workshop papers in Post-Proceedings in the Springer Verlag LNAI series as the previous publications, LNAI 3487 for CLIMA V, LNAI 3900 for CLIMA VI, and LNAI4371 for CLIMA VII. Workshop Chairs Fariba Sadri, Imperial College London, UK Ken Satoh, National Institute of Informatics, Japan About CLIMA Workshop Series You can find information about the CLIMA worshop series at: http://centria.di.fct.unl.pt/~clima/ Programme Committee Jose Julio Alferes, New University of Lisbon, Portugal Rafael H. Bordini, University of Durham, UK Gerhard Brewka, University of Leipzig, Germany Stefania Costantini, University of L'Aquila, Italy Juergen Dix, Technical University of Clausthal, Germany Klaus Fisher, DFKI, Germany Michael Fisher, The University of Liverpool, UK James Harland, RMIT, Australia Hisashi Hayashi, Toshiba, Japan Wiebe van der Hoek, The University of Liverpool, UK Katsumi Inoue, National Insitute of Informatics, Japan Joao Leite, New University of Lisbon, Portugal Fangzhen Lin, Hong Kong University of Science and Technology , Hong Kong Paola Mello, University of Bologna, Italy John Jules Ch. Meyer, Utrecht University, The Netherlands Leora Morgenstern, IBM T.J. Watson Research Center, USA Naoyuki Nide, Nara Women's University , Japan Maurice Pagnucco, University of New South Wales, Australia Jeremy Pitt, Imperial College London, UK Enrico Pontelli, New Mexico State University, USA Chiaki Sakama, Wakayama University, Japan Abdul Sattar, Griffith University, Australia Renate Schmidt, University of Manchester, UK Tran Cao Son, New Mexico State University, USA Kostas Stathis, Royal Holloway, University of Lodon, UK Michael Thielscher, Dresden University of Technology, Germany Satoshi Tojo, Japan Advanced Institute of Science and Technology, Japan Francesca Toni, Imperial College London, UK Paolo Torroni, University of Bologna, Italy Marina De Vos, University of Bath, UK Cees Witteveen, Delft University of Technology, The Netherlands For any inquiry, please send it to "clima-viii at nii.ac.jp". From sava.krstic at intel.com Sat Apr 14 00:52:04 2007 From: sava.krstic at intel.com (Krstic, Sava) Date: Fri, 13 Apr 2007 15:52:04 -0700 Subject: SMT Workshop 2007: Last call for papers Message-ID: <607183388E5F5E43BD4F44478E62341E0146A988@orsmsx419.amr.corp.intel.com> [Apologies for multiple posting.] ====================================================================== .----------------- Last Call for Papers ------------------- SMT Workshop '07 5th International Workshop on Satisfiability Modulo Theories Previously called: Pragmatics of Decision Procedures in Automated Reasoning (PDPAR) Berlin, Germany, 1-2 July 2007 (affiliated with CAV '2007) http://www.lsi.upc.edu/~oliveras/smt07 ====================================================================== Background ~~~~~~~~~~ Deciding the satisfiability of first-order formulas modulo background theories, known as the Satisfiability Modulo Theories (SMT) problem, has proved to be useful in verification, compiler optimization, scheduling, and other areas. The success of SMT techniques depends on the development of both domain-specific decision procedures for each concrete theory (e.g. linear arithmetic, the theory of arrays, or the theory of bit-vectors) and combination methods that allow one to obtain more versatile SMT tools. These two ingredients together make SMT techniques well-suited for use in larger automated reasoning and formal verification efforts. Aims and Scope ~~~~~~~~~~~~~~ The aim of the workshop is to bring together researchers and users of SMT tools and techniques. Continuing with the PDPAR tradition, we especially encourage submission of papers focused on pragmatic aspects. Relevant topics include but are not limited to: * New decision procedures and new theories of interest * Combination of decision procedures * Novel implementation techniques * Benchmarks and evaluation methodologies * Applications and case studies * Theoretical results Important dates ~~~~~~~~~~~~~~~ Submission deadline : 23 April Notification of acceptance/rejection : 21 May Final version due : 4 June Workshop : 1-2 July Proceedings ~~~~~~~~~~~ Given the informal style of the workshop, only informal proceedings will be distributed at the workshop. We are planning to publish a selected subset of the submitted papers as post-proceedings in a special volume of the Electronic Notes in Theoretical Computer Science (ENTCS) unless the authors prefer not to. Paper Submission and Proceedings ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Following the PDPAR'06 initiative, there are two categories of submissions: * Original papers: contain original research (simultaneous submissions are not allowed) and sufficient detail to assess the merits and relevance of the submission. For papers reporting experimental results, authors are strongly encouraged to make their data available. Given the informal style of the workshop, we will welcome work in progress and novel ideas that are not yet competitive in practice. * Presentation-only papers: describe work recently published or submitted and will not be included in the proceedings. We see this as a way to provide additional access to important developments that SMT Workshop attendees may be unaware of. Papers in both categories will be peer-reviewed. Papers should not exceed 10 pages (Postscript or PDF) and should be written in LaTeX, 11pt, one column, a4paper, standard margins. Technical details may be included in an appendix to be read at the reviewers' discretion. Full submission guidelines are at the workshop web page. Invited Speakers ~~~~~~~~~~~~~~~~ - Rupak Majumdar, University of California, Los Angeles. - Peter O'Hearn, Queen Mary, University of London. Student travel awards ~~~~~~~~~~~~~~~~~~~~~ SMT 2007 will partially reimburse some students for their conference-related expenses. Preference will be given to students playing an active role in the workshop. However, students in other situations are also encouraged to apply. We require applications in the form of a short recommendation letter written by the student's supervisor, to be sent to the PC chairs by March 30. Program Chairs ~~~~~~~~~~~~~~ - Sava Krstic, Intel Corporation - Albert Oliveras, Tech. Univ. of Catalonia Program Committee ~~~~~~~~~~~~~~~~~ Clark Barrett, New York University Alessandro Cimatti, ITC-Irst, Trento Byron Cook, Microsoft Research Amit Goel, Intel Corporation Aarti Gupta, NEC Labs America Shuvendu Lahiri, Microsoft Research Leonardo de Moura, Microsoft Research Robert Nieuwenhuis, Technical University of Catalonia Silvio Ranise, LORIA, Nancy Roberto Sebastiani, Universita` di Trento Ofer Strichman, Technion Cesare Tinelli, University of Iowa Ashish Tiwari, Stanford Research Institute (SRI) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From areces at loria.fr Sat Apr 14 20:07:15 2007 From: areces at loria.fr (Carlos Areces) Date: Sat, 14 Apr 2007 20:07:15 +0200 Subject: E. W. Beth Dissertation Prize 2007: Extended Deadline Message-ID: <46211853.7040408@loria.fr> E. W. Beth Dissertation Prize: call for submissions ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Since 2002, FoLLI (the European Association for Logic, Language, and Information, www.folli.org) awards the E. W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information. Submissions are invited for 2007. The prize will be awarded to the best dissertation which resulted in a Ph.D. in the year 2006. The dissertations will be judged on technical depth and strength, originality, and impact made in at least two of the three fields of Logic, Language, and Computation. Who qualifies. ~~~~~~~~~~~~~~ Nominations of candidates are admitted who were awarded a Ph.D. degree in the areas of Logic, Language, or Information between January 1st, 2006 and December 31st, 2006. There is no restriction on the nationality of the candidate or the university where the Ph.D. was granted. After a careful consideration, FoLLI has decided to accept only dissertations written in English. Dissertations produced in 2006 but not written in English or not translated will be allowed for submission, after translation, also with the call next year (in 2008). Prize. ~~~~~~ The prize consists of * a certificate * a donation of 2500 euros provided by the E. W. Beth Foundation. * an invitation to submit the thesis (or a revised version of it) to the new series of books in Logic, Language and Information to be published by Springer-Verlag as part of LNCS or LNCS/LNAI. (Further information on this series is available on the FoLLI site) How to submit. ~~~~~~~~~~~~~~ Only electronic submissions are accepted. The following documents are required: 1. the thesis in pdf or ps format (doc/rtf not accepted); 2. a ten page abstract of the dissertation in ascii or pdf format; 3. a letter of nomination from the thesis supervisor. Self-nominations are not admitted: each nomination must be sponsored by the thesis supervisor. The letter of nomination should concisely describe the scope and significance of the dissertation and state when the degree was officially awarded; 4. two additional letters of support, including at least one letter from a referee not affiliated with the academic institution that awarded the Ph.D. degree. All documents must be submitted electronically to beth_award at dimi.uniud.it . Hard copy submissions are not admitted. In case of any problems with the email submission or a lack of notification within three working days after submission, nominators should write to policriti at dimi.uniud.it or areces at loria.fr Important dates. ~~~~~~~~~~~~~~~~ Deadline for Submissions: May 6th, 2007. Notification of Decision: July 15th, 2007. Committee. ~~~~~~~~~ * Anne Abeillé (Université Paris 7) * Johan van Benthem (University of Amsterdam) * Didier Caucal (IRISA-CNRS) * Nissim Francez (The Technion, Haifa) * Valentin Goranko (University of the Witwatersrand, Johannesburg) * Alessandro Lenci (University of Pisa) * Ewa Orlowska (Institute of Telecommunications, Poland) * Gerald Penn (University of Toronto) * Alberto Policriti (chair) (Università di Udine) * Rob van der Sandt (University of Nijmegen) * Colin Sterling (University of Edinburgh) * Wolfgang Thomas (RWTH Aachen) ================================================================== 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 ofers at ie.technion.ac.il Sun Apr 15 20:23:03 2007 From: ofers at ie.technion.ac.il (Ofer Strichman) Date: Sun, 15 Apr 2007 21:23:03 +0300 Subject: Bounded Model Checking (BMC) Workshop 2007: Last call for papers References: <607183388E5F5E43BD4F44478E62341E0146A988@orsmsx419.amr.corp.intel.com> Message-ID: <003801c77f8b$1bb8b520$f700a8c0@strichmanlap> Call for Papers: Fifth International Workshop on Bounded Model Checking (BMC'07) ************************************************************************ When: July 8th, 2007 (a day after CAV'07) Where: Berlin, Germany BMC'07 is affiliated with the 19th International Conference on Computer-Aided Verification (CAV'07). URL: http://ie.technion.ac.il/BMC07 contact: bmc07 at ie.technion.ac.il Chairs -------- Armin Biere, Johannes Kepler University, Linz, Austria Ofer Strichman, Technion, Haifa, Israel Important Dates ------------------- Submissions: April 22, 2007 Notification: May 21, 2007 Final Papers: June 3, 2007 Workshop: July 8, 2007 Objective Scope ------- The scope of the workshop includes all theoretical and practical aspects of Bounded Model Checking, including, but not limited to, using SAT technology for unbounded model checking, combining BMC with other tools and techniques, experimental results in an industrial setting, BMC of infinite state systems, translation schemes, and dedicated SAT techniques for BMC. Information about the submission process can be found in the BMC web page. From jv at imm.dtu.dk Mon Apr 16 13:54:55 2007 From: jv at imm.dtu.dk (Joergen Villadsen) Date: Mon, 16 Apr 2007 13:54:55 +0200 Subject: Call for papers: CSLP@Context07 Message-ID: <200704161154.l3GBsthr014066@smtpgw1.imm.dtu.dk> Call for papers: CSLP at Context07 4th International Workshop on Constraints and Language Processing 20-21 August 2007, Roskilde, Denmark http://control.ruc.dk/CSLP2007.html Affiliated with CONTEXT07, http://context-07.ruc.dk DEADLINE for submissions: May 24, 2007 The CSLP at Context07 workshop considers the role of constraints in the representation of language and the implementation of language processing. This theme should be interpreted inclusively: contributions from linguistics, computer science, psycholinguistics and related areas are welcome, and an interdisciplinary perspective is of particular interest. The collocation with the CONTEXT07 conference underlines the application of constraints for context comprehension and discourse modelling. Motivation ---------- Constraints are widely used in linguistics, computer science, and psychology. How they are used, however, varies widely according to the research domain: knowledge representation, cognitive modelling, problem solving mechanisms, etc. These different perspectives are complementary, each one adding a piece to the puzzle. For example, linguistics proposes in-depth descriptions implementing constraints in order to filter out structures by means of description languages, constraint ranking, etc. The constraint programming paradigm, on the other hand, shows that constraints have to be taken as a systematic whole and can thus play a role in building the structures (or can even replace structures). Finally, psycholinguistics investigates the role of constraint systems for cognitive processes in comprehension and production as well as addressing how they can be acquired. Invited speakers: ----------------- 2 or 3 distinguished researchers will be announced on the workshop web pages. Topics ------ The workshop seeks contributions from different areas working with constraints in relation to language including, but not limited to the topics . Constraints in human language comprehension and production . Context modelling and discourse interpretation . Acquisition of constraints . Constraints and learning . Cross-theoretical view of the notion of constraint . New advances in constraint-based linguistic theories . Constraint satisfaction (CS) technologies for NLP . Linguistic analysis and linguistic theories biased towards CS or constraint logic programming (CLP) . Application of CS or CLP for NLP . CS and CLP for other than textual or spoken languages, e.g., sign languages and biological, multimodal human-computer interaction, visual languages, . Probabilistic constraint-based reasoning Submissions ----------- Authors are invited to submit extended abstract or a full paper of up to 12 pages. Papers should be prepared as PDF files using the format for Springer's LNCS/LNAI series, http://www.springer.de/comp/lncs/authors.html Each submission will be commented by two or three reviewers. Preliminary proceedings are distributed at the workshop and, depending on number and quality of submissions, a volume of revised and selected papers are under considerations at an international publisher. Please submit papers as PDF files, following the guidelines to appear at http://control.ruc.dk/CSLP2007.html Important dates --------------- Submission deadline May 24, 2007 Notification June 14, 2007 Final version July 5, 2007 Workshop 20 and-or 21 August 2007 Registration ------------ Registration is done through the CONTEXT conference website, and the fee covers the conference and all workshops. http://context-07.ruc.dk At least one author of each accepted paper must register and present the paper at the workshop. Program Committee ----------------- Philippe Blache (Provence University, France) Henning Christiansen (Roskilde University, Denmark), co-chair Veronica Dahl (Simon Fraser University, Canada) Denys Duchier (INRIA, France) John Gallagher (Roskilde University, Denmark) Claire Gardent (University of Nancy, France) Barbara Hemforth (Provence University, France) Jerry Hobbs (University of Southern California, USA) M. Dolores Jiménez-López (Tarragona, Spain) Michael Johnston (AT&T, USA) Lars Konieczny (Freiburg university, Germany) Shalom Lappin (King's College, UK) Detmar Meurers (Ohio State University, USA) Véronique Moriceau (Université Paul Sabatier, Toulouse, 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) Organizing committee --------------------- Philippe Blache (Provence University, France) Henning Christiansen (Roskilde University, Denmark), co-chair Veronica Dahl (Simon Fraser University, Canada) Jørgen Villadsen (Technical University of Denmark), co-chair Inquiries --------- For any questions related to the workshop, do not hesitate to write to workshop co-chair Henning Christiansen, henning at ruc.dk More information at http://control.ruc.dk/CSLP2007.html From mehdi at cs.uu.nl Mon Apr 16 17:24:17 2007 From: mehdi at cs.uu.nl (Mehdi Dastani) Date: Mon, 16 Apr 2007 17:24:17 +0200 Subject: Call for Papers: BNAIC 2007 Message-ID: <46239521.9010403@cs.uu.nl> ************************* Call for Papers ************************** The 19th Belgian-Dutch Conference on Artificial Intelligence BNAIC 2007 Utrecht, November 5&6 2007 http://www.cs.uu.nl/bnaic2007 ********************************************************************** The BNAIC 2007 will be held at the Academiegebouw of Utrecht University, the Netherlands, and is organized under the auspices of the Belgian-Dutch Association for Artificial Intelligence (BNVKI) and the Dutch Research School for Information and Knowledge Systems(SIKS). The conference aims at presenting an overview of state-of-the art research in artificial intelligence in Belgium and The Netherlands. INVITED SPEAKERS * Michael Thielscher: Dresden University of Technology, Germany * Pedro Domingos: University of Washington, U.S.A. TOPICS For all submission types, possible topics of submissions include, but are not limited to: * multi-agent systems * intelligent agents * robotics * logic in AI * games * search * verification and validation * logic programming * knowledge-based systems * knowledge representation * knowledge management * ontologies * machine learning * optimisation * evolutionary algorithms * neural networks * knowledge discovery and data mining * natural language processing * cognitive modeling * speech recognition * handwriting recognition * applications * AI in law, music & art * other SUBMISSION Submissions of the following three types are invited: TYPE A: REGULAR PAPERS Papers presenting new original work. Submitted papers should not exceed a length of 8 pages. These papers will be reviewed on overall quality and relevance. A-Papers can be accepted for either oral or poster presentation. All accepted papers will be fully published in the proceedings. TYPE B: COMPRESSED CONTRIBUTIONS Papers that have been accepted after June 1st, 2006 for AI-related refereed conferences or journals can be resubmitted and will be accepted as compressed contributions. Authors are invited to submit the officially published version (without page restriction) together with a one or two-page abstract. B-Papers will be accepted for either oral or poster presentation. The abstract of the paper will be published in the proceedings. Every author may submit at most one B-paper of which they are the corresponding author, and only if they do not submit any A-paper as corresponding author. Note that a separate author registration is required for each B-type contribution. TYPE C: DEMONSTRATIONS & APPLICATIONS Proposals for demonstrations will be evaluated based on submitted demonstration summaries (in English) stating the following: the purpose of the system to be demonstrated, its user groups, the organization or project for which it is developed, the developers, and the technology used. In addition, the system requirements and the duration (not exceeding 30 minutes) should be mentioned. Especially researchers from industry are encouraged to submit papers presenting their applications and experiences. The maximum size of demonstration summaries is 2 pages. Papers and demonstration summaries should be submitted electronically. More details can be found at the BNAIC 2007 website (http://www.cs.uu.nl/bnaic2007). Submissions should be accompanied by a message stating the submission type (A, B, or C) and an abstract of the paper in plain text. Proper receipt of submissions will be acknowledged by e-mail. The deadline for submissions is June 25th, 2007. Submission implies willingness of at least one author to register for BNAIC and present the paper. For each paper, a separate author registration is required. Authors keep the copyright of their submissions. The BNAIC Proceedings are published under ISSN series number 1568-7805. IMPORTANT DATES Deadline for submissions June 25th, 2007 Notification of acceptance August 27th, 2007 Deadline for camera-ready papers September 17th, 2007 BNAIC 2007 conference November 5-6th, 2007 ====================================================================== From pgomes at dei.uc.pt Wed Apr 18 10:12:15 2007 From: pgomes at dei.uc.pt (Paulo Gomes) Date: Wed, 18 Apr 2007 09:12:15 +0100 Subject: =?us-ascii?Q?TCBR_Call_For_Papers_-_=22Textual_Case-Based_Reasoning:_Beyo?= =?us-ascii?Q?nd_Retrieval=22?= Message-ID: <200704180812.l3I8CkXo004909@smtp.dei.uc.pt> [ Please circulate / Apologies for multiple postings ] ------------------------------------------------------------------ CALL FOR PAPERS Fourth Workshop on Textual Case-Based Reasoning "Textual Case-Based Reasoning: Beyond Retrieval" http://tcbr.dei.uc.pt Workshop at the Seventh International Conference on Case-Based Reasoning 15 August 2007 Belfast - Northern Ireland http://www.iccbr.org/iccbr07/ Paper Submission Deadline: 30 April 2007 ------------------------------------------------------------------ The aim of this workshop is to provide a forum for the discussion of trends, research issues and practical experiences in Textual Case-Based Reasoning (TCBR). TCBR applies the Case-Based Reasoning (CBR) problem-solving methodology to situations where experiences are predominantly captured in text form. The theme of the workshop is 'Textual Case-Based Reasoning: Beyond Retrieval'. We invite submissions of two types: - Research and application papers; and - Papers that address the workshop challenge. Submission topics for research and application papers ----------------------------------------------------- We particularly welcome contributions that explore approaches that address the workshop theme. Topics include, but are not limited to, the following: - Textual case authoring (e.g. from the Web, from semi-structured documents). - Adaptation of textual cases. - Explanation in TCBR. - Maintenance of textual case bases. - The relationship between textual CBR and related technologies, such as text mining, question-answering, dialogue systems, and human-language technology. - Approaches to multilingual TCBR, mixed content types (e.g. text and images) and collective TCBR. - Automated extraction of textual knowledge sources (e.g. cases, similarity measures, thesauruses, lexicons, taxonomies, ontologies & folksonomies). - Testing, evaluation, analysis and visualisation methods for TCBR. - Conversational TCBR. - TCBR case studies. Papers that address the workshop challenge ------------------------------------------ We encourage all potential workshop participants, individually or as a research group, to submit a short paper that addresses the workshop challenge (described below). Submission of a research or application paper (above) does not preclude submission of a workshop challenge paper. Accepted challenge papers will appear in the workshop proceedings, along with research and application papers. Short presentations of the accepted challenge papers at the workshop will form the basis for workshop discussions. The challenge that we propose consists in analysing the corpus of Air Investigation Reports available from the Transportation Safety Board of Canada. The reports are ordered by year and are available in English and French at: http://www.tsb.gc.ca/en/reports/ http://www.tsb.gc.ca/fr/reports/ Investigation reports are created by human experts to describe system malfunctions or procedural errors, in this case in Canadian air traffic. They are written in natural language, but may also contain images referenced from the text. They mostly share a common structure; most frequently, they are divided into sections such as Summary, Analysis, Safety Actions, and so on. Imagine that you are to use this corpus to build a TCBR system that supports human investigators. A TCBR system might support the investigators in tasks such as the following: - authoring a new investigation report; - proposing safety actions in response to a new incident; - discovering recurring unsolved problems. A non-exhaustive list of the difficulties to be overcome in building such a TCBR system includes: - the free-form vocabulary, the length of the documents, and the likelihood that section headers may not accurately describe section content; - multilingual support (English and French), and multimedia support (text and images); - possible obsolescence of cases due to, e.g., changes in aircraft manufacture, in airport infrastructure, or in policies and legal requirements. You might like to submit, for example, a 2 or 3 page paper that describes some of the problems in more detail; or a 3 or 4 page paper that proposes ways of overcoming some of these problems; or a 4 or 5 page paper that reports actual experience in addressing the problems (perhaps using the jColibri framework). We particularly welcome contributions that address the workshop theme ('Beyond Retrieval'). Format and submission --------------------- Papers of both types should be submitted in Springer LNCS format, which is the format required for the final camera ready copy, subject to the following page limits: - a maximum of 10 pages for research and application papers; and - a maximum of 5 pages for papers that address the workshop challenge. Authors' instructions along with LaTeX and Word macro files are available on the web at http://www.springer.de/comp/lncs/authors.html Accepted papers will appear in the Workshop Proceedings. We also plan to edit a special issue of a journal with extended versions of a selection of the accepted contributions. Instructions for submission can be found on the workshop web site. Important dates --------------- April 30, 2007: Deadline for workshop paper submissions May 28, 2007: Notification of acceptance for workshop papers June 25, 2007: Deadline for workshop final camera-ready copies August 15, 2007: TCBR Workshop, Belfast, Northern Ireland Organising committee -------------------- Derek Bridge, University College Cork, Ireland Paulo Gomes, University of Coimbra, Portugal Nuno Seco, University of Coimbra, Portugal From stijn.heymans at deri.org Wed Apr 18 15:32:30 2007 From: stijn.heymans at deri.org (Stijn Heymans) Date: Wed, 18 Apr 2007 15:32:30 +0200 Subject: ESWC 2007: Call for Participation Message-ID: [Apologies if you receive multiple copies] ================================================================== CALL FOR PARTICIPATION ESWC 2007 4th European Semantic Web Conference 3 - 7 June 2007 Innsbruck (Austria) The vision of the Semantic Web is to enhance today's web via the exploitation of machine-processable meta data. The explicit representation of the semantics of data, enriched with domain theories (Ontologies), will enable a web that provides a qualitatively new level of service. It will weave together a large network of human knowledge and makes this knowledge machine-processable. Various automated services will help the users to achieve their goals by accessing and processing information in machine-understandable form. This network of knowledge systems will ultimately lead to truly intelligent systems, which will be employed for various specialized reasoning subsystems to accomplish complex tasks. Many technologies and methodologies are being developed within Artificial Intelligence, Natural Language Processing, Machine Learning, Databases, Multimedia Systems, Distributed Systems, Software Engineering and Information Systems that can contribute towards the realization of this vision. The 4th Annual European Semantic Web Conference (ESWC 2007) will present the latest results in research and application of Semantic Web technologies, including knowledge mark-up languages, Semantic Web services, and ontology management. ESWC 2007 will also feature a special industry-oriented event, a forum for gaining a better understanding of these new technologies and their business aspects. The conference will offer a tutorial program to get up to speed with European and global developments in this exciting new area. Several distinguished scientists will give an invited talk at the conference: prof. Stefano Ceri (Tech. Univ. of Milan, Italy), prof. Georg Gottlob (Oxford Univ., UK), prof. Ning Zhong (Maebashi Institute of Technology, Japan), and prof. Ron Brachman (Vice President of Worldwide Research Operations at Yahoo! Research). ESWC 2007 is sponsored by ESSI - a group of European Commission 6th Framework Programme projects. Together these projects aim to improve world-wide research and standardisation in the area of the Semantic Web. For more information on ESSI, please visit www.essi-cluster.org. The European Semantic Web Conference is an annual forum for the dissemination and discussion of the latest results in research and application in the Semantic Web and Semantic Web technologies. ESWC 2007 will host a variety of workshops, tutorials, demonstrations and posters dedicated to the most current trends in Semantic Web technologies and will be hosted in the heart of Alps, the unique city of Tirol, Innsbruck. New to this year's ESWC is The Knowledge Web PhD Symposium aiming in bringing together doctoral students within the Semantic Web community to open their research up to discussion in the European forum. The 4th European Semantic Web Conference will be hosted in the heart of Alps, the unique city of Tirol, Innsbruck. For further details please visit the conference website http://www.eswc2007.org From agentcontest2007-request at in.tu-clausthal.de Wed Apr 18 19:28:14 2007 From: agentcontest2007-request at in.tu-clausthal.de (agentcontest2007 Report) Date: Wed, 18 Apr 2007 19:28:14 +0200 Subject: Subscriber mattijs@science.uva.nl Failed Message-ID: mattijs at science.uva.nl failed and it has been unsubscribed from the 'agentcontest2007' list From branzalova at gmail.com Thu Apr 19 13:24:09 2007 From: branzalova at gmail.com (Polina Branzalova) Date: Thu, 19 Apr 2007 13:24:09 +0200 Subject: subscribe Message-ID: <55e02d430704190424u6229c532n6cd1583d97610401@mail.gmail.com> -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From branzalova at gmail.com Thu Apr 19 13:34:11 2007 From: branzalova at gmail.com (Polina Branzalova) Date: Thu, 19 Apr 2007 13:34:11 +0200 Subject: Confirmation Request (0161192416) In-Reply-To: References: Message-ID: <55e02d430704190434m2a55057aofd529f1fff71c6d3@mail.gmail.com> On 4/19/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: 0161192416, > 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 m.kohlhase at iu-bremen.de Thu Apr 19 21:38:23 2007 From: m.kohlhase at iu-bremen.de (Michael Kohlhase) Date: Thu, 19 Apr 2007 21:38:23 +0200 Subject: CfP: OpenM ath/MathML/JEM Workshop (June 25/26; RISC Linz) Message-ID: <4627C52F.1020901@iu-bremen.de> [Apologies for double posing] 8th OpenMath Meeting (joint with JEM) *RISC, Schloss Hagenberg, University of Linz* *June 25-26th, 2007* Details: http://www.openmath.org/meetings/linz2007/ The 8th OpenMath Workshop is a meeting place for developers and users of the OpenMath standard. The recent developments and applications of OpenMath are presented at this yearly event. OpenMath is a standard for communicating semantically-rich representations of mathematical objects between all kinds of computer programs. The communication can take place between software packages and on the World Wide Web. The associated tools will permit the display, manipulation and access of mathematical information stored electronically. Scope The main themes of this year's meeting will be the Alignment with MathML3 and the use of OpenMath in Education. The program will consist of tutorials and contributed talks, and will be organized into two one-day tracks. The W3C has chartered the Math Working Group with revising the MathML2 standard until Spring 2008. In this endeavor, the Math working group is revising the content-MathML sublanguage to be isomorphic with OpenMath. This will greatly enhance interoperability of content communication for math software systems. We will start off the track by an OpenMath/MathML tutorial, and a presentation of the current content MathML3 working draft. The main topic will be discussions on technical issues of the alignment, possible changes to OpenMath, and perspectives for content Mathematics. The JEM, Joining Educational Mathematics, thematic network is promoting contributions that highlight new developments and use of semantic markup in digital content designed for eLearning. The possibility to manipulate and communicate mathematical objects without loss of information allows for rich, interactive materials that are ideal in education. New technologies, software libraries and tools, case studies, comparative surveys, and success stories related to semantic markup such e.g. OpenMath, Content MathML, MathBook-MathDox, OMDoc, MathQTI, PhysML, are also welcome. Related Events The workshop takes place as part of the RISC Summer 2007 , directly before the Workshop on Mathematical Interfaces (MathUI) , the 6th Conference on Mathematical Knowledge Management (MKM2007) , and the Calculemus Symposium . Registration will be handled by the RISC summer. On June 25. 2007 the annual general meeting of the OpenMath Society will be held. More information will be posted as available on the OpenMath Society web pages. Call for contributions We are calling for contributed talks on these topics. Contributed Talks should be submitted by e-mail to the Organizers along with one-page html-formatted abstract until June 1st 2007. Organizers * Olga Caprotti, Helsinki University: olga.caprotti at helsinki.fi * Michael Kohlhase, Jacobs University Bremen:m.kohlhase at iu-bremen.de * Paul Libbrecht, DFKI paul at activemath.org. -- ---------------------------------------------------------------------- Prof. Dr. Michael Kohlhase, Office: Research 1, Room 62 Professor for Computer Science Campus Ring 12, School of Engineering & Science D-28759 Bremen, Germany International University Bremen* tel/fax: +49 421 200-3140/-493140 http://kwarc.eecs.iu-bremen.de/kohlhase * Jacobs University Bremen as of Spring 2007 ---------------------------------------------------------------------- From optnet at itwm.fraunhofer.de Fri Apr 20 08:57:41 2007 From: optnet at itwm.fraunhofer.de (optnet at itwm.fraunhofer.de) Date: Fri, 20 Apr 2007 08:57:41 +0200 (CEST) Subject: subscribe Message-ID: From optnet at itwm.fraunhofer.de Fri Apr 20 09:59:47 2007 From: optnet at itwm.fraunhofer.de (optnet at itwm.fraunhofer.de) Date: Fri, 20 Apr 2007 09:59:47 +0200 (CEST) Subject: Confirmation Request (0231327328) In-Reply-To: References: Message-ID: From wva at info.fundp.ac.be Tue Apr 24 17:30:09 2007 From: wva at info.fundp.ac.be (Wim Vanhoof) Date: Tue, 24 Apr 2007 17:30:09 +0200 Subject: (CFP) WLPE'07 - Workshop on Logic-based Methods in Programming Environments Message-ID: <462E2281.8060304@info.fundp.ac.be> [Apologies for multiple copies...] ----------------------------------------------------------- WLPE' 07 - CALL FOR PAPERS Workshop on Logic-based Methods in Programming Environments (satellite workshop of ICLP'07) September 13, 2007 Porto, Portugal http://www.comp.leeds.ac.uk/hill/WLPE07/ ----------------------------------------------------------- The 17th Workshop on Logic-based methods in Programming Environments will take place in Porto, Portugal, as a satellite workshop of ICLP'07, the 23th International Conference on Logic Programming. This workshop will continue the series of successful international workshops on logic programming environments held in Ohio, USA (1989), Eilat, Israel (1990), Paris, France (1991), Washington, USA (1992), Vancouver, Canada (1993), Santa Margherita Ligure, Italy (1994), Portland, USA (1995), Leuven, Belgium and Port Jefferson, USA (1997), Las Cruces, USA (1999), Paphos, Cyprus (2001), Copenhagen, Denmark (2002), Mumbai, India (2003), Saint Malo, France (2004), Sitges, Spain (2005) and Seattle, Washington USA (2006). The workshop aims at providing an informal meeting for researchers working on logic-based tools for development and analysis of programs. In addition to papers describing more conceptual work on environmental tools, we solicit papers describing the implementation of and experimentation with such tools. Areas particularly relevant to the workshop include: * static and dynamic analysis * debugging and testing * program verification and validation * code generation from specifications * termination and non-termination analysis * reasoning on occurs-check freeness and determinacy * profiling and performance analysis * type- and mode analysis * module systems * optimization tools Note that this list is not exhaustive and, if you are interested in taking part in the workshop but unsure if your work falls within its scope, do contact the organisers who will be happy to advise. Submission guidelines --------------------- We invite the submission of full papers which, excluding references, should not exceed 16 pages, or short papers describing work in progress which should be no more than 6 pages. Authors are requested to submit their paper in standard postscript or pdf format (preferable in Springer LNCS style) to: http://www.easychair.org/WLPE07/ An informal proceedings will be distributed at the workshop. After the workshop, the proceedings will be publicly available on-line in the Computing Research Repository (CoRR). Important dates --------------- Submission: June 15, 2007 Notification: July 8, 2007 Camera-ready: August 15, 2007 Workshop: September 13, 2007 Workshop organizers ------------------- Patricia Hill School of Computing, University of Leeds Leeds, England Phone: +44 113 343 6807 Fax: +44 113 343 5468 http://www.comp.leeds.ac.uk/hill/ Wim Vanhoof Insitut d'Informatique, University of Namur Namur, Belgium Phone: +32 81 72 49 77 Fax: +32 81 72 49 67 http://www.info.fundp.ac.be/~wva/ Program committee ----------------- John Gallager (Roskilde University, Denmark) Gopal Gupta (University of Texas at Dallas, U.S.A) Michael Hanus (Christian-Albrechts-Universität zu Kiel, Germany) Pat Hill (University of Leeds, U.K.) Erwan Jahier (Verimag Laboratory, Gières, France) Gerda Janssens (KULeuven, Belgium) Susana Muñoz-Hernández (Universidad Politécnica de Madrid, Spain) Baudouin Le Charlier (Catholic University of Louvain, Belgium) Lunjin Lu (Oakland University, USA) German Puebla (Technical University of Madrid, Spain) Alexander Serebrenik (Technische Universiteit Eindhoven, The Netherlands) Fausto Spoto (Università di Verona, Italy) Wim Vanhoof (University of Namur, Belgium) Enea Zaffanella (Parma University, Italy) Event's Web homepage -------------------- http://www.comp.leeds.ac.uk/hill/WLPE07/ From sava.krstic at intel.com Tue Apr 24 21:46:59 2007 From: sava.krstic at intel.com (Krstic, Sava) Date: Tue, 24 Apr 2007 12:46:59 -0700 Subject: SMT Workshop: Submission deadline extended to 28 April Message-ID: <607183388E5F5E43BD4F44478E62341E01522AD5@orsmsx419.amr.corp.intel.com> ====================================================================== SUBMISSION DEADLINE EXTENDED: APRIL 28 ====================================================================== .----------------- Last Call for Papers ------------------- SMT Workshop '07 5th International Workshop on Satisfiability Modulo Theories Previously called: Pragmatics of Decision Procedures in Automated Reasoning (PDPAR) Berlin, Germany, 1-2 July 2007 (affiliated with CAV '2007) http://www.lsi.upc.edu/~oliveras/smt07 ====================================================================== Background ~~~~~~~~~~ Deciding the satisfiability of first-order formulas modulo background theories, known as the Satisfiability Modulo Theories (SMT) problem, has proved to be useful in verification, compiler optimization, scheduling, and other areas. The success of SMT techniques depends on the development of both domain-specific decision procedures for each concrete theory (e.g. linear arithmetic, the theory of arrays, or the theory of bit-vectors) and combination methods that allow one to obtain more versatile SMT tools. These two ingredients together make SMT techniques well-suited for use in larger automated reasoning and formal verification efforts. Aims and Scope ~~~~~~~~~~~~~~ The aim of the workshop is to bring together researchers and users of SMT tools and techniques. Continuing with the PDPAR tradition, we especially encourage submission of papers focused on pragmatic aspects. Relevant topics include but are not limited to: * New decision procedures and new theories of interest * Combination of decision procedures * Novel implementation techniques * Benchmarks and evaluation methodologies * Applications and case studies * Theoretical results Important dates ~~~~~~~~~~~~~~~ Submission deadline : 28 April Notification of acceptance/rejection : 21 May Final version due : 4 June Workshop : 1-2 July Proceedings ~~~~~~~~~~~ Given the informal style of the workshop, only informal proceedings will be distributed at the workshop. We are planning to publish a selected subset of the submitted papers as post-proceedings in a special volume of the Electronic Notes in Theoretical Computer Science (ENTCS) unless the authors prefer not to. Paper Submission and Proceedings ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Following the PDPAR'06 initiative, there are two categories of submissions: * Original papers: contain original research (simultaneous submissions are not allowed) and sufficient detail to assess the merits and relevance of the submission. For papers reporting experimental results, authors are strongly encouraged to make their data available. Given the informal style of the workshop, we will welcome work in progress and novel ideas that are not yet competitive in practice. * Presentation-only papers: describe work recently published or submitted and will not be included in the proceedings. We see this as a way to provide additional access to important developments that SMT Workshop attendees may be unaware of. Papers in both categories will be peer-reviewed. Papers should not exceed 10 pages (Postscript or PDF) and should be written in LaTeX, 11pt, one column, a4paper, standard margins. Technical details may be included in an appendix to be read at the reviewers' discretion. Full submission guidelines are at the workshop web page. Invited Speakers ~~~~~~~~~~~~~~~~ - Rupak Majumdar, University of California, Los Angeles. - Peter O'Hearn, Queen Mary, University of London. Student travel awards ~~~~~~~~~~~~~~~~~~~~~ SMT 2007 will partially reimburse some students for their conference-related expenses. Preference will be given to students playing an active role in the workshop. However, students in other situations are also encouraged to apply. We require applications in the form of a short recommendation letter written by the student's supervisor, to be sent to the PC chairs by March 30. Program Chairs ~~~~~~~~~~~~~~ - Sava Krstic, Intel Corporation - Albert Oliveras, Tech. Univ. of Catalonia Program Committee ~~~~~~~~~~~~~~~~~ Clark Barrett, New York University Alessandro Cimatti, ITC-Irst, Trento Byron Cook, Microsoft Research Amit Goel, Intel Corporation Aarti Gupta, NEC Labs America Shuvendu Lahiri, Microsoft Research Leonardo de Moura, Microsoft Research Robert Nieuwenhuis, Technical University of Catalonia Silvio Ranise, LORIA, Nancy Roberto Sebastiani, Universita` di Trento Ofer Strichman, Technion Cesare Tinelli, University of Iowa Ashish Tiwari, Stanford Research Institute (SRI) From Camilla.Schwind at lif.univ-mrs.fr Wed Apr 25 23:16:21 2007 From: Camilla.Schwind at lif.univ-mrs.fr (Camilla Schwind) Date: Wed, 25 Apr 2007 23:16:21 +0200 Subject: subscribe Message-ID: <462FC525.5010604@lif.univ-mrs.fr> Camilla Schwind LIF (Laboratoire d'Informatique Fondamentale) Parc Scientifique et Technologique de Luminy 163, avenue de Luminy - Case 901 F-13288 Marseille Cedex 9 Tel: +33 (0)4 91 82 94 96 Tel: +33 (0)4 91 82 90 70 (Secretariat) Fax: +33 (0)4 91 82 92 75 e-mail: Camilla.Schwind at lif.univ-mrs.fr http://www.lif-sud.univ-mrs.fr/~schwind/ From ilona.zaremba at deri.org Wed Apr 25 16:11:21 2007 From: ilona.zaremba at deri.org (Ilona Zaremba) Date: Wed, 25 Apr 2007 16:11:21 +0200 Subject: =?iso-8859-1?Q?Call_for_Papers:_1st_Workshop_on_Business_added-value_of_s?= =?iso-8859-1?Q?emantic_technologies_at_ESTC_2007_-_1st_European_Semantic_?= =?iso-8859-1?Q?Technology_Conference=2C__May_31_-_June_1=2C_2007_Vienna?= =?iso-8859-1?Q?=2C_Austria?= Message-ID: <004101c78743$99ada0c0$ae0110ac@at.deri.local> Call for Papers BAST2007 http://www.estc2007.com May 31 - June 1, 2007 1st workshop on Business added-value of semantic technologies at ESTC 2007 - 1st European Semantic Technology Conference, May 31 – June 1, 2007 Vienna, Austria CIOs are starting to acknowledge the technical value of semantic technologies for enterprises. In the last five years early adopting players have been increasingly using them in various application settings ranging from content management to enterprise integration platforms. Despite this promising position, it is still difficult to argue in favor of semantic technologies in front of the CFOs because of the lack of convincing measurable benefits. The workshop addresses the value proposition of semantic technologies for business purposes. It is intended as a networking event for early adopters willing to share their experiences in adopting semantics at corporate level, and for other interested parties looking for best practices and success stories with this respect. In particular we aim at experience reports from enterprises addressing * benefits of semantic technologies in SOA-based enterprise architectures * benefits of semantic technologies for multi-device management * efforts and problems occurring in adopting semantic technologies at corporate level, including the changes triggered by this adoption at process and organizational level, and the need for training and additional know-how * evaluation criteria and methods to assess the quality and compare alternative technological solutions. * the way the usage of semantics achieves efficiency gains * instruments to derive and estimate the value of semantic technologies from quantitative and qualitative criteria, and to visualize the effect on overall costs and revenues according to the economic value added principle The workshop also seeks for original academic work in the respective field including * methods to estimate the cost of introducing semantic technologies into enterprise environments * methods to anticipate the cost savings achievable through semantic technologies * methods to estimate the option of investing in semantic technologies in terms of their potential business value. SUBMISSION INSTRUCTIONS We invite submissions of experience reports or research reports reflecting both research in progress and validated results that address any relevant dimension of the problem. Interested parties are invited to submit experience reports of up to 5 pages or research reports of up to 8 pages, which will be reviewed by the members of the programme committee for feedback purposes. Alternatively, we accept the slides to be used in the presentation and an abstract (max. 300 words) including title, main message (problem statement – approach - solution) and a short CV of the presenter. Submission can be sent by email to the workshop organizers. For accepted submissions, at least one author must register for the workshop in order for the paper to be scheduled in the workshop program. At the workshop we expect a 30 min. presentation of the reported results and 15 min. discussion. Important Dates May 14, 2007 Paper submissions due May 21, 2007 Acceptance notification May 31, 2007 11:00 – 15:30 Workshop at the ESTC 2007 Organization Committee Elena Simperl, DERI Innsbruck, Austria Christoph Tempich, Detecon International GmbH, Germany Program Committee Witold Abramowicz, Poznan University of Economics, Poland Christopher Bussler, Cisco, US John Davies, BT, UK Martin Hepp, DERI Innsbruck, Austria Thomas Hoppe, T-Systems, Germany Ora Lassila, Nokia, US Alexander Löser, SAP AG, Germany Atanas Kiryakov, Ontotext, Bulgaria Janne Saarela, Profium, Finland Klaus Schild, Toll-Collect GmbH, Germany Raphael Volz, Institut FZI, Universität Karlsruhe, Germany Contact Elena Simperl, DERI Innsbruck, Austria elena.simperl at deri.org Christoph Tempich, Detecon International GmbH, Germany Christoph.Tempich at detecon.com ************************************************************** Ilona Zaremba DERI Innsbruck University of Innsbruck Technikerstrasse 21a A-6020 Innsbruck Tel.: +43/512/507/96818 Fax +43/512/507/9872 E-mail: ilona.zaremba at deri.org From msalido at dsic.upv.es Wed Apr 25 17:35:01 2007 From: msalido at dsic.upv.es (Miguel A. Salido) Date: Wed, 25 Apr 2007 17:35:01 +0200 Subject: CAEPIA 2007 Workshop on planning, scheduling and constraint satisfaction References: <607183388E5F5E43BD4F44478E62341E01522AD5@orsmsx419.amr.corp.intel.com> Message-ID: <462F7525.1020702@dsic.upv.es> -------------- nächster Teil -------------- Ein eingebundener Text mit undefiniertem Zeichensatz wurde abgetrennt. Name: Call for papers of CAEPIA 2007 Workshop.txt URL: From nicola.olivetti at univ-cezanne.fr Wed Apr 25 19:58:08 2007 From: nicola.olivetti at univ-cezanne.fr (Nicola OLIVETTI) Date: Wed, 25 Apr 2007 19:58:08 +0200 (CEST) Subject: TABLEAUX 2007, Call for Participation Message-ID: <23818609.1177523888273.JavaMail.root@frontal1> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% Call for Participation %% %% %% %% TABLEAUX 2007 %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% International Conference TABLEAUX 2007 Automated Reasoning with Analytic Tableaux and Related Methods Aix en Provence, France 3-6 July 2007 http://tableaux2007.univ-cezanne.fr/ GENERAL INFORMATION This conference is the 16th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods. TOPICS Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods. INVITED SPEAKERS: Piero Bonatti, Università di Napoli John-Jules Meyer, Utrecht University Cesare Tinelli, University of Iowa TUTORIALS: The Tableau Work Bench: Theory and Practice (P. Abate, R. Goré) Tableau Methods for Interval Temporal Logics (V. Goranko, A. Montanari) Semistructured Databases and Modal Logic (S. Cerrito) COLOCATED WORKSHOP: AGENTS, LOGIC AND THEOREM PROVING 3 July 2007, http://www.lif-sud.univ-mrs.fr/~schwind/Agentws.html ON-LINE REGISTRATION is now open at: http://tableaux2007.univ-cezanne.fr Nicola Olivetti Program and Conference Chair of TABLEAUX 2007 From iclp07-publicity at di.uevora.pt Thu Apr 26 06:49:21 2007 From: iclp07-publicity at di.uevora.pt (ICLP07 publicity) Date: Thu, 26 Apr 2007 05:49:21 +0100 Subject: Final CFP: ICLP 2007 Doctoral Consortium Message-ID: (apologies if you receive multiple copies) ---------------------------------------------------------------------- International Conference on Logic Programming Third Doctoral Consortium Porto, Portugal September 8-13, 2007 http://www.cs.nmsu.edu/~epontell/DC2007 ----------- The 2007 ICLP Doctoral Consortium (DC) is the third international doctoral consortium to be offered as part of the International Conference on Logic Programming. The DC will take place during ICLP 2007 in Porto, Portugal. The Doctoral Consortium is designed for doctoral students working in areas related to logic programming, as well as Master's students interested in pursuing doctoral degrees in the field of logic programming. The Doctoral Consortium aims to provide students with an opportunity to present and discuss their research directions and to obtain feedbacks from peers as well as world-renown experts in the field. The Doctoral Consortium will also offer invited speakers and panels discussions. ------------ The Doctoral Consortium is held the during the regular activities of the ICLP 2007 Conference. The aims of the Doctoral Consortium are: * To provide doctoral students working in the field of logic and constraint programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback * To provide students with relevant information about important issues for doctoral candidates and future academics * To develop a supportive community of scholars and a spirit of collaborative research. * To support a new generation of researchers with information and advice on academic, research, industrial, and non-traditional career paths. The Consortium is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Masters program and interested in doctoral studies). The Consortium is for students at any stage of their doctoral studies are welcome to apply. Applicants are expected to be conducting research in the field of Logic Programming; topics of interest include (but are not limited to): * Theoretical Foundations of Logic and Constraint Logic Programming * Sequential and Parallel Implementation Technology * Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, Verification * Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming) * Innovative Applications of Logic Programming The Consortium allows participants to interact with established researchers and with other students, through presentations, question- answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. The Doctoral Consortium will be held on a date to be determined, in parallel with the regular activities of the ICLP 2007 conference; the ICLP conference will run from September 8th to September 13th, 2007. Doctoral Consortium participants will be offered the opportunity to have their abstracts published in the ICLP 2007 conference proceedings. Discussants: Several renowned faculty members and researchers in the field of Logic Programming will join in evaluating the submission packets and will participate in the Doctoral Consortium, providing feedback to the presenters. The list of the discussants will be published at a later date. -------- Detailed submission instructions can be found in the ICLP 2007 Doctoral Consortium web site, at: http://www.cs.nmsu.edu/~epontell/DC2007 -------- Important Dates Submission Deadline: May 2nd, 2007 (strict) Acceptance Notification: May 20th, 2007 Last Date to Update Research Summary: June 5th, 2007 (strict) Doctoral Consortium: September 8-13, 2007 (TBA) ICLP 2006 Conference: September 8-13, 2007 ------------ Doctoral Consortium Chairs: Enrico Pontelli Ines de Castro Dutra Department of Computer Science COPPE/Sistemas New Mexico State University Universidade Federal do Rio MSC CS, Box 30001 de Janeiro Las Cruces, NM 88003, USA Rio de Janeiro, Brasil epontell _a_t_ cs.nmsu _dot_ edu ines _a_t_ cos.ufrj _dot_ br From camilla.schwind at lif.univ-mrs.fr Thu Apr 26 13:28:26 2007 From: camilla.schwind at lif.univ-mrs.fr (camilla.schwind) Date: Thu, 26 Apr 2007 13:28:26 +0200 Subject: subscribe Message-ID: <5ed85afd2fd219928052e615f9513d6a@192.168.0.25> From camilla.schwind at lif.univ-mrs.fr Thu Apr 26 16:49:11 2007 From: camilla.schwind at lif.univ-mrs.fr (camilla.schwind) Date: Thu, 26 Apr 2007 16:49:11 +0200 Subject: Confirmation Request (0767263748) In-Reply-To: References: Message-ID: <7d99401993ff344b11ae1301cefdc979@192.168.0.25> On Thu, 26 Apr 2007 13:51:42 +0200, "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: 0767263748, > 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 wiiat at kis-lab.com Sat Apr 21 09:14:12 2007 From: wiiat at kis-lab.com (Jia Hu) Date: Sat, 21 Apr 2007 16:14:12 +0900 Subject: Subscribe me! Message-ID: <20070421072058.1596A235BCB@sphinx.rz.tu-clausthal.de> From walid.chainbi at lycos.com Thu Apr 26 15:15:05 2007 From: walid.chainbi at lycos.com (Walid Chainbi) Date: Thu, 26 Apr 2007 09:15:05 -0400 (EDT) Subject: ATAC'2007: Deadline extended to May 15 Message-ID: <20070426091505.HM.0000000000000fv@walid.chainbi.bos-mail-wwl17.lycos.com> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jppearce at usc.edu Fri Apr 27 02:04:26 2007 From: jppearce at usc.edu (Jonathan Pearce) Date: Thu, 26 Apr 2007 17:04:26 -0700 Subject: CFP: Distributed Constraint Reasoning Workshop @ CP '07 Message-ID: ************************************************************************ ******** **** Ninth International Workshop on Distributed Constraint Reasoning (DCR) **** ************************************************************************ ******** September 23, 2007 Held in conjunction with CP-07 Brown University Providence, Rhode Island, USA http://teamcore.usc.edu/DCR ************************************************************************ ******** Call for Papers ************************************************************************ ******** Workshop Description: Distributed Constraint Reasoning (DCR) problems arise when pieces of information about variables, constraints or both are relevant to independent but communicating agents. They provide a promising framework to deal with the increasingly diverse range of distributed real-world problems emerging from the evolution of computation and communication technologies. The new challenges posed by solving Distributed Constraint Reasoning Problems include dealing with resource restrictions (such as limits on time and communication), privacy requirements, exploiting opportunities for cooperation, and designing conflict resolution strategies. The workshop addresses modeling, formulation and solution of Distributed Constraint Reasoning problems, including both Distributed Constraint Satisfaction and Optimization Problems. The workshop encourages submissions on all topics related to Distributed Constraint Reasoning, including (but not limited to) the following: * unified frameworks for distributed constraint reasoning * algorithms for solving distributed constraint reasoning problems * theoretical results about distributed constraint reasoning problems * privacy issues in distributed constraint reasoning * problem solving in systems with self-interested agents * distributed constraint propagation and consistency * over-constrained problems * applications of distributed constraint reasoning * modeling of distributed constraint reasoning problems * extensions of the distributed constraint reasoning paradigm/framework Workshop Motivation: The goal of the DCR workshop series is to bring together researchers from the many different areas that are relevant to distributed constraint reasoning so that commonalities and relationships can be discovered and understanding improved. DCR is an inter-disciplinary research area involving the Constraint Programming, Multiagent Systems and AI communities. As such, this workshop has historically rotated its location between the three major conferences in each of these areas: CP (in 2000 and 2004), IJCAI (in 2001, 2003, 2005, and January of 2007) and AAMAS (in 2002 and 2006). In September of 2007, DCR will again be held at CP and we invite all members of the CP community to participate. Workshop Format: At least one author of each accepted submission must attend the half-day workshop. The workshop will emphasize group discussion so presentations will be balanced with discussion time. Proposals for panels / discussion groups during the workshop are welcome. Submission Guidelines: Participants should submit a paper (maximum 15 pages), describing their work on one or more of the topics relevant to the workshop. Other participants may submit a shorter paper (maximum 5 pages) presenting a research statement or perspective on topics relevant to the workshop. Accepted papers will be presented during the workshop and will be published in the workshop proceedings. Authors are requested to prepare their papers by following the LNCS Springer instructions found at: http://www.springer.de/comp/lncs/authors.html. All submissions and questions should be emailed to Jonathan Pearce at jppearce at usc.edu. Submissions should include the name(s), affiliations, and email addresses of all authors in the body of the email. We welcome the submission of papers rejected from the CP-2007 technical program. The deadline for receipt of submissions is July 12, 2007. Papers received after this date may not be reviewed. Important Dates and Deadlines: * Submission Deadline: July 12, 2007 * Notification: August 9, 2007 * Camera-Ready Deadline: August 16, 2007 * Workshop Date: September 23, 2007 Contact: Jonathan P. Pearce (workshop chair) jppearce at usc.edu http://www-scf.usc.edu/~jppearce 3737 Watt Way, PHE-210 University of Southern California Los Angeles, CA 90089, USA Organizing Committee: Christian Bessiere LIRMM-CNRS bessiere at lirmm.fr Boi Faltings Swiss Federal Institute of Technology Lausanne boi.faltings at epfl.ch Youssef Hamadi Microsoft Research Cambridge, UK youssefh at microsoft.com Katsutoshi Hirayama Kobe University hirayama at maritime.kobe-u.ac.jp Amnon Meisels Ben-Gurion University am at cs.bgu.ac.il Pedro Meseguer Institut d'Investigaci en Intelligencia Artificial (IIIA) Consejo Superior de Investigaciones Cientificas (CSIC) pedro at iiia.csic.es Jonathan P. Pearce University of Southern California jppearce at usc.edu Marius Silaghi Florida Institute of Technology msilaghi at fit.edu Milind Tambe University of Southern California tambe at usc.edu Makoto Yokoo Kyushu University yokoo at is.kyushu-u.ac.jp From areces at loria.fr Fri Apr 27 10:02:18 2007 From: areces at loria.fr (Carlos Areces) Date: Fri, 27 Apr 2007 10:02:18 +0200 Subject: Doctoral Consortium at the 8th EUROLAN Summer School Message-ID: <4631AE0A.8010900@loria.fr> ********************************************************** Doctoral Consortium at the 8th EUROLAN Summer School * Second Call for Participation * http://eurolan.info.uaic.ro/2007/DC/ July 30 - August 2, 2007, Iasi, Romania Doctoral Consortium - Call for Papers Submission Deadline: May 14, 2007 1. General Information The Doctoral Consortium at EUROLAN-2007 will provide an opportunity for graduate students (PhD and MSc heading towards PhD studies) investigating topics in Computational Linguistics and Natural Language Processing to present their current work and receive constructive feedback and guidance on future research, both from the general audience and the invited lecturers at the Summer School. The Doctoral Consortium will be held as a workshop during 3 or 4 consecutive evenings (1.5 hour slots) in the second week of the EUROLAN 2007 Summer School, July 30 - August 2, 2007. The final version of the accepted papers will be published in the Proceedings of the EUROLAN 2007 Doctoral Consortium, at the University Al. I Cuza Publishing House. During the Summer School the students will present their work, will receive constructive comments wrt. to current and future research directions from a panel of established researchers, and will benefit from the collaborative climate established among all participants, thus enhancing future joint work among them. Students will also prepare a poster which will be on display throughout the Summer School. We invite all interested graduate students to submit their work to the Consortium. As the main goal of the Consortium is for the authors to receive feedback, the emphasis is on work in progress. The research being presented can be from any topic area within Computational Linguistics and Natural Language Processing, including but not limited to: * phonetics, phonology, and morphology; * pragmatics, discourse, semantics, syntax, and the lexicon; * text understanding and generation; * computational semantics; * ontology enriched NLP applications; * multilingual NLP; * mutilingual question answering; * machine translation; * corpus-based language processing; * electronic dictionaries; * written and spoken natural language interfaces; * knowledge acquisition; * terminology; * text summarisation; * text classification; * computer-aided language learning; * human computer interaction; * language resources; * evaluation, assessment and standards in language engineering; * theoretical and application-oriented papers related to NLP of every kind. Well-known researchers from these areas will be invited lecturers of the school and therefore available for interesting discussions. 2. Submission Requirements The submissions should describe original work, still in progress. The submissions may have more than one author; however, all of them MUST be students (PhD and MSc heading towards PhD). The paper should include: * the problem(s) that the proposed research is addressing; * the main contribution(s) of the research to the CL & NLP field; * the proposed solution(s), including a brief description of the methodology adopted; * the future research plan. 3. Submission Procedure Submission must be electronic. The only format acceptable is PDF (.pdf). Submissions should not exceed 8 pages, including references and annexes and should follow the two-column format of ACL proceedings. The papers will be uploaded on a special page, announced on the web page of the Doctoral Consortium, where more submission guidelines are available. 4. Important Dates * Paper submissions deadline: May 14, 2007 * Notification of acceptance: June 4, 2007 * Camera ready papers due: June 25, 2007 * Doctoral Consortium: July 30 - August 2, 2007 * Summer School dates: July 23 - August 3, 2007 5. Registration Authors of accepted papers must register for the Summer School and present their work at the EUROLAN 2007 Doctoral Consortium. No supplementary fee will be required above the EUROLAN fee. The authors will benefit of early registration fee regardless of the date they register. Participation in the Doctoral Consortium is open to all EUROLAN 2007 attendants. 6. Travel Grants A limited number of registration and accommodation discounts/waivers will be available. The authors of accepted papers with reduced possibilities to support their participation to the Doctoral Consortium and the Summer School will have to send a motivation letter, a CV and a recommendation letter from their Ph.D./research advisor to the organizers. More details will be posted at the appropriate time on the webpage of the event. 7. Program Committee * Galia Angelova, Institute for Parallel Processing, Bulgarian Academy of Sciences, Bulgaria * Carlos Areces, LORIA, INRIA, Nancy, France * Patrick Blackburn, LORIA, INRIA, Nancy, France * Antonio Branco, University of Lisbon, Portugal * Dan Cristea, University Al.I. Cuza of Iasi, Romania * Corina Forascu, University Al.I. Cuza of Iasi, Romania * Claire Gardent, LORIA, CNRS, Nancy, France * Maria Georgescul, ISSCO/TIM/ETI, University of Geneva, Switzerland * Udo Hahn, Jena University Language & Information Engineering Lab, Germany * Jerry Hobbs, ISI – University of Southern California, US * Nancy Ide, Vassar College, USA * Diana Inkpen, University of Ottawa, Canada * Alex Killing, Swiss Federal Institute of Technology, Zürich, Switzerland * Zornitsa Kozareva, University of Alicante, Spain * Lothar Lemnitzer, Tübingen University, Department of Linguistics, Germany * Rada Mihalcea, Dept. of Computer Science and Engineering, Univ. of North Texas, US * Paola Monachesi, Uil-OTS, Utrecht Univ., The Netherlands * Enrico Motta, Knowledge Media Institute, Open University, Milton Keynes, UK * Vivi Nastase, EML Research GmbH, Germany * Nicolas Nicolov , Umbria Inc., Boulder, US * Constantin Orasan, Research Group in Computational Linguistics, University of Wolverhampton, UK * Petya Osenova, Institute for Parallel Processing, Bulgarian Academy of Sciences, Bulgaria * Ted Pedersen, University of Minnesota in Duluth, US * Livia Polanyi, Powerset Inc., US * Oana Postolache, ISI – University of Southern California, US * Adam Przepiorkowski, Institute of Computer Science, Polish Academy of Sciences, Poland * Georgiana Puscasu, University of Wolverhampton, UK * Mike Rosner, University of Malta, CSAI and Institute of Linguistics, Malta * Violeta Seretan, University of Geneva, Switzerland * Kiril Simov, Institute for Parallel Processing, Bulgarian Academy of Sciences, Bulgaria * Oliviero Stock, Istituto per la Ricerca Scientifica e Tecnologica, Trento, Italy * Carlo Strapparava, Istituto per la Ricerca Scientifica e Tecnologica, Trento, Italy * Amalia Todirascu, Marc Bloch University, Strasbourg, France * Dan Tufis, Research Institute for Artificial Intelligence, Romanian Academy, Bucharest, Romania * Dusko Vitas, University of Belgrade, Serbia * Cristina Vertan, University of Hamburg, Germany * Walter von Hahn, University of Hamburg, Germany * Jan Wiebe, Dept. of Computer Science, Univ. of Pittsburgh, US * Mickael Zock, Computer Science Laboratory, University of Provence, Marseille, France 8. Contact Information If you need to contact the organizers of the Doctoral Consortium, please use the e-mail: eurolan-dc-oc AT info DOT uaic DOT ro. An e-mail sent to this address will be forwarded to all organizers of the Doctoral Consortium. 9. Organizing Committee * Corina Forascu, University Al.I. Cuza of Iasi, Romania * Oana Postolache, ISI – University of Southern California, USA * Georgiana Puscasu, University of Wolverhampton, UK * Cristina Vertan, University of Hamburg, Germany ================================================================== 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 ilona.zaremba at deri.org Fri Apr 27 12:49:41 2007 From: ilona.zaremba at deri.org (Ilona Zaremba) Date: Fri, 27 Apr 2007 12:49:41 +0200 Subject: ESTC 2007 Newsletter - 1st European Semantic Technology Conference, Vienna, May 31 - June 1, 2007 Message-ID: <004601c788b9$c291c990$ae0110ac@at.deri.local> ESTC 2007 Newsletter ESTC2007 announces the Semantic Technology Business Idea Contest Individuals or teams are invited to submit ideas to commercial exploitation of semantic technologies. >> More Details Programme The programme is now available. Workshops and tutorials are already fixed. Call for participation on workshops and tutorials is open. >> More Details Early Registration discounts available until 04/05/2007 Online registration is now open. >> More Details Keynotes Frank van Harmelen: "Semantic Technologies - solved, halfway, or still in the starting blocks?" Mark Greaves: "The relationship between Web 2.0 and the Semantic Web" Benjamin Grosof: "Commercializing Semantic Web: Rules, Services, and Roadmapping" Ora Lassila: "From Semantic Web to a Broader Vision of Personal Computing" Dave Pearson: "The business value of semantic technology" Susie Stephens: "Integrating Enterprise Data with Semantic Web Technologies" >> More Details Commercializing New Technology Workshop with Hermann Hauser (Amadeus Capital, Cambridge Network) Gerhard Plasonig (ETeCH AG), Helmut Leopold (Telekom Austria), Georg Buchtela (aws) >> More Details > More details [ Please circulate / Apologies for multiple postings ] ------------------------------------------------------------------ *** Extended Submission Deadline - 14 May *** ------------------------------------------------------------------ CALL FOR PAPERS Fourth Workshop on Textual Case-Based Reasoning "Textual Case-Based Reasoning: Beyond Retrieval" http://tcbr.dei.uc.pt Workshop at the Seventh International Conference on Case-Based Reasoning 15 August 2007 Belfast - Northern Ireland http://www.iccbr.org/iccbr07/ *** NEW Paper Submission Deadline: 14 May 2007 *** ------------------------------------------------------------------ The aim of this workshop is to provide a forum for the discussion of trends, research issues and practical experiences in Textual Case-Based Reasoning (TCBR). TCBR applies the Case-Based Reasoning (CBR) problem-solving methodology to situations where experiences are predominantly captured in text form. The theme of the workshop is 'Textual Case-Based Reasoning: Beyond Retrieval'. We invite submissions of two types: - Research and application papers; and - Papers that address the workshop challenge. Submission topics for research and application papers ----------------------------------------------------- We particularly welcome contributions that explore approaches that address the workshop theme. Topics include, but are not limited to, the following: - Textual case authoring (e.g. from the Web, from semi-structured documents). - Adaptation of textual cases. - Explanation in TCBR. - Maintenance of textual case bases. - The relationship between textual CBR and related technologies, such as text mining, question-answering, dialogue systems, and human-language technology. - Approaches to multilingual TCBR, mixed content types (e.g. text and images) and collective TCBR. - Automated extraction of textual knowledge sources (e.g. cases, similarity measures, thesauruses, lexicons, taxonomies, ontologies & folksonomies). - Testing, evaluation, analysis and visualisation methods for TCBR. - Conversational TCBR. - TCBR case studies. Papers that address the workshop challenge ------------------------------------------ We encourage all potential workshop participants, individually or as a research group, to submit a short paper that addresses the workshop challenge (described below). Submission of a research or application paper (above) does not preclude submission of a workshop challenge paper. Accepted challenge papers will appear in the workshop proceedings, along with research and application papers. Short presentations of the accepted challenge papers at the workshop will form the basis for workshop discussions. The challenge that we propose consists in analysing the corpus of Air Investigation Reports available from the Transportation Safety Board of Canada. The reports are ordered by year and are available in English and French at: http://www.tsb.gc.ca/en/reports/ http://www.tsb.gc.ca/fr/reports/ Investigation reports are created by human experts to describe system malfunctions or procedural errors, in this case in Canadian air traffic. They are written in natural language, but may also contain images referenced from the text. They mostly share a common structure; most frequently, they are divided into sections such as Summary, Analysis, Safety Actions, and so on. Imagine that you are to use this corpus to build a TCBR system that supports human investigators. A TCBR system might support the investigators in tasks such as the following: - authoring a new investigation report; - proposing safety actions in response to a new incident; - discovering recurring unsolved problems. A non-exhaustive list of the difficulties to be overcome in building such a TCBR system includes: - the free-form vocabulary, the length of the documents, and the likelihood that section headers may not accurately describe section content; - multilingual support (English and French), and multimedia support (text and images); - possible obsolescence of cases due to, e.g., changes in aircraft manufacture, in airport infrastructure, or in policies and legal requirements. You might like to submit, for example, a 2 or 3 page paper that describes some of the problems in more detail; or a 3 or 4 page paper that proposes ways of overcoming some of these problems; or a 4 or 5 page paper that reports actual experience in addressing the problems (perhaps using the jColibri framework). We particularly welcome contributions that address the workshop theme ('Beyond Retrieval'). Format and submission --------------------- Papers of both types should be submitted in Springer LNCS format, which is the format required for the final camera ready copy, subject to the following page limits: - a maximum of 10 pages for research and application papers; and - a maximum of 5 pages for papers that address the workshop challenge. Authors' instructions along with LaTeX and Word macro files are available on the web at http://www.springer.de/comp/lncs/authors.html Accepted papers will appear in the Workshop Proceedings. We also plan to edit a special issue of a journal with extended versions of a selection of the accepted contributions. Instructions for submission can be found on the workshop web site. Important dates --------------- May 14, 2007: Deadline for workshop paper submissions June 4, 2007: Notification of acceptance for workshop papers June 25, 2007: Deadline for workshop final camera-ready copies August 15, 2007: TCBR Workshop, Belfast, Northern Ireland Organising committee -------------------- Derek Bridge, University College Cork, Ireland Paulo Gomes, University of Coimbra, Portugal Nuno Seco, University of Coimbra, Portugal From Camilla.Schwind at lif.univ-mrs.fr Sat Apr 28 07:37:52 2007 From: Camilla.Schwind at lif.univ-mrs.fr (Camilla Schwind) Date: Sat, 28 Apr 2007 07:37:52 +0200 Subject: Workshop announcement Message-ID: <4632DDB0.3070701@lif.univ-mrs.fr> CALL FOR PAPERS AGENTS, LOGIC AND THEOREM PROVING Tableaux'2007 Workshop http://www.lif-sud.univ-mrs.fr/~schwind/Agentws.html July 3, 2007 Aix-en-Provence Aims and Scope Over the recent years, the agent paradigm gained popularity, due to its applicability to many domains, from search engines to educational aids to electronic commerce and trade, e-procurement, recommendation systems, simulation and routing, to cite only some. Multi-Agent Systems are systems composed of multiple interacting problem-solving entities known as agents. They perceive and act upon their environments to achieve individual as well as joint goals. The work on such systems integrates many technologies and concepts in artificial intelligence and other areas of computer science. Logic provides a well-defined, general, and rigorous framework for studying syntax, semantics and procedures for individual agents and multi-agent systems. The predominant approach for reasoning about multiagent systems has been modal logics. They are especially suited as a tool for a formal description of agents. They have widely been used to characterize mental states of agents and their interaction. On the other hand, analytic tableaux are one of the favorite proof methods for modal logics. Therefore it seems that modal logic is on the cross roads of agents and tableaux theorem proving. The objective of this workshop is to bring together these two communities: agent community and tableaux community. In particular, the purposes of this workshop are: * to present research, based on tableaux and aimed at representing, programming and reasoning about agents and multi-agent systems in a formal way * to promote tableaux for multi-agent systems * to compare and evaluate existing formalisms, * to identify the most important open problems and research questions and * to identify possibilities of solution transfer between the two domains. Relevant topics include, but are not limited to * logical foundations of (multi-)agent systems * modal logic approaches to (multi-)agent systems * non-monotonic reasoning in (multi-)agent systems * agent and multi-agent hypothetical reasoning and learning * theory and practice of argumentation for agent reasoning and interaction * knowledge and belief representation and updates in (multi-)agent systems * model checking algorithms, tools, and applications for (multi-)agent logics * semantics of interaction and agent communication languages * temporal reasoning for (multi-)agent systems * distributed theorem proving for multi-agent systems * logic-based implementations of (multi-)agent systems * specification and verification of interaction protocols in (multi-)agent systems Submission Details The goal of this workshop is to enhance cooperation between participants with an agent background and the tableaux community. Contributors should be willing to interact between the different workshop areas. The programm committee will care to have a balanced number of participants from the different areas concerned. To encourage an atmosphere appropriate for a workshop, we plan to: * have a 15 mn discussion at the end of each session, * have a panel on future directions of logic and tableaux proving for agent systems * have system demos Submission format We welcome short papers (max 4 pages), describing projects or ongoing research and long papers (max. 8 pages), that relate more established results. Important Dates Submission: May 1, 2007 Notification: June 5, 2007 Final version due: June 15, 2007 Workshop: July 3, 2007 Programm Committee * Leila Amgoud, IRIT, Toulouse, France * Juergen Dix, Technische Universitaet Clausthal, Germany * Thomas Eiter, Technische Universitaet Wien, Austria * Laura Giordano, Universita del Piemonte orientale, Alessandria, Italy laura at mfn.unipmn.it * Marc-Philippe Huget, LISTIC, Universite de Savoie, Annecey, France * John-Jules Meyer, Universiteit Utrecht, Netherlands * Camilla Schwind, LIF CNRS, Universite de la Mediterranee, Marseille, France * Cees Witteveen, Technical University Delft, The Netherlands -- Dr. Camilla Schwind 20, avenue Pierre Bouze F-13009 Marseille Tel: +33 (0)4 91 41 26 40 Tel: +33 (0)6 86 98 97 03 (Handy) Fax: +33 (0)4 91 82 92 75 e-mail: Camilla.Schwind at lif.univ-mrs.fr http://www.lif-sud.univ-mrs.fr/~schwind/ -------------- nächster Teil -------------- Ein Dateianhang mit Binärdaten wurde abgetrennt... Dateiname : Camilla.Schwind.vcf Dateityp : text/x-vcard Dateigröße : 225 bytes Beschreibung: nicht verfügbar URL : From nivelle at mpi-inf.mpg.de Mon Apr 30 12:55:03 2007 From: nivelle at mpi-inf.mpg.de (Hans de Nivelle) Date: Mon, 30 Apr 2007 12:55:03 +0200 Subject: Changing E-mail address. Message-ID: <20070430105503.GA17137@mpi-inf.mpg.de> Hello, could you please change my E-mail address from nivelle at mpi-sb.mpg.de to nivelle at ii.uni.wroc.pl ? Thanks Hans. From benhamou at cmi.univ-mrs.fr Mon Apr 30 19:20:59 2007 From: benhamou at cmi.univ-mrs.fr (benhamou) Date: Mon, 30 Apr 2007 19:20:59 +0200 Subject: Call for participation: TABLEAUX 2007 In-Reply-To: <45BA3081.6040905@cmi.univ-mrs.fr> References: <200601291711.k0THB45e018819@birkhoff.cas.mcmaster.ca> <458C0FEC.4030407@cmi.univ-mrs.fr> <45BA3081.6040905@cmi.univ-mrs.fr> Message-ID: <4636257B.5040500@cmi.univ-mrs.fr> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% Call for Participation %% %% %% %% TABLEAUX 2007 %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% International Conference TABLEAUX 2007 Automated Reasoning with Analytic Tableaux and Related Methods Aix en Provence, France 3-6 July 2007 http://tableaux2007.univ-cezanne.fr/ GENERAL INFORMATION This conference is the 16th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods. TOPICS Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods. INVITED SPEAKERS: Piero Bonatti, Università di Napoli John-Jules Meyer, Utrecht University Cesare Tinelli, University of Iowa TUTORIALS: The Tableau Work Bench: Theory and Practice (P. Abate, R. Goré) Tableau Methods for Interval Temporal Logics (V. Goranko, A. Montanari) Semistructured Databases and Modal Logic (S. Cerrito) COLOCATED WORKSHOP: AGENTS, LOGIC AND THEOREM PROVING 3 July 2007, http://www.lif-sud.univ-mrs.fr/~schwind/Agentws.html ON-LINE REGISTRATION is now open at: http://tableaux2007.univ-cezanne.fr Belaïd Benhamou Publicity Chair of TABLEAUX From AdministratorofmailinglistsofCIG at TUC Thu Apr 26 09:27:48 2007 From: AdministratorofmailinglistsofCIG at TUC (AdministratorofmailinglistsofCIG at TUC) Date: Thu, 26 Apr 2007 09:27:48 +0200 Subject: subscribe In-Reply-To: <462FC525.5010604@lif.univ-mrs.fr> References: <462FC525.5010604@lif.univ-mrs.fr> Message-ID: Dear Camilla, I noticed you tried to subscribe to our Event at CIg list. Thanks a lot for your interest. However, you used a wrong e-mail address for the list subscription. In order to correctly subscribe, please follow the instructions on the list website at http://cig.in.tu-clausthal.de/event/. The correct address to send subscription requests is event-subscribe at in.tu-clausthal.de In the case of any problems, please do not hesitate and contact me asap. Best regards, Peter Novak, Event at CIG list administrator. On Wed, 25 Apr 2007 23:16:21 +0200 Camilla Schwind wrote: > Camilla Schwind > LIF (Laboratoire d'Informatique Fondamentale) > Parc Scientifique et Technologique de Luminy > 163, avenue de Luminy - Case 901 >F-13288 Marseille Cedex 9 > Tel: +33 (0)4 91 82 94 96 > Tel: +33 (0)4 91 82 90 70 (Secretariat) >Fax: +33 (0)4 91 82 92 75 > > e-mail: Camilla.Schwind at lif.univ-mrs.fr > http://www.lif-sud.univ-mrs.fr/~schwind/ > > From AdministratorofmailinglistsofCIG at TUC Mon Apr 30 15:30:11 2007 From: AdministratorofmailinglistsofCIG at TUC (AdministratorofmailinglistsofCIG at TUC) Date: Mon, 30 Apr 2007 15:30:11 +0200 Subject: Changing E-mail address. In-Reply-To: <20070430105503.GA17137@mpi-inf.mpg.de> References: <20070430105503.GA17137@mpi-inf.mpg.de> Message-ID: On Mon, 30 Apr 2007 12:55:03 +0200 Hans de Nivelle wrote: > > Hello, > > could you please change my E-mail address from > nivelle at mpi-sb.mpg.de to nivelle at ii.uni.wroc.pl ? Done. Best, Peter Novak, Event at CIG administrator.