March is the month of the Learning Analytics & Knowledge conference, in 2019 has taken place in Tempe, Phoenix, Arizona. Coming back from a very long journey (extended by some days off) in the United States, I decided to wrap up all my conference highlights in a blog post.
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
Announcing Vyew 2.0: Free Web Conferencing and Always-On Collaboration * 100% Browser-based - No downloads or installs * Shared viewing of: DOCs, PPTs, XLSs, JPGs, PDFs and more * Real-time Desktop Sharing and Screen Capturing * Tools to Whiteboard, Draw
Announcing Vyew 2.0: Free Web Conferencing and Always-On Collaboration * 100% Browser-based - No downloads or installs * Shared viewing of: DOCs, PPTs, XLSs, JPGs, PDFs and more * Real-time Desktop Sharing and Screen Capturing * Tools to Whiteboard, Draw