Computer Science

Pervasive 2002 Pervasive 2002- International Conference on Pervasive Computing. Organized by IBM Research and ETH Zurich. Zurich, Switzerland; 26--28 August 2002. Eurographics 2002 Eurographics 2002- The annual conference of the European Association for Computer Graphics. Saarbruecken, Germany; 2--6 September 2002. ISM '02 ISM '02- Fifth International Conference on Information Systems Modelling. Roznov pod Radhostem, Czech Republic, April 22 - 24, 2002. European Wireless 2002 European Wireless 2002- International conference - next generation wireless networks: technologies, protocols, services and applications. Florence, Italy; 25--28 February 2002. CAV 2002 CAV 2002- Conference on Computer-Aided Verification, part of the Federated Logic Conference FLoC'02. Copenhagen, Denmark; 27--31 July 31 2002. PEPM'02 PEPM'02- ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation. Preceding POPL'02. Portland, Oregon, USA; 14--15 January 2002. FICS 2002 FICS 2002- Fixed Points In Computer Science. Affiliated with LICS 2002. Copenhagen, Denmark; 20--21 July 2002. CP2002 CP2002- Eighth International Conference on Principles and Practice of Constraint Programming. Cornell University, Ithaca, NY, USA; 8--13 September 2002. MM02 MM02- ACM Multimedia 2002. Juan-les-Pins, France; 1--6 December 2002. DC 2002 DC 2002- Metadata for e-Communities: Supporting Diversity and Convergence. Florence, Italy; 13--17 October 2002. ICNP 2002 ICNP 2002- 10th IEEE International Conference on Network Protocols. Paris, France; 12--15 November 2002. ICCS 2002 ICCS 2002- 10th International Conference on Conceptual Structures. Borovets, Bulgaria; 15--19 July 2002. CSL'02 CSL'02- Annual Conference of the European Association for Computer Science Logic. Edinburgh, Scotland, UK; 22--25 September 2002. PLDI 2002 PLDI 2002- ACM SIGPLAN Conference on Programming Language Design and Implementation. Berlin, Germany; 17--19 June 2002. Chilean Computing Week Chilean Computing Week- Including the following events: XXI International Conference of the Chilean Computer Science Society; IX Chilean Congress on Computing; V Workshop on paral… DLT 2001 DLT 2001- 5th International Conference on Developments in Language Theory. Wien, Austria; 16–21 July 2001. Answer Set Programming 2001 Answer Set Programming 2001- AAAI Spring 2001 Symposium - Towards Efficient and Scalable Knowledge Representation and Reasoning. Stanford, USA, March 26 - 28, 2001. CoopIS'2001 CoopIS'2001- Ninth International Conference on Cooperative Information Systems (in cooperation with VLDB 2001). Trento, Italy; 5--7 September 2001. Videos, slides. JFPLC'2001 JFPLC'2001- Tenth International French Speaking Conference on Logic and Constraint Programming. Paris, France, April 24 - 27, 2001. DMDW'2001 DMDW'2001- 3rd International Workshop on Design and Management of Data Warehouses. Interlaken, Switzerland, June 4, 2001. AICCSA'01 AICCSA'01- ACS/IEEE International Conference on Computer Systems and Applications. Lebanese American University, Beirut, Lebanon; 25--29 June 2001. Semantic Web Workshop Semantic Web Workshop- Part of WWW-10 Conference. Hongkong, May 1, 2001. IQ 2001 IQ 2001- The MIT 2001 Conference on Information Quality. MIT, USA, October 20 - 22, 2000. WCW'01 WCW'01- Sixth International Web Caching and Content Delivery Workshop. Boston University, Boston, Massachusetts, USA, June 20 - 22, 2001. CIA-2001 CIA-2001- Fifth International Workshop on Cooperative Information Agents. Modena, Italy, September 6 - 8, 2001. UML 2001 UML 2001- Fourth International Conference on the Unified Modeling Language - `Modeling Languages, Concepts and Tools'. Toronto, Canada, October 1 - 5, 2001. POPL '00 POPL '00- Principles of Programming Languages. Boston, MA. January 19-21. MFCS 2000 MFCS 2000- 25th International Symposium on Mathematical Foundations of Computer Science. Bratislava, Slovak Republic; 28 August – 1 September 2000. VL 2000: IEEE Symposium on Visual Languages VL 2000: IEEE Symposium on Visual Languages- Visual and multimedia computer-mediated communication. PPDP 2000 PPDP 2000- 2nd International Conference on Principles and Practice of Declarative Programming. Associated with PLI 2000. Montreal, Canada; 20--22 September 2000. SAC 2000 SAC 2000- ACM Symposium on Applied Computing. Villa Olmo, Como, Italy; 19--21 March 2000. NOSSDAV 2000 On-Line Proceedings NOSSDAV 2000 On-Line Proceedings- On-line copies of papers presented at the 10th International Workshop on Network and Operating System Support on Digital Audio and Video (NOSSDAV… RTSS 2000 RTSS 2000- The 21st IEEE Real-Time Systems Symposium and Real-Time Linux Workshop. Disney World, Orlando, Florida, USA; 27--30 November 2000. FOCS 2000 FOCS 2000- The 41st Annual Symposium on Foundations of Computer Science , Redondo Beach, CA, November 12-14, 2000. USENIX USENIX- 7th USENIX Tcl/Tk Conference. Austin, Tx. February 14-18. PADL'00 PADL'00- Workshop on Practical Aspects of Declarative Languages SOSP 1999 SOSP 1999- 17th ACM Symposium on Operating Systems Principles. December 12-15. PADL'99 PADL'99- First International Workshop on Practical Aspects of Declarative Languages. (Co-located with POPL'99), San Antonio, Texas, USA; 18--19 January 1999. POPL 99 POPL 99- 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Co-located with PADL'99, PEPM'99 and FOOL 6. San Antonio, Texas, USA; 20--22 January 1999. STACS 1999 STACS 1999- Symposium on Theoretical Aspects in Computer Science. University of Trier, Germany; 4--6 March 1999. CAV'98 CAV'98- International Conference on Computer-Aided Verification. University of British Columbia, Vancouver, BC, Canada; 28 June -- 2 July 1998. CP97 CP97- Third International Conference on Principles and Practice of Constraint Programming. Schloss Hagenberg, Austria; 29 October -- 1 November 1997. ASIAN'97 ASIAN'97- Asian Computing Science Conference. Kathmandu, Nepal;9--12 December 1997. (Kuwait) Kuwait University (Kuwait) Kuwait University- Department of Mathematics and Computer Science. Faculty of Computer Science and Engineering Faculty of Computer Science and Engineering- Official web-site of the Faculty of Computer Science and Engineering. Theoretical Computer Science Search Engine Theoretical Computer Science Search Engine- A Google Custom Search Engine that searches pages relevant to Theoretical Computer Science, such as books, lecture notes, courses, and … Lecture Notes on Theory of Computation Lecture Notes on Theory of Computation- Introduction to basic topics including models of computation, finite automata, context free grammars and complexity theory. CSCI 0510 Models of Computation CSCI 0510 Models of Computation- Undergraduate computer science course on the foundations of computing at the Brown University, Department of Computer Science. Introduction to Formal Models in Computer Science Introduction to Formal Models in Computer Science- Lecture notes from the University of Washington covering basic topics such as computation models and theoretical concepts such a… Theoretical Computer Science on the Web Theoretical Computer Science on the Web- A directory of resources related to theoretical computer science from Stanford University.