Lambda the Ultimate

inactiveTopic 1st North American Summer School in Logic, Language and Info
started 6/29/2002; 4:15:39 PM - last post 6/30/2002; 2:24:39 AM
Ken Shan - 1st North American Summer School in Logic, Language and Info  blueArrow
6/29/2002; 4:15:39 PM (reads: 392, responses: 1)
1st North American Summer School in Logic, Language and Info
The European counterpart of this summer school has been going strong for 14 years now. The North American incarnation is new: it is at Stanford this year and will be at Indiana next year.

The courses are relatively centered around the logical perspective, but the program still represents an inspiring mix of theory, science, and engineering. Many course notes and slides are available at the Web site.
Posted to general by Ken Shan on 6/29/02; 4:17:30 PM

Ehud Lamm - Re: 1st North American Summer School in Logic, Language and Info  blueArrow
6/30/2002; 2:24:39 AM (reads: 410, responses: 0)
Great resource. Thanks!

Those interested in constraints (CSP) should give the Constraint Satisfaction, Complexity, and Logic course a close look.