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