Past Events - 2000

Past ERCIM events

ERCIM event First DELOS workshop on Information Seeking, Searching and Querying in Digital Libraries,
Zurich, Switzerland, 11-12 December 2000
sponsored by ERCIM OPTIMAL CONTROL AND PDE - INNOVATIONS AND APPLICATIONS - Conference in honor of Professor Alain Bensoussan on the occasion of his 60th birthday, Paris, 4-5 December 2000 [report]
sponsored by ERCIM Sofsem 2000 - Current Trends in Theory and Practice of Informatics ,
Prague, 25 November-2 December 2000
Florence, Italy, 25-26 October 2000
sponsored by ERCIM FORTE/PSTV 2000, Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) Protocol Specification, Testing and Verification , Pisa, Italy, 10-13 October 2000 [report]
ERCIM event Joint ERCIM Environmental Modelling and Database Research Group Workshop Intelligent Systems, Models and Databases for Environmental Research,
27-29 September 2000, Casa de Col?n, Las Palmas de Gran Canaria, Spain
sponsored by ERCIM QofIS'2000, Quality of future Internet Services, Berlin, 25-26 September 2000  
sponsored by ERCIM 4th European Conference on Research and Advanced Technology in Digital Libraries,
Lisbon, 18-20 September 2000
sponsored by ERCIM MFCS 2000 - 25th International Symposium on Mathematical Foundations of Computer Science,
Bratislava, 28 August-1 September 2000
sponsored by ERCIM >EUROGRAPHICS 2000 - Global Challenges of the Information Society: A Web of Opportunity,
Interlaken, Switzerland, 20-25 August 2000
sponsored by ERCIM AD 2000 - 3rd International Conference/Workshop on Automatic Differentiation: From Simulation to Optimization,
Nice, France, 19-23 June 2000
sponsored by ERCIM ECOOP'2000, 14th European Conference on Object-Oriented Programming,
Cannes, France 12-16 June 2000
sponsored by ERCIM EGVE'00 - 6th Eurographics Workshop on Virtual Environments, Amsterdam, 1-2 June 2000 [report]
sponsored by ERCIM 9th International World Wide Web Conference, Amsterdam, 15-19 May 2000 [report]
ERCIM event 5th ERCIM Workshop on Formal Methods for Industrial Critical Systems,
Berlin, 3-4 April 2000
sponsored by ERCIM ETAPS 2000 - European Joint Conferences on Theory and Practice of Software,
Berlin, 25 March-2 April 2000
ERCIM event 6th ERCIM Environmental Modelling Group Workshop: Applications of Information Systems in Environmental Modelling,
Abingdon, England, 23-24 March 2000
ERCIM event One-day Workshop on Interactive Learning Environments for Children, held in conjunction with i3 Spring Days 2000,
Athens, Greece, 1-3 March 2000