Introduction of the third ENRI International Workshop on ATM/CNS -- Probabilistic Conflict Detection in the Presence of Uncertainty -- Automated Separation Assurance with Weather and Uncertainty -- Reduced wake vortex separation using weather information -- Basic Analysis of Winds Aloft Forecast used for En-Route Trajectory Prediction -- Flight Trajectory Optimization for Modern Jet Passenger Aircraft with Dynamic Programming -- Evaluation of an Automated Taxi Concept in a Distributed Simulation Environment -- A Visualization Tool for Analyzing Task Demands in En-route Air Traffic Control -- Transitioning Resolution Responsibility between the Controller and Automation Team in Simulated NextGen Separation Assurance -- Joint target tracking and systematic error correction for Wide Area Multilateration -- Study of ionospheric delay gradient based on GPS monitoring stations near Suvarnabhumi airport in Thailand -- Mathematical Models for Aircraft Trajectory Design: A Survey.