InfoTraffic [2] is a collection of learning environments for teaching 
fundamental concepts of computer science and mathematics. So far, the two 
programs LogicTraffic, targeted at propositional logic, and QueueTraffic, 
targeted at queueing theory have been released1. Both are freely available and 
can be downloaded (along with teaching materials) from [1]. This demonstration 
abstract gives a very brief introduction to these two programs and their use 
in class.