CLC PROGRAM
Sunday, July 13th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:45-09:00 Session 22G: Welcome
Location: FH, Dissertantenraum E104
09:00-10:20 Session 23I
Location: FH, Dissertantenraum E104
| 09:00 | TBC (abstract) |
| 10:00 | Extensional Models of Typed Lambda-mu Calculus (abstract) |
10:15-10:45Coffee Break
10:50-13:00 Session 27
Location: FH, Dissertantenraum E104
| 10:50 | A Translation of Intersection and Union Types for the lambda-mu Calculus (abstract) |
| 11:10 | Dualized Type Theory (abstract) |
| 11:30 | A proof-theoretic view on scheduling in concurrency (abstract) |
| 12:00 | A type system for Continuation Calculus (abstract) |
| 12:30 | Confluence for classical logic through the distinction between values and computations (abstract) |
13:00-14:30Lunch Break
14:30-16:00 Session 31S
Location: FH, Dissertantenraum E104
| 14:30 | Infinitary Classical Logic: Recursive Equations and Interactive Semantics (abstract) |
| 15:00 | Separable Sequent Calculus for First-order Classical Logic (Work in Progress) (abstract) |
| 15:20 | Cut-Elimination in Schematic Proofs and Herbrand Sequents (abstract) |
| 15:40 | Stratified Nested Linear Logic (abstract) |
16:00-16:30Coffee Break
16:30-18:00 Session 34U
Location: FH, Dissertantenraum E104
| 16:30 | A sheaf model of the algebraic closure (abstract) |
| 17:00 | A "Game Semantical" Intuitionistic Realizability Validating Markov's Principle (abstract) |
| 17:20 | Relative Computability and Uniform Continuity of Non-Extensional (aka Multivalued) 'Functions' (abstract) |
| 17:40 | Negative Translations and Heyting Algebra Expansions (abstract) |