Mathematical Foundations
Below you will find all of the upcoming seminars that have been added to the database for this series.
If you wish to change the timeframe from which you are viewing these seminars then please select the options in the form below and press the select button.
There is/are 122 search results.
2012 |
| Towards Automata-theoretic Models of Programming Languages
(03/04/2012, 11:15, EB0.11) Uday Reddy The current denotational semantic models of programming languages follow two paradigms: - the "mathematical semantics" paradigm initiated by Scott and Strachey where computations are viewed as input-output mappings (the "traditional denotationa ... |
| A graphical foundation for schedules
(22/03/2012, 14:00, 8E2.17) Cai Wingfield In 2007, Harmer, Hyland and Melliès gave a formal mathematical foundation for game semantics using a notion they called a schedule. Their definition was combinatorial in nature, but researchers often draw pictures when describing schedules in practic ... |
| Atomic flows do not form a proof system
(08/03/2012, 14:15, 1E2.4) Anupam Das Guglielmi has recently conjectured that atomic flows, diagrams that track structural changes in a propositional proof, may form a proof system with respect to deep inference systems for propositional logic. This would mean that for any given formula ... |
| Programming Language Techniques for JavaScript Isolation
(02/03/2012, 14:15, EB0.7) Sergio Maffeis (Imperial)
Web sites that incorporate untrusted content may use browser- or
language-based methods to keep such content from maliciously altering
pages, stealing sensitive information, or causing other harm.
The first part of the talk will overview my w ... |
| System L syntax for sequent calculi
(03/02/2012, 14:15, EB0.7) P.-L. Curien (joint work with G. Munch-Maccagnoni) We present a style of syntax for sequent calculus (whence the name "system L"), inspired by the syntax of Curien and Herbelin (lambda bar mu mu tilde calculus) that was originally designed to express the duality of call-by-name and call-by-value. W ... |
| Currently showing 1-5 seminars from 122 results. | Next page |
