Note the unusual time: 3:35-4:50PM. There will be a number theory seminar immediately prior which may be of interest to logicians.