Systems engineering and computing applications in civil engineering; concurrent and distributed algorithms and systems; formal approaches for reasoning about computer systems; mathematical modeling, optimization, and support for engineering design; verification of real-time systems.