|
The tutorial program for the International Joint Conference on Automated Reasoning seems nice.
Though not directly PL related, theorem proving is used extensively in PL research (e.g., formal methods, static analysis, algebraic reasnoning).
Some of the lecturers provide links and reference materials for their presentations, so you might want to check the individual pages even if you are not planning on attending the conference.
Posted to theory by Ehud Lamm on 4/18/04; 4:28:47 AM
|
IJCAR 2004 Tutorial Program
