Sessions

• Session 44C (Aug 02 09:00-09:15) Opening Remarks and Presentation of Best Paper Award by Junior Researchers
• Session 45A (Aug 02 09:15-10:15) FSCD Invited Speaker
• Session 50C (Aug 02 14:00-15:30) Semantics
• Session 54C (Aug 02 16:00-17:30) Unification and Matching
• Session 56B (Aug 03 09:00-10:30) Type Theory and Formalization
• Session 58C (Aug 03 11:00-12:30) Applications: Concurrency, Quantum Computation
• Session 59B (Aug 03 14:00-15:30) Automata and Computability
• Session 61B (Aug 03 16:00-17:30) Lambda Calculus and Normalization/Reduction
• Session 63C (Aug 04 09:00-10:30) Proof Theory and Linear Logic
• Session 65C (Aug 04 11:00-12:30) Type Theory and Logical Frameworks
• Session 67C (Aug 04 14:00-15:00) FSCD Invited Speaker
• Session 69A (Aug 04 15:00-15:30) Complexity Theory and Logic
• Session 76C (Aug 05 11:00-12:30) Rewriting
• Session 78A (Aug 05 14:00-15:30) Categorical Semantics
• Session 81A (Aug 05 16:00-17:30) FSCD General Meeting
• Session 85D (Aug 07 09:00-10:00) Invited Talk
• Session 88 (Aug 07 10:00-10:30) Opening remarks
• Session 90D (Aug 07 14:00-15:30)
• Session 92D (Aug 07 16:00-17:30)
• Session 94E (Aug 08 09:00-10:30)
• Session 96E (Aug 08 11:00-12:30)
• Session 97E (Aug 08 14:00-15:30)
• Session 98E (Aug 08 16:00-17:30) ITP Business Meeting
• Session 100E (Aug 09 09:00-10:30)
• Session 102E (Aug 09 11:00-12:30)
• Session 104E (Aug 09 14:00-15:30)
• Session 110E (Aug 10 09:00-10:30)
• Session 112E (Aug 10 11:00-12:30)
• Session 115D (Aug 10 14:00-15:30)