South Eastern Logic Symposium, University of Florida