[Prev][Next][Index][Thread]

ICALP '98: Announcement of Sattellite Events



                            ===============
                            I C A L P   '98
                            ===============

                     25th International Colloquium
                        on Automata, Languages,
                            and Programming

                        BRICS, Aalborg, Denmark

                     http://www.cs.auc.dk/icalp98/

                   ---------------------------------
                   ANNOUNCEMENT OF SATTELLITE EVENTS
                   ---------------------------------

The 25th annual meeting   of the European Association for  Theoretical
Computer  Science  (EATCS)  will be  hosted   by the Center  for Basic
Research in Computer   Science  (BRICS) at Aalborg  University.    The
meeting takes place on July 13 - 17, 1998.

We   are  pleased to announce   the   following sattellite  events  in
connection with ICALP '98.

----------------------------------------------------------------------

                 Software Tools for Technology Transfer

                           July 12 -14, 1998

                            Contact person:
                           Bernhard Steffen
                         Lehrstuhl Informatik V
                         Universitaet Dortmund
                            Baroperstr. 301
                            44221 Dortmund
                               Germany
               steffen@andorfer.informatik.uni-dortmund.de

----------------------------------------------------------------------

                              INFINITY '98

                     3rd International Workshop on
                 Verification of Infinite State Systems

                           July 17 - 18, 1998

                             Contact person:
                             Javier Esparza
                     Technical University of Munich 
                   esparza@informatik.tu-muenchen.de
 
         http://wwwbrauer.informatik.tu-muenchen.de/INFINITY98/

----------------------------------------------------------------------

                                 SOAP

                   Semantics of Objects As Processes

                             July 18, 1998

                            Contact person:
                             Uwe Nestmann
                      BRICS, Aalborg University
                         Fredrik Bajersvej 7E
                             9220 Aalborg
                               Denmark
                            uwe@cs.auc.dk 

                 http://www.cs.auc.dk/~hans/soap.html

----------------------------------------------------------------------

                              APPROX '98

                    1st International Workshop on
    Approximation Algorithms for Combinatorial Optimization Problems

                          July 18 - 19, 1998

                            Contact person:
                        Klaus Jansen, APPROX '98 
              Max-Planck Institute for Computer Science 
                             Im Stadtwald
                          66 123 Saarbrücken 
                               Germany
                        approx98@mpi-sb.mpg.de

                 http://www.mpi-sb.mpg.de/~approx98/

----------------------------------------------------------------------

            Summer School in Cryptology and Data Security

                        University of Aarhus
                         July 20 - 24, 1998

                            Organised by:
           BRICS (Denmark) - TUCS (Finland) - IPA (Holland)

                          Contact person:
                           Ivan Damgaard
                    BRICS, University of Aarhus
                     Ny Munkegade, building 540
                     DK-8000 Aarhus C, Denmark
                         ivan@daimi.aau.dk 

        http://www.brics.dk/Activities/98/CryptDatSecSchool/

----------------------------------------------------------------------