University of Birmingham > Talks@bham > CS 124

CS 124

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

Tell a friend about this venue:

0 upcoming talks and 44 talks in the archive.

Lab Lunch

A monad of valuation locales II

UserDr Steve Vickers (School of Computer Science, University of Birmingham).

HouseCS 124.

ClockTuesday 11 October 2011, 12:00-13:00

Lab Lunch

A totally Epic backend for Agda

UserOlle Fredriksson.

HouseCS 124.

ClockTuesday 19 July 2011, 12:00-13:00

Lab Lunch

Fresh-Register Automata

UserNikos Tzevelekos (Oxford).

HouseCS 124.

ClockTuesday 24 May 2011, 12:00-13:00

Lab Lunch

Protocol security, deducibility constraints and algebraic properties

UserSergiu Bursuc (Computer Science).

HouseCS 124.

ClockTuesday 29 March 2011, 13:00-14:00

Lab Lunch

Survey on names, binding and alpha conversion

UserPaul Levy.

HouseCS 124.

ClockTuesday 15 March 2011, 13:00-14:00

Lab Lunch

Compiling recursive programs into static hardware

UserDan Ghica.

HouseCS 124.

ClockTuesday 08 March 2011, 13:00-14:00

Lab Lunch

Finding vulnerabilities in webapps by string analysis

UserMarco Cova.

HouseCS 124.

ClockTuesday 01 March 2011, 12:00-13:00

Lab Lunch

The Born map for the topos qbit (continued)

UserBertfried Fauser (Computer Science).

HouseCS 124.

ClockTuesday 22 February 2011, 12:00-13:00

Lab Lunch

Varieties of causation in virtual machinery

UserAaron Sloman.

HouseCS 124.

ClockTuesday 01 February 2011, 12:00-13:00

Lab Lunch

Applied pi calculus with state

UserMark Ryan .

HouseCS 124.

ClockTuesday 07 December 2010, 12:00-13:00

Lab Lunch

Semantics of Polymorhism in Imperative Programming

UserUday Reddy.

HouseCS 124.

ClockTuesday 23 November 2010, 12:00-13:00

Lab Lunch

Privacy-supporting cloud-based conference systems: protocol and verification

UserMyrto Arapinis, Sergiu Bursuc and Mark Ryan.

HouseCS 124.

ClockTuesday 09 November 2010, 12:00-13:00

Lab Lunch

Convergence of Preference Functions

UserAchim Jung and Jon Rowe.

HouseCS 124.

ClockTuesday 02 November 2010, 12:00-13:00

Lab Lunch

Operational game semantics

UserPaul Levy.

HouseCS 124.

ClockTuesday 26 October 2010, 12:00-13:00

Lab Lunch

RFC: A system-level semantics

UserDan Ghica.

HouseCS 124.

ClockTuesday 19 October 2010, 12:00-14:00

Lab Lunch

Resource management via type inference in a hardware compiler

UserAlex Smith.

HouseCS 124.

ClockTuesday 05 October 2010, 12:00-13:00

Lab Lunch

Hacking iPhone and Android Smart phones

UserTom Chothia.

HouseCS 124.

ClockTuesday 28 September 2010, 12:00-13:00

Lab Lunch

Total correctness for round abstraction

UserMohamed Nabih Menaa.

HouseCS 124.

ClockTuesday 15 June 2010, 13:00-14:00

Lab Lunch

From observational to symbolic to static equivalence

UserSergiu Bursuc.

HouseCS 124.

ClockTuesday 08 June 2010, 13:00-14:00

Lab Lunch

Structural properties of circuit diagrams

UserDan Ghica.

HouseCS 124.

ClockTuesday 01 June 2010, 13:00-14:00

Lab Lunch

Programming GPUs with CUDA

UserDan Ghica.

HouseCS 124.

ClockTuesday 18 May 2010, 13:00-14:00

Lab Lunch

Joint theory seminar talk

UserPatricia Johann.

HouseCS 124.

ClockTuesday 04 May 2010, 13:00-14:00

Lab Lunch

From game semantics to delay-insensitive circuits

UserAlex Smith.

HouseCS 124.

ClockTuesday 27 April 2010, 13:00-14:00

Lab Lunch

The history, nature, and significance of virtual machinery

UserAaron Sloman.

HouseCS 124.

ClockTuesday 23 March 2010, 13:00-14:00

Lab Lunch

Proving a concurrent garbage collector

UserUday Reddy.

HouseCS 124.

ClockTuesday 16 March 2010, 13:00-14:00

Lab Lunch

Proving the correctness of a concurrent garbage collector

UserUday Reddy.

HouseCS 124.

ClockTuesday 09 March 2010, 13:00-14:00

Lab Lunch

Statistical Measurement of Information Leakage

UserTom Chothia.

HouseCS 124.

ClockTuesday 02 March 2010, 13:00-14:00

Lab Lunch

Internal meeting of the Theory group

UserSpeaker to be confirmed.

HouseCS 124.

ClockTuesday 02 February 2010, 13:00-14:00

Lab Lunch

On the Canonical Reactivity Form for Past LTL

UserDimitar Guelev.

HouseCS 124.

ClockTuesday 19 January 2010, 13:00-14:00

Lab Lunch

First-order interactive programming

UserRoly Perera.

HouseCS 124.

ClockTuesday 12 January 2010, 13:00-14:00

Lab Lunch

Title to be confirmed

UserBehzad Bordbar.

HouseCS 124.

ClockTuesday 24 November 2009, 13:00-14:00

Lab Lunch

Round abstraction, compositionally

UserMohamed Nabih Menaa.

HouseCS 124.

ClockTuesday 17 November 2009, 13:00-14:00

Lab Lunch

Cancelled

UserAchim Jung.

HouseCS 124.

ClockTuesday 03 November 2009, 13:00-14:00

Lab Lunch

Formalising privacy in the applied pi-calculus

UserMyrto Arapinis.

HouseCS 124.

ClockTuesday 27 October 2009, 13:00-14:00

Lab Lunch

Sublocales of regular reasonable d-frames

UserOlaf Klinke.

HouseCS 124.

ClockTuesday 20 October 2009, 13:00-14:00

Lab Lunch

Simulation and final coalgebras

UserPaul Levy.

HouseCS 124.

ClockTuesday 13 October 2009, 13:00-14:00

Lab Lunch

Characterising static equivalence in the applied pi-calculus

UserEike Ritter.

HouseCS 124.

ClockTuesday 06 October 2009, 13:00-14:00

Lab Lunch

From games to micropipelines

UserDan Ghica.

HouseCS 124.

ClockTuesday 22 September 2009, 13:00-14:00

Lab Lunch

Localic completion of generalized metric spaces II: Powerlocales

UserSteve Vickers.

HouseCS 124.

ClockTuesday 15 September 2009, 13:00-14:00

If you have a question about this list, please contact: . If you have a question about a specific talk, click on that talk to find its organiser.

 

Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on talks.cam from the University of Cambridge.