Project: High-Level Language Coordinator: Francois-Rene Rideau Goals: determine the semantics needed for the high-level language in which to define the system's interface and semantics. Find which existing languages may fill the requirements, or create a new one if none was found.