http://focs2007.org48th Annual IEEE Symposium on Foundations of Computer Science. Providence, Rhode Island; 20aˆ“23 October 2007.200748th Annual IEEE Symposium on Foundations of Computer Science. Providence, Rhode Island; 20–23 October 2007.
Foundations of Computer Science
NEW: If you would like to
purchase the 2007 proceedings, you can shop online by going
, and clicking the shop link at the top
of the page. Or you can contact
Customer Service at 1-800-701-4333 or at
The 48th Annual Symposium on Foundations
of Computer ScienceFOCS2007MainPage
International RuleML Symposium
on Rule Interchange and Applications
The International RuleML Symposium on Rule Interchange and Applications ( RuleML-2007 ) is devoted to practical distributed rule technologies and rule-based applications which need language standards for rules operating in the
waiting for hand_moderation
The 14th International Symposium on Temporal Representation and Reasoning will bring together researchers working in various areas that involve the representation of and reasoning about temporal phenomena. As with previous meetings in this well-established series (see
), one of the goals of the
waiting for hand_moderation
16 th International Symposium on
August 27-30, 2007, Budapest, Hungary
Paper Preparation and Submission
the Computer and Automation Research Institute, Hungarian Academy of
the Department of Computer Science, University of Szeged
The Computer and Automation Research Institute, Hungarian Academy
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.