koenig@ernie.Berkeley.EDU (Sven Koenig) (05/22/90)
***************************************************************
CALL for PAPERS and SYSTEMS
STACS 91: Symposium on Theoretical Aspects of Computer Science
Hamburg, Germany: February 14 -- 16, 1991
**************************************************************
The Symposium on Theoretical Aspects of Computer Science is
organized jointly by the Special Interest Group for Theoretical
Computer Science of the GESELLSCHAFT f"ur INFORMATIK (GI), and the
Special Interest Group for Applied Mathematics of AFCET.
Typical, but not exclusive topics of interest are:
Abstract data types, algorithms and data structures, automata and
formal languages, computational complexity, computational
geometry, cryptography, computer systems theory, logic and
semantics of programming languages, mathematics of computation,
program specification, theory of parallel and distributed
computation, theory of robotics, VLSI structures, theory of data
bases.
Authors
are invited to submit 6 copies of a draft (in English, 5-12
pages) before August 15, 1991 to the chairman of the program
committee
Prof. Dr. Matthias Jantzen
Fachbereich Informatik (TGI)
Universitaet Hamburg
Rothenbaumchaussee 67/69
D-2000 Hamburg 13
W-Germany
e-mail: jantzen@rz.informatik.uni-hamburg.dbp.de
There will be the opportunity to demonstrate non-commercial
systems.
Compilers and interpreters, prototyping systems, term rewriting
systems, theorem provers, editors, systems for VLSI design
are welcome; this list is surely not exclusive. A two page
summary of each demonstrated system will be included in the
proceedings. Those who are interested in demonstrating systems
should contact the program committee chairman before September
15, 1991.
Program Committee:
A.Arnold (Bordeaux), W.Brauer (Muenchen), Ch.Choffrut (Rouen, chairman),
M.Cosnard (Lyon), A.Finkel (Paris), J.Gabarro (Barcelona),
J.Hastad (Stockholm), M.Jantzen (Hamburg, chairman), Ch.Rackoff (Toronto),
H.Reichel (Dresden), R.Reischuk (Darmstadt), W.Rytter (Warschau).
Invited Speakers:
J.-P.Jouannaud (Nancy), M.Wirsing (Passau),?
Organizing Committee: H.Durry (secretary), M.Jantzen,
M.Kudlek (organizing chairman), E.Thieme...
Dates:
Deadline for submission of papers: August 15, 1990
Deadline for submission of systems: August 15, 1990
Notification: October 20, 1990
Deadline for final text: November 20, 1990
Symposium: February 14 -- 16, 1991
Accepted papers and system abstracts will be published in the
proceedings of the symposium (Springer Lecture Notes in Computer
Science).
The symposium is organized in cooperation with EATCS, and is
sponsored by the University of Hamburg, Digital Equipment,
Sun Microsystems, Vereins- und Westbank Hamburg, and others.
******************************************************************sarnath@sybil.cs.buffalo.edu (Ramnath Sarnath) (07/20/90)
Could someone tell me the best time/processor bounds obtained for parallel (NC) selection algorithms, and any references, thereof? thanx, sarnath