The speakers and titles of the short talks in the seminar session (July 9 afternoon):

• 2:00 pm - 2:50 pm
  1. Kung Chen: Side-Effect Localization for Lazy, Purely Functional Languages via Aspects
  2. Max Schaefer: Type Inference for Datalog with Complex Type Hierarchies
• 3:00 pm - 3:50 pm
  1. Shin-Cheng Mu: A Quick Introduction to Functional Program Calculation
  2. Yih-Kuen Tsay: On Numeric Abstraction of Heap-Manipulating Programs
• 4:00 pm - 4:50 pm
  1. Yu-Fang Chen: On Language Inclusion Checking of Automata.
  2. Tyng-Ruey Chuang: Programming in ML Modules with An Example on Regular Expression Derivatives