From dza@info.fundp.ac.be Thu Feb 10 21:11:35 EST 1994 Article: 5664 of news.announce.conferences Xref: glinda.oz.cs.cmu.edu news.announce.conferences:5664 Newsgroups: news.announce.conferences Path: honeydew.srv.cs.cmu.edu!bb3.andrew.cmu.edu!news.sei.cmu.edu!cis.ohio-state.edu!math.ohio-state.edu!cs.utexas.edu!uunet!sparky!rick From: dza@info.fundp.ac.be (Denis ZAMPUNIERIS) Subject: CFP: International Static Analysis Symposium (SAS'94) Message-ID: <1994Feb9.232744.14807@sparky.sterling.com> Keywords: static analysis Sender: rick@sparky.sterling.com (Richard Ohnemus) Organization: Institut d'Informatique - F.U.N.D.P. Date: Wed, 9 Feb 1994 23:27:44 GMT Approved: rick@sparky.sterling.com Expires: Sun, 1 May 1994 08:00:00 GMT Lines: 232 X-Md4-Signature: de50af8dff487386bc23d3233230f8b0 CALL FOR PAPERS 1st International Static Analysis Symposium (SAS'94) Namur (Belgium) September 28-30, 1994 Static Analysis is increasingly recognized as a fundamental tool for high performance implementations and verification systems of high-level programming languages. The last two decades have witnessed substantial developments in this area, ranging from the theoretical frameworks to the design and implementation of analysers and their applications in optimizing compilers. SAS'94 is the first international symposium on static analysis. It is motivated by the success of the three previous international workshops Jtaspefl and WSA'92, which were held in Bordeaux (France) and WSA'93 which took place in Padova (Italy). The technical program for the symposium will consist of invited lectures, presentations of refereed papers and software demonstrations. Contributions are welcome on all aspects of Static Analysis, including, but not limited to Abstract Domains Optimizing Compilers Applications Specific Analyses Complexity Theoretical Frameworks Experimental Evaluation Verification Systems Fixpoint Algorithms Type Inference Partial Evaluation Contributions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Papers must be written in English, must not exceed 15 pages (excluding references and figures), and must contain a cover page including the following: a 200 words abstract, keywords, and postal and electronic mailing addresses as well as phone numbers and fax numbers of one of the authors. Send SIX (6) copies of your submission by APRIL 30, 1994 to Baudouin Le Charlier, Institut d'Informatique, Facultes Universitaires de Namur (F.U.N.D.P.), rue Grandgagnage, 21 B-5000 Namur(Belgium) Email: ble@info.fundp.ac.be Phone: +32 81 724977 Fax: +32 81 724967 Authors will be notified of the acceptance or rejection of their papers by JUNE 30, 1994. Final versions of the accepted papers must be received in camera-ready form by JULY 20, 1994. We anticipate that the proceedings will be published by Springer Verlag in the LNCS series. Program Committee: Andrew Chien (U. Illinois, USA) Patrick Cousot (ENS, France) Moreno Falaschi (Padova, Italy) Gilberto File (Padova, Italy) Pierre Jouvelot (CRI-Ecole des Mines, France) John Launchbury (Glasgow, UK) Baudouin Le Charlier (Namur, Belgium, Chair) Daniel Le Metayer (INRIA/IRISA, France) Xavier Leroy (INRIA, Stanford) Alan Mycroft (Cambridge, UK) Ulf Nilsson (Linkoping, Sweden) Martin Odersky (Karlsruhe, Germany) Antoine Rauzy (Bordeaux, France) Uday Reddy (Illinois, USA) Mads Rosendahl (Copenhagen, Denmark) Pascal Van Hentenryck (Brown, USA) Peter Van Roy (PRL, Paris, France) Pierre Wolper (Liege, Belgium) Organizing Committee: Yves Deville(Louvain) Moreno Falaschi (Padova) Naji Habra, Jean-Marie Jacquet, Pierre-Yves Schobbens, Denis Zampunieris (Namur) Location: Namur is a pleasant provincial town, 35 miles south of Brussels in Belgium, located in a scenic environment. Brussels and Paris are easily reached by train. ------------------------------------------------------------------------------- \documentstyle{article} %postscript \setlength{\oddsidemargin}{-0.50in} \setlength{\evensidemargin}{0in} \setlength{\textwidth}{7.4in} \setlength{\topmargin}{-0.2in} \setlength{\headsep}{0.0in} \setlength{\textheight}{26cm} \pagestyle{empty} \hbadness=10000 \begin{document} \mbox{} \begin{center} {\Large Call For Papers\\ } $\ $\\ $ \ $ \\ {\Large \bf 1st International Static Analysis Symposium (SAS'94)\\ }$ \ $ \\ $ \ $ \\ {\bf Namur (Belgium) September 28-30, 1994} \end{center} \parbox[b]{2.9in}{ {\center\bf Program Committee} \\ \\ \noindent\begin{tabular}{ll} Andrew Chien & USA\\ Patrick Cousot & France\\ Moreno Falaschi & Italy\\ Gilberto File & Italy\\ Pierre Jouvelot & France\\ John Launchbury & UK\\ Baudouin Le Charlier & Belgium, Chair\\ Daniel Le Metayer & France\\ Xavier Leroy & France-USA\\ Alan Mycroft & UK\\ Ulf Nilsson & Sweden\\ Martin Odersky & Germany\\ Antoine Rauzy & France\\ Uday Reddy & USA\\ Mads Rosendahl & Denmark\\ Pascal Van Hentenryck & USA\\ Peter Van Roy & France\\ Pierre Wolper & Belgium\\ \end{tabular} {\center\bf Organizing Committee} \\ \\ \begin{tabular}{ll} Yves Deville& Belgium\\ Moreno Falaschi& Italy\\ Naji Habra& Belgium\\ Jean-Marie Jacquet& Belgium\\ Pierre-Yves Schobbens& Belgium\\ Denis Zampunieris & Belgium\\ \end{tabular} % {\center\bf Important Dates} \\ \\ \begin{tabular}{ll} Deadline: &{\tt April 30} \\ Notification: &{\tt June 30}\\ Final Version: &{\tt July 20}\\ & \\ \end{tabular} % {\center\bf Location} \\ \\ \parbox[b]{2.7in}{ Namur is a pleasant provincial town, 35 miles south of Brussels in Belgium, located in a scenic environment. Brussels and Paris are easily reached by train.} } \hspace{-.6cm} %\rule[-.8cm]{.5mm}{15cm} \ \ \ \ \ \parbox[b]{4.3in}{ \setlength{\parindent}{0.5cm} Static Analysis is increasingly recognized as a fundamental tool for high performance implementations and verification systems of high-level programming languages. The last two decades have witnessed substantial developments in this area, ranging from the theoretical frameworks to the design and implementation of analysers and their applications in optimizing compilers. SAS'94 is the first international symposium on static analysis. It is motivated by the success of the three previous international workshops Jtaspefl and WSA'92, which were held in Bordeaux (France) and WSA'93 which took place in Padova (Italy). The technical program for the symposium will consist of invited lectures, presentations of refereed papers and software demonstrations. Contributions are welcome on all aspects of Static Analysis, including, but not limited to\\ \begin{quote}{\em \vspace{-.4cm}\begin{tabular}{lccl} Abstract Domains &&& Optimizing Compilers\\ Applications &&& Specific Analyses\\ Complexity &&& Theoretical Frameworks\\ Experimental Evaluation &&& Verification Systems\\ Fixpoint Algorithms &&& Type Inference\\ Partial Evaluation &&& \end{tabular}} \end{quote} Contributions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Papers must be written in English, must not exceed 15 pages (excluding references and figures), and must contain a cover page including the following: a 200 words abstract, keywords, and postal and electronic mailing addresses as well as phone numbers and fax numbers of one of the authors. Send SIX (6) copies of your submission by APRIL 30, 1994 to \begin{center} \begin{tabular}{ll} Baudouin Le Charlier,&\\ Institut d'Informatique,&\\ Facultes Universitaires de Namur& (F.U.N.D.P.),\\ rue Grandgagnage, 21&\\ B-5000 &Namur(Belgium)\\ Email: ble@info.fundp.ac.be&\\ Phone: +32 81 724977 &Fax: +32 81 724967 \end{tabular} \end{center} Authors will be notified of the acceptance or rejection of their papers by JUNE 30, 1994. Final versions of the accepted papers must be received in camera-ready form by JULY 20, 1994. We anticipate that the proceedings will be published by Springer Verlag in the LNCS series. } \end{document} -- Denis Zampunieris -- email: dza@info.fundp.ac.be -- mail: Institute of Computer Sicence, University of Namur 21, rue Grandgagnage, B-5000 Namur, Belgium Article 5669 of news.announce.conferences: Xref: glinda.oz.cs.cmu.edu news.announce.conferences:5669 Newsgroups: news.announce.conferences Path: honeydew.srv.cs.cmu.edu!bb3.andrew.cmu.edu!news.sei.cmu.edu!cis.ohio-state.edu!magnus.acs.ohio-state.edu!math.ohio-state.edu!howland.reston.ans.net!cs.utexas.edu!uunet!sparky!rick From: michele@goedel.math.unipd.it (Michele Bugliesi) Subject: CFP: 1st International Static Analysis Symposium (SAS'94) Message-ID: <1994Feb15.225959.14712@sparky.sterling.com> Sender: rick@sparky.sterling.com (Richard Ohnemus) Organization: Universita` di Padova Date: Tue, 15 Feb 1994 22:59:59 GMT Approved: rick@sparky.sterling.com Expires: Sun, 1 May 1994 08:00:00 GMT Lines: 224 X-Md4-Signature: 8d1fc5985a41ebb0a26bd94ff2025ac1 CALL FOR PAPERS 1st International Static Analysis Symposium (SAS'94) Namur (Belgium) September 28-30, 1994 Static Analysis is increasingly recognized as a fundamental tool for high performance implementations and verification systems of high-level programming languages. The last two decades have witnessed substantial developments in this area, ranging from the theoretical frameworks to the design and implementation of analysers and their applications in optimizing compilers. SAS'94 is the first international symposium on static analysis. It is motivated by the success of the three previous international workshops Jtaspefl and WSA'92, which were held in Bordeaux (France) and WSA'93 which took place in Padova (Italy). The technical program for the symposium will consist of invited lectures, presentations of refereed papers and software demonstrations. Contributions are welcome on all aspects of Static Analysis, including, but not limited to Abstract Domains Optimizing Compilers Applications Specific Analyses Complexity Theoretical Frameworks Experimental Evaluation Verification Systems Fixpoint Algorithms Type Inference Partial Evaluation Contributions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Papers must be written in English, must not exceed 15 pages (excluding references and figures), and must contain a cover page including the following: a 200 words abstract, keywords, and postal and electronic mailing addresses as well as phone numbers and fax numbers of one of the authors. Send SIX (6) copies of your submission by APRIL 30, 1994 to Baudouin Le Charlier, Institut d'Informatique, Facultes Universitaires de Namur (F.U.N.D.P.), rue Grandgagnage, 21 B-5000 Namur(Belgium) Email: ble@info.fundp.ac.be Phone: +32 81 724977 Fax: +32 81 724967 Authors will be notified of the acceptance or rejection of their papers by JUNE 30, 1994. Final versions of the accepted papers must be received in camera-ready form by JULY 20, 1994. We anticipate that the proceedings will be published by Springer Verlag in the LNCS series. Program Committee: Andrew Chien (U. Illinois, USA) Patrick Cousot (ENS, Paris) Moreno Falaschi (Padova, Italy) Gilberto File (Padova, Italy) Pierre Jouvelot (CRI-Ecole des Mines, France) John Launchbury (Glasgow, UK) Baudouin Le Charlier (Namur, Belgium, Chair) Daniel Le Metayer (INRIA/IRISA, France) Xavier Leroy (INRIA, Stanford) Alan Mycroft (Cambridge, UK) Ulf Nilsson (Linkoping, Sweden) Martin Odersky (Karlsruhe, Germany) Antoine Rauzy (Bordeaux, France) Uday Reddy (Illinois, USA) Mads Rosendahl (Copenhagen, Denmark) Pascal Van Hentenryck (Brown, USA) Peter Van Roy (PRL, Paris, France) Pierre Wolper (Liege, Belgium) Organizing Committee: Yves Deville(Louvain) Moreno Falaschi (Padova) Naji Habra, Jean-Marie Jacquet, Pierre-Yves Schobbens, Denis Zampunieris (Namur) Location: Namur is a pleasant provincial town, 35 miles south of Brussels in Belgium, located in a scenic environment. Brussels and Paris are easily reached by train. ----------------------------------------------------------------------------- \documentstyle{article} %postscript \setlength{\oddsidemargin}{-0.50in} \setlength{\evensidemargin}{0in} \setlength{\textwidth}{7.4in} \setlength{\topmargin}{-0.2in} \setlength{\headsep}{0.0in} \setlength{\textheight}{26cm} \pagestyle{empty} \hbadness=10000 \begin{document} \mbox{} \begin{center} {\Large Call For Papers\\ } $\ $\\ $ \ $ \\ {\Large \bf 1st International Static Analysis Symposium (SAS'94)\\ }$ \ $ \\ $ \ $ \\ {\bf Namur (Belgium) September 28-30, 1994} \end{center} \parbox[b]{2.9in}{ {\center\bf Program Committee} \\ \\ \noindent\begin{tabular}{ll} Andrew Chien & USA\\ Patrick Cousot & France\\ Moreno Falaschi & Italy\\ Gilberto File & Italy\\ Pierre Jouvelot & France\\ John Launchbury & UK\\ Baudouin Le Charlier & Belgium, Chair\\ Daniel Le Metayer & France\\ Xavier Leroy & France-USA\\ Alan Mycroft & UK\\ Ulf Nilsson & Sweden\\ Martin Odersky & Germany\\ Antoine Rauzy & France\\ Uday Reddy & USA\\ Mads Rosendahl & Denmark\\ Pascal Van Hentenryck & USA\\ Peter Van Roy & France\\ Pierre Wolper & Belgium\\ \end{tabular} {\center\bf Organizing Committee} \\ \\ \begin{tabular}{ll} Yves Deville& Belgium\\ Moreno Falaschi& Italy\\ Naji Habra& Belgium\\ Jean-Marie Jacquet& Belgium\\ Pierre-Yves Schobbens& Belgium\\ Denis Zampunieris & Belgium\\ \end{tabular} % {\center\bf Important Dates} \\ \\ \begin{tabular}{ll} Deadline: &{\tt April 30} \\ Notification: &{\tt June 30}\\ Final Version: &{\tt July 20}\\ & \\ \end{tabular} % {\center\bf Location} \\ \\ \parbox[b]{2.7in}{ Namur is a pleasant provincial town, 35 miles south of Brussels in Belgium, located in a scenic environment. Brussels and Paris are easily reached by train.} } \hspace{-.6cm} %\rule[-.8cm]{.5mm}{15cm} \ \ \ \ \ \parbox[b]{4.3in}{ \setlength{\parindent}{0.5cm} Static Analysis is increasingly recognized as a fundamental tool for high performance implementations and verification systems of high-level programming languages. The last two decades have witnessed substantial developments in this area, ranging from the theoretical frameworks to the design and implementation of analysers and their applications in optimizing compilers. SAS'94 is the first international symposium on static analysis. It is motivated by the success of the three previous international workshops Jtaspefl and WSA'92, which were held in Bordeaux (France) and WSA'93 which took place in Padova (Italy). The technical program for the symposium will consist of invited lectures, presentations of refereed papers and software demonstrations. Contributions are welcome on all aspects of Static Analysis, including, but not limited to\\ \begin{quote}{\em \vspace{-.4cm}\begin{tabular}{lccl} Abstract Domains &&& Optimizing Compilers\\ Applications &&& Specific Analyses\\ Complexity &&& Theoretical Frameworks\\ Experimental Evaluation &&& Verification Systems\\ Fixpoint Algorithms &&& Type Inference\\ Partial Evaluation &&& \end{tabular}} \end{quote} Contributions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Papers must be written in English, must not exceed 15 pages (excluding references and figures), and must contain a cover page including the following: a 200 words abstract, keywords, and postal and electronic mailing addresses as well as phone numbers and fax numbers of one of the authors. Send SIX (6) copies of your submission by APRIL 30, 1994 to \begin{center} \begin{tabular}{ll} Baudouin Le Charlier,&\\ Institut d'Informatique,&\\ Facultes Universitaires de Namur& (F.U.N.D.P.),\\ rue Grandgagnage, 21&\\ B-5000 &Namur(Belgium)\\ Email: ble@info.fundp.ac.be&\\ Phone: +32 81 724977 &Fax: +32 81 724967 \end{tabular} \end{center} Authors will be notified of the acceptance or rejection of their papers by JUNE 30, 1994. Final versions of the accepted papers must be received in camera-ready form by JULY 20, 1994. We anticipate that the proceedings will be published by Springer Verlag in the LNCS series. } \end{document} Article 5765 of news.announce.conferences: Xref: glinda.oz.cs.cmu.edu news.announce.conferences:5765 Path: honeydew.srv.cs.cmu.edu!bb3.andrew.cmu.edu!news.sei.cmu.edu!toads.pgh.pa.us!godot.cc.duq.edu!birdie-blue.cis.pitt.edu!uunet!sparky!sparky!not-for-mail From: dza@info.fundp.ac.be (Denis ZAMPUNIERIS) Newsgroups: news.announce.conferences Subject: CFP: 1st International Static Analysis Symposium (SAS'94) Followup-To: poster Date: 9 Mar 1994 16:29:15 -0600 Organization: Institut d'Informatique - F.U.N.D.P. Lines: 230 Sender: rick@sparky.sterling.com Approved: rick@sparky.sterling.com Expires: 1 May 1994 8:00:00 GMT Message-ID: <2llijr$duo@sparky.sterling.com> NNTP-Posting-Host: sparky.sterling.com Keywords: static analysis, abstract interpretation CALL FOR PAPERS 1st International Static Analysis Symposium (SAS'94) Namur (Belgium) September 28-30, 1994 Static Analysis is increasingly recognized as a fundamental tool for high performance implementations and verification systems of high-level programming languages. The last two decades have witnessed substantial developments in this area, ranging from the theoretical frameworks to the design and implementation of analysers and their applications in optimizing compilers. SAS'94 is the first international symposium on static analysis. It is motivated by the success of the three previous international workshops Jtaspefl and WSA'92, which were held in Bordeaux (France) and WSA'93 which took place in Padova (Italy). The technical program for the symposium will consist of invited lectures, presentations of refereed papers and software demonstrations. Contributions are welcome on all aspects of Static Analysis, including, but not limited to Abstract Domains Optimizing Compilers Applications Specific Analyses Complexity Theoretical Frameworks Experimental Evaluation Verification Systems Fixpoint Algorithms Type Inference Partial Evaluation Contributions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Papers must be written in English, must not exceed 15 pages (excluding references and figures), and must contain a cover page including the following: a 200 words abstract, keywords, and postal and electronic mailing addresses as well as phone numbers and fax numbers of one of the authors. Send SIX (6) copies of your submission by APRIL 30, 1994 to Baudouin Le Charlier, Institut d'Informatique, Facultes Universitaires de Namur (F.U.N.D.P.), rue Grandgagnage, 21 B-5000 Namur(Belgium) Email: ble@info.fundp.ac.be Phone: +32 81 724977 Fax: +32 81 724967 Authors will be notified of the acceptance or rejection of their papers by JUNE 30, 1994. Final versions of the accepted papers must be received in camera-ready form by JULY 20, 1994. We anticipate that the proceedings will be published by Springer Verlag in the LNCS series. Program Committee: Andrew Chien (U. Illinois, USA) Patrick Cousot (ENS, France) Moreno Falaschi (Padova, Italy) Gilberto File (Padova, Italy) Pierre Jouvelot (CRI-Ecole des Mines, France) John Launchbury (Glasgow, UK) Baudouin Le Charlier (Namur, Belgium, Chair) Daniel Le Metayer (INRIA/IRISA, France) Xavier Leroy (INRIA, Stanford) Alan Mycroft (Cambridge, UK) Ulf Nilsson (Linkoping, Sweden) Martin Odersky (Karlsruhe, Germany) Antoine Rauzy (Bordeaux, France) Uday Reddy (Illinois, USA) Mads Rosendahl (Copenhagen, Denmark) Pascal Van Hentenryck (Brown, USA) Peter Van Roy (PRL, Paris, France) Pierre Wolper (Liege, Belgium) Organizing Committee: Yves Deville(Louvain) Moreno Falaschi (Padova) Naji Habra, Jean-Marie Jacquet, Pierre-Yves Schobbens, Denis Zampunieris (Namur) Location: Namur is a pleasant provincial town, 35 miles south of Brussels in Belgium, located in a scenic environment. Brussels and Paris are easily reached by train. --------------------------------------------------------------------- \documentstyle{article} %postscript \setlength{\oddsidemargin}{-0.50in} \setlength{\evensidemargin}{0in} \setlength{\textwidth}{7.4in} \setlength{\topmargin}{-0.2in} \setlength{\headsep}{0.0in} \setlength{\textheight}{26cm} \pagestyle{empty} \hbadness=10000 \begin{document} \mbox{} \begin{center} {\Large Call For Papers\\ } $\ $\\ $ \ $ \\ {\Large \bf 1st International Static Analysis Symposium (SAS'94)\\ }$ \ $ \\ $ \ $ \\ {\bf Namur (Belgium) September 28-30, 1994} \end{center} \parbox[b]{2.9in}{ {\center\bf Program Committee} \\ \\ \noindent\begin{tabular}{ll} Andrew Chien & USA\\ Patrick Cousot & France\\ Moreno Falaschi & Italy\\ Gilberto File & Italy\\ Pierre Jouvelot & France\\ John Launchbury & UK\\ Baudouin Le Charlier & Belgium, Chair\\ Daniel Le Metayer & France\\ Xavier Leroy & France-USA\\ Alan Mycroft & UK\\ Ulf Nilsson & Sweden\\ Martin Odersky & Germany\\ Antoine Rauzy & France\\ Uday Reddy & USA\\ Mads Rosendahl & Denmark\\ Pascal Van Hentenryck & USA\\ Peter Van Roy & France\\ Pierre Wolper & Belgium\\ \end{tabular} {\center\bf Organizing Committee} \\ \\ \begin{tabular}{ll} Yves Deville& Belgium\\ Moreno Falaschi& Italy\\ Naji Habra& Belgium\\ Jean-Marie Jacquet& Belgium\\ Pierre-Yves Schobbens& Belgium\\ Denis Zampunieris & Belgium\\ \end{tabular} % {\center\bf Important Dates} \\ \\ \begin{tabular}{ll} Deadline: &{\tt April 30} \\ Notification: &{\tt June 30}\\ Final Version: &{\tt July 20}\\ & \\ \end{tabular} % {\center\bf Location} \\ \\ \parbox[b]{2.7in}{ Namur is a pleasant provincial town, 35 miles south of Brussels in Belgium, located in a scenic environment. Brussels and Paris are easily reached by train.} } \hspace{-.6cm} %\rule[-.8cm]{.5mm}{15cm} \ \ \ \ \ \parbox[b]{4.3in}{ \setlength{\parindent}{0.5cm} Static Analysis is increasingly recognized as a fundamental tool for high performance implementations and verification systems of high-level programming languages. The last two decades have witnessed substantial developments in this area, ranging from the theoretical frameworks to the design and implementation of analysers and their applications in optimizing compilers. SAS'94 is the first international symposium on static analysis. It is motivated by the success of the three previous international workshops Jtaspefl and WSA'92, which were held in Bordeaux (France) and WSA'93 which took place in Padova (Italy). The technical program for the symposium will consist of invited lectures, presentations of refereed papers and software demonstrations. Contributions are welcome on all aspects of Static Analysis, including, but not limited to\\ \begin{quote}{\em \vspace{-.4cm}\begin{tabular}{lccl} Abstract Domains &&& Optimizing Compilers\\ Applications &&& Specific Analyses\\ Complexity &&& Theoretical Frameworks\\ Experimental Evaluation &&& Verification Systems\\ Fixpoint Algorithms &&& Type Inference\\ Partial Evaluation &&& \end{tabular}} \end{quote} Contributions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Papers must be written in English, must not exceed 15 pages (excluding references and figures), and must contain a cover page including the following: a 200 words abstract, keywords, and postal and electronic mailing addresses as well as phone numbers and fax numbers of one of the authors. Send SIX (6) copies of your submission by APRIL 30, 1994 to \begin{center} \begin{tabular}{ll} Baudouin Le Charlier,&\\ Institut d'Informatique,&\\ Facultes Universitaires de Namur& (F.U.N.D.P.),\\ rue Grandgagnage, 21&\\ B-5000 &Namur(Belgium)\\ Email: ble@info.fundp.ac.be&\\ Phone: +32 81 724977 &Fax: +32 81 724967 \end{tabular} \end{center} Authors will be notified of the acceptance or rejection of their papers by JUNE 30, 1994. Final versions of the accepted papers must be received in camera-ready form by JULY 20, 1994. We anticipate that the proceedings will be published by Springer Verlag in the LNCS series. } \end{document} -- Denis Zampunieris -- email: dza@info.fundp.ac.be -- mail: Institute of Computer Sicence, University of Namur 21, rue Grandgagnage, B-5000 Namur, Belgium