[Prev][Next][Index][Thread]
Re: STACS'99: Call for Papers
-
To: categories@mta.ca, fsdm@it.uq.edu.au, softverf@leopard.cs.byu.edu, formal-methods@cs.uidaho.edu, relmics-list@diogenes.informatik.unibw-muenchen.de, lics-request@research.bell-labs.com, dataloger@cs.chalmers.se, afp@cs.chalmers.se, types@cs.indiana.edu, logic@cs.cornell.edu, logic@theory.lcs.mit.edu, eacsl@dimi.uniud.it, eapls@mailbase.ac.uk, eatcs-it@cs.unibo.it, mop@cs.ruu.nl, isabelle-users@cl.cam.ac.uk, info-hol@leopard.cs.byu.edu, theorem-provers@mc.lcs.mit.edu, clics@doc.ic.ac.uk, qed@mcs.anl.gov, ccl@dfki.de, tapsoft@dcs.ed.ac.uk, prog-lang@diku.dk, theorynt@listserv.nodak.edu, flprog@informatik.uni-muenchen.de, reliable_computing@interval.usl.edu, uitp@dcs.gla.ac.uk, facs@lboro.ac.uk, bra-types@cs.chalmers.se, coq-club@pauillac.inria.fr, ipalist@win.tue.nl, siksleden@cs.ruu.nl, asci@twi.tudelft.nl, ozsl-list@fwi.uva.nl, protagonist@cs.kun.nl, theory-a@vm1.nodak.edu, calculemus-ig@dist.unige.it, logic-ml@logic.jaist.ac.jp, theorem-provers@ai.mit.edu, ftp@logic.at, om-announce@lars.math.FSU.EDU, amast@c
-
Subject: Re: STACS'99: Call for Papers
-
From: Sophie.Tison@lifl.fr
-
Date: Thu, 3 Sep 1998 09:47:27 +0200
Call for Papers
STACS'99
16th International Symposium on
Theoretical Aspects of Computer Science
March 4-6, Trier, Germany
---------------------------------------------------------
http://stacs.uni-trier.de/STACS99/
---------------------------------------------------------
The 16th International Symposium on Theoretical Aspects of
Computer Science is organized jointly by the
Special Interest Group for Theoretical Computer Science
of the Gesellschaft fuer Informatik (GI)
and the
Maison de l'Informatique et des Mathematiques Discretes (MIMD).
Scope:
Authors are invited to submit papers presenting original and
unpublished research on theoretical aspects of computer science.
Typical areas include (but are not limited to):
algorithms and data structures
automata and formal languages
computational and structural complexity
semantics of programming languages
theory of parallel and distributed computation
parallel algorithms
logic in computer science
algorithmic learning theory
computational geometry
cryptography
computer systems theory
program specification
verification
VLSI structures
theory of data bases
computational issues in artificial intelligence
Submissions:
Authors are invited to submit a draft of a full paper
(5-12 pages, the title page must contain a classification
of the topic covered, preferably using the list of topics above).
Proofs omitted due to space constraints must be put into an appendix.
Electronic submission is highly recommended. Detailed information
is available on the web site http://stacs.uni-trier.de/STACS99/ .
In case of problems with access to internet, it is possible
to submit 6 copies of the draft (plus 1 copy of the appendix)
and 15 copies of a one page abstract
to the chairman of the program committee.
Important dates:
Deadline for submission: September 11, 1998
Notification to authors: November 6, 1998
Final version: December 4, 1998
Symposium: March 4--6, 1999
Addresses:
Christoph Meinel
FB IV - Informatik
Universitaet Trier
D-54286 Trier, Germany
web site http://stacs.uni-trier.de/STACS99/
email info@stacs.uni-trier.de
Phone ++49-651-201-2836
Fax ++49-651-201-3954
Program Committee:
S. Albers (Saarbruecken)
R. Amadio (Marseille)
R. Cori (Bordeaux)
J. Esparza (Muenchen)
J. Hromkovic (Aachen)
C. Kenyon (Paris Sud)
J. Koebler (Ulm)
D. Krizanc (Carleton)
Ch. Meinel (Trier, chair)
A. Petit (Cachan)
S. Rudich (Berkeley/Pittsburgh)
J. Sgall (Praha)
R. Silvestri (Roma)
S. Tison (Lille, co-chair)
P. Widmayer (Zuerich)
Invited Speakers:
N.Nisan (Jerusalem), P.Ossona de Mendez (Paris), Th.Wilke (Kiel).
Organizing Committee:
J.Bern, C.Damm, Ch.Meinel, M.Mundhenk, H.Sack.
Proceedings:
Accepted papers will be published in the proceedings of the
symposium (Lecture Notes in Computer Science, Springer-Verlag).
Dual submission to other conferences with published proceedings
is not allowed.
Grants:
We expect to receive TMR grants from the EU commission to be able
to support young researchers (age below 40 for female and
below 35 for male) from EU countries or associated countries
attending the conference.
Researchers from Eastern- and Central-European countries
can apply for a grant from the Deutsche Forschungsgemeinschaft (DFG).
Detailed informations are available via request on e-mail.