http://www.cs.cmu.edu/~FOCS2000/The 41st Annual Symposium on Foundations of Computer Science , Redondo Beach, CA, November 12-14, 2000.2000The 41st Annual Symposium on Foundations of
The 41st Annual Symposium on Foundations of Computer Science
(FOCS 2000), sponsored by the IEEE Computer Society Technical
Committee on Mathematical Foundations of Computing, will be held in
Redondo Beach, CA on November 12-14, 2000.
Quantum
waiting for hand_moderationFOCS2000ConferenceHomePage
2000 ACM Symposium on Applied Computing
Over the past fourteen years, the ACM Symposium on Applied Computing
has become a primary forum for applied computer scientists, computer
engineers, software engineers, and application developers from around
the world to interact and present their work.
waiting for hand_moderation
PPDP 2000, the international conference on principles and practice of declarative programming, invites you to participate. The conference provides a forum for researchers and developers to hear about the latest work on the use of declarative methods in programming and on the design, application and implementation of programming languages that support such methods.
2nd International Conference on Principles
and Practice of Declarative Programming
Colloquium on Principles, Logics, and Implementations
of high-level programming languages
PPDP represents the union of two former conferences: Programming
Languages, Implementations, Logics and Programs (PLILP)
Practical Aspects of Declarative
Second International Workshop
Declarative languages build on sound theoretical basis to provide attractive
frameworks for application development. Indeed, these languages have been
successfully applied to vastly different real-world situations, ranging
from data
waiting for hand_moderation
Joining mailing list will entitle you
to receive occasional emails informing you of news and
updates to the site and any special offers that may be
of interest to you.