Home
View: Month |
Event list |
Past events list
All SEAS Calendars
February 2010
February
10
End Date
February
10
End Date
February
11
End Date
February
11
End Date
February
12
End Date
Edmunc Clarke, CMU, Model Checking—Making It Scale
Pierce 307
Model Checking is an automatic verification technique for state-transition systems that are finite-state or that have finite-state abstractions. In the early 1980’s in a series of joint papers with my graduate students E.A. Emerson and A.P. Sistla, we proposed that Model Checking could be used for verifying concurrent systems and gave algorithms for this purpose. At roughly the same time, Joseph Sifakis and his student J.P. Queille
at the University of Grenoble independently developed a similar technique. Model Checking has been used successfully to reason about computer hardware and communication protocols and is beginning to be used for verifying computer software. Specifications are written in temporal logic, which is particularly valuable for expressing concurrency properties. An intelligent, exhaustive search is used to determine if the specification is true or not. If the specification is not true, the Model
Checker will produce a counterexample execution trace that shows why the
specification does not hold. This feature is extremely useful for finding obscure errors in complex systems. The main disadvantage of Model Checking is the state-explosion problem, which can occur if the system under verification has many processes or complex data structures. Although the state-explosion problem is inevitable in worst case, over the past 27 years considerable progress has been made on the problem for certain classes of state-transition systems that occur often in practice.
February
12
End Date
Michel Meunier "Plasmonic Enhanced Femtosecond Laser Nanoprocessing and Cell Nanosurgery"
Pierce 209
Michel Meunier
Ecole Polytechnique de Montreal
Abstract: Irradiating metallic nanostructures by a femtosecond laser beam produces highly localised processes on the nanoscale in the surrounding medium. This particular process is mainly attributed to the surface plasmon resonance of the nanostructures. When these nanomaterials are imbedded in a biological media, their irradiation by a femtosecond laser could result in a highly localized plasma, heat production and mechanical effects yielding to the nanosurgery of cells. Modeling these interactions and applications of this technique to perform nanoablation of materials and cell optoperforation will be presented. http://www.polymtl.ca/recherche/rc/en/professeurs/details.php?NoProf=145
Refreshments at 3:30; Lecture starts at 4:00
February
15
End Date
President's Day
President's Day Holiday
February
18
End Date
Materials Science Seminar Series
Gordon McKay Lab, Room 402
Tonio Buonassisi, Massachusetts Institute of Technology
February
18
End Date
Carlos Guestrin, CMU
Maxwell Dworkin Building G125
February
24
End Date
February
25
End Date
David Pennock, Yahoo!
Maxwell Dworkin G115
Market Madness: Implementing a 9.2 quintillion outcome prediction market
March 2010
March
4
End Date
March
4
End Date
March
10
End Date
March
10
End Date
March
13
End Date
Spring Recess
Spring Recess is from March 13 - March 21
March
18
End Date
Takeo Igarashi, Design Everything by Yourself
Maxwell Dworkin Building G125
Design Everything by Yourself: User interfaces for graphics, CAD modeling, and robots
March
24
End Date
March
24
End Date
March
24
End Date
April 2010
April
7
End Date
April
15
End Date
Nick Feamster, Georgia Tech
Maxwell Dworkin Building G125
April
21
End Date
April
22
End Date
Fred Schneider, Cornell
Maxwell Dworkin Building G125
April
28
End Date
April
29
End Date
Spring Reading Period
Spring Reading Period is from April 29 - May 6
April
29
End Date
Ed Lazowska, Univ. Washington
Maxwell Dworkin Building G125
May 2010
May
5
End Date
May
7
End Date
Sping Term Final Examinations
Spring Term Final Examinations take place from May 7 - May 15
May
7
End Date
Industry Outreach Workshop
Maxwell Dworkin Building, School of Engineering & Applied Sciences
The goal of the Annual Industry Outreach Workshop is to provide a thought-provoking and interactive forum to share the latest discoveries and advances by Harvard faculty and students. The workshop also plays a key role in enabling the process of technology transfer, and creates an environment which fosters collaborative research partnerships.
May
19
End Date
Environmental scientists estimate that China could meet energy needs by wind alone
Pierce Hall 114
Sueng-Bok Lee
May
27
End Date
May
31
End Date
Memorial Day
Memorial Day Holiday
June 2010
June
2
End Date
June
16
End Date