[TYPES/announce] Franklin Institute Bower Award for Achievement in Science ($250, 000)

[James Cheney]

[Sorry if this is already well-advertised elsewhere - I did a quick search
of the archives and could not find an earlier posting.  There is a strong
alignment between the interests of readers of this list and the award
topic, so I thought it would be worthwhile to advertise the existence of
the award here.]

Hi,

I just saw a poster in my department advertising this award for which many
members of the Types community might either be strong candidates, or
interested in nominating others who are.

The Franklin Institute in the US apparently makes awards for achievement in
science, with topics changing each year.  This year the topic is:

Verification of Computer Systems

including, but not limited to:

  formal specification,
  formal semantics,
  model checking,
  automated theorem proving,
  static analysis and type checking,
  proof checking, and
  program derivation.

The deadline for nominations is soon: May 31.

More information (copied from their website) is below.

--James

http://www.fi.edu/franklinawards/bscience_eligibility.html

*Theme:* Verification of Computer Systems

*Prize:* $250,000 USD

*Deadlines:*
Notice of intent to nominate is encouraged: April 30, 2013
Complete Nomination: May 31, 2013

The Franklin Institute seeks nominations for the 2014 Bower Award and Prize
for Achievement in Science of individuals who have made significant
scientific contributions to the verification and validation of computer
systems in hardware and/or software. Verification and validation is the
process of checking that a computer system meets its specifications and
fulfills its intended purpose. This topic is devoted to verification and
more specifically formal methods of verification, which employ mathematical
techniques to prove that computer systems meet their specifications.
Nominations for the 2014 Bower Award should recognize fundamental
contributions that have had a broad impact. Research areas include but are
not limited to: formal specification, formal semantics, model checking,
automated theorem proving, static analysis and type checking, proof
checking, and program derivation.

Nominations should clearly indicate the scientific impact(s) of the
nominee's work, whether innovative, technical, conceptual, and/or
integrative. In cases of candidates with equal technical merit, the factor
of current economic value of the discovery or application will weigh
favorably on behalf of the candidate (Bower Will, 1988).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20130502/771e3833/attachment.html>