Logic and Modeling Team