NetNews Usenet Archive 1992 #20

home *** CD-ROM | disk | FTP | other *** search

/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / ai / 3405 < prev next >

Wrap

Internet Message Format | 1992-09-10 | 30.4 KB

Path: sparky!uunet!cis.ohio-state.edu!ucbvax!MERL.COM!rich From: rich@MERL.COM Newsgroups: comp.ai Subject: KR'92 Early Registration Deadline, Sept 24th! Message-ID: <9209101724.AA11619@merl.com> Date: 10 Sep 92 17:22:38 GMT Sender: daemon@ucbvax.BERKELEY.EDU Organization: Mitsubishi Electric Research Laboratories, Inc. Cambridge, Massachusetts, USA Lines: 791 [We would appreciate it if you would post and/or redistribute this message to appropriate bboards and mailing lists to help us publicize the conference. Thank you, -CR] PLEASE NOTE THAT THE DEADLINE FOR DISCOUNTED EARLY REGISTRATION FOR KR'92 IS ONLY TWO WEEKS AWAY. MORE DETAILS BELOW: ________________________________________________________________ KR'92 Third International Conference on Principles of Knowledge Representation and Reasoning Royal Sonesta Hotel Cambridge, Massachusetts, USA October 25-29, 1992 With support from the American Association for Artificial Intelligence, the European Coordinating Committee on Artificial Intelligence, and the Canadian Society for Computational Studies of Intelligence; in cooperation with International Joint Conferences on Artificial Intelligence, Inc. ABOUT KR'92 The idea of explicit representations of knowledge manipulated by inference algorithms provides an important foundation for much work in Artificial Intelligence, from natural language to expert systems. A growing number of researchers are interested in the principles governing systems based on this idea. Following the successful formula of the two earlier KR conferences, KR'92 will bring together these researchers in a more intimate setting than that of the general AI conferences. In particular, authors will have the opportunity to give presentations of adequate length to present substantial results. Also, a relatively small conference site has again been selected in order to encourage informal interaction among attendees. The theme of this year's conference is the relationship between the principles of knowledge representation and reasoning and their embodiment in working systems. Presented papers and invited talks will address the following important questions: * What issues arise in applying knowledge representation systems to real problems? * What are the theoretical principles of knowledge representation and reasoning? * How can these principles be embodied in knowledge representation systems? LOCATION The KR'92 Conference will again be held at the Royal Sonesta Hotel in Cambridge, Massachusetts, which is located near Harvard University, the Massachusetts Institute of Technology and the city of Boston. A block of rooms has been booked at a special conference rate at the Royal Sonesta and special discount air fares are available from Delta Airlines. Details are explained along with registration information later in this announcement. CORRESPONDENCE KR'92 information: E-mail: kr92@cs.tufts.edu Regular KR'92 Mail: Department of Computer Science Tufts University Medford, MA 02155 USA Phone: 617-627-3214 Fax: 617-627-3443 Automatic E-mail: If you send a message to either of the following two addresses, a reply will be sent to the address in the sender field (without being read by a person). kr92-info@cs.tufts.edu To obtain a copy of this announcement. kr92-subsidy@cs.tufts.edu To obtain an electronic version of the application for a student housing subsidy. AAAI FALL SYMPOSIUM SERIES KR'92 immediately follows the AAAI Fall Symposium Series at the Royal Sonesta Hotel from October 23-25, 1992. For information about the Fall Symposium Series, contact: AAAI 445 Burgess Drive Menlo Park, CA 94025-3496 USA Phone: 415-328-3123 E-mail: fss@aaai.org ORGANIZERS Conference Chair: Charles Rich, Mitsubishi Electric Research Laboratories Local Arrangements Chair: James G. Schmolze, Tufts University Program Chairs: Bernhard Nebel, German Research Center for AI William Swartout, USC/Information Sciences Institute Program Committee: James Allen, University of Rochester; Giuseppe Attardi, University of Pisa; Danny Bobrow, Xerox PARC; Ron Brachman, AT&T Bell Laboratories; Gerhard Brewka, GMD, Bonn; Johan de Kleer, Xerox PARC; Rina Dechter, UC Irvine; Jon Doyle, MIT; David Etherington, AT&T Bell Laboratories; Richard Fikes, Stanford University; Alan Frisch, University of Illinois; Dov Gabbay, Imperial College; Michael Georgeff, Australian AI Institute; Pat Hayes, Stanford University; Haym Hirsh, Rutgers University; Lewis Johnson, USC/Information Sciences Institute; Henry Kautz, AT&T Bell Laboratories; Kurt Konolige, SRI International; Craig Knoblock, USC/Information Sciences Institute; Gerhard Lakemeyer, University of Bonn; Maurizio Lenzerini, University of Roma; Hector Levesque, University of Toronto; Bob MacGregor, USC/Information Sciences Institute; Alan K. Mackworth, University of British Columbia; David Makinson, University of Paris; David McAllester, MIT; Fumio Mizoguchi, Science University of Tokyo; Wolfgang Nejdl, Technical University Vienna; Hans Juergen Ohlbach, Max Planck Institute; Peter Patel-Schneider, AT&T Bell Laboratories; Ramesh Patil, USC/Information Sciences Institute; Judea Pearl, UC Los Angeles; Ed Pednault, AT&T Bell Laboratories; Martha Pollack, University of Pittsburgh; Jordan Pollack, Ohio State University; David Poole, University of British Columbia; Henri Prade, University Paul Sabatier; Erik Sandewall, University of Linkoping; Karl Schlechta, IBM Germany; Len Schubert, University of Rochester; Stuart Shapiro, SUNY Buffalo; Lokendra Shastri, University of Pennsylvannia; Gert Smolka, German Research Center for AI; Lynn Stein, MIT; Devika Subramanian, Cornell University; Peter Szolovits, MIT; Mike Wellman, USAF Wright Laboratory INVITED TALKS AND PANELS The Perils of the Real World: Representing Medical Knowledge, Peter Szolovits-Mass.Inst.of Technology, USA I will describe some key representational problems that arise very naturally in trying to capture medical reasoning. Particularly important is the need to solve these problems not in isolation but as a coherent whole. "All My Autopsies Have Been Performed on Dead People:" Issues in Knowledge Representation for Discourse Processing, Martha E. Pollack-U.Pittsburgh, USA Natural-language processing and knowledge representation research ought to have a symbiotic relationship. In fact, a large gap exists between the formal systems developed in the KR community and what is needed to build natural language systems capable of participating in discourses. I will illustrate this gap by describing the representational and inferential requirements that must be met to model key discourse phenomena such as implicature and coherence. The DARPA Knowledge Sharing Effort: Progress Report, Ramesh Patil (Panel Organizer)-USC/Information Sciences Inst., USA This panel will report on the following activities, with special emphasis on the problems encountered and open research issues: an interlingua for translation between different representation languages (Richard Fikes, Stanford U.), a uniform syntax and semantics for common constructs within representation families (Peter Patel-Schneider, AT&T Bell Labs), a protocol for run-time interchange between system modules, (Donald McKay, UNISYS), and libraries of domain-specific ontologies (Thomas Gruber, Stanford U.). Resolving the Imagery Debate: A Cognitive Neuroscience Perspective, Stephen M. Kosslyn-Harvard U.,USA New information about the brain and the advent of new brain-scanning technologies have enlivened and may finally resolve an old debate about the nature of the mental representations that give rise to the experience of "seeing with the mind's eye." The propositional position is that such representations are no different in kind from those that underlie language. The depictivist position is that mental representations of imagery are qualitatively distinct because they embody spatial extent and have other pictorial properties. Twelve Years of Nonmonotonic Reasoning Research: Where (and What) is the Beef?, Ray Reiter-U.Toronto, Canada The talk will assess what I believe has been accomplished since the landmark Special Issue on Nonmonotonic Reasoning of the AI Journal in 1980. No one disputes that research on nonmonotonic reasoning has become a growth industry. Many do however question what on earth all this stuff is good for. I will describe how nonmonotonic theories have in fact made important contributions not only to various areas of AI, but also to logic programming, databases, and software specification. Perhaps most important of all, it has provided a unifying framework for a wide variety of what had previously been viewed as disparate phenomena. PROGRAM, BALLROOM A Monday, October 26 Sunday: Reception, 7:00-9:00 p.m. 8:30 Invited Talks: Reports from the Trenches Peter Szolovits, Martha E. Pollack (Abstracts above) 9:50 Break Planning and Temporal Reasoning I: Constraint-Based 10:20 Declarative Knowledge Representation in Planning and Scheduling Jacek Gibert-U.Melbourne, Australia 10:55 Intelligent Backtracking Techniques for Job Shop Scheduling Yalin Xiong, Norman Sadeh and Katia Sycara-Carnegie Mellon U.,USA 11:30 Dense Time and Temporal Constraints with "not equals" Manolis Koubarakis-National Technical U. Athens, Greece 12:05 Lunch Planning and Temporal Reasoning II 1:50 Managing Disjunction for Practical Temporal Reasoning Mark Boddy, Jim Carciofini and Bob Schrag-Honeywell Systems and Research Ctr.,USA 2:25 Infinite Loops in Finite Time Ernest Davis-Courant Inst.,USA 3:00 Reasoning about Indefinite Actions L.Thorne McCarty and Ron van der Meyden-Rutgers U.,USA 3:35 Break Planning and Temporal Reasoning III 4:05 Representations for Decision-Theoretic Planning: Utility Functions for Deadline Goals Peter Haddawy-U.Wisconsin,USA Steve Hanks-U.Washington,USA 4:40 Total Order vs. Partial Order Planning: Factors Influencing Performance Steven Minton, Mark Drummond, John Bresina and Andrew Philips- NASA Ames Research Ctr.,USA 5:15 A Reactive Planner that Uses Explanation Closure Andrew R. Haas-U.Albany,USA ____________________________________________________________ Tuesday, October 27 Planning and Temporal Reasoning IV 8:30 UCPOP: A Sound, Complete, Partial Order Planning for ADL J.Scott Penberthy-IBM Watson Research Ctr.,USA Daniel S.Weld-U.Washington,USA 9:05 An Approach to Planning with Incomplete Information Oren Etzioni, Steve Hanks, Daniel Weld, Denise Draper, Neal Lesh, and Mike Williamson-U.Washington,USA 9:40 Equivalence and Tractability Results for SAS+ Planning Christer Backstrom-Likoping U.,Sweden 10:15 Break Specialized Reasoning I: Numerical 10:45 Stepwise-Decomposable Influence Diagrams Lianwen Zhang and David Poole-U.British Columbia,Canada 11:20 A Logic for Approximate Reasoning Daphne Koller-Stanford U.,USA Joseph Y.Halpern-IBM Almaden Research Ctr.,USA 11:55 Lunch 1:40 Panel: The DARPA Knowledge Sharing Effort: Progress Report Ramesh Patil (Abstract above) 3:25 Break Specialized Reasoning II: Spatial/Physical 3:55 A Spatial Logic Based on Regions and Connection D.A.Randell, Z.Cui, A.G. Cohn-U.Leeds,UK 4:30 Axiomatizing Qualitative Process Theory Ernest Davis-Courant Inst.,USA 6:00 Banquet: Buses depart from main entrance of Sonesta ____________________________________________________________ Wednesday, October 28 Issues in Multi-Agent Environments 8:30 Semantics for Knowledge and Communication Adam J.Grove-Stanford U.,USA 9:05 Emergent Conventions in Multi-Agent Systems: Initial Experimental Results and Observations Yoav Shoham and Moshe Tenneholtz-Stanford U.,USA 9:40 Knowledge Representation Requirements for Description-Based Communication Anthony S.Maida-U.Southwestern Louisiana,USA 10:15 Break Specialized Reasoning III 10:45 Reasoning with Analogical Representations Karen L.Myers and Kurt Konolige-SRI International,USA 11:20 Order of Magnitude Reasoning using Logarithms P.Pandurang Nayak-Stanford U.,USA 11:55 Lunch Taxonomic Logics I: Implemented Systems 1:40 "Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality Ronald J.Brachman-AT&T Bell Laboratories,USA 2:15 Towards the Systematic Development of Terminological Reasoners: CLASP Reconstructed Alex Borgida-Rutgers U.,USA 2:50 An Empirical Analysis of Optimization Techniques for Terminological Representation Systems Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jurgen Profitlich-German Research Ctr. for Artificial Intelligence Enrico Franconi, IRST 3:25 Break Natural Language Processing 3:55 A General Semantic Model of Negation in Natural Language: Representation and Inference Lucja Iwanska-GE Research and Development Ctr.,USA 4:30 Conversational Events and Information State Change Massimo Poesio-U.Rochester,USA 5:40 Break 8:00 Invited Talk: Resolving the Imagery Debate: A Cognitive Neuroscience Perspective, Stephen M. Kosslyn (Abstract above) _____________________________________________________________ Thursday, October 29 Taxonomic Logics II: Time and Defaults 8:30 Terminological Reasoning with Constraint Networks and an Application to Plan Recognition Robert Weida and Diane Litman-Columbia U.,USA 9:05 A Preference Semantics for Defaults in Terminological Logics J.Joachim Quantz-Technical U. Berlin, Germany Veronique Royer-Onera-Cert,France 9:40 Embedding Defaults into Terminological Knowledge Representation Formalisms Franz Baader, Bernhard Hollunder-German Research Ctr.for Artificial Intelligence 10:15 Break Taxonomic Logics III: Expressiveness/Efficiency 10:45 Specifying Role Interaction in Concept Languages Philipp Hanschke-German Research Ctr. for Artificial Intelligence 11:20 Approximation in Concept Description Languages Marco Cadoli, Marco Schaerf-U.Rome "La Sapienza," Italy 11:55 Adding Epistemic Operators to Concept Languages Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf-U. Rome "La Sapienza," Italy Werner Nutt-German Research Ctr. for Artificial Intelligence 12:30 Lunch 2:15 Invited Talk: Twelve Years of Nonmonotonic Reasoning Research: Where (and What) is the Beef?, Ray Reiter (Abstract above) PROGRAM, BALLROOM B Monday, October 26 Sunday: Reception, 7:00-9:00 p.m. 8:30 Invited Talks: Reports from the Trenches, Peter Szolovits, Martha E. Pollack (Abstracts above) 9:50 Break Deduction I: Tractable Deductions 10:20 Learning Useful Horn Approximations Russell Greiner-Siemens Corporate Research, USA Dale Schuurmans-U.Toronto, Canada 10:55 Tractable Deduction in Knowledge Representation Systems Mukesh Dalal-Rutgers U.,USA 11:30 New Results on Local Inference Relations Robert Givan and David A. McAllester-Mass.Inst.of Tech., USA 12:05 Lunch Deduction II 1:50 Deduction with Constraints: The Substitutional Framework for Hybrid Reasoning Alan M. Frisch-U.Illinois, USA 2:25 An Order-Sorted Logic with Sort Literals and Disjointness Constraints Toni Bollinger, Udo Pletat-IBM Germany 3:00 Quantifier Elimination in Second Order Predicate Logic Dov Gabbay-Imperial College, UK Hans Jurgen Ohlbach-Max Planck Inst. for Computer Science, Germany 3:35 Break Logics of Belief and Intention 4:05 An Abstract Architecture for Rational Agents Anand S. Rao and Michael P. Georgeff-Australian Artificial Intelligence Inst. 4:40 Accessibility in Explicit Belief Logics James P. Delgrande-Simon Fraser U., Canada 5:15 A Study in the Logic of Intention M.D. Sadek-Centre National d'Etudes des Telecommunications,France ____________________________________________________________ Tuesday, October 27 Nonmonotonic Logics I 8:30 Maps between Nonmonotonic and Conditional Logic Horacio L. Arlo-Costa and Scott J. Shapiro-Columbia U.,USA 9:05 On the Connection between Nonmonotonic Inference Systems and Conditional Logics Gabriella Crocco, Philippe Lamarre-IRIT,France 9:40 From Monotonicity to Nonmonotonicity via a Theorem Prover Philippe Lamarre-IRIT,France 10:15 Break Diagnosis and Abduction I 10:45 Knowledge Representation and Incorporation in a Hybrid Reasoning System with Feedback Yeona Jang-Mass.Inst. of Technology,USA 11:20 Chosing Observations and Actions in Model-Based Diagnosis/Repair Systems Gerhard Friedrich, Wolfgang Nejdi-Technical U. Vienna, Austria 11:55 Lunch Diagnosis and Abduction II 1:40 Abductive Plan Recognition and Diagnosis: A Comprehensive Empirical Evaluation Hwee Tou Ng and Raymond J. Mooney-U.Texas at Austin,USA 2:15 Using Default and Causal Reasoning in Diagnosis Kurt Konolige-SRI International,USA 2:50 Focusing on Independent Diagnosis Problems Hartmut Freitag-Siemens, Germany Gerhard Friedrich-Technical U. Vienna, Austria 3:25 Break Diagnosis and Abduction III 3:55 A Minimality Maintenance System Olivier Raiman and Johan de Kleer-Xerox PARC,USA 4:30 Search through Systematic Set Enumeration Ron Rymon-U.Pennsylvania,USA 6:00 Banquet: Buses depart from main entrance of Sonesta ____________________________________________________________ Wednesday, October 28 Nonmonotonic Logics II 8:30 Bounding Introspection in Nonmonotonic Logic Grigori Schwarz-U.Delaware,USA 9:05 A Framework for Representing and Characterizing Semantics of Logic Programs Jurgen Dix-U.Karlsruhe,Germany 9:40 Answer SEts in General Nonmonotonic Reasoning Vladimir Lifschitz and Thomas Y.C. Wood-U.Texas at Austin,USA 10:15 Break Reasoning Architectures 10:45 An Architecture for Integrating Reasoning Paradigms James M. Skinner-Sandia National Laboratory,USA George F.Luger-U.New Mexico,USA 11:20 Concurrency Control for Knowledge Bases Vinay K.Chaudhri, Vassos Hadzilacos, John Mylopoulos, U.Toronto, Canada 11:55 Lunch Nonmonotonic Logics III: Tractable Reasoning 1:40 RS Theory: A Really Skeptical Theory of Inheritance with Exceptions Genevieve Simonet-LIRMM,France 2:15 On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning Ilkka Niemela, Jussi Ritanen-Helsinki U. Technology, Finland 2:50 All You Ever Wanted to Know about Tweety Gerhard Lakemeyer-U.Bonn,Germany 3:25 Break Nonmonotonic Logics IV: Default Reasoning 3:55 Representing Defaults as Sentences with Reduced Priority Mark Ryan-Imperial College,UK 4:30 Default Ranking: A Practical Framework for Evidential Reasoning, Belief Revision, and Update Moises Goldszmidt and Judea Pearl-U.CAlifornia at Los Angeles,USA 5:05 Representing Default Rules in Possibilistic Logic Salem Benferhat, Didier Dubois, Henri Prsade-U. Paul Sabatier,France 5:40 Break 8:00 Invited Talk: Resolving the Imagery Debate: A Cognitive Neuroscience Perspective, Stephen M. Kosslyn (Abstract above) ____________________________________________________________ Thursday, October 29 Nonmonotonic Logics V 8:30 Normative, Subjunctive, and Autoepistemic Defaults: Adopting the Ramsey Test Craig Boutiler-U. British Columbia, Canada 9:05 Asking about Possibilities-Revision and Update Semantics for Subjunctive Queries Wolfgang Nejdl, Markus Banagl-Technical U. Vienna, Austria 9:40 Reasoning from Inconsistency: A Taxonomy of Principles for Resolving Conflict Gadi Pinkas and Ronald P. Loui-Washington U.,USA 10:15 Break Nonmonotonic Logics VI 10:45 A Contraction Operator for Classical Propositional Logic Timothy M. Lownie-Queen's U.,Canada 11:20 A Temporal Revision Model for Reasoning about World Change M.O. Cordier-IRISA,France P.Siegel-LIUP,France 11:55 Computing Databases Updates Alvaro Del Val-Stanford U.,USA 12:30 Lunch 2:15 Invited Talk: Twelve Years of Nonmonotonic Reasoning Research: Where (and What) is the Beef?, Ray Reiter (Abstract above) REGISTRATION Due to space limitations and the success of earlier KR conferences, early registration is strongly recommended. FEE SCHEDULE (all fees are in U.S. dollars) Early: Postmarked before midnight September 24, 1992 Regular $275 Student $150 Banquet $40 Late: Postmarked after midnight September 24, 1992 Regular $325 Student $175 Banquet $40 The cost of the conference proceedings is included in the registration fee. BANQUET The banquet on Tuesday evening, October 27, is optional and reservations should be included at the time of your registration. This event includes round trip transportation to Boston's historic waterfront. You will board the `Spirit of Boston' for a narrated cruise of the harbor with its colonial landmarks and spectacular city skyline at dusk. A cocktail reception will be followed by a bountiful buffet dinner on board. After dinner, you will be entertained with a rousing Broadway revue performed by waiters and waitresses on their way to stardom. AIRLINE DISCOUNT FARES Special discount fares on Delta Airlines have been arranged for KR'92 attendees. To take advantage of these fares, you must call Young's Travel/American Express at 1-800-682-0141 between 8 a.m. and 5 p.m. E.D.T. and identify yourself as a KR'92 attendee. You will save 40% off of the unrestricted coach fare or 5% off the lowest available fare at the time of ticketing. (Please note that certain conditions and rules must be met and that severe penalties and restrictions may apply.) International travelers may fax reservation requests to Young's Travel at 508-795-0444. HOTEL RESERVATIONS Reservations should be made directly with the Royal Sonesta Hotel, 5 Cambridge Parkway, Cambridge, Massachusetts 02142, USA. (The hotel is located three miles from Logan International Airport.) For reservations call the hotel at 617-491-3600 or fax 617-661-5956 and identify yourself as a KR'92 conference attendee. They will process your hotel reservation and send confirmation if reservations are made before September 24, 1992. Hotel space as well as conference space are on a first-come first-served basis. The special room rates negotiated for conference attendees are: Single $125 (U.S.), Double $135 (U.S.) plus 9.7% Massachusetts and local rooms tax. For early arrivals, a special weekend rate has been secured for Friday and Saturday evenings at $115 single/$125 double per night. Rooms can be guaranteed by the hotel for the conference attendees only until September 24, 1992 through a major credit card or first nights deposit. STUDENT HOTEL SUBSIDY A limited amount of funds have been set aside to subsidize hotel room fees for students. Applications for student subsidy should be sent before September 10, 1992. (Early application is advised.) See the section at the end of this announcement. HOW TO REGISTER 1. Fill in the registration form 2. Payment In the US: You may send a money order or check payable to "Knowledge Representation" for the total amount in U.S. dollars. Outside the US: You may send an international money order payable to "Knowledge Representation" for the total amount in U.S. dollars. Checks from non-U.S. banks will not be accepted. 3. Return the registration form and payment to: KR'92 P.O. Box 1205 Westboro, MA 01581 USA 4. Registrations postmarked prior to midnight, September 24, 1992 will receive the early registration discount rate. Confirmations will be mailed only for registrations received before September 24, 1992. 5. Spaces will be allocated on a first-come first-served basis to the maximum that the facility can accommodate. Therefore, participants are strongly advised to register as soon as possible. REGISTRATION FORM Print out the form below on paper, fill it in and return it with full payment in U.S. dollars to the address below. Electronic mail registrations are *not* allowed. KR'92 PO Box 1205 Westboro, MA 01581 USA Name _________________________________________________________________ Title ________________________________________________________________ Organization/Affiliation _____________________________________________ ______________________________________________________________________ Mailing Address ______________________________________________________ ______________________________________________________________________ ______________________________________________________________________ Zip/Postal Code _____________________ Country _______________________ Telephone ___________________________________________________________ Internet E-mail address _____________________________________________ Are you currently actively engaged in research related to the conference? Yes ___ No___ If yes, what is your research area? ____________________________________ ________________________________________________________________________ Are you presenting a paper at the conference? Yes ___ No ___ Are you attending the AAAI Fall Symposium Series? Yes ___ No ___ Check here if you have a disability that requires special needs. _______ Please explain _________________________________________________________ ________________________________________________________________________ Early Registration Late Registration Conference fee $ ______________ $ ____________ Student fee $ _______________ $ _____________ Banquet fee ___ Persons x 40 = $ ______________ $ _____________ Total $ ________________ $ _____________ The cost of the conference proceedings is included in the registration fee. Please indicate your enclosed form of payment below: Money Order or Check (U.S. only) Amount $ ____________ Check # _______________ International Money Order Amount $ _____________ (U.S. dollars) Note: Registrations postmarked prior to midnight September 24, 1992 will receive the early registration discount rate. Confirmations will be mailed only for registrations received prior to September 24, 1992. STUDENT HOTEL SUBSIDY APPLICATION A limited amount of funds have been set aside to subsidize hotel room fees for students. This will only apply to doubles (two students per room). The subsidy will be from 25% to 50% of one-half of the room rate. For example, if you are awarded a subsidy of 25%, the cost of staying at the hotel will be $50.63 per night (75% of one-half of $135), plus applicable taxes. Each applicant will be notified if she or he has been awarded the subsidy and, if so, the amount of the subsidy. We urge you to use electronic mail to apply for a subsidy if possible. To obtain an electronic version of this form and along with further instructions, send e-mail to kr92-subsidy@cs.tufts.edu. (These messages will not be read; a reply will be sent automatically to the sender. Send other e-mail correspondence to kr92@cs.tufts.edu.) If you cannot apply via electronic mail, or if you do not receive the electronic form and instructions for some reason, print out the form below, fill it in and send it via regular mail along with your registration material. Applications for student subsidies, via either electronic or regular mail, must be received by September 10, 1992. Notification as to whether you will receive the subsidy, and if so, the amount of the subsidy, will sent by September 24, 1992 using either electronic or regular mail. Name _________________________________________________________________ Department ___________________________________________________________ College/Univ. ________________________________________________________ ______________________________________________________________________ Mailing Address ______________________________________________________ ______________________________________________________________________ ______________________________________________________________________ Zip/Postal Code _____________________ Country _______________________ Telephone ___________________________________________________________ Internet e-mail address ______________________________________________ Male ___ Female ___ Would you prefer to allow smoking in your room? Yes (smoking allowed) ___ No (no smoking allowed) ___ Note: All requests for "no smoking allowed" will be met. All applicants must be willing to forego smoking in the hotel room if we designate the room as non-smoking. Are other funds available to you if you do not receive this subsidy? (A yes answer does not disqualify you.) Yes ___ No___ Are you an author on a paper that has been accepted to this conference? Yes ___ No___ What type of degree are you currently working toward? Bachelor's ___ Master's ___ Doctorate ___ What is your research area? __________________________________________ ______________________________________________________________________ Advisor's name if you currently have one (and location if not at your institution): ______________________________________________________________________ ______________________________________________________________________ Name of the person with whom you would like to share a room (this person must also be applying for a subsidy). If noone is specified, we will assign someone for you. ______________________________________________________________________ Check here if you have a disability that requires special needs. _____ Please explain _______________________________________________________ ______________________________________________________________________