Editor for this issue: Renee Galvis <renee
linguistlist.org>
HyLoMail to author|Respond to list|Read more issues|LINGUIST home page|Top of issueLICS 4th WORKSHOP ON HYBRID LOGICS LICS 2002 Affiliated Workshop >>> JULY 25, 2002 <<< Copenhagen, Denmark SECOND CALL FOR PAPERS THEME: Hybrid logic is a branch of modal logic in which it is possible to directly refer to worlds/times/states or whatever the elements of the (Kripke) model are meant to represent. Although they date back to the late 1960s, and have been sporadically investigated ever since, it is only in the 1990s that work on them really got into its stride. It is easy to justify interest in hybrid logic on applied grounds, with the usefulness of the additional expressive power. For example, when reasoning about time one often wants to build up a series of assertions about what happens at a particular instant, and standard modal formalisms do not allow this. What is less obvious is that the route hybrid logic takes to overcome this problem (the basic mechanism being to add nominals --- atomic symbols true at a unique point --- together with extra modalities to exploit them) often actually improves the behavior of the underlying modal formalism. For example, it becomes far simpler to formulate modal tableau and resolution in hybrid logic, and completeness and interpolation results can be proved of a generality that is simply not available in modal logic. That is, hybridization --- adding nominals and related apparatus --- seems a fairly reliable way of curing many known weaknesses in modal logic. For more general background on hybrid logic, and many of the key papers, see the Hybrid Logics homepage: http://www.hylo.net HyLo
LICS is likely to be relevant to a wide range of people, including those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. Moreover, if you have an interest in the work of the late Arthur Prior, note that this workshop is devoted to exploring ideas he first introduced 30 years ago --- it will be an ideal opportunity to see how his ideas have been developed in the intervening period. In this workshop we hope to bring together researchers from all the different fields just mentioned (and hopefully some others) in an attempt to explore what they all have (and do not have) in common. If you're unsure whether your work is of relevance to the workshop, please check out the Hybrid Logics homepage. And do not hesitate to contact the workshop organisers for more information. We'd be delighted to tell you more. Contact details are give below. INVITED TALKS We are very pleased to announce that Professors Moshe Vardi and Melvin Fitting have accepted to be invited speakers at HyLo
LICS. Program and titles of the talks will be released in following announcement, but we are already looking forward to hear about their perspective on Hybrid Logics. SUBMISSIONS: We invite the contribution of research papers to the workshop. Please send electronically an extended abstract of up to 10 A4 size pages, in PostScript format to: carlos
science.uva.nl BEFORE the 26st of APRIL, 2002. Please note that all workshop contributors are required by the LICS organizers to register for FLoC 2002. IMPORTANT DATES: Deadline for Submissions: April 26th, 2002 Notification of Acceptance: May 24th, 2002 Deadline for Final Versions: June 25th, 2002 CONTACT DETAILS: Please visit http://www.hylo.net for further information. Send all correspondence regarding the workshop to the organizers: Carlos Areces e-mail: carlos
science.uva.nl http://www.illc.uva.nl/~carlos Patrick Blackburn e-mail: patrick
aplog.org http://www.loria.fr/~blackbur Maarten Marx e-mail: marx
science.uva.nl http://www.illc.uva.nl/~marx Ulrike Sattler e-mail: sattler
cs.rwth-aachen.de http://www-lti.informatik.rwth-aachen.de/ti/uli-en.html
Last call for papers Deadline extension : March 6th, 2002 Using Semantics for Information Retrieval and Filtering State of the Art and Future Research Las Palmas, Canary Islands - Spain 2nd of June 2002 Held in conjunction with the Third International Conference on Language Resources and Evaluation (LREC 2002) The goal of this full day workshop is to bring together researchers in the domain of information retrieval, and in particular, researchers concerned by the utility of enhancing queries with semantic information gleaned from languages resources and processes. Workshop scope and aims - --------------------- Several experiments have been carried out in the last 15 years investigating the use of various resources and techniques (e.g., thesauri, synonyms, word sense disambiguation, etc.) to help refine or enhance queries. However, the conclusions drawn on the basis of these experiments vary widely. Results of some studies have led to the conclusion that semantic information serves no purpose and even degrades results, while others have concluded that the use of semantic information drawn from external resources significantly increases the performance of retrieval software. At this point, several question arise: - Why do these conclusions vary so widely? - Is the divergence a result of differences in methodology? - Is the divergence a result of a difference in resources? What are the most suitable resources? Do results using manually constructed resources differ in significant ways from results using automatically extracted information? - What is the contribution of specialized resources? - Are present frameworks for evaluation (e.g., TREC) appropriate for evaluation of results?. These questions are fundamental not only to research in document retrieval, but also for information searching, question answering, filtering, etc. Their importance is even more acute for multilingual applications, where,for instance, the question of whether to disambiguate before translating is fundamental. The goal of this workshop is to bring together researchers in the domain of document retrieval, and in particular, researchers on both sides of the question of the utility of enhancing queries with semantic information gleaned from languages resources and processes. The workshop will provide a forum for presentation of the different points of view, followed by a roundtable in which the participants will assess the state of the art, consider the results of past and on-going work and the possible reasons for the considerable differences in their conclusions. Ultimately, they will attempt to identify future directions for research. In view of the relevance of Word Sense Disambiguation (WSD) to information retrieval, a part of the workshop will be dedicated to a panel on Senseval and WSD evaluation (http://www.itri.bton.ac.uk/events/senseval/). The purpose of the panel is to open the discussion on the objectives and principles of Senseval-3, the next evaluation exercise for WSD systems. The panel will summarize the methodology and results of Senseval-2 and consider the current state of WSD. Panelists will speak about the following topics: Is the Senseval-2 method of evaluation adequate? Are we building the right kind of lexical resources for real sense disambiguation systems? Should we (and is it possible to) start an application-specific evaluation track? Important dates - ------------- - Paper submission deadline: March, 6th 2002 - Notification of acceptance/rejection: March 27th, 2002 - Camera ready papers due: April 8th, 2002 - Workshop: June 2nd, 2002 Topics - ---- Papers are requested that deal with one or more of the following topics (this is not an exhaustive list), and which make use of semantics applied to automatic information management: - Query enrichment - Semantic disambiguation - Thematic clustering - Performance comparison according to the resources or techniques used - Automatic construction of resources from corpora - Comparisons of manually and automatically created resources - Methodology and resources for evaluation - Interlingual document retrieval - Structure and quality control of resources - Comparison of general resources and specialized resources - Use of document structure (XML, RDF, etc.) Submission Details - ---------------- Papers should not exceed 7 pages. Submission must be sent by ELECTRONIC mail to loupyMail to author|Respond to list|Read more issues|LINGUIST home page|Top of issuesinequa.com. Please write "LREC2002 workshop paper submission" in the subject line. Accepted formats: Postscript (strongly preferred), PDF or RTF. No information about author(s) should appear in the submission paper. Please send the following information in a separate file: the title to be printed in the programme of the Workshop; names and affiliations of the authors; the full address of the first author (or a contact person), including phone, fax, email, URL. Formatting guidelines are provided at http://www.langnat.com/usirf. The format described here may be modified for the final version. Registration - ---------- The registration fee for the workshop is 90 Euro if you are attending LREC 140 Euro if you are NOT attending LREC The fee includes two coffee breaks and the workshop proceedings. Participation in the workshop is limited by the venue. Requests for participation will be processed on a first come first served basis. Registration is handled by the LREC Secretariat. Venue - --- The workshop will take place at the Palacio de Congreso de Canarias, where the main LREC Conference will be held. For more information, please refer to the LREC website : http://www.lrec-conf.org/lrec2002/index.html Conference Information - -------------------- General information on LREC: http://www.lrec-conf.org/lrec2002/index.html Information on travel, accommodation and general information on Las Palmas and the Canary Islands can be obtained from: Octavio Grondonna Morales Viajes El Corte Ingles Avda. Juan XXIII, 9 35004 Las Palmas de Gran Canaria Tel: +34 928 292402 Fax: +34 928 291876 E-mail: commercial_lpa
viajeseci.es Program Committee - --------------- - Marc El-Beze, Universite d'Avignon et des Pays de Vaucluse, France - Christian Fluhr, CEA, France - Julio Gonzalo, Universidad Nacional de Educacion a Distancia, Spain - Graeme Hirst, University of Toronto, Canada - Nancy Ide, Vassar College, USA - Adam Kilgarriff, University of Brighton, United Kingdom - Claude de Loupy, Sinequa, France - Christian Marest, Mediapps, France - Patrick Paroubek, LIMSI, France - Piek Vossen, Irion Technologies, The Netherlands - Phil Edmonds, Sharp Laboratories of Europe LTD, United Kingdom Contact Person - ------------ Claude de Loupy Sinequa 51-59 rue Ledru-Rollin 94200 Ivry-sur-Seine, France Tel: +33 1 49 87 06 00 / Fax: +33 1 49 87 06 01 email: loupy
sinequa.com