What's New
- 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".
Conferences/Symposia
|
CAV |
Conference on Computer Aided
Verification (Aug 17-20) |
|
ICLP |
International Conference on Logic
Programming (Aug 17-20) |
|
IJCAR |
International Joint Conference on
Automated Reasoning (Aug 17-20) |
|
LICS |
IEEE Symposium on Logic in
Computer Science (Aug 12-15) |
|
RTA |
Conference on Rewriting
Techniques and Applications (Aug 12-14) |
|
SAT |
International Conference on
Theory and Applications of Satisfiability Testing (Aug 12-15) |
|
Plenary Talks
Keynote Talks
-
Monday, August 14th, 16:30‑17:15
John Dawson
(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
Dana Scott
(Carnegie Mellon University)
The Future of Proof [pdf]
-
Saturday, August 19th, 16:30‑17:30
David Harel
(Weizmann Institute)
Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs [ppt]
|
FLoC 2006