[Fwd: [TYPES-WG] Reminder - CFP: TYPES 2000 Post-Workshop Proceedings.]

[Andrzej Trybulec <trybulec@math.uwb.edu.pl>]

-------- Original Message --------
Subject: [TYPES-WG] Reminder - CFP: TYPES 2000 Post-Workshop
Proceedings.
Date: Thu, 5 Apr 2001 13:48:23 +0100 (BST)
From: "P.C.Callaghan" <P.C.Callaghan@durham.ac.uk>
Reply-To: "P.C.Callaghan" <P.C.Callaghan@durham.ac.uk>
To: types-wg@durham.ac.uk


Dear TYPES members,

The deadline for submitting papers to the TYPES 2000 Post-Workshop
Proceedings is fast approaching. The original Call is appended.


BUT: due to circumstances beyond our control, we are EXTENDING the
deadline to *** Wednesday 18th April 2001 ***.

    The problem is renovation of the power supply to our building, 
    which means all computers will be shut down, and hence email will 
    be disrupted. For this reason, if you don't send your paper before 
    Saturday 14th April, please wait until Wednesday 18th April. 


Please also remember to send the title, names of authors, and abstract 
in a separate email. We will confirm receipt on Wednesday 18th April.


Best regards from the editors, who are
 
Paul Callaghan, Zhaohui Luo, James McKinna, Randy Pollack



> *******************************************************************
> *  Please forward this message to people who may be interested.
> * 
> *  If you want to join the types-wg mailing list, send
> *
> * 	 subscribe types-wg <your email address>
> *
> *  in the body of a message to <Majordomo@durham.ac.uk>.
> *******************************************************************
> 
> Springer has agreed to publish Post-Workshop Proceedings for TYPES
> 2000 in the Lecture Notes in Computer Science (LNCS) series
> <www.springer.de/comp/lncs/index.html>.  Previous TYPES post-workshop
> proceedings include LNCS volumes 1657, 1512, 1158, 996 and 806.
> 
> We are happy to encourage you to submit research papers on the subject
> of the Types Working Group <www.durham.ac.uk/TYPES/>.
> 
>     DEADLINE for submission: 13 April 2001.
> 
>     WHO MAY SUBMIT: *any* participant of the Working Group
>     including any attendees of the December workshop.
> 
> We invite submission of high quality papers, written in English and
> typeset in LaTeX2e using the LNCS style.  (See Authors Instructions
> <www.springer.de/comp/lncs/authors.html>.)  Submissions should not
> have been published and should not be under consideration for
> publication elsewhere.  Submissions should be no more than fifteen
> pages long in LNCS style.
> 
> Please email your contribution as a self-contained postscript file
> (MIME attachment or uuencoded) to:
> 
>    types2000@durham.ac.uk
> 
> In a separate email, give the title, authors and abstract of your
> submission, as well as email address of the corresponding author.
> Submissions will be acknowledged (perhaps with some delay).
> 
> LNCS is now published in full-text electronic version, as well as
> printed books.  Thus we will need the final LaTeX source files of
> accepted submissions.  The final versions of accepted submissions MUST
> be in the LaTeX2e LNCS style, and be as self-contained as possible.
> There is also now a copyright form for LNCS accepted papers
> <www.springer.de/comp/lncs/copyrigh.html>.
> 
> ---------------------------------------------------------