- Presentations are now on-line for the majority of invited talks.
- FLoC is done: over 800 people attended!
- FLoC photos are online! Please
add your photos of FLoC to flickr with the tag "floc2006".
||Conference on Computer Aided
Verification (Aug 17-20)
||International Conference on Logic
Programming (Aug 17-20)
||International Joint Conference on
Automated Reasoning (Aug 17-20)
||IEEE Symposium on Logic in
Computer Science (Aug 12-15)
||Conference on Rewriting
Techniques and Applications (Aug 12-14)
||International Conference on
Theory and Applications of Satisfiability Testing (Aug 12-15)
Monday, August 14th, 16:30‑17:15
(Penn State, York Campus)
Shaken Foundations or Groundbreaking Realignment? A Centennial Assessment of Kurt Gödel's Impact on Logic, Mathematics, and Computer Science [ppt]
Monday, August 14th, 17:15‑18:00
(Carnegie Mellon University)
The Future of Proof [pdf]
Saturday, August 19th, 16:30‑17:30
Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs [ppt]