University of Birmingham > Talks@bham > Computer Science Lunch Time Talk Series

Computer Science Lunch Time Talk Series

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

Informal lunch time talk series where someone will talk about their research area in general terms.

Tell a friend about this list:

0 upcoming talks and 12 talks in the archive.

What Theorem Prover to use for Verifying Auctions?

UserChristoph Lange (University of Birmingham, School of Computer Science).

HouseUG06, Learning Centre.

ClockWednesday 03 July 2013, 13:00-14:00

The Anatomy of Scientific Gossip

UserAntonio Lima, University of Birmingham.

HouseUG10, Learning Centre.

ClockWednesday 22 May 2013, 13:00-14:00

Sensible smartphone defences against (over)smart sensing

UserShishir Nagaraja, University of Birmingham.

HouseUG10, Learning Centre.

ClockWednesday 01 May 2013, 13:00-14:00

The surprising difficulty of using mathematics in computer science

UserAchim Jung, University of Birmingham.

HouseUG10, Learning Centre.

ClockWednesday 06 February 2013, 13:00-14:00

Interdependence and Predictability of Human Mobility and Social Interactions

Room changed

UserMirco Musolesi, University of Birmingham.

HouseUG10, Learning Centre.

ClockWednesday 30 January 2013, 13:00-14:00

Software Effort Estimation as a Multi-objective Learning Problem

Room changed

UserLeandro Minku, University of Birmingham.

HouseUG10, Learning Centre.

ClockWednesday 23 January 2013, 13:00-14:00

Random Matrices, Compressive Sensing, and the Light Field

Room changed

UserIain Styles, University of Birmingham.

HouseUG05, Learning Centre.

ClockWednesday 12 December 2012, 13:00-14:00

Quantitative Verification: Correctness, Reliability and Beyond

UserDavid Parker, University of Birmingham.

HouseUG09, Learning Centre.

ClockWednesday 05 December 2012, 13:00-14:00

On the Origins of Biological Computations

UserAaron Sloman, University of Birmingham.

HouseUG09, Learning Centre.

ClockWednesday 21 November 2012, 13:00-14:00

Title to be confirmed

UserPaul Levy, University of Birmingham.

HouseUG09, Learning Centre.

ClockWednesday 14 November 2012, 13:00-14:00

Artificial Immune Systems

UserChristine Zarges, University of Birmingham.

HouseUG09, Learning Centre.

ClockWednesday 24 October 2012, 13:00-14:00

Seamless Computing

UserDan Ghica, University of Birmingham.

HouseUG09, Learning Centre.

ClockWednesday 10 October 2012, 13:00-14:00

If you have a question about this list, please contact: Christine Zarges. 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.