## Section: Dissemination

### Evaluation

Dale Miller has been on the PhD jury for the following three students:

Team
Parsifal

Overall Objectives

Scientific Foundations

Application Domains

New Results

- A logic for reasoning about logic specifications
- Two level of logic
- New insights into -quantification
- Foundational aspects of focusing proof systems
- A completely symmetric approach to proof and refutation
- Subexponentials
- A framework for proof systems
- Modular Systems for Modal Logics
- Generic cut-elimination for Substructural Logics
- A Kleene Theorem for Forest Languages
- Computation with meta-variables
- Encoding constrained transition systems
- Cut-elimination in classical logic

Other Grants and Activities

Bibliography