Department of Computer Science

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.

  Upcoming     All     Archived      

There is/are 158 search results.

Currently showing 1-5 seminars from 158 results. Next page


On the pigeonhole and related principles in deep inference and monotone systems
(16/12/2014, :, )
Anupam Das
We construct quasipolynomial-size proofs of the propositional pigeonhole principle in the deep inference system KS, addressing an open problem raised in previous works and matching the best known upper bound for the more general class of monotone pro ...
[View URL]

Emmanuel Beffara
(02/12/2014, :, )
Proofs as schedules
In this talk, I will present a new approach of the question of the proof-theoretic study of concurrent interaction called "proofs as schedules". Observing that proof theory is well suited to the description of confluent systems while concurrency has ...
[View URL]

Genetic Improvement of Progam Sources
(11/11/2014, :, )
William Langdon
Genetic programming (GP) can optimise programs including evolving search meta-heuristics, protocols, composing web services, improving hashing and garbage collection, N-version programming and even automatically fixing bugs. There are many ways to tr ...
[View URL]

A syntax for cubical type theory
(04/11/2014, :, )
Ambrus Kaposi
Homotopy type theory usually means the rules of intensional Martin-Löf type theory with the inductive identity type extended with the univalence axiom. This set of rules is convenient to do mathematics, however, when viewed as a programming language, ...
[View URL]

Towards an atomic lambda-mu-calculus
(30/10/2014, :, )
Fanny He
In this talk I will present my work on the atomic ??-calculus: an extension of the ??-calculus with explicit sharing and atomic reduction. The atomic ?-calculus corresponds to a deep inference system via a Curry-Howard-style isomorphism, and the ??-c ...
[View URL]

Currently showing 1-5 seminars from 158 results. Next page