|
|
|
|
|
|
|
Summer School on Logic and Theorem Proving in Programming Languages
|
|
|
July 22-30, 2008
University of Oregon
Eugene, Oregon
|
|
|
This Summer School will cover current research focused on integrating expressive logical systems
and powerful theorem-proving assistants into the design, definition, and implementation of programming
languages. Speakers will present material covering foundational theory, advanced techniques,
and applications.
Material will be presented at a tutorial level that will help graduate students and researchers from
academia or industry understand the critical issues and open problems confronting the field. The
course is open to anyone interested. Prerequisites are an elementary knowledge of logic and mathematics
that is usually covered in undergraduate classes on discrete mathematics. Some knowledge
of programming languages at the level provided by an undergraduate survey course will also be expected.
Our primary target group is PhD students. We also expect attendance by faculty members
who would like to conduct research on this topic or introduce new courses at their universities.
|
|
|
This page is the property of the University of Oregon
|
|
|
|
|