--- Forwarded Message from Jenise Rowekamp <[log in to unmask]> ---
>In-Reply-To: <[log in to unmask]>
>Date: Wed, 8 Sep 1999 08:54:06 -0500
>To: Language Learning and Technology International Information Forum <[log in to unmask]>
>From: Jenise Rowekamp <[log in to unmask]>
>Subject: Re: #5174 Subscriptions
------------------
We generally do not purchase commercial materials (video, audio or
software) that are language specific; the program or department does. The
exception to this is software for word processing/proofing in all languages
taught at the U of MN or if we get a grant for course development and
software is part of the project.
>--- Forwarded Message from Andrew Ross <[log in to unmask]> ---
>
>>From: Andrew Ross <[log in to unmask]>
>>To: "'Language Learning and Technology International Information Forum'"
>><[log in to unmask]>
>>Subject: Subscriptions
>>Date: Fri, 3 Sep 1999 12:53:50 -0400
>
>------------------
>Hi, All:
>
>I've received a request from one of my faculty members, and am in a bit of a
>quandary. I recently purchased a 60-user subscription to CyberItalian --
>with which, by the way, the instructor is quite happy -- and have been asked
>to renew and expand that subscription for next year. This year's cost was
>+/- $600.00, which comes out of the lab's budget. Next year, we're talking
>at least $1500.00, a sizeable chunk of my operating budget.
>
>Do other labs routinely defray ongoing costs for what might be termed
>electronic courses/texts (consumable in the sense that they have limits on
>time of use and number of concurrent users), or are these best categorized
>as texts which the students are required to purchase, like the other course
>materials.
>
>Any help much appreciated.
>
>a.
>
>Andrew F. Ross, Ph.D.
>Director, Multimedia Language Lab
>Department of Modern Languages and Literatures
>G-16 Puryear Hall
>University of Richmond
>Richmond, VA 23173
>(804)287-6838
>fax: (804)287-6446
>[log in to unmask]
>
>****************
>"Worrying about a large institution, especially when it has computers,
>is like worrying about a large gorilla, especially when it's on fire."
>
>--Bruce Sterling
>****************
>
> -----Original Message-----
> From: LLTI-Editor [mailto:[log in to unmask]]
> Sent: Wednesday, September 01, 1999 3:35 PM
> To: [log in to unmask]
> Subject: #5166 TACAS 2000 - Call for Contributions
>
> --- Forwarded Message from Tiziana Margaria
><[log in to unmask]> ---
>
> >Date: Sat, 7 Aug 1999 18:09:11 +0200 (MET DST)
> >From: Tiziana Margaria <[log in to unmask]>
> >Subject: TACAS 2000 - Call for Contributions
> >Sender: [log in to unmask]
>
> CALL FOR PAPERS
>
>
> Sixth International Conference on
> TOOLS AND ALGORITHMS
> FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
> (TACAS'2000)
>
> 27 March -- 1 April 2000 Berlin,
>Germany
>
>
> URL: http://www-verimag.imag.fr/TACAS2000/
>
>
> A member conference of the
> European Joint Conferences on Theory and Practice of
>Software
> (ETAPS'2000)
>
>
> CONFERENCE DESCRIPTION
>
> TACAS is a forum for researchers, developers and users
>interested
> in rigorously based tools for the construction and analysis
>of
> systems. The conference serves to bridge the gaps between
> different communities --- including but not limited to those
>
> devoted to formal methods, real-time, software engineering,
> communications protocols, hardware, theorem proving, and
> programming languages --- that have traditionally had little
>
> interaction but share common interests in, and techniques
>for,
> tool development. In particular, by providing a venue for
>the
> discussion of common problems, heuristics, algorithms, data
> structures and methodologies, TACAS aims to support
>researchers
> in their quest to improve the utility, reliability,
>flexibility
> and efficiency of TOOLs for building systems.
>
> Tool descriptions and case studies with a conceptual message
>
> and theoretical papers with a clear link to tool
>construction
> are particularily encouraged. The specific topics covered by
>the
> conference include, but are not limited to, the following.
>
> . verification and construction techniques;
> . compositional and refinement-based methodologies;
> . test generation;
> . theorem-proving and model checking;
> . analytical techniques for real-time, hybrid and
> safety-critical systems;
> . tool environments and tool architectures;
> . applications and case studies.
>
> All accepted contributions will receive the same space in
>the
> conference schedule and in the proceedings, and technical
> support will be provided for allowing presenters to
>demonstrate
> their tools during their talks. Facilities will also be
> available for informal tool demonstrations during the
> conference.
>
> As TACAS addresses a heterogeneous audience, potential
>authors
> are strongly encouraged to write about their ideas in
>general
> and jargon-independent, rather than application- and
> domain-specific, terms.
>
>
> SUBMISSION GUIDELINES
>
> The deadline for submissions is 18th of october 1999 and
>this
> deadline is firm. Submitted papers must be in English and
>must
> not have appeared in, or have been submitted to, other
>symposia
> or journals. Papers should be no more than 15 pages in the
> Springer-Verlag LNCS style
> (see http://www.springer.de/comp/lncs/Authors.html for
>details);
> submissions departing significantly from this limit run the
>risk
> of immediate rejection.
>
> ELECTRONIC SUBMISSION OF PAPERS IS STRONGLY RECOMMENDED;
> details for doing this may be found on the TACAS'2000 Web
>page,
> http://www-verimag.imag.fr/TACAS2000/
> Authors without access to the Web may instead submit their
> papers via electronic mail (Postscript only) or by sending
>six
> hard copies to one of the Program Committee Chairs:
>
> Susanne Graf Michael Schwartzbach
> VERIMAG BRICS
> Centre Equation Dep. of Computer
>Science
> 2, avenue de la Vignate Ny Munkegade
> F - 38610 Gieres D - 8000 Arhus C
> France Denmark
>
> e-mail: [log in to unmask] e-mail: [log in to unmask]
> tel: (+33) 4 76 63 48 52 tel: +45 8942 3374
> fax: (+33) 4 76 63 48 50 Fax: +45 8942 3255
>
>
> IMPORTANT DATES
>
> Monday 18th October 1999 Submission deadline
> Monday 13th December 1999 Notification of
>authors
> Thursday 13th January 2000 Final versions due
> March, 27 -- April, 1 2000 Conference dates
>
>
> INVITED SPEAKER
>
> The invited speaker at TACAS'2000 will be
> Pierre Wolper (University of Liege, Belgium)
>
> PROGRAM COMMITTEE STEERING COMMITTEE
>
> Tom Ball (USA) Ed Brinksma (NL)
> Ed Brinksma (NL) Rance Cleaveland
>(USA)
> Rance Cleaveland (USA) Kim Larsen (DK)
> Matthew Dwyer (USA) Bernhard Steffen (D)
> Fausto Giunchiglia (I)
> Susanne Graf (F, chair)
> Constance Heitmeyer (USA)
> Gerard Holzmann (USA)
> Claude Jard (F)
> Joost N. Kok (NL)
> Kim Larsen (DK)
> Tiziana Margaria (D)
> Michael Schwartzbach (DK,chair)
> Bernhard Steffen (D)
> Perdita Stevens (GB)
> Wang Yi (Sweden)
>
> ----------------------------
> P.S.: In case of change of address or other communications
>please
> notify [log in to unmask]
Jenise Rowekamp, Director
CLA Language Center
University of Minnesota
51 Folwell Hall
9 Pleasant St. SE
Minneapolis, MN 55455
(612) 625-3865
[log in to unmask]
http://LanguageCenter.cla.umn.edu
http://LanguageCenter.cla.umn.edu/CARLA/fltechclass
|
