--- 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]
|
