Editor for this issue: Jody Huellmantel <jody
linguistlist.org>
FINAL CALL FOR SUBMISSIONS METHODS FOR MODALITIES 1 (M4M) Institute for Logic, Language and Computation University of Amsterdam May 6-7, 1999 http://www.illc.uva.nl/~mdr/M4M/ DEADLINE: March 15, 1999 THEME The workshop `Methods for Modalities' (M4M) aims to bring together researchers interested in developing proof tools and decision methods for modal logic broadly conceived, including description logic, feature logic, temporal logic. SPECIAL FEATURES To stimulate interaction and transfer of expertise, M4M will be centered around a number of long presentations by leading researchers; these presentations will provide both the background and inside information in a number of key areas. To complement these, we are inviting submissions of short, focussed presentations aimed at highlighting new developments, and submissions of system demonstrations. SUBMISSIONS We invite two kinds of submissions: research papers on proof tools and decision methods for modal logic as well as their applications; and system descriptions. Research papers need not be original; they can be up to 10 A4 size pages, and system descriptions can be up to 4 A4 size pages. System descriptions should focus on actual implementations, explaining system architecture issues and specific implementation techniques. Every system description should be accompanied by a system demo at M4M. The primary means of submission will be electronic, in PostScript format. Submissions should be sent to m4mMail to author|Respond to list|Read more issues|LINGUIST home page|Top of issuewins.uva.nl. PROGRAM The following people have agreed to give long presentations: * David Basin (Verification Based on Monadic Logic) * Patrick Blackburn (Labeled Deduction and Tableaux) * Ian Horrocks (Tableaux Implementations) * Hans de Nivelle (Resolution Implementations) * Renate Schmidt (Resolution-Based Methods) * Roberto Sebastiani (Testing) In addition, there will be demonstration sessions, and short, 30 minute, contributed presentations. PROGRAM COMMITTEE The program committee for M4M consists of Carlos Areces (Amsterdam), Enrico Franconi (Manchester), Rajeev Gore (Canberra), Hans de Nivelle (Amsterdam/Saarbruecken), Hans Juergen Ohlbach (London), Maarten de Rijke (Amsterdam), Holger Schlingloff (Bremen). IMPORTANT DATES * Deadline for submissions: March 15, 1999 * Notification: April 5, 1999 * Workshop dates: May 6-7, 1999 REGISTRATION For information on registration please visit http://www.illc.uva.nl/~mdr/M4M/ SPONSORS M4M is generously sponsored by the Netherlands Organization for Scientific Research (NWO), the Computational Logic Group at ILLC, the Spinoza project `Logic in Action', Henry Chinaski Productions, and DFG. FURTHER INFORMATION Please visit http://www.illc.uva.nl/~mdr/M4M/ for further information about M4M. - M4M: Methods for Modalities ILLC, Univ of Amsterdam, May 6-7, 1999 http://www.illc.uva.nl/~mdr/M4M/
-|-------------------------------------|- SECOND CALL FOR PAPERS NLPRS-99 5th Natural Language Processing Pacific Rim Symposium Beijing, China November 5-7, 1999 "Closing the Millennium" -|-------------------------------------|- NLPRS has contributed to the promotion and circulation of research efforts in Computational Linguistics and related subjects, primarily among scholars in the Pacific Rim area. As the NLPRS culminating a millennium, NLPRS-99 would like to invite more scholars than ever before, including those beyond the Pacific boundaries, covering topics of all related areas, in order to create a memorable occasion before the next century. The papers must be original and address unpublished work on all aspects of Computational Linguistics. TOPICS The conference papers may represent technical works in all areas of computational linguistics. The following categories are illustrative only. Do not hesitate to send your papers even if you think that the area of your paper is not exactly covered by the categories below. General Categories morphology syntax discourse generation anaphora resolution lexical semantics machine translation dialogue bilingual alignment statistical parsing Linguistic Data lexical acquisition corpus analysis Applications applied NLP systems parallel implementations Thematic topics millennium view/experiences from large projects internet THEMATIC SESSION and PANEL DISCUSSION : THE MILLENNIUM: FIFTY YEARS OF COMPUTATIONAL LINGUISTICS NLPRS is considering organizing a millennium session and a panel discussion on the issues and thoughts of what we have achieved and what we may achieve over the fifty years of Computational Linguistics. For instance, historical landmarks with positive influence on the solutions of linguistic issues may need to be reinterpreted. What would be the implication of achievements so far? On this topic, NLPRS would like to encourage the submission of related papers. In particular, government officials and scholars who created, funded, and managed large-scale NLP projects are strongly urged to join this panel discussion. The panel meeting will provide a timely occasion to discuss successes and failures of large projects. Those who wish to join the panel discussion on the topics stated above are kindly requested to compile an email application with a brief note of the opinion statement to the following address. yshanMail to author|Respond to list|Read more issues|LINGUIST home page|Top of issueworld.kaist.ac.kr THEMATIC SESSION : LANGUAGE PROCESSING AND THE INTERNET One of the key terms opening the next century will be the Internet. Linguistic ideas may need to be recast into internet primitives. NLPRS99 plans to organize a session devoted to related themes; papers addressing the following themes are welcome: - internet applications of NLP systems: computational models as well as case studies - general topics on group works: linguistic or non linguistic algorithms that foster group communications CONFERENCE Chair: Huang, Changning Tsinghua University, China ORGANIZING COMMITTEE Chair: Cao, Youqi Chinese Information Processing Society of China, China PROGRAM COMMITTEE Chair: Choi, Key-Sun KAIST, Korea Vice-Chairs: Yu, Shiwen Peking University, China Han, Young S. Suwon University, Korea Members: Ananiadou, Sofia European Media Laboratory, Germany Boitet, Christian CLIPS-GETA, France Bond, Francis NTT Communication Science Laboratories, Japan Chen, Keh-Jiann Academia Sinica, Taiwan Church, Kenneth W. AT&T Labs, USA Dale, Robert Microsoft Research Institute, USA Dong, Zhendong China Information Processing Society, China Estival, Dominique Syrinx Speech Systems, Australia Hasida, Koiti Electrotechnical Lab, Japan Hausser, Roland University of Erlangen, Gemany Hideki, Kashioka ATR, Japan Hovy, Eduard USC Information Sciences Institute, USA Huang, Chu-Ren Academia Sinica, Taiwan Isahara, Hitoshi Communications Research Laboratory, Japan Joshi, Aravind K. University of Pennsylvania, USA Kando, Noriko NACSIS, Japan Kikui, Gen-ichiro NTT Information and Communication Systems Laboratories, Japan Kim, Yeunbae NHK, Japan Kurohashi, Sadao Kyoto University, Japan Kwon, Hyuk-Chul Pusan National University, Korea Lee, Jong-Hyeok Pohang University, Korea Leong, Munkew Kent Ridge Digital Labs, Singapore Li, Sheng Harbin Institute of Technology, China Lua, Kim-Teng National University of Singapore, Singapore Meknavin Surapan NECTEC, Thailand Mitkov, Ruslan University of Wolverhampton, UK Myaeng, Sung Hyon Chungnam National University, Korea Nishino, Fumihito Fujitsu Labs, Japan Niwa, Yoshiki ARL Hitachi, Japan Park, Seyoung ETRI, Korea Rim, Hae-Chang Korea University, Korea Sangal, Rajeev Indian Institute of Information Technology, India Seo, Jungyun Sogang University, Korea Su, Keh-Yih Behavior Design Corporation, Taiwan Takeda, Koichi IBM Tokyo Labs, Japan Tokunaga, Takenobu Tokyo Institute of Technology, Japan Tsujii, Jun'ichi University of Tokyo, Japan T'sou, Benjamin K. City University of Hong Kong Uszkoreit, Hans University of Saarbruecken, Germany Utsuro, Takehito Nara Institute of Science and Technology, Japan Wu, Dekai HKUST Human Language Technology Center, Hong Kong Wuwongse, Vilas Asian Institute of Technology, Thailand Yao, Tian-Shun Northeastern University, China Yoshimura, Kenji Fukuoka University,Japan Yusoff, Zaharin University Sains Malaysia, Malaysia Zhang, Pu Beijing Language & Culture University, China Zhou, Ming Tsinghua University, China Zock, Michael Langage & Cognition LIMSI-CNRS, France PAPER SUBMISSION Papers should describe unique and completed work. When submitting papers, authors must specify the category of the presentation: regular paper, project paper, or poster paper. If a regular paper is intended for the thematic sessions, the author is asked to indicate so by choosing one of the two themes: millennium session or internet session. In particular if the paper is intended for the millennium session, the paper may length more than 3000 words constraints. SUBMISSION FORMAT Papers should not contain more than 3200 words except millennium papers. The title page must contain the title of the paper, author information, paper length in words, the thematic session (if appropriate), and up to 5 keywords. The main pages should not contain the author information. Four hard copies of the original paper must be sent directly to the following address : NLPRS-99 Submission Prof. Key-Sun Choi Department of Computer Science KAIST(Korea Advanced Institute of Science and Technology) 373-1 Kusong-dong Yusong-gu Taejon 305-701 Korea TEL +82-42-869-3565 FAX +82-42-867-3565 Hard copy submissions are strongly recommended, but for the authors who cannot make hard copy submissions, the file format must be readily browsable and printable in ps, html, or pdf. Electronic submissions should be made to the following address: nlprs99
korterm.kaist.ac.kr IMPORTANT DATES Paper Submissions Deadline June 1, 1999 Notification of acceptance August 1, 1999 Camera ready paper September 1, 1999 Home page : http://korterm.kaist.ac.kr/~nlprs99