Computational Logic Mini-Symposium

Computational Logic Mini-Symposium, May 2013

The room is 103 Schaeffer Hall for all talks except Frank's comprehensive exam.

Tuesday, May 21

2pm-3pm. The Structural Theory of Pure Type Systems
Cody Roux (CMU).

3pm-3:45pm. Migrating the TPTP World to Starexec
Muhammad Nassar (U. Miami).

Wednesday, May 22

10:30am-12:00pm, room UCC-2390-Exec. Lambda Encoding, Types, and Confluence (comprehensive exam)
Frank (Peng) Fu (U. Iowa)

2pm-3:45pm. Dualized Intuitionistic Logic and Dualized Type Theory
Aaron Stump, Harley Eades III, Ryan McCleeary (U. Iowa)

Thursday, May 23

2-2:45pm. On the Degeneration of the Routley-Meyer Semantics for Relevant Logics
Harley Eades III (U. Iowa)

2:45pm-3:45pm. Taming the Wildcards: Combining Definition- and Use-Site Variance
John Altidor (U. Mass. Amherst)

Friday, May 24

2pm-2:40pm. New User Interfaces for Coq
Ben Berman (U. Iowa)

2:40pm-3:20pm. An OO Approach to Program Analysis using JastAdd Attribute Grammars
John Altidor (U. Mass. Amherst)

3:20pm-4pm. Model-Based Quantifier Reasoning in CVC4
Andy Reynolds (U. Iowa)

From left to right: Harley Eades III, Cesare Tinelli, Ryan McCleeary, Aaron Stump, Cody Roux, John Altidor, Andy Reynolds, Muhammad Nassar, Christoph Sticksel, Frank (Peng) Fu.