Lambda the Ultimate

inactiveTopic IJCAR 2004 Tutorial Program
started 4/18/2004; 4:27:43 AM - last post 4/18/2004; 4:27:43 AM
Ehud Lamm - IJCAR 2004 Tutorial Program  blueArrow
4/18/2004; 4:27:43 AM (reads: 8582, responses: 0)
IJCAR 2004 Tutorial Program
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