人才培养

两个交流项目的通知

发布时间:2012-03-15

信息来源:

各位同学
        公布两个交流项目的通知,有兴趣的同学可以自行报名。
        项目一:
       CRA-W/CDC Computer Architecture Summer School
Location: Northwestern University, Evanston, IL, USA
Date: August 27-28, 2012
https://sites.google.com/site/comparchsummerschool2012/

We proudly announce the CRA-W/CDC Computer Architecture Summer School.
The main goal of this workshop is to encourage current graduate students
(and in particular women and underrepresented minorities) to pursue a
PhD in computer science or computer engineering with a focus on computer
architecture.

This workshop will include a combination of technical and mentoring
sessions led by internationally known researchers. Technical sessions
will include emerging topics in computer architecture and opportunities
for cross-disciplinary research.  Mentoring sessions will focus on
getting started on research, finding good mentors, finding internships
and career opportunities in computer architecture. All sessions will
include a question and answer period.

There is no charge for this workshop. Students will be reimbursed for
all reasonable travel expenses.  Any student may apply to the workshop,
but first priority will be given to women and underrepresented minority
applicants.

APPLICATIONS ARE DUE ON MARCH 15. Apply online at:
https://sites.google.com/site/comparchsummerschool2012/
Questions can be e-mailed to comparchsummerschool@gmail.com
< mailto:comparchsummerschool@gmail.com>

项目二:美国Oregon大学有个暑期课,免学费管住宿,路费自理

Programming Languages Summer School:

Lecture Schedule

The program consists of 80 minute lectures presented by internationally recognized leaders in programming languages and formal reasoning research.

Technical Lectures

Logical relations — Amal Ahmed            

Category theory foundations — Steve Awodey            

Proofs as Processes — Robert Constable            

Polarization and focalization — Pierre-Louis Curien            

Type theory foundations — Robert Harper            

Monads and all that — John Hughes            

Compiler verification — Xavier Leroy            

Proof theory foundations — Frank Pfenning            

Software foundations in Coq — Benjamin Pierce