Tag: mathematics

9th Joint UTEP/NMSU Workshop on Mathematics, Computer Science, and Computational Sciences
New Mexico State University
Las Cruces, New Mexico
Saturday, April 2nd, 2011

The objective of this workshop is to bring in researchers in Math, Computer Science, and Computational Sciences who are collaborating and/or who are interested in collaboration and to bring in researchers from outside outside our research areas who are interested in collaborating with Math, Computer Science, and Computational Sciences researchers.

Location: NMSU Campus, Science Hall 107.

Parking: For those visitors who want to enjoy the NMSU campus in the evenings (after 4:30 p.m.) and on weekends (Saturday & Sunday), no parking permit is required . You may park in any regular faculty/staff, commuter student or visitor parking space. Parking metered spaces are also free after 4:30 p.m. and on weekends.

Formal verification techniques such as model checking, satisfiability,
and static analysis have matured rapidly in recent years. These
techniques are widely applicable in computing as well as in engineering,
biology, and mathematics. This school will focus on the principles and
practice of formal verification, with a strong emphasis on the hands-on
use of verification technology. It primarily targets graduate students
who are interested in using or developing verification technology in
their own research.
We have NSF support for the travel and food/accommodation for students from
US universities, but welcome applications from graduate students at non-US
universities as well.

More information on the school can be found at http://fm.csl.sri.com/SSFT11.
Students are invited to apply for admission to the school by visiting this
web site. We especially welcome applications from women and
under-represented minorities. Applications must be received by Mar 31, 2011.