The Coq mailing list

[lianghongjin AT gmail.com]

3rd Asian-Pacific Summer School on Formal Methods

August 13-21, 2011. Suzhou, China

http://kyhcs.ustcsz.edu.cn/fmschool-2011


The summer school is to teach students the principles and practice of
programming with the proof assistant Coq, as in previous years (2009
and 2010), and to show them the state of art applications of proof
assistants and theorem provers in formal methods. In this school, we
address the basic programming techniques and approaches to prove
properties of the programs. The covered notions involve structural
recursive programming, list and integer handling, proof by induction,
definition of data-types, pattern matching constructs and case-based
reasoning, and inductive properties.

We plan to accept at most 50 students, from China and other
Asian-Pacific countries. Courses will be delivered in English.
Students are expected to be (but are not limited to) graduate students
in Computer Science, Software Engineering or Mathematics. No prior
knowledge of type theory is required, but a good programming
experience is expected.

The online application is open now and will be closed on May 30, 2011.
More information about the program and registration information is
available at:
http://kyhcs.ustcsz.edu.cn/fmschool-2011