From ged@cs.rmit.edu.au Mon Jan 30 00:37:35 1995 Received: from cs.wisc.edu by sea.cs.wisc.edu; Mon, 30 Jan 95 00:37:30 -0600 Received: from goanna.cs.rmit.EDU.AU by cs.wisc.edu; Mon, 30 Jan 95 00:37:20 -0600 Received: (from ged@localhost) by goanna.cs.rmit.edu.au (8.6.9/8.6.9) id RAA09415 for dbworld@cs.wisc.edu; Mon, 30 Jan 1995 17:37:18 +1100 From: Gerard Ellis Message-Id: <199501300637.RAA09415@goanna.cs.rmit.edu.au> Subject: final CFP: KRUSE Symposium: Knowledge Retrieval, Use and Storage for Efficiency To: dbworld (dbworld) Date: Mon, 30 Jan 1995 17:37:18 +1100 (EST) X-Mailer: ELM [version 2.4 PL23] Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Length: 5912 Please find below the final CFP for KRUSE. A postscript version can be ftp'ed ftp.cs.rmit.edu.au /pub/rmit/peirce/KRUSE.ps.Z Also the KRUSE home page on the World Wide Web is http://www.cs.rmit.edu.au/KRUSE/ Regards, Gerard -- Gerard Ellis ged@cs.rmit.edu.au ph:61-3-660-5090 FAX:61-3-662-1617 Rm:10.9.11 WWW: http://www.cs.rmit.edu.au/~ged Computer Science Dept, Royal Melbourne Institute of Technology, GPO Box 2476V, Melbourne, Victoria, 3001, AUSTRALIA ______________________________________________________________ Final CALL FOR PAPERS International KRUSE Symposium ___ Knowledge Retrieval, Use, and Storage for Efficiency ___ University of California, Santa Cruz August 11-13 1995 IMPORTANT DATES submission postmark deadline February 13, 1995 notification of acceptance April 12, 1995 camera-ready copy June 12, 1995 THEME The symposium will provide a forum for exploring current research in artificial intelligence, cognitive science, and databases that pertains to the organization, encoding and retrieval of logical and complex objects. The symposium will draw together researchers from diverse disciplines as well as practitioners engaged in developing real object-oriented term classification systems. Mathematical and Graph-Theoretic approaches will be favoured over those approaches based on analogy with human cognitive processes, though mathematical discussions of such processes will be appropriate. The basic questions to be addressed include o classification of objects in a taxonomy: systemic classification, semantic indexing, partial-order sorting, description identification, and taxonomy maintenance. o efficient order, lattice, graph, and code theoretic operations on objects: subsumption, generalization, specialization, least common generalization, and greatest common specialization. o advanced uses of taxonomies: knowledge compression, knowledge compilation, and knowledge evolution. o using classified knowledge: classification as problem solving, classification as constraint satisfaction, and exploiting abstraction. o scalable techniques for large object databases o integration of data and knowledge base technologies The symposium will maintain a balance between theoretical issues and descriptions of implemented systems providing a balance between theory and practice. The focus of the symposium is on efficiency of retrieval, use and storage. AUTHORS' INFORMATION Papers may not exceed 15 pages. Shorter, substantive papers are welcome. Authors are requested to submit five (5) copies of their paper. Alternatively, electronic submissions (by ftp or email) of papers (postscript output) are encouraged. Submission by ftp: please place in ftp.cs.rmit.edu.au incoming directory. Authors are further requested to attach title pages to their submissions bearing their names, addresses, telephone numbers, FAX numbers and e-mail addresses. In addition, authors are asked to include abstracts of approximately twenty (20) lines with each paper, and a list of short phrases descriptive of the content. PAPERS MUST BE POSTMARKED ON OR BEFORE MONDAY FEBRUARY 13, 1995. Address: KRUSE c/o Gerard Ellis Computer Science Dept. RMIT GPO Box 2476V, Melbourne, VIC 3001 Australia email: ged@cs.rmit.edu.au ph:61-3-660-5090 fax:61-3-662-1617 ORGANIZING COMMITTEE: Veronica Dahl (Co-Chair) Gerard Ellis, RMIT (Program Chair) Director, Logic and Functionall Computer Science Dept. Programming Group Royal Melbourne Univ of Technology Professor, Computing Sciences Dept. GPO Box 2476, Melbourne, VIC 3001 Simon Fraser University Australia Burnaby, B.C. V5A 1S6 CANADA veronica@cs.sfu.ca ged@cs.rmit.edu.au Phone (604) 291-3372 Phone: 61-3-660-5090 Fax (604) 291-3045 Fax: 61-3-662-1617 Andrew Fall (Co-Chair) Robert Levinson (Local Arrangements Chair) School of Computing Science Dept. of Computer & Information Sciences Simon Fraser University 229 Applied Sciences Building Burnaby, B.C. V5A 1S6 CANADA University of California fall@cs.sfu.ca Santa Cruz, CA 95064 U.S.A. Phone: (604) 291-4302 levinson@cis.ucsc.edu Fax: (604) 291-3045 Phone: (408) 429-2087 Fax: 459-4829 PROGRAM COMMITTEE: Mohan Ahuja (USA) Robert Levinson (USA) Hassan Ait-Kaci (Canada) Patrick Lincoln (USA) Franz Baader (Germany) Robert MacGregor (USA) Yves Caseau (France) Deborah McGuinness (USA) Darrell Conklin (Canada) Guy Mineau (Canada) Veronica Dahl (Canada) Werner Nutt (Germany) Francesco Donini (Italy) Peter Patel-Schneider (USA) Gerard Ellis (Australia) Raghu Ramakrishnan (USA) Andrew Fall (Canada) Manfred Schmidt-Schauss (Germany) Brian Gaines (Canada) James Schmolze (USA) Jim Hendler (USA) Gert Smolka (Germany) Fritz Lehmann (USA) Leon Sterling (USA) Maurizio Lenzerini (Italy) SYMPOSIUM LOCATION The symposium will be held at the University of California, Santa Cruz in a redwood forest in the Santa Cruz mountains. The university and conference facilities are retreat style with housing available in family-style apartments residing on the campus. The university is well serviced by buses to downtown Santa Cruz. The campus, just 10 minutes from the oceanside, overlooks Monterey Bay, the popular surfing beaches, and you can watch the eagles soar from the Birds of Prey sanctuary which forms part of the campus. Santa Cruz is approximately a 90 minute bus ride from San Francisco Airport and about 45 minutes from San Jose. This CFP and the latest information regarding KRUSE can be found in the World Wide Web under http://www.cs.rmit.edu.au/KRUSE/ ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------------- From francois@depinfo.u-bourgogne.fr Mon Jan 30 05:01:14 1995 Received: from cs.wisc.edu by sea.cs.wisc.edu; Mon, 30 Jan 95 05:01:09 -0600 Message-Id: <9501301101.AA28550@cs.wisc.edu> Received: from depinfo.u-bourgogne.fr by cs.wisc.edu; Mon, 30 Jan 95 05:01:02 -0600 Received: by depinfo.u-bourgogne.fr (1.37.109.4/16.2) id AA08230; Mon, 30 Jan 95 11:56:54 +0100 From: (Francois Jacquenet) Subject: JFPL95 To: dbworld Date: Mon, 30 Jan 95 11:56:54 "MET Mailer: Elm [revision: 70.85] *************************************************************** * JFPL'95 * * APPEL A PRESENTATION DE PROTOTYPES * * Report de la date limite * * * * * * Journees Francophones de Programmation en Logique * * * * Universite de Bourgogne * * Dijon - France * * 17, 18 et 19 mai 1995 * *************************************************************** Organisees par : CRID, Universite de Bourgogne. LAB, Universite de Franche-Comte. AFCET - GT Programmation en Logique (ALP France) Parrainees par : AFCET, INRIA. President des journees : Jean-Jacques Chabrier Vice-President : Bruno Legeard Responsable du challenge prototype : Francois Jacquenet Comite d'organisation : Jean-Jacques Chabrier, CRID Jacqueline Chabrier, CRID Francois Jacquenet, CRID Bruno Legeard, LAB Comite de lecture : H. AIT KACI, SFU (Canada) H. BERINGER, IBM P. BOIZUMAULT, Ecole des Mines de Nantes J.F. BOULICAUT, LISI S. BOURGAULT, CNET Lannion F. BRY, Universite de Munich P. CODOGNET, INRIA Rocquencourt M-M. CORSINI, LaBRI P. DERANSART, INRIA Rocquencourt P. DEVIENNE, LIFL Y. DEVILLE, UCL (Belgique) M. DINCBAS, COSYTEC M. DUCASSE, IRISA/INSA G. FERRAND, LIFO L. FRIBOURG, LIENS/CNRS E. HUBERT, SLIGOS-DELPHIA J.L. IMBERT, Universite de Clermont-Ferrand J. JOURDAN, Thomson LCR H. KIRCHNER, CRIN et INRIA Lorraine J.F. PUGET, ILOG O. RIDOUX, IRISA/INRIA M. RUEHER, I3S P. SAINT-DIZIER, IRIT P. TAILLIBERT, Dassault Electronique M. VAN CANEGHEM, LIM M.C. VILAREM, LIRMM Apres les precedentes Journees Francophones de Programmation en Logique qui se sont tenues a Lille (1992), Nimes (1993) et Bordeaux (1994), le groupe de travail Programmation en Logique de l'AFCET, chapitre francais de l'ALP, a choisi Dijon, capitale des Ducs de Bourgogne, comme site d'accueil pour son edition 1995. JFPL'95 sera organise conjointement par le Centre de Recherche en Informatique de Dijon (CRID) de l'Universite de Bourgogne et le Laboratoire d'Automatique de Besancon (LAB) de l'Universite de Franche-Comte. Les themes abordes durant ces journees concerneront tous les domaines theoriques et experimentaux relevant de la programmation en logique, notamment (liste non exhaustive) : Semantiques Analyse et transformation de programmes Conception, implantation et compilation de langages Methodes et environnements de programmation Parallelisme Extensions de la programmation en logique Satisfaction de contraintes Bases de donnees deductives Langage naturel Representation des connaissances Applications de la programmation en logique Une session particuliere sera consacree aux applications industrielles de la Programmation en Logique avec Contraintes. APPEL A PRESENTATION DE PROTOTYPES DE RECHERCHE Pour "connaitre et faire connaitre" les travaux d'experimentation en programmation logique et ses extensions, JFPL'95 organise, en parallele avec le programme scientifique, un challenge des meilleurs prototypes de recherche developpes dans les laboratoires universitaires. Les auteurs de prototypes doivent envoyer une presentation de deux a trois pages au secretariat des journees avant le 15 fevrier 1995. Les prototypes retenus seront montres lors des journees et pourront concourir au challenge du meilleur prototype de recherche decerne par les participants aux JFPL'95. La presentation des prototypes retenus sera editee dans les actes par Teknea Editions. Les trois meilleures presentations recevront un prix. DATES IMPORTANTES : Date limite de soumission : 15 fevrier 1995. Reponse aux auteurs : 20 Fevrier 1995. Secretariat : Mme Dominique BELIME CRID - Faculte des Sciences Mirande B.P. 138 21004 DIJON Cedex Tel : (33).80.39.58.87 - Fax : (33).80.39.58.15 e-mail : jfpl95@crid.u-bourgogne.fr Responsable du challenge : Francois JACQUENET CRID - Faculte des Sciences Mirande B.P. 138 21004 DIJON Cedex Tel : (33).80.39.58.44 - Fax : (33).80.39.58.15 e-mail : jacquenet@depinfo.u-bourgogne.fr ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------------- From logic95@csc.CS.Technion.Ac.IL Mon Jan 30 05:47:37 1995 Received: from cs.wisc.edu by sea.cs.wisc.edu; Mon, 30 Jan 95 05:47:30 -0600 Received: from [132.68.32.8] by cs.wisc.edu; Mon, 30 Jan 95 05:46:54 -0600 Received: from csc.cs.technion.ac.il by CS.Technion.Ac.IL (5.0/SMI-SVR4) id AA29583; Mon, 30 Jan 1995 13:49:48 --200 Received: by csc.cs.technion.ac.il (5.0/SMI-SVR4) id AA14739; Mon, 30 Jan 1995 13:49:47 --200 Date: Mon, 30 Jan 1995 13:49:47 --200 Message-Id: <9501301149.AA14739@csc.cs.technion.ac.il> From: logic95@csc.CS.Technion.Ac.IL To: dbworld Content-Length: 23436 Dear Colleagues, enclosed both the ASCI and the LaTeX version of the ============================== Third Announcement of the Logic Colloquium 1995 of the Association of Symbolic Logic ============================= Please distribute it to the subscribers of your bulletin bord. Thanks for your help Janos Makowsky %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Prof. J.A. Makowsky Chairman of the Organizing Committe Faculty of Computer Science Technion - Israel Institute of Technology Haifa 32000, Israel e-mail: logic95@cs.technion.ac.il WWW: http://www.cs.technion.ac.il/~logic95 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%% ASCI Version %%%%%%%%%%%%%%%%%%%%%%%%%%%% Third Announcement (January 1995) *************************************************************** LOGIC COLLOQUIUM 1995 The 1995 Summer Meeting of the Association of Symbolic Logic (ASL) will take place in HAIFA, Israel, August 9-17, 1995 (one day more than in the first announcement). The colloquium will be held on the Campus of the Technion - Israel Institute of Technology, in collaboration with Haifa University. The colloquium is sponsored by the Association of Symbolic Logic, the Israel Mathematical Union, the Kurt Goedel Society and FoLLI. ============================================================== Online information on WWW: http: //www.cs.technion.ac.il/~logic95 ============================================================== SCOPE OF THE CONFERENCE The conference will consist of invited one hour lectures and tutorials for the general audience. Additionally parallel special sessions of maximally eight half hour talks and sessions of contributed papers (20 minutes each) will be held. The Special Session Organizers are indicated in parentheses. * Plenary Sessions only: 100 years Transfinite Set Theory * Set Theory, Recent Developments (M. Magidor) * Model Theory (E. Bouscaren and E. Hrushovski) * Recursion Theory (R. Shore) * Proof Theory (G. Jaeger and S. Wainer) * Finite Model Theory and Theoretical Computer Science (E. Graedel and J.A. Makowsky) * Logical Aspects of Linguistics (L. Moss) * Special Session only: Non-Monotonic Reasoning (D. Lehmann and W. Marek) PROGRAM COMMITTEE: J. Barwise (USA), E. Bouscaren (France), E. Graedel (Germany), A. Hajnal (Hungary and USA), G. Jaeger (Switzerland), M. Magidor (Chairman, Israel), J.A. Makowsky (Coordinator, Israel), D. Mundici (Italy), R. Shore (USA), M.A. Taitslin (Russia), M. Ziegler (Germany). ORGANIZING COMMITTEE: U. Abraham (Ben Gurion University), R. Aharoni (Technion), A. Avron (Tel Aviv University), N. Francez (Technion), V. Harnik (Haifa University), M. Kaminski (Technion), M. Koppel (Bar Ilan University), D. Lascar (Paris 7), A. Levy (Hebrew University), J.A. Makowsky (Chairman, Technion), M. Rubin (Ben Gurion University). INVITED SPEAKERS: Tutorials: ---------- * K. Compton (0-1 Laws in Finite Model Theory), * S. Goldwasser (Interactive Proofs), * D. Marker (Stability: From the Spectrum Problem to Geometric Stability), * T. Slaman (Recent Developments Recursion Theory). Plenary lectures: ----------------- H. Becker (Set Theory), P. Blackburn (Logic and Linguistics), W. Buchholz (Proof Theory), Z. Chatzidakis (Model Theory), B. Cooper (Recursion Theory), A. Dawar (Finite Model Theory), R. Downey (Recursion Theory), L. Harrington (Recursion Theory), I. Herzog (Model Theory), E. Hrushovski (Model Theory), P. King (Logic and Linguistics), J. Krajicek (Proof Theory and Complexity), J. Lynch (Finite Model Theory), P. Maddy (Set Theory: 100 years), M. Makkai (Categorical Model Theory), D. Martin (Set Theory: 100 Years), G. Moore (Set Theory: 100 Years), A. Nies (Recursion Theory), M. Rathjen (Proof Theory), M. Pentus (Logic and Linguistics), Y. Peterzil (Model Theory), A. Pillay, (Model Theory), S. Shelah (Set Theory), L. Soukup (Set Theory), A. Stolboushkin (Theoretical CS), S. Wainer (Proof Theory). CONTRIBUTED TALKS Participants intending to present a contributed paper are requested to submit a one page abstract, preferably by e-mail to: logic95-abstracts@cs.technion.ac.il till April 30, 1995. The authors will be notified about acceptance/rejection by May 31, 1995. PROCEEDINGS * The plenary lectures will be published as a special volume of the Springer Lecture Notes in Logic (final decision still pending). * Selected papers from the Special Sessions will be published as special volumes in the Annals of Pure and Applied Logic. * Abstracts of accepted contributed papers will be published in the Journal of Symbolic Logic. GRANTS A limited number of grants will be available for the participants of the following categories: * ASL Grant for graduate students in logic. The criteria follow the guidelines as published in the Journal of Symbolic Logic. Grant application should be supported by short CV and a letter of recommendation. * Participants from countries with severe foreign currency problems. Grant application should be accompanied by a letter explaining the situation. * Individuals without any external financial support. Grant application should be accompanied by a letter explaining the situation, short CV and a letter of recommendation. SOCIAL EVENTS August 9, 1995: Opening Reception: Buffet in the Haifa City Hall, courtesy of the Mayor of Haifa. August 12, 1995: Conference Excursion organized by Prof. G. Moran, University of Haifa. August 13, 1995: Festive Dinner in honour of Saharon Shelah's 50th Birthday. August 16, 1995: Closing Banquet at the University of Haifa. Planned: Chamber Music Concert and an Evening at the Cinematheque (Goedel and Wittgenstein) ACCOMMODATION AND REGISTRATION A package deal will be available consisting of conference fee, bed and breakfast in student dorms, lunch and social activities, for ca. 650 US$. This can be upgraded to accommodation in hotels*** or hotels****. The final prices will be given on the registration forms and through the online information service on WWW. To obtain the registration form please fill out the form attached to this announcement and send it to our address below, preferably by e-mail. Early registration (till June 15, 1995) and payment will be honoured with a 10% discount. TENTATIVE PRICES ARE AS FOLLOWS: * Registration only: 250.- US$, including lunch on full conference days and opening reception. 150.- US$ for registration and opening reception. * Package DORMS: 650.- US$, contains: Registration, 9 nights bed and breakfast in 2-bed rooms in the student dorms, lunch on full conference days, opening reception. * Package ***--Hotel: 850.- US$, contains: Registration, 9 nights bed and breakfast in 2--bed rooms in a ***--hotel, lunch on full conference days, opening reception, bus services to and from the hotel. * Package ****--Hotel: 1050.- US$, contains: Registration, 9 nights bed and breakfast in 2--bed rooms in a ****--hotel, lunch on full conference days, opening reception, bus services to and from hotel. Payment: Eurochecks (to Logic Colloquium 95), VISA, Diners Club, Master Card; ============================================ | All payments will be charged in US$ | ============================================ There will be surcharges for single room arrangements. For accompanying persons not participating in the conference deduct 200 US$. For participants from countries with severe currency problems a limited number of places will be available in the dorms for 450 US$ or less, depending on the resources (subsidized package). Please apply for such arrangements and state your case. DATES AND LOCATION PLACE: Technion--Israel Institute of Technology and University of Haifa, Haifa, Israel DATE: August 9--17, 1995 Starting on Wednesday and ending on Thursday. This includes a weekend during the conference. from Wednesday to Thursday. DEADLINE: Please submit contributed abstracts not later than April 30, 1995 e-mail: * logic95@cs.technion.ac.il (for general information) * logic95-registration@cs.technion.ac.il (for preregistration and registration) * logic95-grants@cs.technion.ac.il (for applications for grants) * logic95-abstracts@cs.technion.ac.il (for submitting abstracts) WWW: http://www.cs.technion.ac.il/~logic95 CORRESPONDENCE: Logic Colloquium 95 Yvonne Sagi Department of Computer Science Technion--Israel Institute of Technology Haifa 32000, Israel To obtain registration forms and for additional information, please write to the above, preferably by e-mail.} TOURISTIC INFORMATION Climate: ------- Haifa in August is without rain, with temperatures ranging between 25-30 C. Water temperature in the sea is about 26 C. Tourism: -------- Haifa is the Capital of the North of Israel. The port is dominated by the Carmel mountain range. The University and the Technion are situated on the mountain overviewing the bay. The beaches of Haifa are clean and well developed. To the north the hills of Galilee offer ample opportunities for travel. Lake Tiberias to the east can be reached in less than an hour. Tel Aviv is reachable within one hour by bus or train, Jerusalem is 2 1/2 hours away. Touring Israel: --------------- Special touristic arrangements for the Logic Colloquium 95 are organized by OTRA Ltd. Travel and Tourist Services 2 Kaufmann St. (Textile Center) P.O. Box 50432, Tel Aviv 61500, Israel Tel: +972-3-517 7888 Fax: +972-3-517 4433 This includes: * Airport Transfers: Limousine Services to Haifa * Pre and Post Conference Tours: August 5 - August 8, 1995 or August 18 - August 21, 1995. Airport--Jerusalem, Jerusalem and Surroundings, Dead Sea--Massada--Jordan Valley--Lake Galilee, Tiberias--Nazareth--Haifa (for post conference tour in reverse order). - Prize: US$ 220.- per person, including bed and breakfast in ***-Hotel or Kibbutz Guest House, entrance fees, tour guide. * Accompanying Persons Sightseeing Tours: Various tours in Northern Israel. * Other Services: Car Rental, Flights to Eilat, Extension tours to Jordan and Egypt Please contact OTRA Ltd. directly for further arrangements. --------------------- cut here ----------------------------- ************************************************* Preregistration Form for Logic Colloquium 1995: ************************************************* Please send this, preferably by e-mail, to Logic Colloquium 95 Department of Computer Science Technion--Israel Institute of Technology Haifa 32000, Israel e-mail: logic95-registration@cs.technion.ac.il *************** I intend to attend the Logic Colloquium 95. Please send me the final registration form. Name: ........................... ................................... Address: ........................ ................................... ................................... ................................... ................................... e-mail:........................... Phone/Fax:......................... I am interested in (delete or cross out the superfluous) Package: - Registration only - Registration + Lunch - DORMS - ***-hotel - ****-hotel - subsidized package} (provide justification) Accompanying Persons: none, 1, 2, 3, 4, more Grant: I would like to apply for a grant to attend the conference. I am - a graduate student - a postdoctoral fellow - an individual without any external financial support - from a country with currency shortage. Please provide justification as stated in the description of available grants. Contributed paper: I do/ don't plan to submit an abstract. %%%%%%%%%%%%%End of ASCI Version %%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%% LaTeX Version %%%%%%%%%%%%%%%%%%%%%%%%%%%% \documentstyle[a4]{article} \pagestyle{empty} \begin{document} \begin{center} Third Announcement (January 1995) \\ \huge Logic Colloquium 1995 \end{center} The 1995 Summer Meeting %\footnote{ %%%% %%%% %} of the Association of Symbolic Logic (ASL) will take place in HAIFA, Israel, August 9-17, 1995 (one day more than in the first announcement). The colloquium will be held on the Campus of the Technion - Israel Institute of Technology, in collaboration with Haifa University. The colloquium is sponsored by, the Association of Symbolic Logic, the Israel Mathematical Union, the Kurt G\"odel Society and FoLLI. \begin{center} \ \hrulefill \\ Online information on WWW: \\ http: //www.cs.technion.ac.il/$\sim$logic95 \\ \ \hrulefill \end{center} \section{Scope of the conference} The conference will consist of invited one hour lectures and tutorials for the general audience. Additionally parallel special sessions of maximally eight half hour talks and sessions of contributed papers (20 minutes each) will be held. The Special Session Organizers are indicated in parentheses. \begin{itemize} \item Plenary Sessions only: 100 years Transfinite Set Theory \item Set Theory, Recent Developments (M. Magidor) \item Model Theory (E. Bouscaren and E. Hrushovski) \item Recursion Theory (R. Shore) \item Proof Theory (G. J\"ager and S. Wainer) \item Finite Model Theory and Theoretical Computer Science (E. Gr\"adel and J.A. Makowsky) \item Logical Aspects of Linguistics (L. Moss) \item Special Session only: Non-Monotonic Reasoning (D. Lehmann and W. Marek) \end{itemize} \subsection*{Program committee:} J. Barwise (USA), E. Bouscaren (France), E. Gr\"adel (Germany), A. Hajnal (Hungary and USA), G. J\"ager (Switzerland), M. Magidor (Chairman, Israel), J.A. Makowsky (Coordinator, Israel), D. Mundici (Italy), R. Shore (USA), M.A. Taitslin (Russia), M. Ziegler (Germany). \subsection*{Organizing Committee:} U. Abraham (Ben Gurion University), R. Aharoni (Technion), A. Avron (Tel Aviv University), N. Francez (Technion), V. Harnik (Haifa University), M. Kaminski (Technion), M. Koppel (Bar Ilan University), D. Lascar (Paris 7), A. Levy (Hebrew University), J.A. Makowsky (Chairman, Technion), M. Rubin (Ben Gurion University). %\newpage \section{Invited speakers:} \subsection*{Tutorials:} K. Compton (0-1 Laws in Finite Model Theory), \\ S. Goldwasser (Interactive Proofs), \\ D. Marker (Stability: From the Spectrum Problem to Geometric Stability), \\ T. Slaman (Recent Developments Recursion Theory). \subsection*{Plenary lectures:} H. Becker (Set Theory), P. Blackburn (Logic and Linguistics), W. Buchholz (Proof Theory), Z. Chatzidakis (Model Theory), B. Cooper (Recursion Theory), A. Dawar (Finite Model Theory), R. Downey (Recursion Theory), L. Harrington (Recursion Theory), I. Herzog (Model Theory), E. Hrushovski (Model Theory), P. King (Logic and Linguistics), J. Krajicek (Proof Theory and Complexity), J. Lynch (Finite Model Theory), P. Maddy (Set Theory: 100 years), M. Makkai (Categorical Model Theory), D. Martin (Set Theory: 100 Years), G. Moore (Set Theory: 100 Years), A. Nies (Recursion Theory), M. Rathjen (Proof Theory), M. Pentus (Logic and Linguistics), Y. Peterzil (Model Theory), A. Pillay, (Model Theory), S. Shelah (Set Theory), L. Soukup (Set Theory), A. Stolboushkin (Theoretical CS), S. Wainer (Proof Theory). %\input{asl-pub} \section{Contributed Talks} Participants intending to present a contributed paper are requested to submit a one page abstract (preferably by e-mail {\tt to logic95-abstracts@cs.technion.ac.il}) till April 30, 1995. The authors will be notified about acceptance/rejection by May 31, 1995. \section{Proceedings} \begin{itemize} \item The plenary lectures will be published as a special volume of the {\em Springer Lecture Notes in Logic} (final decision still pending). \item Selected papers from the Special Sessions will be published as special volumes in the {\em Annals of Pure and Applied Logic}. \item Abstracts of accepted contributed papers will be published in the {\em Journal of Symbolic Logic}. \end{itemize} \newpage %\input{asl-grants} \section{Grants} A limited number of grants will be available for the participants of the following categories: \begin{itemize} \item ASL Grant for graduate students in logic. The criteria follow the guidelines as published in the Journal of Symbolic Logic. Grant application should be supported by short CV and a letter of recommendation. \item Participants from countries with severe foreign currency problems. Grant application should be accompanied by a letter explaining the situation. \item Individuals without any external financial support. Grant application should be accompanied by a letter explaining the situation, short CV and a letter of recommendation. \end{itemize} %\input{asl-social} \section{Social Events} \begin{description} \item[August 9, 1995:] {\em Opening Reception:} Buffet in the Haifa City Hall, courtesy of the Mayor of Haifa. \item[August 12, 1995:] {\em Conference Excursion} organized by Prof. G. Moran, University of Haifa. \item[August 13, 1995:] {\em Festive Dinner} in honour of Saharon Shelah's 50th Birthday. \item[August 16, 1995:] {\em Closing Banquet} at the University of Haifa. \item[Planned:] Chamber Music Concert and an Evening at the Cinematheque (G\"odel and Wittgenstein) \end{description} %\input{asl-acco} \section{Accommodation and Registration} A package deal will be available consisting of conference fee, bed and breakfast in student dorms, lunch and social activities, for ca. 650 US\$. This can be upgraded to accommodation in hotels*** or hotels****. \\ {\bf The final prices will be given on the registration forms and through the online information service on WWW}. \\ To obtain the registration form please fill out the form attached to this announcement and send it to our address below, preferably by e-mail. \\ {\bf Early registration (till June 15, 1995) and payment will be honoured with a 10 \% discount.} \subsection*{Tentative prices are as follows:} \begin{description} \item[Registration only:] 250.- US\$, including lunch on full conference days and opening reception.\\ 150.- US\$ for registration and opening reception. \item[Package DORMS:] 650.- US\$, contains: \\ Registration, 9 nights bed and breakfast in 2--bed rooms in the student dorms, lunch on full conference days, opening reception. \item[Package ***--Hotel:] 850.- US\$, contains: \\ Registration, 9 nights bed and breakfast in 2--bed rooms in a ***--hotel, lunch on full conference days, opening reception, bus services to and from the hotel. \item[Package ****--Hotel:] 1050.- US\$, contains: \\ Registration, 9 nights bed and breakfast in 2--bed rooms in a ****--hotel, lunch on full conference days, opening reception, bus services to and from hotel. \item[Payment:] Eurochecks (to Logic Colloquium 95), VISA, Diners Club, Master Card; \begin{center} \fbox{All payments will be charged in US\$.} \end{center} \end{description} There will be surcharges for single room arrangements. For accompanying persons not participating in the conference deduct 200 US\$. For participants from countries with severe currency problems a limited number of places will be available in the dorms for 450 US\$ or less, depending on the resources (subsidized package). Please apply for such arrangements and state your case. %\input{asl-dates} \section{Dates and Location} \begin{description} \item[Place:] Technion--Israel Institute of Technology and University of Haifa, Haifa, Israel \item[Date:] August 9--17, 1995 \\ Starting on Wednesday end ending on Thursday. This includes a weekend during the conference. \item[Deadline:] Please submit contributed abstracts not later than April 30, 1995 \item[e-mail:] logic95@cs.technion.ac.il (for general information) \\ logic95-registration@cs.technion.ac.il (for preregistration and registration) \\ logic95-grants@cs.technion.ac.il (for applications for grants) \\ logic95-abstracts@cs.technion.ac.il (for submitting abstracts) \item[WWW:] http://www.cs.technion.ac.il/$\sim$logic95 \item[Correspondence:] Logic Colloquium 95, Yvonne Sagi, Department of Computer Science, Technion--Israel Institute of Technology, Haifa 32000, Israel \end{description} {\bf To obtain registration forms and for additional information, please write to the above, preferably by e-mail.} \newpage %\input{asl-tourist} \section{Touristic Information} \subsection*{Climate} Haifa in August is without rain, with temperatures ranging between 25-30 C. Water temperature in the sea is about 26 C. \subsection*{Tourism} Haifa is the Capital of the North of Israel. The port is dominated by the Carmel mountain range. The University and the Technion are situated on the mountain overviewing the bay. The beaches of Haifa are clean and well developed. To the north the hills of Galilee offer ample opportunities for travel. Lake Tiberias to the east can be reached in less than an hour. Tel Aviv is reachable within one hour by bus or train, Jerusalem is 2 1/2 hours away. \subsection*{Touring Israel} Special touristic arrangements for the {\em Logic Colloquium 95} are organized by \begin{center} OTRA Ltd. Travel and Tourist Services \\ 2 Kaufmann St. (Textile Center) P.O. Box 50432, Tel Aviv 61500, Israel \\ Tel: +972-3-517 7888 Fax: +972-3-517 4433 \end{center} This includes: \begin{description} \item[Airport Transfers:] Limousine Services to Haifa \item[Pre and Post Conference Tours:] August 5 - August 8, 1995 or August 18 - August 21, 1995. \\ Airport--Jerusalem, Jerusalem and Surroundings, Dead Sea--Massada--Jordan Valley--Lake Galilee, Tiberias--Nazareth--Haifa (for post conference tour in reverse order). \\ {\bf Prize:} US\$ 220.- per person, including bed and breakfast in ***-Hotel or Kibbutz Guest House, entrance fees, tour guide. \item[Accompanying Persons Sightseeing Tours:] Various tours in Northern Israel. \item[Other Services:] Car Rental, Flights to Eilat, Extension tours to Jordan and Egypt \end{description} Please contact OTRA Ltd. directly for further arrangements. \newpage %\input{asl-prform} \section*{Preregistration Form for Logic Colloquium 1995:} Please send this, {\bf preferably by e-mail}, to \begin{center} Logic Colloquium 95 \\ Department of Computer Science \\ Technion--Israel Institute of Technology \\ Haifa 32000, Israel \\ {\bf e-mail}: {\tt logic95-registration@cs.technion.ac.il} \end{center} I intend to attend the Logic Colloquium 95. Please send me the final registration form. \begin{description} \item[Name:]\ \dotfill\ \\ .. \dotfill \item[Address:]\ \dotfill\ \\ .. \dotfill \\ .. \dotfill \\ .. \dotfill \\ .. \dotfill \item[e-mail:]\ \dotfill\ \item[Phone/Fax:]\ \dotfill\ \end{description} I am interested in (delete or cross out the superfluous in {\tt font}). \begin{description} \item[Package:] \begin{itemize} {\tt \item Registration only \item Registration + Lunch \item DORMS \item ***-hotel \item ****-hotel \item subsidized package} (provide justification) \end{itemize} \item[Accompanying Persons:] {\tt none, 1, 2, 3, 4, more} \item[Grant:] I would like to apply for a grant to attend the conference. I am \begin{itemize} \item {\tt a graduate student \item a postdoctoral fellow \item an individual without any external financial support \item from a country with currency shortage}. \end{itemize} Please provide justification as stated in the description of available grants. \item[Contributed paper:] I {\tt do/ don't} plan to submit an abstract. \end{description} \end{document} %%%%%%%%%%%%% End of LaTeX Version %%%%%%%%%%%%%%%%%%%%%%%%%%%% ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------------- From NORMAN@mdx.ac.uk Mon Jan 30 14:03:49 1995 Received: from cs.wisc.edu by sea.cs.wisc.edu; Mon, 30 Jan 95 14:03:44 -0600 Received: from hub.mdx.ac.uk by cs.wisc.edu; Mon, 30 Jan 95 14:03:38 -0600 Received: from bg1.mdx.ac.uk [158.94.59.2] by hub.mdx.ac.uk with SMTP-OpenVMS via TCP/IP; Mon, 30 Jan 1995 17:51 GMT Received: from BG1/MAILQUEUE2 by bg1.mdx.ac.uk (Mercury 1.13); Mon, 30 Jan 95 17:45:56 GMT Received: from MAILQUEUE2 by BG1 (Mercury 1.13); Mon, 30 Jan 95 17:45:53 GMT From: "Prof. Norman Revell" Organization: Middlesex University To: dbworld Date: Mon, 30 Jan 1995 17:45:45 GMT Subject: Final call for papers - DEXA 95 Priority: normal X-Mailer: Pegasus Mail/Windows (v1.22) Message-Id: <28C15064332@bg1.mdx.ac.uk> FINAL C A L L F O R P A P E R S *********** D E X A 95 *********** 6th International Conference and Workshop on Database and Expert Systems Applications Date: September 4-8, 1995 Location: London, United Kingdom *********** *********** *********** *********** AIMS OF THE CONFERENCE Usage and development of database and expert systems can be found in all fields of computer science. The aim of DEXA 95 is to present a wide spectrum of already implemented or ju st being developed database and expert systems. DEXA will offer the opportunity to discuss extensively requirements, problems, and solutions in the field. Contributions should cover new requirements, concepts for implementations(e.g. languages, models, storage structures), management of meta data,system archit ectures, and experiences gained by using databases and expert systems in diff erent areas of applications. The workshops and conference should inspire a fruitful dialogue between develo pers in practice, users of database and expert systems, and scientists working in the field. SUGGESTED TOPICS The papers are solicited on applications including, but not limited to, the fo llowing topics: CASE Knowledge Engineering CIM Legal Information Systems Communications Machine Learning/Knowledge Aquisition Computer Cartography Medical Information Systems Cooperative DB Multimedia Databases Data Protection Museum Information Systems Databases in the Humanities Natural Language Interfaces/Processing=20 Databases on Supercomputers Object-Oriented Databases Deductive Databases Office Information Systems Design Tools Parallel Database Systems Distributed Applications Reverse Engineering Environmental Inf. Systems Scientific/Engineering Applications Expert Systems Architecture Social/Governmental Information Systems Heterogeneous Systems Spatial Databases Historical Databases Statistical Databases Hypertext / Hypermedia Uncertainty Handling Image Processing Visual Interfaces Information Retrieval INFORMATION FOR AUTHORS Authors are invited to submit original research contributions or experience re ports in English. Papers should be double-spaced and no longer than 5.000 word s. Submit four copies (with an abstract and key words) to: Prof. Norman Revell Head of School Computing Science Middlesex University Bounds Green Phone: ++44(0)81 362 5214 London N11 2NQ Fax: ++44(0)81 361 1726 United Kingdom e-mail: norman@middlesex.ac.uk All accepted papers of the workshop and conference will be published in the DE XA proceedings. General Chairperson: R.R. Wagner, FAW, University of Linz, Austria Program Chairpersons: N. Revell, Middlesex University, UK A M. Tjoa, Technical University of Vienna, Austria Program Committee Members: H. Afsarmanesh, University of Amsterdam, The Netherlands H.J. Appelrath, University of Oldenburg, Germany K. Bauknecht, University of Zuerich, Switzerland T. Bench-Capon, University of Liverpool, UK J. Bing, NRCCL Oslo, Norway S. Christodoulakis, University of Crete, Greece B. Croft, University of Massachusetts, USA W.S. Cellary, Technical University of Poznan, Poland J. Debenham, University of Technology, Sydney, Australia S.M. Deen, Keele University, UK P. Drazan, RIKS Maastricht, The Netherlands J. Eder, University of Klagenfurt, Austria T. Eiter, Technical University of Vienna A.L. Furtado, University of Rio de Janeiro, Brazil G. Gardarin, INRIA, France C.A. Goble, University of Manchester, UK F. Golshani, Arizona State University, USA G. Gottlob, Technical University of Vienna, Austria A. Hameurlain, University of Toulouse, France I. Hawryszkiewycz, University of Technology, Sydney, Australia P. Henderson, University of Southampton, UK D. Hsiao, Naval Postgraduate School, USA M. Jarke, University of Aachen, Germany K.G. Jeffrey, Rutherford Appleton Laboratories, UK M. Kamel, Naval Postgraduate School, USA Y. Kambayashi, IMEEL, Japan G. Kappel, University of Linz, Austria D. Karagiannis, University of Vienna, Austria M.A. Ketabchi, Santa Clara University, USA P. Kroha, University of Chemnitz, Germany J. Lazansky, Czech Technical University, Czech Republic T.W. Ling, University of Singapore, Singapore V. Lum, Chinese University of Hong Kong, Hong Kong V. Marik, Czech Technical University, Czech Republic G. Mueller, University of Freiburg, Germany M. Murphy, San Francisco State University, USA M.-A. Neimat, HP Laboratories, USA E. Neuhold, GMD-IPSI, Germany T.W. Olle, T.W. Olle & Associates, UK G. Ozsoyoglu, University Case Western Research, USA G. Pangalos, University of Thessaloniki, Greece M. Papazoglou, Queensland University of Technology, Australia G. Quirchmayr, University of Vienna, Austria I. Ramos, Technical University of Valencia, Spain C. Rolland, University Paris I, France N. Roussopoulos, University of Maryland, USA A. Sernadas, University of Lisabon, Portugal J.C. Smith, University of British Columbia, Canada D. Specht, University of Cottbus, Germany R. Studer, University of Karlsruhe, Germany M. Takizawa, Tokyo Denki University, Japan K. Tanaka, Kobe University, Japan C. Thanos, IEI-CNR, Italy H.W. Thimbleby, Middlesex University, UK C.H. Thoma, Ciba-Geigy, Switzerland J. Vassiliou, University of Athens, Greece K. Vidyasankar, Memorial Univ. of Newfoundland, Canada Conference Organisation Office: G. Wagner, FAW, University of Linz, Austria IMPORTANT DATES Papers due: February 28, 1995 Notification of acceptance: April 30, 1995 Camera-ready copies: May 31, 1995 **************************************************** Gabriela Wagner Research Institute for Applied Knowledge Processing University of Linz A-4040 Linz, AUSTRIA Conference Organization Office "D E X A" Tel.: +43(732)244962 Fax: +43(732)243989 e-mail: gabriela@faw.uni-linz.ac.at __________________________________________________________________________ Prof Norman Revell Head of School Computing Science Middlesex University Bounds Green LONDON N11 2NQ UK Tel: +44 (0) 81 362 5214 Fax: +44 (0) 81 361 1726 __________________________________________________________________________ ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------------- From somasekh@fiu.edu Tue Jan 31 10:32:58 1995 Received: from cs.wisc.edu by sea.cs.wisc.edu; Tue, 31 Jan 95 10:32:53 -0600 Received: from ns.fiu.edu by cs.wisc.edu; Tue, 31 Jan 95 10:32:49 -0600 Received: from solix.fiu.edu by rottweiler.fiu.edu; (5.65/1.1.8.2/26Aug94-0438PM) id AA13922; Tue, 31 Jan 1995 11:29:16 -0500 Date: Tue, 31 Jan 1995 11:29:16 -0500 From: Manjunath B Somasekhar Message-Id: <9501311629.AA13922@rottweiler.fiu.edu> To: dbworld Subject: Graduate Research Positions Available. Graduate Research Positions at FLORIDA INTERNATIONAL UNIVERSITY School of Computer Science and High Performance Database Research Center. Degrees Awarded: Doctor of Philosophy and Master of Science. Students will be provided with the means and opportunity to engage in cutting-edge database research, sponsored by NASA and other agencies. Financial Assistance: We seek exceptional candidates for several Presidential Doctoral Fellowships carrying an initial stipend of $21,415 per year (plus tuition and fee waiver), eventually rising to $26,769. Regular research assistantships are also awarded to excellent students. These carry an initial stipend of $13,400 (plus tuition and fees), eventually rising to $18,760. Location: FIU, a public university with enrollment of 22,000 (the largest state university in South Florida) is located at the gateway to the Everglades National Park, 10 miles west of downtown Miami. The Miami area offers a wide variety of outdoor and cultural activities, including festivals, art exhibitions, plays, dance, music. Miami is a world-class tourist hotbed. Key West, Disney World, Kennedy Space Center, Daytona Beach, and Miami Beach are all within easy driving distances. Year-round sunshine and water sports make life enjoyable. Admission Application Deadlines: Starting semester: For International Students: U.S. Residents: Fall (starts late August) April 1st June 1st Spring (early January) September 1st October 1st Summer (early May) February 1st March 1st An early application improves the prospects of getting an assistantship. For more information about our graduate program or to receive application forms please contact: gradinfo@fiu.edu or 305-348-2788 (Ms. Diane) or send a letter to: Graduate Program, School of Computer Science, FIU, Miami FL 33199, USA. If you are interested in an assistantship for database research please send a message (e-mail OK) and a resume to the undersigned, Manju Somasekhar. Please describe your skills as a researcher and/or programmer, include your GPA, GRE and TOEFL scores, if available, and indicate your country of citisenship. =============================================== High-performance Database Research Center Naphtali D. Rishe, Director Mission The High-performance Database Research Center (HPDBRC) conducts research on database management systems and various applications, leading to the development of new types of database systems and refinement of existing database systems. The HPDBRC, a research division of the Florida International University School of Computer Science, has a strong commitment to training graduate students and preparing them for their future roles as scholars and specialists employed by industry. Funding The HPDBRC is funded by government agencies and industry. At $3.8 million, NASA currently provides the largest amount of funding for the Center. Other sponsors include: National Science Foundation, U.S. Department of Defense (BMDO, ARO, USAF, and DISA), U.S. Department of the Interior, U.S. Information Agency, NATO, Florida Department of Commerce, Florida Department of Education, Baxter Corporation. Research Scope The HPDBRC is developing a highly parallel database machine based on the semantic/object-oriented approach. Our research aims to significantly improve the usability and efficiency of highly parallel database computers and machine clusters (tightly networked groups of machines). We are developing algorithms and a prototype database management system that will have substantial advantages over current database machines. Our object-oriented system is based on the Semantic Binary Model of databases. Recent results in database theory and applications show considerable advantages of the Semantic Binary Model in comparison to the Relational Data Model. A semantic database system will have better logical properties: (1) friendlier and more intelligent generic user interfaces based on the stored meaning of the data, (2) comprehensive enforcement of integrity constraints, (3) greater flexibility, and (4) substantially shorter application programs. Our system will also provide (5) higher efficiency for both small and massive numbers of processors and (6) will allow better exploitation of parallelism for data storage and processing. The Center also conducts research on such theoretical and applied issues as database design methodology, database design tools, information analysis, multi-media databases, distributed databases, database languages, data compression, and spatial databases. In addition, the Center designs specific database systems for highly-complex applications. We are presently developing database systems for the Everglades National Park and NASA that are intended for storage and processing of large amounts of earth science observations. Staff Professors: Y. Deng, C. Orji, N. Rishe (Director), W. Sun (Associate Director) Research assistants: M. Alexopoulos, K. Beznosov, I. Bluvstein, S. Chen, W. Du, S. Graham, S. Guo, S. Hong, Y. Ivanov, R. Kallem, V. Ladyzhets, Y. Ling, L. Loureiro, S. Lu, T. Riley, Z. Rong, A. Shaposhnikov, T. Shoshkina, M. Somasekhar Please address inquires about the Center to: Manjunath B. Somasekhar School of Computer Science, FIU, University Park, Miami, FL 33199 Day: (305)348-3743, evening: 553-4059, beeper: 615-8635 Fax: 348-3549, Internet: somasekh@fiu.edu ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------------- From mzemanko@nsf.gov Tue Jan 31 19:22:31 1995 Received: from cs.wisc.edu by sea.cs.wisc.edu; Tue, 31 Jan 95 19:22:26 -0600 Received: from note1.nsf.gov by cs.wisc.edu; Tue, 31 Jan 95 19:22:23 -0600 Received: from [128.150.59.20] (c4m10.cise.nsf.gov) by note1.nsf.gov with SMTP id AA23799 (5.65c/IDA-1.4.4 for ); Tue, 31 Jan 1995 20:23:28 -0500 X-Sender: mzemanko@note1.nsf.gov Message-Id: Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Date: Tue, 31 Jan 1995 20:22:23 -0500 To: dbworld From: mzemanko@nsf.gov (Maria Zemankova) Subject: NSF CFP: Networking Infrastructure for Education (US-based researchers) 1/2 Directorate for Computer and Information Science and Engineering and Directorate for Education and Human Resources Program Solicitation Networking Infrastructure for Education New Projects and Planning Grants Summary of Target dates TC "Summary of Target dates" NIE NIE DODDS policy Preliminary February 15 December 15 December 15 proposals =46ull proposals April 15 February 15 February 1= 5 Directorate for Computer and Information Science and Engineering and Directorate for Education and Human Resources Program Solicitation Networking Infrastructure for Education Projects and Planning Grants As part of an expanding effort to encourage innovation and leverage the power of computer and networking technology to support science and mathematics education reform, the Directorates for Computer and Information Science and Engineering (CISE) and for Education and Human Resources (EHR) issue the second solicitation of a joint Program on Networking Infrastructure for Education (NIE). In addition, information on three related areas of networking appplications are included: electronic libraries, Native American Telecommunications and programs with the Department of Defense Dependent Schools. The NIE Program aims to hasten the development of a widespread high performance electronic communications infrastructure in support of science, mathematics, engineering and technology (SMET) education reform, and to help lay a foundation on which strategies for the appropriate use of technology in support of increased student achievement can be developed. NIE's goal is to build synergy between technology and education researchers, developers and implementers so they can explore networking costs and benefits, test self-sustaining strategies, and develop a flexible educational networking infrastructure that will be instrumental in the dissemination, integration and application of technologies to speed the pace of educational innovation and reform. NIE seeks proposals in the areas of (a) policy studies, (b) research and development in support of NIE goals, (c) demonstrations and model sites, and (d) infrastructure and testbeds. These are not formal categories, but guides to types of projects and associated funding levels. Policy studies should consider topics such as the barriers to networked community creation and development; the articulation of distance education=EDs contribution to lifelong learning and school to work transition, especially for underrepresented minorities and rural populations; leveraging the universal open access aspect of networks to promote educational equity among students and institutions. R&D refers to projects where fundamental questions remain unanswered and the audience for project outcomes is other researchers or implementers and key users. Demonstration and model sites are focused on making the system robust, addressing a larger cross-section of user requirements, implementing some of the resulting new ideas, learning how to scale-up existing models, and learning what level of user support is required. Infrastructure and testbeds are projects whose outcomes inform the whole community and decision-makers about system and infrastructure investment options. Testbeds, by their nature, are expected to work with diverse communities of users and with innovative ideas, testing high-risk, high-gain conjectures about new ways of working-- organizational, pedagogical, educational, and technological. The following guidelines describe the types of eligible activities, criteria to be used for their evaluation, and the process for submitting proposals. The NIE Program seeks to: * establish testbeds, implementation models and prototypes that explore the role of electronic networks (the Internet and others) in support of SMET education reform, and demonstrate sustainable approaches to educational networking. * support the R&D needed for large-scale, cost-effective implementation of educational networking, including infrastructure, policy, training, curriculum, reform, school organization, interactive teaching/learning tools, materials, and mechanisms for technology transfer. Examples of possible NIE projects * Awards to: broaden existing networks to strengthen collaborations with educational communities and groups to deliver innovative services to students and teachers at all levels, including adults involved in lifelong learning; add educational networking infrastructure to existing systemic reform efforts such as NSF's Rural and Urban Systemic Initiatives; strengthen collaborations and encourage consortia to ensure broad-scale, systemic support for education reform; and develop services, technical assistance and connectivity in conjunction with the larger educational communities such as states and school districts. These collaborations would support the creation of research testbeds for innovative projects in K-14 education, informal education, and/or continuing education. Such collaborations should be based on a prior record of accomplishment and make available unique resources such as remote databases, professional expertise, supercomputers, and other resources, to the community of users. * Research and development to explore issues of scaling-up existing networking models. Examples of such projects include, but are not limited to, research on accessing information from distributed data repositories; research on the use of the network for access to remote resources for experimentation, training, and collaborative studies; research on student and teacher human-computer interaction interfaces; research on the educational and equity impact of the use of networked resources including remotely accessible high performance computing capabilities; development of support and funding models for large-scale and long-term educational networking and technology support; and research and development for extending tools and organizational systems to accommodate collaborations among large numbers of participants with diverse viewpoints. * Awards to develop and evaluate innovative networked communities in support of SMET education reform goals (for example, communities defined by a shared interest, and/or networking of geographical communities). Examples include policy studies on funding the creation of self-sustaining networked communities that link information sources such as electronic libraries, public libraries and museums to users, or access to self-paced training resources. Areas of special interest Policy Studies: The NIE program is interested in funding three to five projects designed to (a) support electronically a proposer community based on the work of existing grantees and (b) develop an NIE and networking infrastructure evaluation strategy. Native American Telecommunications: The nation's schools serving Native American students have special networking infrastructure needs. The NIE program seeks proposals to develop policies, pilot projects and infrastructure models that can serve the unique needs of Native American tribal colleges and their students. Electronic Libraries: The Foundation, as part of an interagency program, has initiated a program of R&D for digital libraries. There is special interest at the Foundation for exploring the role of digital libraries in education reform and in providing equity of educational opportunities. The NIE program seeks proposals to develop policies, testbeds and prototypes that explore state-wide implementation issues of electronic libraries, access to information located in remote sites, and the organizational and support structures that make it possible. Brief description of projects funded by the NIE program: A few examples of recently funded projects are provided to indicate the breadth of interest of the program: Policy study on the role of public libraries in the National Information Infrastructure (NII). Comprehensive metropolitan network that has since become part of an Urban Systemic Initiative in support of math and science education reform. Partners include a medical school, senior citizens, a housing project, K-12 schools, universities, libraries a= nd city government. Use of telecommunications to support learning-on-demand in a workplace setting. Use and evaluation of ISDN networks for distance collaborations in which teachers and students combine desktop video conferencing with exchange of complex images and large datasets. Statewide Systemic Initiative effort will fully integrate educational networking into its reform efforts and to collaborate with science research centers in creating effective innovative science resources for K-12 education. Development and implementation of a distributed multi-server system based on an architecture that dynamically adapts to rapidly changing load patterns in high levels of network traffic. Network-based collaboration among science museums, industry and schools to provide unique resources for teaching and learning science, mathematics and technology in grades K-8, with special emphasis on the needs of schools in urban centers. A testbed of hundreds of networked schools and school districts in more than a dozen states that can be used to test new teaching methods and to provide empirical evidence to taxpayers, governments and private industry about what types of broad- based active participation are required to successfully scale-up reform and education telecommunications efforts. A Digital Learning Center that networks scientists, educators and multimedia designers to develop compelling on-line, interactive, content-rich resources for learners of all age groups. Brief description of planning and startup projects funded by the NIE program. A few examples of recently funded projects are provided to indicate the breadth of interest of the program:. NIE also encourages planning or startup grants for proposers who are in the process of developing the appropriate consortia, partnerships, or community of users, and need modest resources to complete the process successfully. Potential proposers in this category are advised to discuss their project's compliance with NIE goals and objectives with the NIE Program Directors. Support for Native American communities to plan for the use of telecommunications and to provide technical, educational and personnel assistance in the development of education activities that incorporate and rely on telecommunications. Support to leverage a cable industry experiment that is providing interactive cable television to schools and homes and to do a systematic analysis of impact on educational practice. Supplement to a Statewide Systemic Initiative to develop a model of technology integration that will also be leveraged by a three- state Rural Systemic Initiavive planning grant. Leverage Statewide Systemic Initiative activities in planning for a sustainable telecommunications network in a rural area by a statewide alliance of technology-related education and business groups. Lay the groundwork for developing a virtual school where virtual, i.e. network-linked collaborative classrooms encompass the entire community throughout the state. Plan an interdisciplinary high school 'school-to-work', career path curriculum supported by multimedia technology, with strong involvement of the private sector. Preparation and Submission of Proposals A. Contact Information =46or general information, contact the Networking Infrastructure for Education program, EHR and CISE, at: (703) 306-1651 nie@nsf.gov B. Preliminary Proposals. While there are no formal guidelines beyond those just stated, an informal preliminary proposal for review by NSF is required. The preliminary proposal should be in the form of a six to eight page (double spaced ) document describing the goals of the activity, a detailed work plan and budget, a discussion of the educational needs and opportunities to be addressed, a discussion of the technologies and telecommunication to be used, the science and mathematics to be covered for the various grade levels, and an evaluation plan discussing the performance measures, tests and data analysis. We encourage the submission of preliminary proposals via electronic mail. Preliminary proposals for NIE are due by February 15, 1995. Note the separate preliminary and full proposal deadlines for policy proposals. Proposers contemplating policy studies are encouraged to contact the program prior to the December 15 target date. C. Formal Proposals =46ormal Proposals are due on April 15, 1995. Special review criteria beyond the standard NSF criteria are listed under Proposal Review. Size and Duration of Awards NIE plans to fund 3-5 awards yearly for each of the following categories (These are not formal categories, but guides to types of projects and associated funding levels, as described in the Introduction. * Policy studies $25,000 to $100,000 per year ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help ------------------------------------------------------------------------------- From mzemanko@nsf.gov Tue Jan 31 19:23:18 1995 Received: from cs.wisc.edu by sea.cs.wisc.edu; Tue, 31 Jan 95 19:23:15 -0600 Received: from note1.nsf.gov by cs.wisc.edu; Tue, 31 Jan 95 19:23:13 -0600 Received: from [128.150.59.20] (c4m10.cise.nsf.gov) by note1.nsf.gov with SMTP id AA23568 (5.65c/IDA-1.4.4 for ); Tue, 31 Jan 1995 20:24:18 -0500 X-Sender: mzemanko@note1.nsf.gov Message-Id: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Date: Tue, 31 Jan 1995 20:23:13 -0500 To: dbworld From: mzemanko@nsf.gov (Maria Zemankova) Subject: NSF CFP: Networking Infrastructure for Education (US-based researchers) 2/2 * Research and development $250,000 to $750,000 per year for 1 to 3 years * Demonstration and model sites $250,000 to $750,000 per year for 1 to 3 years * Infrastructure and testbeds $500,000 to $1,000,000 per year for 1 to 3 years Planning/startup Grants should not exceed one year and are expected to range from $25,000 to $100,000. (Cost-sharing requirements are discussed in detail in the Section on Proposal Review.) Network and Interactive Technology Prototype System for the Department of Defense Dependent Schools. In response to the national educational challenge to create new networking infrastructures for education, the Department of Defense Dependents Schools (DoDDS) and the National Science Foundation (NSF) have initiated a joint, competitive program to support applied research and evaluation on the use of telecommunication networks and interactive computer-based, instructional technologies in pursuit of educational excellence. The program seeks to combine educational technology and educational reform strategies, by using the DoDDS to demonstrate and evaluate their potential for improving mathematics and science education. Goals and Objectives. Various interactive technologies and network applications have proven educationally beneficial in research studies and in certain classroom courses. The purpose of this program is to develop a large-scale prototype system that includes a telecommunication network and interactive instructional technologies, capable of significantly increasing excellence in a K-12 mathematics and science program, and to demonstrate and evaluate the cost and benefits associated with operating the system. The intent of the program is to aggregate, integrate and articulate a critical amount of educational resources and materials, consistent with recommended national standards for mathematics and science education, and achieve significant, measurable gains in student and teacher performance. The use of the installed base of equipment and off-the-shelf materials, where appropriate, is encouraged. However, the development of new materials and interfaces may also be contemplated if needed to develop a cohesive, comprehensive system. Proposed projects should organize resources to support a broad range of pedagogical learning strategies such as learning circles, classroom instruction, group and individual lessons, dry and wet laboratories, library research, mentoring and tutoring by professional scientists, professors and teachers, and project-oriented science. Students should be permitted to have as much access as possible to all network resources for self-directed learning. Proposed systems should support a wide variety of pedagogical strategies and tools such as teleconferencing, access to multimedia presentations, video, e-mail, bulletin boards, digital data bases and libraries. Materials should be pilot tested and of sufficient scope, depth and duration to provide the basis for a rigorous test of the system. Data should be gathered to measure student performance and achievement for a wide range of students. The proposed systems should involve the active and significant participation of all stakeholders such as students, teachers, librarians, parents, administrators, scientists and technologists in planning and designing the system and its services. The proposed system-wide prototypes should use Internet and include representative sites in Europe, Asia, and the United States. The sites should, where possible, be joined with existing mathematics and science networks and testbeds in the domestic United States, other NIE network projects and/or other appropriate international networks. The cost/benefits studies should include an analysis of system performance, student achievement and motivation, teacher preparation and workshops, and costs necessary to develop and operate such a system. Based upon these results, a cost/benefits projection should be prepared for scaling up the program for all DoDDS schools. Funding NSF budget for the funded project(s) is not expected to exceed $4,500,000 dollars over three years (1995-1998). Depending on the number and quality of proposals, it is anticipated that one or more multiyear grants or cooperative agreements will be awarded. Proposal Processing A. Contact Information For general information, contact the NIE/DODDS program at: (703) 306-1651 dodds@nsf.gov B. Preliminary Proposals The submission of an informal, preliminary proposal for review by NSF is required. The preliminary proposal should be in the form of a six to eight page (double-spaced) document describing the goals of the activity, a short one paragraph description of the principal investigators, a discussion of the technologies and telecommunication to be used, the science and mathematics courses and materials to be covered for the various grade levels, and an evaluation plan discussing the performance measures, tests and cost/benefits analysis. Preliminary proposals are due no later than December 15, 1994. We encourage the submission of preliminary proposals via electronic mail, to nie@nsf.gov. Additional information about DoDDS may be obtained by contacting the National Science Foundation, NIE/DoDDS Program, Education and Human Resources, 4201 Wilson Blvd., Arlington VA 22230 (TEL: 703-306- 1651) or email: dodds@nsf.gov. C. Formal Proposals Formal Proposals are due on February 15, 1995, and will be reviewed in accordance with NSF policies and procedures. Additional review criteria are listed under Proposal Review. Awards Grant or Cooperative Agreement Award(s) will be made by June, 1995. Who May Submit (NIE and DoDDS targeted solicitation) Proposals for both the NIE and DoDDS programs will be accepted from individual institutions or groups of institutions within the United States. Proposals which involve the formation of new alliances are encouraged. These alliances could include two- and four-year degree-granting academic institutions, school districts, professional societies, state agencies, public libraries, museums, and others concerned with educational reform. Business and industry participation, with cost- sharing consistent with their role, is required for demonstration, model site, testbed and infrastructure projects, and encouraged for policy studies and R&D projects. Proposals for planning or startup grants aimed at developing a plan of action, a more encompassing collaboration or a competitive NIE project, will be accepted from qualified proposers on behalf of coalitions and consortia. The Foundation welcomes proposals on behalf of all qualified scientists, engineers, and educators, and strongly encourages women, minorities, and persons with disabilities to compete fully in its research and educational programs. Summary of Target dates NIE NIE DODDS policy Preliminary February 15 December 15 December 15 proposals Full proposals April 15 February 15 February 15 Proposal Format Proposals developed in response to this program solicitation should be prepared and submitted in accordance with the guidelines provided in the NSF brochure, Grant Proposal Guide, NSF 94-2, January, 1994. Copies of the most current edition of this publication are available at no cost from: National Science Foundation Forms and Publications, Room P15 4201 Wilson Blvd. Arlington, VA 22230 (703) 306-1130 pubs@nsf.gov (Internet) pubs@nsf (Bitnet) Proposal Submission Fifteen (15) copies of each formal proposal, including one copy bearing original signatures, should be mailed to: Announcement No. 94-5 Proposal Processing Unit P60 National Science Foundation 4201 Wilson Blvd. Arlington, VA 22230 One additional copy should be sent to: Program Director Networking Infrastructure for Education Suite 855 National Science Foundation 4201 Wilson Blvd. Arlington, VA 22230 Only one (1) copy of NSF Form 1225, Information about Principal Investigator/Project Director, should be sent, attached to the original signed proposal. Proposal Review Proposals will be evaluated in accordance with established Foundation procedures, and the four general criteria described in Grant Proposal Guide, NSF 94-2, will be used. Evaluation will be done by a panel of experts and by ad-hoc mail reviews and site visits as needed. Proposal evaluation will also take into account NIE's overarching goal of building collaborations among technology and education researchers, developers and implementers. Thus the following criteria will be used: (1) Overall Plan: How well does the proposal integrate the many stakeholders so they can explore networking costs and benefits, test self-sustaining strategies, and develop a flexible infrastructure for network-leveraged education reform. The NIE program encourages collaborations and consortia at all levels from the community to the state or region to ensure broad-scale, systemic support for education reform that integrates technological resources as fully as possible into reform activities. Governance and management of projects should reflect contributions of all groups involved, as appropriate for the type of award sought (policy study, R&D, DoDDS prototype, etc.). (2) Potential for Significant Impact: For evaluating NIE and DoDDS proposals, the potential of the project for achieving significant impact on student performance, educational networking, and the project's contributions to our base of knowledge about the role of technology in education reform (3) Sustainability: What is the potential of the project for long-term sustainability? How will the project leverage and contribute to the ability of the education community to carry out full-scale, self- sustaining and scalable implementations of educational networking? (4) Evaluation, Assessment and Dissemination: All NIE and DoDDS projects must have well defined evaluation, dissemination and assessment plans. Proposals will be evaluated on how well their plans for evaluation, assessment and dissemination integrate with and further the goals reflected in evaluation criteria (1) - (3). DoDDS proposals are expected to provide a clear definition of the educational problems and opportunities to be addressed, plans for the design and implementation of a model that has sufficient scope, depth and duration to rigorously test the educational benefits, innovativeness, and plans for the components of a successful implementation strategy, such as teacher training, on-going support, etc. (5) Cost-Sharing: Business and industry participation and cost-sharing are important indicators of the sustainability and flexibility of any networking infrastructure. Consequently, business and industry participation in NIE projects, and level of cost-sharing, including cost- sharing by consortia members, will be used as criteria in the evaluation of proposals, as appropriate. All research proposals are required to comply with NSF rules for cost-sharing. Proposals for model sites, testbeds, and infrastructure development are expected to document the commitment of members of the consortia and the projected cost-sharing they will provide to assure the long term sustainability of the project. Cost-sharing can take the form of equipment, personnel, release time for teachers, communication costs, as well as funds. Reviewers will be interested in how the project leverages efforts of consortium members and of state and local government, such as existing connectivity, technical support, local bond issues, statewide education reform programs, state use of training funds, etc. Grant Administration Grants and cooperative agreements awarded as a result of this solicitation are administered in accordance with the terms and conditions of NSF GC-1, "Grant General Conditions," or FDP-II, "Federal Demonstration Project General Terms and Conditions," depending on the grantee organization. Copies of these documents are available at no cost from the NSF Forms and Publications Unit, phone (703) 306-1130, or pubs@nsf.gov (Internet). More comprehensive information is contained in the NSF Grant Policy Manual (NSF 88-47, July 1989), for sale through the Superintendent of Documents, Government Printing Office, Washington, DC 20402. The telephone number at GPO is (202) 783-3238 for subscription information. If the submitting institution has never received an NSF award, it is recommended that appropriate administrative officials become familiar with the policies and procedures in the NSF Grant Policy Manual which are applicable to most NSF awards. If a proposal is recommended for an award, the NSF Division of Grants and Agreements will request certain organizational, management, and financial information. These requirements are described in Chapter III of the NSF Grant Policy Manual. Dr. Nora H. Sabelli, Program Director, Applications of Advanced Technologies, Directorate for Education and Human Resources, and Networking Infrastructure for Education, Directorates for Education and Human Resources and Computer and Information Science and Engineering National Science Foundation Stafford Building, Suite 855, 4201 Wilson Blvd, Arlington, VA 22230 Phone: (703) 306-1655, x5888; Fax: (703) 306-0434 electronic mail: nsabelli@nsf.gov **************************************************************************** ------------------------------------------------------------------------------- The dbworld alias reaches many people, and should only be used for messages of general interest to the database community. Requests to get on or off dbworld should go to listproc@cs.wisc.edu. to subscribe send subscribe dbworld Your Full Name to unsubscribe send unsubscribe dbworld to change your address send an unsubscribe request from the old address send a subscribe request from the new address to find out more options send help -------------------------------------------------------------------------------