IEEE Symposium on Logic in Computer Science: an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. Links to past and future meetings, maling list, newsletters.

Annual International Conferences in Central Europe on Computer Graphics, Visualization and Computer Vision.

The Series includes the proceedings of workshops and conferences on the broadest possible range of computing topics

The 10-th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision. University of West Bohemia, Plzen - Bory, Czech Republic; 4--8 February 2002.

Recent Object-Oriented Trends

16th IEEE International Conference on Automated Software Engineering. Co-located with the First International Workshop on Model-based Requirements Engineering (MBRE01). Loews Coronado Bay, San Diego, USA; 26--29 November 2001.

Second Symposium on Programs as Data Objects. Co-located with MFPS XVII and ICC'01. Aarhus, Denmark; 21--23 May 2001.

The International Conference on Computer Aided Verification - A series of conferences on computer aided verification dedicated to the formal analysis of hardware and software.

Optical Network Design and Modelling. Torino, Italy; 4--6 February 2002.

4th International Workshop on Mobility in Databases and Distributed Systems. Technical University of Munich, Germany , September 3 - 7, 2001.