Classical Automated Reasoning
22nd July - 26th July, 2005
This workshop will bring together practioners and researchers who are
concerned with the implementation and deployment of working automated
reasoning systems for classical logic (propositional, first order, and
The focus is on classical
waiting for hand_moderation
Date Added: Apr 24, 2009 Hits: Rating: 0.00 Votes: 0
Workshop on Urban Networks and Applications. In conjunction with the 13th IEEE Asia-Pacific Computer Systems Architecture Conference. Hsinchu, Taiwan; 4aˆ“6 August 2008.
Workshop on Urban Networks and Applications
Urban Networks and Applications
4 - 6 August 2008, Lakeshore Hotel, Hsinchu, Taiwan
Held in conjunction with the 13 th IEEE Asia-Pacific Computer Systems Architecture Conference (
Extended submission deadline:
Urban settings are host of diverse networking technologies, from cellular and wired
Date Added: Apr 24, 2009 Hits: Rating: 0.00 Votes: 0
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.