BibSonomy ::  tag ::

order by ( date | folkrank )

Small TYPES workshop Curry-Howard Implementation Techniques/Connecting Humans and Type-checkers 2006 The CHIT Workshop discuss implementation issues.Keywords: * Terms and binders * Type inference, type constraints and unification * Reduction, evaluation and compilation * Proof refinement/Proof engine * State handling, library, modules, saving format * Coercions * Termination checking The CHAT workshop will focus on interaction between users and proof environments, graphical interfaces, and on network-based interaction. Keywords: * Declarative versus procedural proof styles (structured proofs, XML) * Web based interfaces (including cooperative environments) * Libraries and information retrieval (including search engines) * Proof documentation (literate proving) * Protocols for UI-interaction

Dr. Marche has chaired almost 100 defences, mostly at the PhD level. In this presentation, he will share his knowledge and experience with you. Gain insight into what happens during a defence, how to prepare (aside from all the research and writing), what to expect from the committee, and other useful skills. Feel free to bring up any questions or concerns about your own forthcoming defence.

All too often, most other students (and many experts) are wondering the same basic things like: What is the horizontal scale on that graph? What is the goal of this research? What is LDA, muSR, CAS-SCF, DLA, .....? Can one really see that "feature" in the data? Why should I believe this calculation?