=============== 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/ ----------------------------------------------------------------------